Herbie run
| Date: | Friday, April 5th, 2024 |
|---|---|
| Commit: | 9a443234 on explanations-eval-top3 |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024096 |
| 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: 38.4min)
| 4.9min | 1820308× | 256 | valid |
| 1.0min | 344240× | 256 | infinite |
| 13.6s | 64872× | 256 | invalid |
| 13.9s | 30293× | 512 | valid |
| 9.9s | 19051× | 1024 | valid |
| 2.7s | 5157× | 2048 | valid |
| 2.5s | 1650× | 8192 | exit |
| 271.0ms | 1088× | 512 | infinite |
| 279.0ms | 722× | 1024 | infinite |
| 186.0ms | 606× | 1024 | invalid |
| 152.0ms | 576× | 512 | invalid |
| 2.0ms | 5× | 4096 | valid |
ival-mult, time spent: 52.5s, 34.0% of total-timeival-add, time spent: 23.1s, 15.0% of total-timeival-div, time spent: 21.9s, 14.0% of total-timeival-sub, time spent: 21.9s, 14.0% of total-timeival-log, time spent: 11.3s, 7.0% of total-timeival-sqrt, time spent: 5.9s, 4.0% of total-timeival-sin, time spent: 5.1s, 3.0% of total-timeconst, time spent: 4.3s, 3.0% of total-timeival-cos, time spent: 4.0s, 3.0% of total-timeival-exp, time spent: 1.7s, 1.0% of total-timeival-acos, time spent: 402.0ms, 0.0% of total-timeival-cosh, time spent: 389.0ms, 0.0% of total-timeival-tanh, time spent: 341.0ms, 0.0% of total-timeival-tan, time spent: 328.0ms, 0.0% of total-timeival-fabs, time spent: 234.0ms, 0.0% of total-timeival-sinh, time spent: 187.0ms, 0.0% of total-time492 calls:
| 57.4s | y |
| 53.6s | x |
| 51.2s | z |
| 39.4s | t |
| 30.4s | a |
Compiled 45751 to 36152 computations (21% saved)
| 1098× | egg-herbie |
| 594896× | fma-define |
| 484762× | fma-neg |
| 427606× | *-commutative |
| 422576× | associate-*r* |
| 421348× | distribute-lft-in |
| 271× | saturated |
| 821× | node limit |
| 149× | fuel |
| 6× | unsound |
| 120× | done |
Compiled 68263 to 41063 computations (39.8% saved)
Compiled 118044 to 51531 computations (56.3% saved)
ival-mult, time spent: 38.9s, 29.0% of total-timeival-div, time spent: 18.0s, 13.0% of total-timeival-add, time spent: 17.6s, 13.0% of total-timeival-pow, time spent: 15.0s, 11.0% of total-timeival-sub, time spent: 10.5s, 8.0% of total-timecomposed, time spent: 10.4s, 8.0% of total-timeival-log, time spent: 6.6s, 5.0% of total-timeival-sqrt, time spent: 5.8s, 4.0% of total-timeconst, time spent: 3.4s, 3.0% of total-timeival-sin, time spent: 2.8s, 2.0% of total-timeival-cos, time spent: 2.3s, 2.0% of total-timeival-cbrt, time spent: 2.0s, 1.0% of total-timeival-exp, time spent: 1.7s, 1.0% of total-timeival-neg, time spent: 706.0ms, 1.0% of total-timeival-tan, time spent: 259.0ms, 0.0% of total-timeival-acos, time spent: 68.0ms, 0.0% of total-timeival-fabs, time spent: 31.0ms, 0.0% of total-timeival-cosh, time spent: 25.0ms, 0.0% of total-timeival-sinh, time spent: 23.0ms, 0.0% of total-timeival-e, time spent: 18.0ms, 0.0% of total-timeival-tanh, time spent: 13.0ms, 0.0% of total-time| 521598× | fma-define |
| 458232× | fma-neg |
| 316566× | associate-*r* |
| 305762× | distribute-lft-in |
| 300876× | times-frac |
| 85× | saturated |
| 776× | node limit |
| 5× | unsound |
Compiled 103021 to 56778 computations (44.9% saved)
Compiled 9232657 to 4802104 computations (48% saved)
| 829× | batch-egg-rewrite |
| 580205× | log1p-expm1-u |
| 418881× | expm1-log1p-u |
| 284124× | prod-diff |
| 282916× | log-prod |
| 203422× | unpow-prod-down |
| 1× | saturated |
| 824× | node limit |
| 4× | unsound |
| 269× | egg-herbie |
| 275536× | fma-neg |
| 234168× | fma-define |
| 114704× | unsub-neg |
| 100834× | sub-neg |
| 94200× | distribute-rgt-in |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f64 | #f | sensitivity | 1567 | 5 |
/.f64 | #f | o/n | 1163 | 0 |
-.f64 | #f | cancellation | 1008 | 9 |
sqrt.f64 | #f | oflow-rescue | 758 | 0 |
/.f64 | #f | o/o | 564 | 0 |
+.f64 | #f | nan-rescue | 425 | 0 |
+.f64 | #f | cancellation | 399 | 3 |
cos.f64 | #f | sensitivity | 387 | 0 |
*.f64 | #f | n*o | 342 | 0 |
-.f64 | #f | nan-rescue | 323 | 0 |
/.f64 | #f | n/o | 298 | 0 |
/.f64 | #f | u/n | 241 | 0 |
sin.f64 | #f | sensitivity | 212 | 0 |
*.f64 | #f | n*u | 145 | 0 |
/.f64 | #f | n/u | 121 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y 2))) | sensitivity | 92 | 0 |
log.f64 | #f | oflow-rescue | 90 | 0 |
log.f64 | #f | uflow-rescue | 87 | 0 |
cos.f64 | #f | oflow-rescue | 85 | 0 |
sqrt.f64 | #f | uflow-rescue | 48 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y 2))) | oflow-rescue | 42 | 0 |
| ↳ | (/.f64 x (*.f64 y 2)) | overflow | 42 | |
exp.f64 | #f | sensitivity | 31 | 3 |
*.f64 | #f | o*u | 28 | 0 |
/.f64 | #f | u/u | 22 | 0 |
*.f64 | (*.f64 (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2))) | u*o | 1 | 0 |
| ↳ | (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) | underflow | 3 | |
| ↳ | (*.f64 t t) | overflow | 58 | |
| ↳ | (/.f64 (*.f64 t t) 2) | overflow | 58 | |
| ↳ | (exp.f64 (/.f64 (*.f64 t t) 2)) | overflow | 131 | |
sin.f64 | (sin.f64 (*.f64 x 1/2)) | cancellation | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5772 | 456 |
| - | 1878 | 60758 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5772 | 2 | 454 |
| - | 1878 | 20 | 60738 |
| 153× | saturated |
| 116× | node limit |
Compiled 205614 to 102356 computations (50.2% saved)
ival-mult, time spent: 5.9s, 32.0% of total-timeival-log, time spent: 2.9s, 16.0% of total-timeival-sub, time spent: 2.5s, 13.0% of total-timeival-add, time spent: 2.4s, 13.0% of total-timeival-div, time spent: 2.0s, 11.0% of total-timeival-sqrt, time spent: 844.0ms, 5.0% of total-timeconst, time spent: 609.0ms, 3.0% of total-timeival-sin, time spent: 526.0ms, 3.0% of total-timeival-cos, time spent: 461.0ms, 2.0% of total-timeival-exp, time spent: 335.0ms, 2.0% of total-timeival-tan, time spent: 32.0ms, 0.0% of total-timeival-fabs, time spent: 15.0ms, 0.0% of total-timeival-sinh, time spent: 12.0ms, 0.0% of total-timeival-acos, time spent: 12.0ms, 0.0% of total-timeival-cosh, time spent: 12.0ms, 0.0% of total-timeival-tanh, time spent: 9.0ms, 0.0% of total-time| 3378× | binary-search |
| 365× | left-value |
| 49× | predicate-same |
| 3329× | narrow-enough |
| 1.1min | 319915× | 256 | valid |
| 32.7s | 92774× | 256 | infinite |
| 702.0ms | 4524× | 256 | invalid |
| 1.6s | 3000× | 512 | valid |
| 708.0ms | 1494× | 1024 | valid |
| 66.0ms | 175× | 2048 | valid |
| 21.0ms | 55× | 512 | infinite |
| 24.0ms | 43× | 1024 | infinite |
Compiled 789503 to 589248 computations (25.4% saved)
ival-mult, time spent: 20.0s, 46.0% of total-timeival-sub, time spent: 9.3s, 21.0% of total-timeival-add, time spent: 6.0s, 14.0% of total-timeival-div, time spent: 4.3s, 10.0% of total-timeival-log, time spent: 1.2s, 3.0% of total-timeconst, time spent: 811.0ms, 2.0% of total-timeival-sqrt, time spent: 738.0ms, 2.0% of total-timeival-cos, time spent: 686.0ms, 2.0% of total-timeival-sin, time spent: 628.0ms, 1.0% of total-timeival-exp, time spent: 249.0ms, 1.0% of total-timeival-tanh, time spent: 21.0ms, 0.0% of total-timeival-sinh, time spent: 14.0ms, 0.0% of total-timeival-cosh, time spent: 6.0ms, 0.0% of total-timeival-fabs, time spent: 2.0ms, 0.0% of total-timeCompiled 441069 to 298466 computations (32.3% saved)
42126 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 338.0ms | y | @ | 0 | (* x (* (log (cbrt (/ x y))) 3)) |
| 265.0ms | x | @ | inf | (* (log (cbrt x)) x) |
| 262.0ms | x | @ | inf | (/ (* z (- t a)) (* x (+ y (* z (- b y))))) |
| 261.0ms | x | @ | inf | (pow (* (- y z) (/ (- t z) x)) -1) |
| 249.0ms | y | @ | -inf | (* (+ x -1) (log y)) |
| 269× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 46.5% | 46.4% | 53.4% | 0.1% | 0% | 0% | 0% | 1 |
| 50.1% | 49.7% | 49.5% | 0.1% | 0% | 0.6% | 0% | 2 |
| 58.6% | 57% | 40.3% | 0.1% | 0% | 2.6% | 0% | 3 |
| 65.2% | 62.7% | 33.5% | 0.1% | 0% | 3.6% | 0% | 4 |
| 71.3% | 68.3% | 27.5% | 0.1% | 0% | 4.1% | 0% | 5 |
| 75.9% | 72.4% | 22.9% | 0.1% | 0% | 4.6% | 0% | 6 |
| 80% | 75.7% | 19% | 0.1% | 0% | 5.1% | 0% | 7 |
| 81.8% | 77.1% | 17.1% | 0.1% | 0% | 5.6% | 0% | 8 |
| 84.5% | 79.4% | 14.6% | 0.1% | 0% | 5.9% | 0% | 9 |
| 86.1% | 80.6% | 13.1% | 0.1% | 0% | 6.2% | 0% | 10 |
| 88.6% | 83% | 10.6% | 0.1% | 0% | 6.2% | 0% | 11 |
| 89.7% | 83.7% | 9.6% | 0.1% | 0% | 6.5% | 0% | 12 |
Compiled 4012 to 2763 computations (31.1% saved)
ival-mult, time spent: 3.5s, 38.0% of total-timeival-sub, time spent: 1.6s, 17.0% of total-timeival-add, time spent: 1.4s, 16.0% of total-timeival-div, time spent: 1.3s, 14.0% of total-timeival-sin, time spent: 288.0ms, 3.0% of total-timeival-log, time spent: 277.0ms, 3.0% of total-timeival-sqrt, time spent: 258.0ms, 3.0% of total-timeconst, time spent: 246.0ms, 3.0% of total-timeival-exp, time spent: 155.0ms, 2.0% of total-timeival-tan, time spent: 54.0ms, 1.0% of total-timeival-cos, time spent: 40.0ms, 0.0% of total-timeival-acos, time spent: 24.0ms, 0.0% of total-timeival-cosh, time spent: 16.0ms, 0.0% of total-timeival-tanh, time spent: 8.0ms, 0.0% of total-timeival-sinh, time spent: 5.0ms, 0.0% of total-timeival-fabs, time spent: 3.0ms, 0.0% of total-timeLoading profile data...