Herbie run
| Date: | Wednesday, October 2nd, 2024 |
|---|---|
| Commit: | e7d6e0c5 on bhargav-log-space |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024276 |
| 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: 1.6hr)
| 22.3min | 3 917 573× | 0 | valid |
| 6.2min | 414 497× | 1 | valid |
| 2.6min | 127 182× | 2 | valid |
| 1.1min | 320 376× | 0 | invalid |
| 44.4s | 26 948× | 5 | exit |
| 39.8s | 13 949× | 3 | valid |
| 31.6s | 26 144× | 1 | invalid |
| 7.2s | 50 688× | 0 | exit |
| 2.3s | 19 872× | 1 | exit |
| 421.0ms | 1 338× | 2 | invalid |
| 320.0ms | 506× | 4 | exit |
| 190.0ms | 32× | 4 | valid |
| 119.0ms | 105× | 3 | exit |
| 5.0ms | 4× | 2 | exit |
ival-mult: 5.3min (23.2% of total)ival-sub: 2.9min (12.6% of total)ival-div: 2.1min (9.3% of total)ival-pow2: 1.5min (6.7% of total)ival-sin: 1.4min (5.9% of total)const: 1.4min (5.9% of total)adjust: 1.3min (5.5% of total)ival-add: 1.2min (5.3% of total)ival-pow: 44.0s (3.2% of total)ival-cos: 42.2s (3.1% of total)ival-exp: 38.5s (2.8% of total)ival-neg: 33.2s (2.4% of total)ival-tan: 27.0s (2% of total)ival-sqrt: 25.2s (1.8% of total)ival-sinu: 24.2s (1.8% of total)ival-log: 22.2s (1.6% of total)ival-hypot: 18.0s (1.3% of total)ival-asin: 15.3s (1.1% of total)ival-<=: 12.1s (0.9% of total)ival-cosu: 9.7s (0.7% of total)ival-pi: 7.1s (0.5% of total)ival-fabs: 4.1s (0.3% of total)exact: 3.6s (0.3% of total)ival-true: 3.0s (0.2% of total)ival-and: 2.8s (0.2% of total)ival-<: 2.8s (0.2% of total)ival-assert: 2.1s (0.1% of total)ival-expm1: 1.9s (0.1% of total)ival-log1p: 1.6s (0.1% of total)ival-acos: 1.3s (0.1% of total)ival-atan2: 1.3s (0.1% of total)ival-atan: 1.0s (0.1% of total)ival-sinh: 1.0s (0.1% of total)ival->: 975.0ms (0.1% of total)ival-floor: 906.0ms (0.1% of total)ival-fmod: 758.0ms (0.1% of total)ival-==: 698.0ms (0.1% of total)ival-if: 613.0ms (0% of total)ival-cbrt: 582.0ms (0% of total)ival-fmin: 462.0ms (0% of total)ival-asinh: 424.0ms (0% of total)ival-e: 389.0ms (0% of total)ival-acosh: 367.0ms (0% of total)ival->=: 303.0ms (0% of total)ival-fmax: 268.0ms (0% of total)ival-cosh: 233.0ms (0% of total)ival-tanu: 232.0ms (0% of total)ival-log2: 213.0ms (0% of total)ival-atanh: 139.0ms (0% of total)ival-tanh: 89.0ms (0% of total)ival-or: 43.0ms (0% of total)| 1 927× | iter limit |
| 1 267× | node limit |
| 197× | fuel |
| 154× | done |
| 34× | saturated |
| 11× | unsound |
Compiled 151 997 to 84 583 computations (44.4% saved)
| 2 781× | egg-herbie |
| 3 618× | iter limit |
| 1 638× | node limit |
| 1 169× | saturated |
| 3× | unsound |
| 2 503× | iter limit |
| 1 168× | node limit |
| 32× | saturated |
| 29× | unsound |
Compiled 30 922 087 to 2 752 799 computations (91.1% saved)
| 546× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 84.5% | 15.5% | 0% | 0% | 0% | 0 |
| 39.7% | 33.6% | 50.9% | 15.5% | 0% | 0% | 0% | 1 |
| 45.8% | 38.3% | 45.4% | 15.5% | 0% | 0.8% | 0% | 2 |
| 54.4% | 44.4% | 37.3% | 15.5% | 0% | 2.8% | 0% | 3 |
| 61.2% | 49.4% | 31.3% | 15.5% | 0% | 3.8% | 0% | 4 |
| 67.5% | 54.2% | 26% | 15.5% | 0% | 4.3% | 0% | 5 |
| 71.4% | 57% | 22.8% | 15.5% | 0% | 4.7% | 0% | 6 |
| 75.4% | 59.8% | 19.5% | 15.5% | 0% | 5.3% | 0% | 7 |
| 77.4% | 61% | 17.8% | 15.5% | 0% | 5.6% | 0% | 8 |
| 80.1% | 62.9% | 15.7% | 15.5% | 0% | 5.9% | 0% | 9 |
| 81.6% | 63.9% | 14.4% | 15.5% | 0% | 6.2% | 0% | 10 |
| 83.9% | 65.5% | 12.6% | 15.5% | 0% | 6.4% | 0% | 11 |
| 85% | 66.1% | 11.7% | 15.5% | 0% | 6.6% | 0% | 12 |
Compiled 12 532 to 7 808 computations (37.7% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 9022 | 31 |
+.f64 | #f | cancellation | 3329 | 116 |
sqrt.f64 | #f | oflow-rescue | 3184 | 0 |
log.f64 | #f | sensitivity | 2708 | 4 |
+.f64 | #f | nan-rescue | 1933 | 0 |
log.f32 | #f | sensitivity | 1022 | 73 |
*.f64 | #f | n*o | 474 | 0 |
sqrt.f64 | #f | uflow-rescue | 461 | 0 |
-.f32 | #f | cancellation | 387 | 23 |
/.f64 | #f | n/o | 310 | 0 |
/.f64 | #f | o/o | 187 | 0 |
exp.f64 | #f | sensitivity | 170 | 22 |
/.f64 | #f | n/u | 135 | 0 |
log.f64 | #f | oflow-rescue | 106 | 0 |
*.f64 | #f | n*u | 106 | 0 |
-.f64 | #f | oflow-left | 84 | 0 |
/.f64 | #f | u/u | 79 | 0 |
log.f64 | #f | uflow-rescue | 40 | 0 |
-.f64 | #f | oflow-right | 40 | 0 |
cbrt.f64 | (cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a))) | uflow-rescue | 35 | 0 |
| ↳ | (/.f64 g (*.f64 #s(literal 2 binary64) a)) | underflow | 35 | |
exp.f32 | #f | sensitivity | 29 | 20 |
cbrt.f64 | (cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a))) | oflow-rescue | 24 | 0 |
| ↳ | (/.f64 g (*.f64 #s(literal 2 binary64) a)) | overflow | 25 | |
+.f64 | #f | oflow-left | 2 | 0 |
*.f64 | #f | o*u | 2 | 0 |
cos.f32 | (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) | cancelation | 1 | 0 |
sin.f64 | (sin.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
tan.f64 | (tan.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
cos.f64 | (cos.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
+.f64 | (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) | oflow-right | 1 | 0 |
+.f32 | (+.f32 (*.f32 (*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) | cancellation | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 17178 | 1284 |
| - | 3986 | 68944 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 17178 | 240 | 1044 |
| - | 3986 | 304 | 68640 |
| number | freq |
|---|---|
| 0 | 70228 |
| 1 | 18907 |
| 2 | 1861 |
| 3 | 338 |
| 4 | 58 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 175 | 3 | 14 |
| - | 14 | 0 | 151 |
| 52.3s | 158 997× | 0 | valid |
| 18.4s | 6 960× | 2 | valid |
| 4.2s | 17 347× | 1 | valid |
| 225.0ms | 495× | 3 | valid |
| 1.0ms | 4× | 5 | exit |
Compiled 105 309 to 39 637 computations (62.4% saved)
ival-add: 22.5s (39.3% of total)ival-mult: 13.6s (23.7% of total)ival-sin: 5.2s (9.1% of total)ival-cos: 5.1s (8.8% of total)ival-sub: 4.4s (7.6% of total)ival-log: 1.3s (2.2% of total)ival-div: 1.1s (1.9% of total)adjust: 1.0s (1.8% of total)ival-exp: 830.0ms (1.4% of total)ival-tan: 609.0ms (1.1% of total)ival-sqrt: 473.0ms (0.8% of total)const: 224.0ms (0.4% of total)ival-sinu: 205.0ms (0.4% of total)ival-true: 172.0ms (0.3% of total)ival-hypot: 109.0ms (0.2% of total)exact: 105.0ms (0.2% of total)ival-neg: 99.0ms (0.2% of total)ival-assert: 84.0ms (0.1% of total)ival-if: 74.0ms (0.1% of total)ival-log1p: 71.0ms (0.1% of total)ival-expm1: 57.0ms (0.1% of total)ival->=: 42.0ms (0.1% of total)ival-pi: 32.0ms (0.1% of total)ival-cosu: 24.0ms (0% of total)ival-cbrt: 19.0ms (0% of total)ival-tanu: 2.0ms (0% of total)| 1.5min | 257 212× | 0 | valid |
| 23.0s | 31 347× | 1 | valid |
| 14.6s | 13 704× | 2 | valid |
| 2.7s | 6 632× | 0 | invalid |
| 1.2s | 970× | 3 | valid |
| 480.0ms | 331× | 5 | exit |
| 74.0ms | 147× | 1 | exit |
| 66.0ms | 112× | 1 | invalid |
| 65.0ms | 218× | 0 | exit |
| 52.0ms | 64× | 2 | invalid |
| 24.0ms | 12× | 4 | exit |
| 24.0ms | 21× | 4 | valid |
| 8.0ms | 13× | 2 | exit |
| 2.0ms | 1× | 3 | exit |
Compiled 403 373 to 57 060 computations (85.9% saved)
ival-mult: 26.2s (29.1% of total)ival-div: 10.6s (11.8% of total)ival-sub: 9.4s (10.5% of total)ival-add: 8.9s (9.9% of total)ival-pow: 5.9s (6.6% of total)adjust: 5.8s (6.5% of total)ival-hypot: 4.7s (5.3% of total)const: 3.4s (3.8% of total)ival-log: 3.2s (3.6% of total)ival-sqrt: 2.1s (2.3% of total)ival-exp: 1.9s (2.1% of total)ival-neg: 1.6s (1.8% of total)ival-cos: 1.2s (1.3% of total)ival-sin: 1.1s (1.2% of total)ival-tan: 1.0s (1.2% of total)ival-log1p: 536.0ms (0.6% of total)ival-pow2: 484.0ms (0.5% of total)exact: 448.0ms (0.5% of total)ival-true: 281.0ms (0.3% of total)ival-expm1: 189.0ms (0.2% of total)ival-assert: 151.0ms (0.2% of total)ival-sinu: 141.0ms (0.2% of total)ival-cbrt: 141.0ms (0.2% of total)ival-cosu: 115.0ms (0.1% of total)ival-cosh: 88.0ms (0.1% of total)ival-if: 75.0ms (0.1% of total)ival-pi: 63.0ms (0.1% of total)ival-sinh: 37.0ms (0% of total)ival-tanh: 19.0ms (0% of total)ival-copysign: 11.0ms (0% of total)ival-e: 11.0ms (0% of total)ival->=: 10.0ms (0% of total)ival-fabs: 9.0ms (0% of total)| 356× | egg-herbie |
| 709× | iter limit |
| 550× | saturated |
| 166× | node limit |
Compiled 188 684 to 65 895 computations (65.1% saved)
722 calls:
| 32.3s | (+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y))) |
| 16.7s | x |
| 12.5s | z |
| 11.2s | y |
| 2.9s | t |
Compiled 51 254 to 61 833 computations (-20.6% saved)
8997 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 14.9s | d2 | @ | 0 | ((+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (+ (* d1 3) (* d1 d2)) (* d1 3) (* d1 d2)) |
| 4.5s | z | @ | -inf | ((/ x (- y (* z t))) (- y (* z t)) (* z t)) |
| 1.1s | x | @ | -inf | ((* (sqrt (sqrt x)) (* (pow x 1/4) (sqrt (* 2 x)))) (sqrt (sqrt x)) (sqrt x) (* (pow x 1/4) (sqrt (* 2 x))) (* (sqrt (sqrt x)) (* (pow (* 4 x) 1/4) (sqrt x))) (* (pow (* 4 x) 1/4) (sqrt x)) (pow (pow 65536 1/64) 2) (* (pow (pow 65536 1/64) 2) x) (pow 65536 1/64) (sqrt (* 2 x)) (pow (* 4 x) 1/4)) |
| 339.0ms | x | @ | 0 | ((+ (+ (* (log y) x) (+ (+ t z) (+ (* (log c) (- b 1/2)) a))) (* y i)) (+ (* (log y) x) (+ (+ t z) (+ (* (log c) (- b 1/2)) a))) (log y) (+ (+ t z) (+ (* (log c) (- b 1/2)) a)) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (* y i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* (log y) x) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (/ (* (+ (* b b) -1/4) (log c)) (+ 1/2 b))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (/ (* (+ (* b b) -1/4) (log c)) (+ 1/2 b))) (+ (* x (log y)) z) (+ (+ (+ (* x (log y)) z) t) a) (* (+ (+ (+ (+ (* (/ (log c) x) (- b 1/2)) (/ z x)) (/ t x)) (/ a x)) (log y)) x) (+ (+ (+ (* (/ (log c) x) (- b 1/2)) (/ z x)) (/ t x)) (/ a x)) (+ (* (/ (log c) x) (- b 1/2)) (/ z x)) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (* (log c) (- b 1/2)) a) (/ (* (+ (* b b) -1/4) (log c)) (+ 1/2 b)) (* x (log y)) (* (+ (* b b) -1/4) (log c)) (/ (log c) x)) |
| 286.0ms | x | @ | 0 | ((/ -1 (- (exp (neg x)) 1)) (- (exp (neg x)) 1) (neg x) (/ (exp x) (- (exp x) 1)) (/ 1 x) (/ (exp x) (- (exp x) 1)) (+ (* 1/12 x) (+ 1/2 (/ 1 x))) (+ 1/2 (/ 1 x)) (/ (exp x) (- (exp x) 1)) (exp x) (- (exp x) 1) (* (+ (* 1/2 x) 1) x) (/ (* (+ (* (- (exp x) -1) (exp x)) 1) (exp x)) (- (exp (* 3 x)) 1)) (* (+ (* (- (exp x) -1) (exp x)) 1) (exp x)) (+ (* (- (exp x) -1) (exp x)) 1) (- (exp x) -1) (- (exp (* 3 x)) 1)) |
Compiled 819 043 to 494 226 computations (39.7% saved)
| 1 345× | binary-search |
| 1 254× | left-value |
| 1 315× | narrow-enough |
| 29× | predicate-same |
| 1× | predicate-failed |
| 39.8s | 107 901× | 0 | valid |
| 1.3s | 3 158× | 1 | valid |
| 392.0ms | 4 635× | 0 | invalid |
| 161.0ms | 496× | 2 | valid |
| 43.0ms | 147× | 1 | invalid |
| 41.0ms | 157× | 3 | valid |
| 4.0ms | 75× | 0 | exit |
| 1.0ms | 4× | 2 | invalid |
Compiled 252 239 to 277 848 computations (-10.2% saved)
ival-sin: 18.9s (55% of total)ival-mult: 5.9s (17% of total)ival-cos: 4.1s (12% of total)ival-sub: 2.0s (5.8% of total)ival-add: 1.3s (3.6% of total)ival-log: 771.0ms (2.2% of total)ival-div: 522.0ms (1.5% of total)ival-sqrt: 183.0ms (0.5% of total)ival-exp: 154.0ms (0.4% of total)adjust: 142.0ms (0.4% of total)ival-true: 102.0ms (0.3% of total)ival-neg: 69.0ms (0.2% of total)exact: 64.0ms (0.2% of total)ival-assert: 59.0ms (0.2% of total)ival-hypot: 58.0ms (0.2% of total)ival-pi: 49.0ms (0.1% of total)const: 43.0ms (0.1% of total)ival-cbrt: 5.0ms (0% of total)ival-if: 4.0ms (0% of total)ival->=: 3.0ms (0% of total)ival-expm1: 3.0ms (0% of total)ival-log1p: 2.0ms (0% of total)Loading profile data...