| 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: 2.1hr)
| 13.4min | 3763094× | body | 256 | valid |
| 4.5min | 285987× | body | 1024 | valid |
| 4.3min | 29179× | body | 8192 | exit |
| 3.7min | 737432× | body | 256 | invalid |
| 2.6min | 99065× | body | 2048 | valid |
| 1.8min | 16478× | body | 4096 | valid |
| 1.3min | 153825× | body | 512 | valid |
| 49.4s | 50163× | body | 1024 | invalid |
| 45.7s | 2752× | body | 8192 | valid |
| 16.4s | 27191× | body | 512 | invalid |
| 15.3s | 1837× | body | 4096 | invalid |
| 14.1s | 3946× | body | 2048 | invalid |
| 1.4s | 40× | body | 8192 | invalid |
1141 calls:
| 2.8min | x |
| 2.3min | y |
| 2.0min | a |
| 2.0min | z |
| 1.8min | t |
Compiled 1757389 to 973736 computations (44.6% saved)
Compiled 25271635 to 14004347 computations (44.6% saved)
| 6631× | egg-herbie |
| 2061235× | fma-def_binary64 |
| 1211903× | fma-neg_binary64 |
| 1102463× | associate-*l*_binary64 |
| 1046862× | unswap-sqr_binary64 |
| 944313× | associate-*r*_binary64 |
| 6× | unsound |
| 2405× | saturated |
| 116× | done |
| 404× | fuel |
| 4220× | node limit |
Compiled 162566 to 96012 computations (40.9% saved)
| 6933× | binary-search |
| 789× | left-value |
Compiled 452644 to 324116 computations (28.4% saved)
| 5588× | batch-egg-rewrite |
| 52× | egg-rewrite-iter-limit |
| 53× | egg-rewrite |
| 2112225× | pow1_binary64 |
| 1976921× | add-log-exp_binary64 |
| 1976747× | expm1-log1p-u_binary64 |
| 1976636× | log1p-expm1-u_binary64 |
| 1773857× | add-exp-log_binary64 |
| 61× | unsound |
| 52× | iter limit |
| 5580× | node limit |
Compiled 1393992 to 1001896 computations (28.1% saved)
Compiled 380878 to 193882 computations (49.1% saved)
| 526× | search |
| 2× | random |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 87.1% | 12.9% | 0 |
| 1.4% | 85.7% | 12.9% | 1 |
| 2.4% | 84.1% | 13.5% | 2 |
| 9.2% | 76% | 14.8% | 3 |
| 12.6% | 70.9% | 16.4% | 4 |
| 19.2% | 63.7% | 17.2% | 5 |
| 22.6% | 58.8% | 18.6% | 6 |
| 28% | 51.5% | 20.5% | 7 |
| 31.2% | 47.4% | 21.4% | 8 |
| 35.1% | 42.3% | 22.6% | 9 |
| 38% | 38.2% | 23.7% | 10 |
| 40.8% | 34.6% | 24.5% | 11 |
| 43% | 31.7% | 25.2% | 12 |
Compiled 11741 to 8133 computations (30.7% saved)
79764 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.2s | a | @ | -inf | (-.f64 (log.f64 (*.f64 (+.f64 x y) z)) (fma.f64 (log.f64 t) (-.f64 1/2 a) t)) |
| 823.0ms | f | @ | inf | (/.f64 (-.f64 (log.f64 2) (log.f64 (*.f64 2 (tanh.f64 (*.f64 (PI.f64) (*.f64 f 1/4)))))) (*.f64 (PI.f64) 1/4)) |
| 671.0ms | s | @ | 0 | (*.f32 s (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) -3)) |
| 660.0ms | eps | @ | 0 | (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) |
| 588.0ms | K | @ | inf | (*.f64 (*.f64 (*.f64 (hypot.f64 1 (*.f64 U (/.f64 1/2 J))) (*.f64 (cos.f64 (*.f64 K 1/2)) -2)) (pow.f64 (cbrt.f64 J) 2)) (cbrt.f64 J)) |
Compiled 158748 to 75830 computations (52.2% saved)
| 576× | egg-herbie |
| 220407× | fma-def_binary64 |
| 160531× | fma-neg_binary64 |
| 117634× | associate-/l*_binary64 |
| 107654× | times-frac_binary64 |
| 103643× | distribute-rgt-in_binary64 |
| 154× | saturated |
| 422× | node limit |
Compiled 267362 to 181375 computations (32.2% saved)
| 1046× | egg-herbie |
| 180323× | fma-def_binary64 |
| 153313× | fma-neg_binary64 |
| 80928× | distribute-rgt-in_binary64 |
| 77503× | div-sub_binary64 |
| 75263× | sub-neg_binary64 |
| 657× | saturated |
| 102× | unsound |
| 287× | node limit |
Compiled 11130 to 7976 computations (28.3% saved)
Loading profile data...