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: 2.0hr)
| 11.8min | 3463288× | 256 | valid |
| 1.7min | 537784× | 256 | infinite |
| 38.1s | 180083× | 256 | invalid |
| 1.5min | 162543× | 1024 | valid |
| 1.4min | 161083× | 512 | valid |
| 34.8s | 143745× | 256 | precondition |
| 1.9min | 88202× | 2048 | valid |
| 5.0min | 48344× | 8192 | exit |
| 9.2s | 37735× | 256 | unsamplable |
| 59.0s | 13197× | 4096 | valid |
| 10.7s | 12382× | 512 | infinite |
| 6.7s | 9747× | 1024 | invalid |
| 3.0s | 5841× | 512 | invalid |
| 3.4s | 2052× | 1024 | infinite |
| 21.6s | 1911× | 8192 | valid |
| 6.0s | 1409× | 2048 | infinite |
| 1.2s | 1302× | 2048 | invalid |
| 7.0s | 1176× | 4096 | infinite |
| 6.0ms | 7× | 512 | unsamplable |
| 8.0ms | 4× | 1024 | unsamplable |
| 5.0ms | 1× | 2048 | unsamplable |
ival-pow, time spent: 3.7min, 22.0% of total-timeival-mult, time spent: 2.9min, 17.0% of total-timeival-sin, time spent: 1.9min, 11.0% of total-timeival-div, time spent: 1.6min, 9.0% of total-timeival-add, time spent: 1.1min, 6.0% of total-timeival-sub, time spent: 1.0min, 6.0% of total-timeival-cos, time spent: 53.2s, 5.0% of total-timeival-log, time spent: 41.7s, 4.0% of total-timeival-exp, time spent: 40.1s, 4.0% of total-timeival-tan, time spent: 29.8s, 3.0% of total-timeival-sqrt, time spent: 23.3s, 2.0% of total-timeival-<=, time spent: 22.4s, 2.0% of total-timeconst, time spent: 17.1s, 2.0% of total-timeival-neg, time spent: 7.8s, 1.0% of total-timeival-fabs, time spent: 6.8s, 1.0% of total-timeival-<, time spent: 6.1s, 1.0% of total-timeival-and, time spent: 4.5s, 0.0% of total-timeival-acos, time spent: 3.1s, 0.0% of total-timeival-pi, time spent: 3.0s, 0.0% of total-timeival-atan2, time spent: 3.0s, 0.0% of total-timeival-atan, time spent: 2.9s, 0.0% of total-timeival-asin, time spent: 2.8s, 0.0% of total-timeival->, time spent: 2.2s, 0.0% of total-timeival-sinh, time spent: 2.0s, 0.0% of total-timecomposed, time spent: 1.4s, 0.0% of total-timeival-fmin, time spent: 1.0s, 0.0% of total-timeival-floor, time spent: 851.0ms, 0.0% of total-timeival-==, time spent: 713.0ms, 0.0% of total-timeival-fmax, time spent: 701.0ms, 0.0% of total-timeival-cbrt, time spent: 653.0ms, 0.0% of total-timeival-acosh, time spent: 562.0ms, 0.0% of total-timeival-asinh, time spent: 536.0ms, 0.0% of total-timeival->=, time spent: 522.0ms, 0.0% of total-timeival-if, time spent: 438.0ms, 0.0% of total-timeival-log2, time spent: 438.0ms, 0.0% of total-timeival-cosh, time spent: 389.0ms, 0.0% of total-timeival-atanh, time spent: 382.0ms, 0.0% of total-timeival-tanh, time spent: 341.0ms, 0.0% of total-timeival-or, time spent: 87.0ms, 0.0% of total-timeCompiled 473981 to 210950 computations (55.5% saved)
ival-mult, time spent: 3.1min, 19.0% of total-timeival-sin, time spent: 2.9min, 17.0% of total-timeival-pow, time spent: 2.4min, 14.0% of total-timeival-div, time spent: 1.4min, 8.0% of total-timecomposed, time spent: 1.2min, 7.0% of total-timeival-add, time spent: 1.1min, 6.0% of total-timeival-cos, time spent: 56.6s, 6.0% of total-timeival-sub, time spent: 40.6s, 4.0% of total-timeival-log, time spent: 37.4s, 4.0% of total-timeival-tan, time spent: 34.8s, 3.0% of total-timeival-sqrt, time spent: 23.4s, 2.0% of total-timeival-exp, time spent: 21.8s, 2.0% of total-timeival-atan, time spent: 19.0s, 2.0% of total-timeconst, time spent: 17.7s, 2.0% of total-timeival-asin, time spent: 10.5s, 1.0% of total-timeival-cbrt, time spent: 6.4s, 1.0% of total-timeival-acos, time spent: 5.7s, 1.0% of total-timeival-neg, time spent: 3.2s, 0.0% of total-timeival-atan2, time spent: 2.1s, 0.0% of total-timeival-pi, time spent: 1.0s, 0.0% of total-timeival-fmax, time spent: 843.0ms, 0.0% of total-timeival-if, time spent: 470.0ms, 0.0% of total-timeival-fabs, time spent: 458.0ms, 0.0% of total-timeival->=, time spent: 439.0ms, 0.0% of total-timeival-sinh, time spent: 258.0ms, 0.0% of total-timeival-cosh, time spent: 187.0ms, 0.0% of total-timeival-log2, time spent: 133.0ms, 0.0% of total-timeival-floor, time spent: 104.0ms, 0.0% of total-timeival-copysign, time spent: 96.0ms, 0.0% of total-timeival->, time spent: 75.0ms, 0.0% of total-timeival-e, time spent: 60.0ms, 0.0% of total-timeival-<, time spent: 45.0ms, 0.0% of total-timeival-tanh, time spent: 13.0ms, 0.0% of total-timeCompiled 40311181 to 19096840 computations (52.6% saved)
1181 calls:
| 1.0min | x |
| 58.4s | y |
| 51.9s | z |
| 43.6s | t |
| 38.6s | a |
Compiled 89637 to 67319 computations (24.9% saved)
| 2244× | egg-herbie |
| 1212378× | fma-define |
| 908164× | fma-neg |
| 890344× | distribute-lft-in |
| 888076× | *-commutative |
| 875721× | associate-*r* |
| 538× | saturated |
| 336× | fuel |
| 1682× | node limit |
| 24× | unsound |
| 198× | done |
Compiled 129521 to 80834 computations (37.6% saved)
| 1112544× | fma-define |
| 855052× | fma-neg |
| 706443× | associate-*r* |
| 659889× | distribute-lft-in |
| 630601× | times-frac |
| 154× | saturated |
| 1788× | node limit |
| 20× | unsound |
Compiled 309769 to 178749 computations (42.3% saved)
| 538× | egg-herbie |
| 468952× | fma-neg |
| 458238× | fma-define |
| 212136× | unsub-neg |
| 185865× | sub-neg |
| 174746× | distribute-lft-in |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 9485 | 64 |
sqrt.f64 | #f | oflow-rescue | 4950 | 0 |
log.f64 | #f | sensitivity | 3484 | 7 |
cos.f64 | #f | sensitivity | 3432 | 3 |
+.f64 | #f | cancellation | 3217 | 123 |
sin.f64 | #f | sensitivity | 2080 | 5 |
/.f64 | #f | o/o | 1458 | 0 |
/.f64 | #f | o/n | 1384 | 0 |
log.f32 | #f | sensitivity | 1118 | 77 |
-.f64 | #f | nan-rescue | 990 | 0 |
/.f64 | #f | n/o | 819 | 0 |
+.f64 | #f | nan-rescue | 789 | 0 |
sqrt.f64 | #f | uflow-rescue | 664 | 0 |
/.f64 | #f | u/u | 645 | 0 |
sqrt.f32 | #f | oflow-rescue | 565 | 0 |
*.f64 | #f | n*o | 554 | 0 |
acos.f64 | #f | sensitivity | 527 | 4 |
tan.f64 | #f | sensitivity | 410 | 1 |
-.f32 | #f | cancellation | 404 | 41 |
pow.f64 | #f | sensitivity | 395 | 49 |
/.f64 | #f | u/n | 369 | 0 |
*.f64 | #f | n*u | 316 | 0 |
-.f64 | (-.f64 (*.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) | oflow-left | 217 | 0 |
exp.f64 | #f | sensitivity | 209 | 20 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))) | cancellation | 175 | 15 |
cos.f32 | (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) | sensitivity | 172 | 17 |
/.f64 | #f | n/u | 159 | 0 |
*.f64 | #f | u*o | 139 | 0 |
pow.f64 | #f | oflow-rescue | 131 | 0 |
cos.f64 | #f | oflow-rescue | 131 | 0 |
asin.f64 | #f | sensitivity | 129 | 1 |
/.f32 | #f | o/n | 102 | 0 |
log.f64 | #f | oflow-rescue | 102 | 0 |
log.f64 | #f | uflow-rescue | 88 | 0 |
*.f64 | #f | o*u | 65 | 0 |
exp.f32 | #f | sensitivity | 45 | 35 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y 2))) | oflow-rescue | 42 | 0 |
| ↳ | (/.f64 x (*.f64 y 2)) | overflow | 42 | |
pow.f64 | (pow.f64 (/.f64 d h) (/.f64 1 2)) | uflow-rescue | 32 | 0 |
| ↳ | (/.f64 d h) | underflow | 32 | |
cbrt.f64 | (cbrt.f64 (/.f64 g (*.f64 2 a))) | uflow-rescue | 31 | 0 |
| ↳ | (/.f64 g (*.f64 2 a)) | underflow | 31 | |
cbrt.f64 | (cbrt.f64 (/.f64 g (*.f64 2 a))) | oflow-rescue | 27 | 0 |
| ↳ | (/.f64 g (*.f64 2 a)) | overflow | 27 | |
/.f32 | #f | u/n | 19 | 0 |
sqrt.f32 | (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))) | uflow-rescue | 16 | 0 |
| ↳ | (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))) | underflow | 142 | |
| ↳ | (*.f32 eta eta) | underflow | 16 | |
| ↳ | (*.f32 sinTheta_O sinTheta_O) | underflow | 284 | |
| ↳ | (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))) | underflow | 16 | |
/.f32 | #f | o/o | 10 | 0 |
/.f32 | #f | n/o | 7 | 0 |
log.f32 | (log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) 1)))) | oflow-rescue | 5 | 0 |
| ↳ | (-.f32 (*.f32 x x) 1) | overflow | 136 | |
| ↳ | (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) 1))) | overflow | 5 | |
| ↳ | (*.f32 x x) | overflow | 136 | |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) | u*o | 2 | 0 |
| ↳ | (*.f32 u normAngle) | underflow | 4 | |
| ↳ | (sin.f32 (*.f32 u normAngle)) | underflow | 4 | |
| ↳ | (/.f32 1 (sin.f32 normAngle)) | overflow | 2 | |
sin.f32 | #f | cancellation | 2 | 0 |
*.f32 | (*.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) | n*o | 2 | 0 |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) | n*u | 2 | 0 |
sin.f64 | (sin.f64 (*.f64 x 1/2)) | cancellation | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 29098 | 1868 |
| - | 6549 | 99701 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 29098 | 232 | 1636 |
| - | 6549 | 446 | 99255 |
| 290× | saturated |
| 248× | node limit |
Compiled 508433 to 273591 computations (46.2% saved)
ival-mult, time spent: 33.9s, 23.0% of total-timeival-sin, time spent: 21.4s, 14.0% of total-timeival-div, time spent: 21.1s, 14.0% of total-timeival-cos, time spent: 18.0s, 12.0% of total-timeival-pow, time spent: 15.1s, 10.0% of total-timeival-add, time spent: 10.6s, 7.0% of total-timeival-sub, time spent: 9.3s, 6.0% of total-timeival-log, time spent: 5.5s, 4.0% of total-timeival-sqrt, time spent: 3.7s, 2.0% of total-timeconst, time spent: 3.1s, 2.0% of total-timeival-tan, time spent: 2.9s, 2.0% of total-timeival-exp, time spent: 2.3s, 2.0% of total-timeival-atan, time spent: 721.0ms, 0.0% of total-timeival-neg, time spent: 507.0ms, 0.0% of total-timeival-atan2, time spent: 472.0ms, 0.0% of total-timecomposed, time spent: 444.0ms, 0.0% of total-timeival-asin, time spent: 335.0ms, 0.0% of total-timeival-pi, time spent: 325.0ms, 0.0% of total-timeival-acos, time spent: 170.0ms, 0.0% of total-timeival-fabs, time spent: 115.0ms, 0.0% of total-timeival-sinh, time spent: 108.0ms, 0.0% of total-timeival-cbrt, time spent: 105.0ms, 0.0% of total-timeival-floor, time spent: 61.0ms, 0.0% of total-timeival-if, time spent: 36.0ms, 0.0% of total-timeival->=, time spent: 33.0ms, 0.0% of total-timeival-fmax, time spent: 22.0ms, 0.0% of total-timeival-log2, time spent: 20.0ms, 0.0% of total-timeival-copysign, time spent: 13.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-timeival->, time spent: 5.0ms, 0.0% of total-timeival-<, time spent: 4.0ms, 0.0% of total-time| 1710× | batch-egg-rewrite |
| 1117043× | log1p-expm1-u |
| 822541× | expm1-log1p-u |
| 526254× | prod-diff |
| 521862× | log-prod |
| 413571× | unpow-prod-down |
| 1× | saturated |
| 1696× | node limit |
| 13× | unsound |
Compiled 1657688 to 1079940 computations (34.9% saved)
| 4787× | binary-search |
| 610× | left-value |
| 125× | predicate-same |
| 4662× | narrow-enough |
| 1.6min | 438378× | 256 | valid |
| 40.0s | 113959× | 256 | infinite |
| 2.6s | 13957× | 256 | invalid |
| 10.5s | 13742× | 512 | valid |
| 3.7s | 6426× | 1024 | valid |
| 1.9s | 2404× | 512 | infinite |
| 2.0s | 2230× | 2048 | valid |
| 1.2s | 1073× | 4096 | valid |
| 138.0ms | 171× | 1024 | infinite |
| 19.0ms | 102× | 256 | unsamplable |
| 88.0ms | 37× | 8192 | valid |
| 10.0ms | 23× | 1024 | invalid |
| 3.0ms | 12× | 512 | invalid |
| 10.0ms | 12× | 2048 | infinite |
| 1.0ms | 1× | 8192 | exit |
Compiled 1169040 to 867616 computations (25.8% saved)
ival-mult, time spent: 29.5s, 37.0% of total-timeival-sub, time spent: 12.0s, 15.0% of total-timeival-add, time spent: 9.2s, 12.0% of total-timeival-div, time spent: 9.1s, 11.0% of total-timeival-pow, time spent: 4.2s, 5.0% of total-timeival-sin, time spent: 4.0s, 5.0% of total-timeival-cos, time spent: 3.1s, 4.0% of total-timeival-log, time spent: 2.0s, 2.0% of total-timeival-sqrt, time spent: 1.9s, 2.0% of total-timeconst, time spent: 1.5s, 2.0% of total-timeival-exp, time spent: 1.0s, 1.0% of total-timeival-atan2, time spent: 690.0ms, 1.0% of total-timeival-neg, time spent: 512.0ms, 1.0% of total-timeival-tan, time spent: 424.0ms, 1.0% of total-timeival-atan, time spent: 363.0ms, 0.0% of total-timeival-acos, time spent: 275.0ms, 0.0% of total-timeival-pi, time spent: 107.0ms, 0.0% of total-timeival-fabs, time spent: 46.0ms, 0.0% of total-timecomposed, time spent: 44.0ms, 0.0% of total-timeival-cbrt, time spent: 34.0ms, 0.0% of total-timeival-asin, time spent: 30.0ms, 0.0% of total-timeival-tanh, time spent: 21.0ms, 0.0% of total-timeival-copysign, time spent: 21.0ms, 0.0% of total-timeival-sinh, time spent: 14.0ms, 0.0% of total-timeival-if, time spent: 10.0ms, 0.0% of total-timeival->=, time spent: 10.0ms, 0.0% of total-timeival-cosh, time spent: 6.0ms, 0.0% of total-time| 543× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 84.4% | 15.6% | 0% | 0% | 0% | 0 |
| 39.8% | 33.5% | 50.7% | 15.6% | 0% | 0.2% | 0% | 1 |
| 45.8% | 38.2% | 45.2% | 15.6% | 0% | 0.9% | 0% | 2 |
| 54.7% | 44.5% | 36.8% | 15.8% | 0% | 2.9% | 0% | 3 |
| 61.4% | 49.3% | 31% | 15.8% | 0% | 3.8% | 0% | 4 |
| 67.5% | 54% | 26% | 15.9% | 0% | 4.2% | 0% | 5 |
| 71.4% | 56.8% | 22.8% | 15.9% | 0% | 4.5% | 0% | 6 |
| 75.3% | 59.5% | 19.5% | 15.9% | 0% | 5% | 0.1% | 7 |
| 77.3% | 60.7% | 17.9% | 16% | 0% | 5.4% | 0.1% | 8 |
| 79.9% | 62.5% | 15.8% | 16% | 0% | 5.6% | 0.1% | 9 |
| 81.4% | 63.5% | 14.5% | 16% | 0% | 5.9% | 0.1% | 10 |
| 83.7% | 65.1% | 12.7% | 16% | 0% | 6% | 0.1% | 11 |
| 84.8% | 65.8% | 11.8% | 16% | 0% | 6.2% | 0.1% | 12 |
Compiled 13425 to 8696 computations (35.2% saved)
ival-mult, time spent: 18.9s, 22.0% of total-timeival-<=, time spent: 12.9s, 15.0% of total-timeival-div, time spent: 8.1s, 10.0% of total-timeival-pow, time spent: 6.6s, 8.0% of total-timeival-add, time spent: 6.3s, 7.0% of total-timeival-sub, time spent: 5.4s, 6.0% of total-timeival-sin, time spent: 4.5s, 5.0% of total-timeival-tan, time spent: 3.6s, 4.0% of total-timeival-cos, time spent: 3.4s, 4.0% of total-timeival-sqrt, time spent: 3.2s, 4.0% of total-timeival-fabs, time spent: 2.1s, 3.0% of total-timeconst, time spent: 1.8s, 2.0% of total-timeival-log, time spent: 1.1s, 1.0% of total-timeival-and, time spent: 966.0ms, 1.0% of total-timeival-floor, time spent: 870.0ms, 1.0% of total-timeival-if, time spent: 691.0ms, 1.0% of total-timeival-exp, time spent: 607.0ms, 1.0% of total-timeival-==, time spent: 585.0ms, 1.0% of total-timeival-neg, time spent: 475.0ms, 1.0% of total-timeival-<, time spent: 466.0ms, 1.0% of total-timeival-fmax, time spent: 358.0ms, 0.0% of total-timeival-atan2, time spent: 341.0ms, 0.0% of total-timeival->, time spent: 260.0ms, 0.0% of total-timeival-log2, time spent: 234.0ms, 0.0% of total-timeival-pi, time spent: 217.0ms, 0.0% of total-timeival-or, time spent: 186.0ms, 0.0% of total-timeival-acos, time spent: 156.0ms, 0.0% of total-timeival-atan, time spent: 108.0ms, 0.0% of total-timeival-asin, time spent: 83.0ms, 0.0% of total-timeival->=, time spent: 69.0ms, 0.0% of total-timeival-sinh, time spent: 23.0ms, 0.0% of total-timeival-cbrt, time spent: 19.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-fmin, time spent: 7.0ms, 0.0% of total-timeival-atanh, time spent: 1.0ms, 0.0% of total-timeival-asinh, time spent: 0.0ms, 0.0% of total-timeival-acosh, time spent: 0.0ms, 0.0% of total-timecomposed, time spent: 0.0ms, 0.0% of total-time...c/syntax/syntax.rkt:185:8, time spent: 0.0ms, 0.0% of total-time86067 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 420.0ms | lambda2 | @ | -inf | (log (* R (acos (+ (* (* (cos phi1) (cos phi2)) (cos (- lambda2 lambda1))) (* (sin phi1) phi2))))) |
| 338.0ms | y | @ | 0 | (* x (* (log (cbrt (/ x y))) 3)) |
| 296.0ms | im | @ | -inf | (log (/ (log im) (log base))) |
| 293.0ms | b | @ | inf | (log (+ 1 (exp (- b a)))) |
| 265.0ms | x | @ | inf | (* (log (cbrt x)) x) |
Loading profile data...