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: 12.3min)
| 2.5min | 438 682× | 0 | valid |
| 1.1min | 8 781× | 2 | valid |
| 30.8s | 22 238× | 1 | valid |
| 2.3s | 4 395× | 0 | invalid |
| 1.1s | 8 521× | 0 | exit |
| 545.0ms | 904× | 3 | valid |
ival-mult: 1.2min (39.5% of total)const: 35.2s (19.6% of total)ival-sub: 17.2s (9.6% of total)adjust: 16.2s (9% of total)ival-asin: 14.9s (8.3% of total)ival-add: 5.5s (3.1% of total)ival-div: 4.2s (2.3% of total)ival-exp: 3.0s (1.6% of total)ival-hypot: 2.5s (1.4% of total)ival-log: 2.2s (1.3% of total)ival-sin: 1.1s (0.6% of total)ival-cos: 1.1s (0.6% of total)ival-sqrt: 828.0ms (0.5% of total)ival-atan2: 644.0ms (0.4% of total)ival-asinh: 424.0ms (0.2% of total)ival->: 422.0ms (0.2% of total)ival-pow: 384.0ms (0.2% of total)ival-acosh: 367.0ms (0.2% of total)exact: 366.0ms (0.2% of total)ival-sinu: 342.0ms (0.2% of total)ival-true: 287.0ms (0.2% of total)ival-pi: 274.0ms (0.2% of total)ival-neg: 232.0ms (0.1% of total)ival-<=: 202.0ms (0.1% of total)ival-assert: 192.0ms (0.1% of total)ival-fabs: 188.0ms (0.1% of total)ival-atanh: 139.0ms (0.1% of total)ival->=: 112.0ms (0.1% of total)ival-cosu: 93.0ms (0.1% of total)ival-and: 80.0ms (0% of total)| 196× | iter limit |
| 119× | node limit |
| 17× | fuel |
| 16× | done |
| 3× | unsound |
| 2× | saturated |
Compiled 14 630 to 7 341 computations (49.8% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | #f | oflow-rescue | 698 | 0 |
-.f64 | #f | cancellation | 383 | 1 |
+.f64 | #f | nan-rescue | 350 | 0 |
+.f64 | #f | cancellation | 140 | 0 |
sqrt.f64 | #f | uflow-rescue | 79 | 0 |
*.f64 | #f | n*o | 27 | 0 |
/.f64 | (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))) | o/o | 10 | 0 |
| ↳ | (*.f64 wj (exp.f64 wj)) | overflow | 10 | |
| ↳ | (-.f64 (*.f64 wj (exp.f64 wj)) x) | overflow | 10 | |
| ↳ | (exp.f64 wj) | overflow | 10 | |
| ↳ | (*.f64 wj (exp.f64 wj)) | overflow | 10 | |
| ↳ | (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj))) | overflow | 10 | |
| ↳ | (exp.f64 wj) | overflow | 20 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 1326 | 187 |
| - | 161 | 6774 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1326 | 0 | 187 |
| - | 161 | 1 | 6773 |
| number | freq |
|---|---|
| 0 | 6961 |
| 1 | 1300 |
| 2 | 174 |
| 3 | 13 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 17 | 0 | 3 |
| - | 2 | 0 | 11 |
| 15.1s | 376× | 2 | valid |
| 1.8s | 15 824× | 0 | valid |
| 178.0ms | 708× | 1 | valid |
| 27.0ms | 64× | 3 | valid |
Compiled 12 330 to 4 054 computations (67.1% saved)
ival-add: 15.1s (92.4% of total)ival-mult: 529.0ms (3.2% of total)ival-exp: 194.0ms (1.2% of total)ival-sub: 174.0ms (1.1% of total)ival-hypot: 70.0ms (0.4% of total)ival-log: 65.0ms (0.4% of total)ival-sin: 48.0ms (0.3% of total)adjust: 47.0ms (0.3% of total)ival-cos: 34.0ms (0.2% of total)ival-div: 26.0ms (0.2% of total)ival-sqrt: 25.0ms (0.2% of total)ival-true: 16.0ms (0.1% of total)exact: 8.0ms (0% of total)ival-assert: 7.0ms (0% of total)ival-neg: 4.0ms (0% of total)const: 0.0ms (0% of total)| 253× | egg-herbie |
| 330× | iter limit |
| 130× | node limit |
| 123× | saturated |
| 237× | iter limit |
| 103× | node limit |
| 4× | unsound |
| 3× | saturated |
| 33× | egg-herbie |
| 66× | iter limit |
| 52× | saturated |
| 14× | node limit |
Compiled 19 898 to 6 341 computations (68.1% saved)
Compiled 1 722 993 to 184 366 computations (89.3% saved)
663 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 14.9s | d2 | @ | 0 | ((+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (+ (* d1 3) (* d1 d2)) (* d1 3) (* d1 d2)) |
| 115.0ms | x | @ | 0 | ((+ (/ -1/2 x) (* 2 x)) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (/ -1/2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (/ (+ -1/4 (* x x)) (* x 1/2)) (+ -1/4 (* x x)) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* (+ 1 x) x) (log (+ x (sqrt (+ (* (+ 1 x) x) (* (+ 1 x) -1))))) (+ x (sqrt (+ (* (+ 1 x) x) (* (+ 1 x) -1)))) (sqrt (+ (* (+ 1 x) x) (* (+ 1 x) -1))) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (log x) (log 2)) (log x) (log 2) (* 2 x) (+ (* (+ 1 x) x) (* (+ 1 x) -1))) |
| 95.0ms | x | @ | -inf | ((log (/ x (log x))) (/ x (log x)) (log x) (pow (sqrt (log (log x))) 2) (- (log x) (pow (sqrt (log (log x))) 2)) (sqrt (log (log x))) (log (log x))) |
| 90.0ms | x | @ | 0 | ((log (/ x (log x))) (/ x (log x)) (log x) (pow (sqrt (log (log x))) 2) (- (log x) (pow (sqrt (log (log x))) 2)) (sqrt (log (log x))) (log (log x))) |
| 85.0ms | d1 | @ | -inf | ((+ (+ (* d1 10) (* d1 d2)) (* d1 20)) (+ (* d1 10) (* d1 d2)) (* d1 10) (* d1 d2) (* d1 20)) |
| 9.8s | 25 068× | 0 | valid |
| 1.3s | 1 497× | 1 | valid |
| 822.0ms | 790× | 2 | valid |
| 206.0ms | 654× | 0 | invalid |
| 179.0ms | 142× | 3 | valid |
| 6.0ms | 6× | 4 | valid |
| 3.0ms | 2× | 5 | exit |
| 2.0ms | 1× | 3 | exit |
Compiled 27 970 to 4 535 computations (83.8% saved)
ival-mult: 2.0s (32.8% of total)ival-add: 945.0ms (15.3% of total)ival-div: 504.0ms (8.1% of total)ival-exp: 363.0ms (5.9% of total)ival-log: 330.0ms (5.3% of total)adjust: 311.0ms (5% of total)const: 296.0ms (4.8% of total)ival-hypot: 283.0ms (4.6% of total)ival-neg: 241.0ms (3.9% of total)ival-sub: 220.0ms (3.6% of total)ival-pow: 204.0ms (3.3% of total)ival-sqrt: 141.0ms (2.3% of total)ival-sin: 135.0ms (2.2% of total)ival-cos: 85.0ms (1.4% of total)exact: 32.0ms (0.5% of total)ival-true: 24.0ms (0.4% of total)ival-cosh: 19.0ms (0.3% of total)ival-assert: 12.0ms (0.2% of total)ival-pow2: 11.0ms (0.2% of total)ival-e: 3.0ms (0% of total)80 calls:
| 900.0ms | re |
| 665.0ms | im |
| 423.0ms | (*.f64 (exp.f64 re) (sin.f64 im)) |
| 380.0ms | (sin.f64 re) |
| 372.0ms | (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) |
Compiled 4 431 to 4 365 computations (1.5% saved)
Compiled 31 957 to 21 572 computations (32.5% saved)
| 58× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.3% | 13.7% | 0% | 0% | 0% | 0 |
| 55.4% | 47.8% | 38.5% | 13.7% | 0% | 0% | 0% | 1 |
| 65.9% | 55.7% | 28.9% | 13.7% | 0% | 1.7% | 0% | 2 |
| 71.2% | 58.4% | 23.6% | 13.7% | 0% | 4.3% | 0% | 3 |
| 77.4% | 62% | 18.1% | 13.7% | 0% | 6.2% | 0% | 4 |
| 83.5% | 66.8% | 13.2% | 13.7% | 0% | 6.3% | 0% | 5 |
| 85.8% | 68.3% | 11.3% | 13.7% | 0% | 6.6% | 0% | 6 |
| 88.3% | 70.3% | 9.4% | 13.7% | 0% | 6.6% | 0% | 7 |
| 89.9% | 71.5% | 8% | 13.7% | 0% | 6.8% | 0% | 8 |
| 91.1% | 72.5% | 7.1% | 13.7% | 0% | 6.8% | 0% | 9 |
| 92.6% | 73.6% | 5.9% | 13.7% | 0% | 6.8% | 0% | 10 |
| 94% | 74.7% | 4.8% | 13.7% | 0% | 6.8% | 0% | 11 |
| 94.5% | 75.1% | 4.4% | 13.7% | 0% | 6.9% | 0% | 12 |
Compiled 1 498 to 816 computations (45.5% saved)
| 197× | left-value |
| 66× | binary-search |
| 64× | narrow-enough |
| 2× | predicate-same |
| 413.0ms | 4 612× | 0 | valid |
| 90.0ms | 144× | 2 | valid |
| 38.0ms | 143× | 3 | valid |
| 22.0ms | 173× | 1 | valid |
Compiled 9 830 to 10 880 computations (-10.7% saved)
ival-mult: 146.0ms (39.9% of total)ival-add: 59.0ms (16.1% of total)ival-hypot: 48.0ms (13.1% of total)ival-sin: 46.0ms (12.6% of total)ival-sub: 23.0ms (6.3% of total)ival-sqrt: 16.0ms (4.4% of total)adjust: 10.0ms (2.7% of total)ival-div: 5.0ms (1.4% of total)ival-exp: 5.0ms (1.4% of total)ival-true: 4.0ms (1.1% of total)ival-assert: 2.0ms (0.5% of total)exact: 2.0ms (0.5% of total)Loading profile data...