| Date: | Tuesday, August 16th, 2022 |
|---|---|
| Commit: | f262be85 on no-retirement |
| Hostname: | warfa with Racket 8.5 |
| Seed: | 2022228 |
| 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: 21.7min)
| 2.7min | 16528× | body | 8192 | exit |
| 1.4min | 69573× | body | 1024 | valid |
| 1.2min | 8893× | body | 4096 | valid |
| 1.1min | 294785× | body | 256 | valid |
| 40.9s | 14563× | body | 2048 | valid |
| 33.7s | 1629× | body | 8192 | valid |
| 21.5s | 34923× | body | 512 | valid |
| 17.3s | 60101× | body | 256 | invalid |
| 13.5s | 7993× | body | 1024 | invalid |
| 6.6s | 2449× | body | 2048 | invalid |
| 6.2s | 859× | body | 4096 | invalid |
| 4.2s | 4473× | body | 512 | invalid |
| 787.0ms | 52× | body | 8192 | invalid |
| 587× | binary-search |
| 43× | left-value |
Compiled 46900 to 34565 computations (26.3% saved)
82 calls:
| 15.6s | (-.f64 lambda1 lambda2) |
| 10.7s | b |
| 9.7s | angle |
| 9.5s | a |
| 9.5s | lambda1 |
Compiled 367268 to 208186 computations (43.3% saved)
Compiled 5305225 to 3102691 computations (41.5% saved)
| 764× | egg-herbie |
| 271366× | fma-def_binary64 |
| 176444× | associate-*l*_binary64 |
| 160490× | associate-*r*_binary64 |
| 150836× | unswap-sqr_binary64 |
| 133142× | *-commutative_binary64 |
| 2× | unsound |
| 207× | saturated |
| 555× | node limit |
| 644× | batch-egg-rewrite |
| 6× | egg-rewrite-iter-limit |
| 3× | egg-rewrite |
| 225105× | pow1_binary64 |
| 223052× | log-prod_binary64 |
| 211378× | add-log-exp_binary64 |
| 211273× | expm1-log1p-u_binary64 |
| 211249× | log1p-expm1-u_binary64 |
| 6× | unsound |
| 6× | iter limit |
| 641× | 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 84830 to 43500 computations (48.7% saved)
Compiled 446145 to 317423 computations (28.9% saved)
10476 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 175.0ms | b | @ | inf | (log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 (*.f64 a c) 3) (*.f64 -27/16 (pow.f64 b -5)))))) |
| 128.0ms | y-scale | @ | inf | (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))) |
| 117.0ms | a | @ | 0 | (fma.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (neg.f64 b)) |
| 104.0ms | c | @ | inf | (/.f64 (*.f64 c c) (pow.f64 b 3)) |
| 100.0ms | b | @ | inf | (/.f64 (*.f64 (pow.f64 c 3) (*.f64 a a)) (/.f64 (pow.f64 b 5) -9/16)) |
| 6× | done |
| 42× | fuel |
Compiled 33783 to 19034 computations (43.7% saved)
| 102× | egg-herbie |
| 26099× | fma-def_binary64 |
| 14829× | fma-neg_binary64 |
| 10258× | div-sub_binary64 |
| 8982× | distribute-rgt-in_binary64 |
| 8712× | sub-neg_binary64 |
| 57× | saturated |
| 9× | unsound |
| 36× | node limit |
Compiled 1762 to 1250 computations (29.1% saved)
Loading profile data...