Herbie run
| Date: | Friday, September 29th, 2023 |
|---|---|
| Commit: | 9515c601 on arb-support |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023272 |
| 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:simplifygenerate:proofs default |
Time bar (total: 23.9min)
Compiled 95474 to 44743 computations (53.1% saved)
| 1.6min | 75820× | body | 8192 | exit |
| 43.2s | 165580× | body | 256 | valid |
| 36.5s | 61152× | body | 1024 | valid |
| 34.2s | 134942× | body | 256 | precondition |
| 32.6s | 43942× | body | 2048 | valid |
| 31.1s | 22006× | body | 4096 | valid |
| 19.5s | 109884× | body | 256 | invalid |
| 15.8s | 38806× | body | 512 | valid |
| 10.5s | 1860× | body | 8192 | valid |
| 7.0s | 24634× | body | 256 | infinite |
| 3.9s | 5680× | body | 1024 | infinite |
| 2.7s | 2054× | body | 2048 | infinite |
| 2.2s | 5317× | body | 2048 | invalid |
| 2.0s | 5217× | body | 512 | infinite |
| 1.4s | 3670× | body | 1024 | invalid |
| 1.4s | 611× | body | 4096 | infinite |
| 719.0ms | 2241× | body | 512 | invalid |
| 127.0ms | 32× | body | 8192 | infinite |
Compiled 9710279 to 5188198 computations (46.6% saved)
| 274418× | fma-def |
| 171270× | associate-*r* |
| 149152× | log-prod |
| 140816× | *-commutative |
| 115954× | associate-*l* |
| 6× | unsound |
| 14× | saturated |
| 374× | node limit |
Compiled 49817 to 27726 computations (44.3% saved)
150 calls:
| 7.1s | phi1 |
| 6.9s | phi2 |
| 5.7s | lambda1 |
| 5.5s | lambda2 |
| 5.3s | b |
Compiled 425100 to 195293 computations (54.1% saved)
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 96.1% | 3.9% | 0% | 0% | 0% | 0 |
| 1% | 1.9% | 188.3% | -90.2% | 0% | 0% | 0% | 1 |
| 1.5% | 5.7% | 369.1% | -274.7% | 0% | 0% | 0% | 2 |
| 0.8% | 5.7% | 738% | -643.7% | 0% | 0% | 0% | 3 |
| 0.4% | 5.7% | 1475.9% | -1381.5% | 0% | 0% | 0% | 4 |
| 2.3% | 65.9% | 2830.8% | -2796.7% | 0% | 0% | 0% | 5 |
| 2.2% | 126.1% | 5540.3% | -5566.4% | 0% | 0% | 0% | 6 |
| 1.1% | 126.1% | 11078.8% | -11105% | 0% | 0% | 0% | 7 |
| 0.6% | 126.1% | 22154.3% | -22180.4% | 0% | 0% | 0% | 8 |
| 0.3% | 126.1% | 44301.7% | -44327.9% | 0% | 0% | 0% | 9 |
| 0.1% | 126.1% | 88589.8% | -88615.9% | 0% | 0% | 0% | 10 |
| 0.1% | 126.1% | 177152.2% | -177178.3% | 0% | 0% | 0% | 11 |
| 0% | 126.1% | 354249.7% | -354275.8% | 0% | 0% | 0% | 12 |
Compiled 1919 to 1338 computations (30.3% saved)
Compiled 725297 to 476313 computations (34.3% saved)
| 242× | egg-herbie |
| 166628× | fma-def |
| 101786× | associate-*r* |
| 82812× | *-commutative |
| 79954× | associate-*l* |
| 77986× | fma-neg |
| 2× | unsound |
| 61× | saturated |
| 5× | done |
| 39× | fuel |
| 179× | node limit |
Compiled 17563 to 11495 computations (34.5% saved)
| 58× | left-value |
| 413× | binary-search |
| 407× | narrow-enough |
| 6× | predicate-same |
| 6.5s | 30045× | body | 256 | valid |
| 5.9s | 8253× | body | 1024 | valid |
| 4.9s | 3961× | body | 2048 | valid |
| 2.8s | 1382× | body | 4096 | valid |
| 2.2s | 4795× | body | 512 | valid |
| 669.0ms | 3478× | body | 256 | invalid |
| 563.0ms | 103× | body | 8192 | valid |
| 454.0ms | 493× | body | 1024 | infinite |
| 407.0ms | 1361× | body | 256 | infinite |
| 245.0ms | 197× | body | 2048 | infinite |
| 153.0ms | 191× | body | 8192 | exit |
| 115.0ms | 223× | body | 512 | infinite |
| 4.0ms | 3× | body | 4096 | infinite |
| 0.0ms | 2× | body | 512 | invalid |
Compiled 148126 to 106709 computations (28% saved)
| 153× | batch-egg-rewrite |
| 106454× | pow1 |
| 100452× | add-exp-log |
| 100360× | log1p-expm1-u |
| 100312× | expm1-log1p-u |
| 95264× | add-log-exp |
| 3× | unsound |
| 150× | node limit |
8532 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 161.0ms | c_p | @ | 0 | (fma.f64 -1/2 (*.f64 t c_p) (*.f64 (neg.f64 c_p) (-.f64 (log1p.f64 (exp.f64 (neg.f64 s))) (log.f64 2)))) |
| 123.0ms | a | @ | 0 | (/.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 b a) (*.f64 (*.f64 b (neg.f64 a)) (/.f64 (*.f64 8 (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (hypot.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)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))) x-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) |
| 119.0ms | y-scale | @ | 0 | (/.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 b a) (*.f64 (*.f64 b (neg.f64 a)) (/.f64 (*.f64 8 (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (hypot.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)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))) x-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) |
| 114.0ms | t | @ | inf | (-.f64 (+.f64 (*.f64 c_n (log1p.f64 (/.f64 -1 (+.f64 1 (exp.f64 s))))) (*.f64 c_p (neg.f64 (log1p.f64 (exp.f64 s))))) (+.f64 (*.f64 c_p (neg.f64 (log1p.f64 (exp.f64 t)))) (*.f64 c_n (log1p.f64 (/.f64 -1 (+.f64 1 (exp.f64 t))))))) |
| 87.0ms | s | @ | inf | (/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n))) |
Compiled 35136 to 18128 computations (48.4% saved)
| 90× | egg-herbie |
| 52676× | fma-def |
| 15454× | associate-*r* |
| 14396× | times-frac |
| 14332× | unsub-neg |
| 14136× | fma-neg |
| 51× | saturated |
| 9× | unsound |
| 30× | node limit |
Compiled 1658 to 1177 computations (29% saved)
Loading profile data...