Herbie run
| Date: | Wednesday, December 13th, 2023 |
|---|---|
| Commit: | 665878db on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023347 |
| 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: 10.3min)
Compiled 97635 to 25956 computations (73.4% saved)
Compiled 9905856 to 2540793 computations (74.4% saved)
| 1.2min | 247680× | body | 256 | valid |
| 1.7s | 8480× | body | 256 | invalid |
| 672.0ms | 2082× | body | 256 | precondition |
| 198620× | fma-def |
| 112942× | associate-*r* |
| 97278× | times-frac |
| 81536× | log-prod |
| 79030× | associate-*l* |
| 1× | saturated |
| 261× | node limit |
Compiled 35143 to 15812 computations (55% saved)
| 148× | egg-herbie |
| 103540× | fma-def |
| 66596× | associate-*r* |
| 57408× | log-prod |
| 55720× | times-frac |
| 54030× | associate-*l* |
| 1× | done |
| 30× | saturated |
| 29× | fuel |
| 118× | node limit |
Compiled 7106 to 4509 computations (36.5% saved)
Compiled 392177 to 228231 computations (41.8% saved)
145 calls:
| 1.0s | (*.f32 uy 2) |
| 978.0ms | ux |
| 899.0ms | (*.f32 (*.f32 uy 2) (PI.f32)) |
| 844.0ms | uy |
| 758.0ms | s |
Compiled 158853 to 81023 computations (49% saved)
| 30× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 2.6% | 97.4% | 0% | 0% | 0% | 0 |
| 0.2% | 0% | 2.6% | 97.4% | 0% | 0% | 0% | 1 |
| 9.3% | 0.2% | 2.4% | 97.4% | 0% | 0% | 0% | 2 |
| 43.2% | 1.1% | 1.5% | 97.4% | 0% | 0% | 0% | 3 |
| 48.1% | 1.3% | 1.4% | 97.4% | 0% | 0% | 0% | 4 |
| 65.1% | 1.7% | 0.9% | 97.4% | 0% | 0% | 0% | 5 |
| 70.3% | 1.8% | 0.8% | 97.4% | 0% | 0% | 0% | 6 |
| 79.1% | 2% | 0.5% | 97.4% | 0% | 0% | 0% | 7 |
| 81.1% | 2.1% | 0.5% | 97.4% | 0% | 0.1% | 0% | 8 |
| 86.1% | 2.2% | 0.4% | 97.4% | 0% | 0.1% | 0% | 9 |
| 87.6% | 2.2% | 0.3% | 97.4% | 0% | 0.1% | 0% | 10 |
| 91.9% | 2.3% | 0.2% | 97.4% | 0% | 0.1% | 0% | 11 |
| 92.6% | 2.3% | 0.2% | 97.4% | 0% | 0.1% | 0% | 12 |
Compiled 2668 to 1267 computations (52.5% saved)
| 117× | batch-egg-rewrite |
| 54142× | log1p-expm1-u |
| 43188× | expm1-log1p-u |
| 41418× | expm1-udef |
| 35834× | log1p-udef |
| 32144× | log-prod |
| 117× | node limit |
| 30× | egg-herbie |
| 52752× | fma-def |
| 17102× | unsub-neg |
| 16200× | distribute-lft-neg-in |
| 16198× | fma-neg |
| 13978× | distribute-lft-in |
| 3× | saturated |
| 27× | node limit |
Compiled 45574 to 22299 computations (51.1% saved)
7767 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 322.0ms | v | @ | inf | (pow.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 v))))) 3) |
| 289.0ms | sinTheta_O | @ | 0 | (pow.f32 (pow.f32 (/.f32 (*.f32 1/2 (exp.f32 (-.f32 (+.f32 6931/10000 (/.f32 -1 v)) (/.f32 sinTheta_O (/.f32 v sinTheta_i))))) v) 1/6) 2) |
| 281.0ms | dX.v | @ | -inf | (pow.f32 (cbrt.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.w (floor.f32 d)) (hypot.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h)))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 d) dY.w) (hypot.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 h) dY.v))) 2))) 3/2) |
| 216.0ms | sinTheta_i | @ | -inf | (pow.f32 (pow.f32 (/.f32 (*.f32 1/2 (exp.f32 (-.f32 (+.f32 6931/10000 (/.f32 -1 v)) (/.f32 sinTheta_O (/.f32 v sinTheta_i))))) v) 1/6) 2) |
| 178.0ms | sinTheta_O | @ | -inf | (pow.f32 (cbrt.f32 (+.f32 (-.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (fma.f32 (/.f32 sinTheta_i v) sinTheta_O (/.f32 1 v))) (+.f32 6931/10000 (log.f32 (/.f32 1/2 v))))) 3) |
| 39× | binary-search |
| 26× | left-value |
| 39× | narrow-enough |
Compiled 2598 to 1609 computations (38.1% saved)
Loading profile data...