Herbie run
| Date: | Saturday, January 20th, 2024 |
|---|---|
| Commit: | 4a418bc7 on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2024020 |
| 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: 9.5min)
| 1.2min | 7893× | body | 8192 | exit |
| 1.1min | 372790× | body | 256 | valid |
| 13.1s | 72572× | body | 256 | infinite |
| 6.8s | 10677× | body | 1024 | valid |
| 4.1s | 4446× | body | 512 | infinite |
| 2.6s | 7126× | body | 512 | valid |
| 1.7s | 6589× | body | 256 | unsamplable |
| 1.3s | 1930× | body | 2048 | valid |
| 709.0ms | 1070× | body | 4096 | valid |
| 234.0ms | 512× | body | 256 | invalid |
| 77.0ms | 72× | body | 1024 | infinite |
Compiled 44281 to 24591 computations (44.5% saved)
| 218799× | fma-def |
| 118579× | associate-*r* |
| 110370× | times-frac |
| 105148× | associate-*l* |
| 102164× | log-prod |
| 10× | unsound |
| 17× | saturated |
| 331× | node limit |
Compiled 34178 to 19777 computations (42.1% saved)
Compiled 2790789 to 1788915 computations (35.9% saved)
| 212× | egg-herbie |
| 107648× | fma-def |
| 76737× | log-prod |
| 70481× | associate-*r* |
| 65818× | associate-*l* |
| 63710× | *-commutative |
| 8× | unsound |
| 58× | saturated |
| 23× | done |
| 34× | fuel |
| 146× | node limit |
Compiled 11542 to 7004 computations (39.3% saved)
| 155× | batch-egg-rewrite |
| 92896× | log1p-expm1-u |
| 70641× | expm1-log1p-u |
| 52341× | prod-diff |
| 52325× | expm1-udef |
| 51674× | log1p-udef |
| 4× | unsound |
| 151× | node limit |
130 calls:
| 4.2s | y.im |
| 3.8s | y.re |
| 2.8s | x.im |
| 2.2s | x.re |
| 1.5s | x |
Compiled 93936 to 53970 computations (42.5% saved)
Compiled 187624 to 132093 computations (29.6% saved)
| 57× | egg-herbie |
| 62146× | fma-def |
| 21928× | distribute-lft-in |
| 21764× | fma-neg |
| 21538× | distribute-rgt-in |
| 20904× | sub-neg |
| 21× | saturated |
| 36× | node limit |
Compiled 41754 to 21983 computations (47.4% saved)
| 365× | binary-search |
| 41× | left-value |
| 354× | narrow-enough |
| 11× | predicate-same |
| 7.8s | 33408× | body | 256 | valid |
| 2.1s | 2737× | body | 512 | infinite |
| 1.1s | 4789× | body | 256 | infinite |
| 413.0ms | 741× | body | 2048 | valid |
| 379.0ms | 880× | body | 512 | valid |
| 148.0ms | 485× | body | 1024 | valid |
| 101.0ms | 199× | body | 4096 | valid |
| 27.0ms | 25× | body | 1024 | infinite |
Compiled 88310 to 60643 computations (31.3% saved)
6177 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 347.0ms | base | @ | inf | (log.f64 (*.f64 (atan2.f64 im re) (log.f64 base))) |
| 136.0ms | a | @ | -inf | (*.f64 (+.f64 a -1/3) (sqrt.f64 (/.f64 1/9 a))) |
| 132.0ms | x | @ | inf | (fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (asin.f64 (sqrt.f64 (-.f64 1/2 (*.f64 x 1/2)))))) 2) (neg.f64 (pow.f64 (pow.f64 (*.f64 2 (asin.f64 (sqrt.f64 (+.f64 1/2 (*.f64 x -1/2))))) 1/6) 2)) (*.f64 (PI.f64) 1/2)) |
| 110.0ms | re | @ | -inf | (*.f64 (*.f64 -2 im) (cos.f64 re)) |
| 97.0ms | u1 | @ | -inf | (pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) 2) |
| 58× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.3% | 13.7% | 0% | 0% | 0% | 0 |
| 55.6% | 48% | 38.3% | 13.7% | 0% | 0% | 0% | 1 |
| 64.1% | 54.2% | 30.4% | 13.7% | 0% | 1.7% | 0% | 2 |
| 72% | 59% | 23% | 13.7% | 0% | 4.3% | 0% | 3 |
| 77.8% | 62.3% | 17.8% | 13.7% | 0% | 6.2% | 0% | 4 |
| 83.7% | 67% | 13% | 13.7% | 0% | 6.3% | 0% | 5 |
| 85.9% | 68.4% | 11.2% | 13.7% | 0% | 6.6% | 0% | 6 |
| 88.3% | 70.3% | 9.3% | 13.7% | 0% | 6.6% | 0% | 7 |
| 90% | 71.6% | 8% | 13.7% | 0% | 6.8% | 0% | 8 |
| 91.2% | 72.5% | 7% | 13.7% | 0% | 6.8% | 0% | 9 |
| 92.6% | 73.6% | 5.9% | 13.7% | 0% | 6.8% | 0% | 10 |
| 94% | 74.7% | 4.8% | 13.7% | 0% | 6.8% | 0% | 11 |
| 94.5% | 75.1% | 4.4% | 13.7% | 0% | 6.9% | 0% | 12 |
Compiled 1558 to 1007 computations (35.4% saved)
Loading profile data...