| Date: | Saturday, November 12th, 2022 |
|---|---|
| Commit: | 474beffe on svg-pareto-plots |
| Hostname: | warfa with Racket 8.6 |
| Seed: | 2022316 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify default |
Time bar (total: 27.7min)
| 2.8min | 16381× | body | 8192 | exit |
| 1.9min | 69925× | body | 1024 | valid |
| 1.6min | 9026× | body | 4096 | valid |
| 1.3min | 294639× | body | 256 | valid |
| 52.8s | 14553× | body | 2048 | valid |
| 43.8s | 1595× | body | 8192 | valid |
| 26.6s | 34631× | body | 512 | valid |
| 19.3s | 59636× | body | 256 | invalid |
| 17.8s | 8050× | body | 1024 | invalid |
| 10.7s | 890× | body | 4096 | invalid |
| 10.0s | 2464× | body | 2048 | invalid |
| 5.6s | 4476× | body | 512 | invalid |
| 1.4s | 38× | body | 8192 | invalid |
142 calls:
| 25.0s | (-.f64 lambda1 lambda2) |
| 18.0s | phi2 |
| 17.0s | phi1 |
| 16.6s | lambda1 |
| 14.5s | lambda2 |
Compiled 591433 to 321944 computations (45.6% saved)
Compiled 5636010 to 3277449 computations (41.8% saved)
| 526× | binary-search |
| 81× | left-value |
Compiled 40553 to 28353 computations (30.1% saved)
| 755× | egg-herbie |
| 267209× | fma-def_binary64 |
| 183982× | associate-*l*_binary64 |
| 158070× | associate-*r*_binary64 |
| 152915× | unswap-sqr_binary64 |
| 137212× | *-commutative_binary64 |
| 1× | unsound |
| 193× | saturated |
| 6× | done |
| 43× | fuel |
| 561× | node limit |
Compiled 20279 to 12785 computations (37% saved)
| 655× | batch-egg-rewrite |
| 7× | egg-rewrite-iter-limit |
| 4× | egg-rewrite |
| 242538× | pow1_binary64 |
| 228444× | expm1-log1p-u_binary64 |
| 228416× | log1p-expm1-u_binary64 |
| 227724× | add-log-exp_binary64 |
| 202789× | add-exp-log_binary64 |
| 7× | unsound |
| 7× | iter limit |
| 652× | node limit |
| 53× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 79.4% | 20.6% | 0 |
| 1.9% | 77.5% | 20.6% | 1 |
| 4% | 75% | 21% | 2 |
| 9.8% | 67.2% | 23% | 3 |
| 15.3% | 59.4% | 25.3% | 4 |
| 19.7% | 53.7% | 26.6% | 5 |
| 23.1% | 48.7% | 28.2% | 6 |
| 24.7% | 45.9% | 29.4% | 7 |
| 26.3% | 43.5% | 30.2% | 8 |
| 28.6% | 40.1% | 31.4% | 9 |
| 29.4% | 38.8% | 31.8% | 10 |
| 31% | 36.7% | 32.2% | 11 |
| 32.6% | 34.7% | 32.7% | 12 |
Compiled 1919 to 1338 computations (30.3% saved)
Compiled 419253 to 297529 computations (29% saved)
Compiled 83439 to 41647 computations (50.1% saved)
10452 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 183.0ms | angle | @ | inf | (log1p.f64 (/.f64 (/.f64 y-scale x-scale) (tan.f64 (*.f64 (PI.f64) (*.f64 1/180 angle))))) |
| 158.0ms | lambda2 | @ | inf | (-.f64 (exp.f64 (log1p.f64 (hypot.f64 (sin.f64 (*.f64 (-.f64 phi1 phi2) 1/2)) (*.f64 (sqrt.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2))) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2)))))) 1) |
| 151.0ms | phi2 | @ | 0 | (cbrt.f64 (*.f64 (cos.f64 (*.f64 1/2 (+.f64 phi2 phi1))) (*.f64 lambda2 R))) |
| 147.0ms | lambda2 | @ | 0 | (pow.f64 (cbrt.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))) 3) |
| 146.0ms | phi2 | @ | -inf | (pow.f64 (cbrt.f64 (hypot.f64 (*.f64 (cos.f64 (*.f64 (+.f64 phi1 phi2) 1/2)) (-.f64 lambda1 lambda2)) (-.f64 phi1 phi2))) 3) |
| 74× | egg-herbie |
| 35102× | fma-def_binary64 |
| 21262× | distribute-rgt-in_binary64 |
| 18692× | fma-neg_binary64 |
| 17101× | times-frac_binary64 |
| 16914× | associate-/l*_binary64 |
| 9× | saturated |
| 65× | node limit |
Compiled 61470 to 43483 computations (29.3% saved)
Compiled 20649 to 10269 computations (50.3% saved)
| 102× | egg-herbie |
| 26100× | fma-def_binary64 |
| 14723× | fma-neg_binary64 |
| 9914× | div-sub_binary64 |
| 8737× | distribute-rgt-in_binary64 |
| 8329× | sub-neg_binary64 |
| 57× | saturated |
| 9× | unsound |
| 36× | node limit |
Compiled 1762 to 1250 computations (29.1% saved)
Loading profile data...