Herbie run
| Date: | Friday, August 2nd, 2024 |
|---|---|
| Commit: | 50436110 on HEAD |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024215 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce: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: 11.2min)
| 1.0min | 121 743× | 1 | valid |
| 38.2s | 280 425× | 0 | valid |
| 31.4s | 14 531× | 5 | exit |
| 17.8s | 23 973× | 2 | valid |
| 7.0s | 3 147× | 3 | valid |
| 6.0s | 34 754× | 0 | exit |
| 4.1s | 10 628× | 1 | exit |
| 3.5s | 20 709× | 0 | invalid |
| 2.6s | 11 468× | 1 | invalid |
| 367.0ms | 28× | 4 | exit |
| 305.0ms | 788× | 2 | invalid |
| 225.0ms | 23× | 3 | exit |
| 118.0ms | 24× | 4 | valid |
| 33.0ms | 13× | 2 | exit |
ival-pow: 25.5s (17.1% of total)ival-cos: 18.2s (12.2% of total)ival-mult: 17.8s (11.9% of total)ival-sin: 17.1s (11.4% of total)ival-div: 11.6s (7.8% of total)adjust: 10.7s (7.2% of total)ival-pow2: 8.3s (5.6% of total)ival-sub: 6.6s (4.4% of total)ival-add: 6.5s (4.3% of total)ival-exp: 5.9s (4% of total)ival-log: 5.4s (3.6% of total)ival-sqrt: 3.4s (2.3% of total)const: 2.3s (1.5% of total)ival-neg: 2.1s (1.4% of total)ival-<: 1.7s (1.2% of total)ival-hypot: 840.0ms (0.6% of total)ival-atan2: 790.0ms (0.5% of total)ival-atan: 762.0ms (0.5% of total)ival-pi: 731.0ms (0.5% of total)ival-tan: 545.0ms (0.4% of total)ival-acos: 406.0ms (0.3% of total)exact: 406.0ms (0.3% of total)ival-and: 327.0ms (0.2% of total)ival-true: 311.0ms (0.2% of total)ival-cbrt: 258.0ms (0.2% of total)ival-fabs: 243.0ms (0.2% of total)ival-assert: 214.0ms (0.1% of total)ival-<=: 145.0ms (0.1% of total)ival-asin: 144.0ms (0.1% of total)ival-log1p: 116.0ms (0.1% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 616× | egg-herbie |
| 3 511 022× | lower-fma.f32 |
| 3 510 102× | lower-fma.f64 |
| 1 588 880× | lower-*.f32 |
| 1 585 016× | lower-*.f64 |
| 781 584× | lower-+.f32 |
| 564× | iter limit |
| 523× | saturated |
| 281× | node limit |
| 188× | batch-egg-rewrite |
| 885 354× | lower-fma.f32 |
| 884 630× | lower-fma.f64 |
| 829 918× | lower-*.f32 |
| 826 594× | lower-*.f64 |
| 640 988× | lower-/.f32 |
| 382× | iter limit |
| 187× | node limit |
| 1× | saturated |
| 1 902 848× | lower-fma.f64 |
| 1 902 848× | lower-fma.f32 |
| 919 286× | lower-*.f64 |
| 919 286× | lower-*.f32 |
| 486 340× | lower-+.f64 |
| 157× | iter limit |
| 152× | node limit |
| 39× | fuel |
| 13× | done |
| 5× | saturated |
Compiled 44 143 to 22 153 computations (49.8% saved)
| 12.5s | 10 995× | 1 | valid |
| 9.0s | 29 926× | 0 | valid |
| 5.5s | 2 487× | 2 | valid |
| 4.0s | 470× | 5 | exit |
| 1.8s | 3 434× | 0 | invalid |
| 1.0s | 344× | 3 | valid |
| 619.0ms | 183× | 1 | invalid |
| 534.0ms | 76× | 4 | exit |
| 82.0ms | 199× | 1 | exit |
| 21.0ms | 3× | 3 | exit |
| 5.0ms | 2× | 4 | valid |
| 3.0ms | 1× | 2 | invalid |
| 2.0ms | 8× | 0 | exit |
Compiled 84 399 to 6 967 computations (91.7% saved)
ival-mult: 6.1s (22.6% of total)ival-sin: 5.5s (20.2% of total)ival-cos: 3.5s (13.1% of total)ival-div: 2.6s (9.5% of total)adjust: 2.0s (7.2% of total)ival-add: 1.6s (5.8% of total)ival-pow2: 1.3s (4.7% of total)const: 864.0ms (3.2% of total)ival-sub: 684.0ms (2.5% of total)ival-sqrt: 584.0ms (2.2% of total)ival-atan2: 368.0ms (1.4% of total)ival-pow: 366.0ms (1.4% of total)ival-log: 281.0ms (1% of total)ival-exp: 223.0ms (0.8% of total)ival-atan: 190.0ms (0.7% of total)ival-hypot: 189.0ms (0.7% of total)ival-neg: 172.0ms (0.6% of total)ival-tan: 115.0ms (0.4% of total)ival-acos: 103.0ms (0.4% of total)ival-log1p: 90.0ms (0.3% of total)exact: 77.0ms (0.3% of total)ival-pi: 66.0ms (0.2% of total)ival-cbrt: 62.0ms (0.2% of total)ival-fabs: 54.0ms (0.2% of total)ival-true: 46.0ms (0.2% of total)ival-assert: 21.0ms (0.1% of total)ival-asin: 11.0ms (0% of total)ival-expm1: 7.0ms (0% of total)Compiled 4 981 682 to 88 552 computations (98.2% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1812 | 6 |
+.f64 | #f | cancellation | 1729 | 29 |
sin.f64 | #f | sensitivity | 1573 | 0 |
sqrt.f64 | #f | oflow-rescue | 1385 | 0 |
-.f64 | #f | cancellation | 981 | 13 |
log.f64 | #f | sensitivity | 575 | 2 |
-.f64 | #f | nan-rescue | 504 | 0 |
/.f64 | #f | o/n | 494 | 0 |
/.f64 | #f | u/u | 339 | 0 |
/.f64 | #f | o/o | 305 | 0 |
*.f64 | #f | n*o | 252 | 0 |
/.f64 | #f | u/n | 177 | 0 |
sqrt.f64 | #f | uflow-rescue | 175 | 0 |
exp.f64 | #f | sensitivity | 172 | 25 |
/.f64 | #f | n/o | 125 | 0 |
*.f64 | #f | n*u | 97 | 0 |
cbrt.f64 | #f | oflow-rescue | 87 | 0 |
cbrt.f64 | #f | uflow-rescue | 47 | 0 |
/.f64 | #f | n/u | 45 | 0 |
*.f64 | #f | u*o | 38 | 0 |
acos.f64 | (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) | sensitivity | 19 | 6 |
*.f64 | #f | o*u | 18 | 0 |
pow.f64 | #f | uflow-rescue | 7 | 0 |
log.f64 | #f | oflow-rescue | 5 | 0 |
pow.f64 | (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n) | sensitivity | 4 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5756 | 65 |
| - | 1340 | 6151 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5756 | 40 | 25 |
| - | 1340 | 31 | 6120 |
| number | freq |
|---|---|
| 0 | 6216 |
| 1 | 4697 |
| 2 | 1646 |
| 3 | 345 |
| 4 | 227 |
| 5 | 110 |
| 6 | 35 |
| 7 | 23 |
| 8 | 6 |
| 9 | 6 |
| 10 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 0 | 0 |
| - | 3 | 1 | 6 |
| 4.2s | 7 958× | 1 | valid |
| 2.3s | 16 328× | 0 | valid |
| 2.0s | 2 024× | 2 | valid |
| 515.0ms | 312× | 3 | valid |
| 1.0ms | 2× | 4 | valid |
Compiled 21 748 to 3 336 computations (84.7% saved)
ival-sin: 1.4s (20.5% of total)ival-cos: 1.4s (19.9% of total)ival-mult: 1.1s (16.2% of total)ival-div: 539.0ms (7.8% of total)adjust: 451.0ms (6.5% of total)ival-pow2: 387.0ms (5.6% of total)ival-sub: 288.0ms (4.2% of total)ival-add: 281.0ms (4.1% of total)ival-exp: 193.0ms (2.8% of total)ival-sqrt: 172.0ms (2.5% of total)ival-log: 167.0ms (2.4% of total)ival-neg: 96.0ms (1.4% of total)ival-tan: 76.0ms (1.1% of total)ival-atan2: 65.0ms (0.9% of total)ival-cbrt: 41.0ms (0.6% of total)ival-pow: 39.0ms (0.6% of total)ival-pi: 35.0ms (0.5% of total)ival-atan: 35.0ms (0.5% of total)ival-hypot: 34.0ms (0.5% of total)ival-true: 25.0ms (0.4% of total)ival-acos: 22.0ms (0.3% of total)exact: 18.0ms (0.3% of total)ival-assert: 12.0ms (0.2% of total)ival-fabs: 10.0ms (0.1% of total)ival-asin: 9.0ms (0.1% of total)ival-log1p: 6.0ms (0.1% of total)155 calls:
| 1.6s | phi2 |
| 1.5s | phi1 |
| 1.2s | lambda2 |
| 1.2s | lambda1 |
| 968.0ms | b |
Compiled 21 703 to 13 236 computations (39% saved)
| 52× | egg-herbie |
| 238 304× | lower-fma.f64 |
| 238 304× | lower-fma.f32 |
| 81 478× | lower-*.f32 |
| 81 146× | lower-*.f64 |
| 46 832× | unsub-neg |
| 104× | iter limit |
| 61× | saturated |
| 43× | node limit |
Compiled 50 994 to 16 382 computations (67.9% saved)
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 17.2% | 13.7% | 65.7% | 20.6% | 0% | 0% | 0% | 1 |
| 25% | 19.6% | 58.5% | 20.6% | 0% | 1.3% | 0% | 2 |
| 35.2% | 26.6% | 48.9% | 20.6% | 0% | 3.8% | 0% | 3 |
| 42.3% | 31.7% | 43.1% | 20.6% | 0% | 4.5% | 0% | 4 |
| 47.9% | 35.6% | 38.7% | 20.6% | 0% | 5.1% | 0% | 5 |
| 51% | 37.6% | 36.1% | 20.6% | 0% | 5.7% | 0% | 6 |
| 54.4% | 39.7% | 33.2% | 20.6% | 0% | 6.5% | 0% | 7 |
| 56.2% | 40.7% | 31.8% | 20.6% | 0% | 6.8% | 0% | 8 |
| 59% | 42.5% | 29.5% | 20.6% | 0% | 7.4% | 0% | 9 |
| 60.3% | 43.2% | 28.4% | 20.6% | 0% | 7.7% | 0% | 10 |
| 62.1% | 44.3% | 27% | 20.6% | 0% | 8.1% | 0% | 11 |
| 63.6% | 45.1% | 25.8% | 20.6% | 0% | 8.5% | 0% | 12 |
Compiled 1 826 to 990 computations (45.8% saved)
Compiled 274 660 to 126 589 computations (53.9% saved)
9339 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 147.0ms | t | @ | -inf | (+ (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg t))))) |
| 140.0ms | s | @ | inf | (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) |
| 130.0ms | a | @ | 0 | (* c (+ (* a (* (/ c (* b (* b b))) -3/8)) (/ -1/2 b))) |
| 106.0ms | t | @ | inf | (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) |
| 94.0ms | a | @ | 0 | (exp (+ (log a) (log b))) |
| 267× | binary-search |
| 118× | left-value |
| 257× | narrow-enough |
| 10× | predicate-same |
| 3.5s | 5 462× | 1 | valid |
| 2.3s | 11 026× | 0 | valid |
| 298.0ms | 583× | 2 | valid |
| 178.0ms | 65× | 3 | valid |
| 30.0ms | 345× | 0 | invalid |
| 14.0ms | 35× | 1 | exit |
| 1.0ms | 17× | 0 | exit |
Compiled 95 999 to 64 103 computations (33.2% saved)
ival-cos: 1.3s (25.6% of total)ival-sin: 1.3s (25.1% of total)ival-mult: 878.0ms (16.8% of total)adjust: 288.0ms (5.5% of total)ival-div: 266.0ms (5.1% of total)ival-pow2: 257.0ms (4.9% of total)ival-sub: 208.0ms (4% of total)ival-add: 151.0ms (2.9% of total)ival-sqrt: 111.0ms (2.1% of total)ival-atan2: 111.0ms (2.1% of total)ival-acos: 54.0ms (1% of total)ival-hypot: 53.0ms (1% of total)ival-exp: 49.0ms (0.9% of total)ival-neg: 25.0ms (0.5% of total)ival-asin: 18.0ms (0.3% of total)ival-pi: 17.0ms (0.3% of total)ival-log: 16.0ms (0.3% of total)ival-true: 14.0ms (0.3% of total)ival-pow: 13.0ms (0.2% of total)exact: 13.0ms (0.2% of total)ival-atan: 12.0ms (0.2% of total)ival-tan: 12.0ms (0.2% of total)ival-assert: 8.0ms (0.2% of total)ival-fabs: 3.0ms (0.1% of total)ival-log1p: 1.0ms (0% of total)Loading profile data...