Herbie run
| Date: | Wednesday, June 5th, 2024 |
|---|---|
| Commit: | 8a54fd57 on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024157 |
| 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: 5.9min)
| 44.4s | 55229× | 2 | valid |
| 34.3s | 148803× | 0 | invalid |
| 34.3s | 116109× | 1 | valid |
| 26.1s | 7161× | 5 | exit |
| 7.3s | 57204× | 0 | valid |
| 3.7s | 2626× | 3 | valid |
ival-pow: 25.0s (21.3% of total)ival-tan: 13.4s (11.4% of total)ival-exp: 11.4s (9.8% of total)ival-mult: 9.0s (7.7% of total)adjust: 6.8s (5.8% of total)ival-sub: 6.7s (5.7% of total)...c/correct-round.rkt:168:19: 6.3s (5.3% of total)ival-log: 5.8s (4.9% of total)ival-add: 4.7s (4% of total)ival-cos: 4.7s (4% of total)ival-div: 4.3s (3.7% of total)ival-sin: 4.1s (3.5% of total)ival-<=: 4.0s (3.4% of total)ival-fabs: 2.8s (2.4% of total)ival-sqrt: 1.6s (1.4% of total)ival-<: 1.5s (1.3% of total)ival->: 961.0ms (0.8% of total)ival-fmin: 783.0ms (0.7% of total)const: 765.0ms (0.7% of total)ival-and: 748.0ms (0.6% of total)ival-neg: 688.0ms (0.6% of total)ival-atan: 519.0ms (0.4% of total)ival-assert: 488.0ms (0.4% of total)ival-cbrt: 304.0ms (0.3% of total)ival-true: 136.0ms (0.1% of total)| 237× | egg-herbie |
| 76531× | fma-define |
| 68609× | fmm-def |
| 48621× | distribute-lft-in |
| 46230× | times-frac |
| 42456× | distribute-rgt-in |
| 79× | saturated |
| 157× | node limit |
| 1× | unsound |
| 7.2s | 6442× | 1 | valid |
| 6.4s | 13849× | 0 | valid |
| 5.7s | 3504× | 2 | valid |
| 3.1s | 438× | 5 | exit |
| 1.5s | 2325× | 0 | invalid |
| 789.0ms | 258× | 3 | valid |
| 98.0ms | 38× | 2 | invalid |
| 35.0ms | 26× | 1 | invalid |
Compiled 18083 to 2570 computations (85.8% saved)
ival-pow: 3.0s (23.4% of total)ival-mult: 1.6s (12.7% of total)adjust: 1.5s (11.7% of total)ival-div: 1.0s (8.2% of total)ival-add: 914.0ms (7.2% of total)ival-log: 761.0ms (6% of total)ival-sub: 607.0ms (4.8% of total)...c/correct-round.rkt:168:19: 543.0ms (4.3% of total)ival-tan: 471.0ms (3.7% of total)ival-cos: 407.0ms (3.2% of total)ival-sqrt: 330.0ms (2.6% of total)ival-log1p: 281.0ms (2.2% of total)ival-exp: 228.0ms (1.8% of total)ival-fma: 218.0ms (1.7% of total)ival-neg: 169.0ms (1.3% of total)ival-sin: 136.0ms (1.1% of total)ival-cbrt: 117.0ms (0.9% of total)const: 88.0ms (0.7% of total)ival-hypot: 47.0ms (0.4% of total)ival-true: 45.0ms (0.4% of total)ival-expm1: 45.0ms (0.4% of total)ival-atan2: 40.0ms (0.3% of total)ival-atan: 36.0ms (0.3% of total)ival-e: 34.0ms (0.3% of total)ival-assert: 33.0ms (0.3% of total)| 30739× | fma-define |
| 29108× | fmm-def |
| 28918× | log1p-expm1-u |
| 26561× | expm1-log1p-u |
| 18372× | times-frac |
| 8× | saturated |
| 104× | node limit |
| 21× | fuel |
| 1× | unsound |
| 7× | done |
Compiled 18289 to 5736 computations (68.6% saved)
| 104× | batch-egg-rewrite |
| 66916× | log1p-expm1-u |
| 52828× | expm1-log1p-u |
| 20979× | pow1 |
| 20558× | add-exp-log |
| 20116× | add-log-exp |
| 104× | node limit |
Compiled 64737 to 36677 computations (43.3% saved)
Compiled 2143525 to 305780 computations (85.7% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 4091 | 33 |
log.f64 | #f | sensitivity | 763 | 5 |
/.f64 | #f | u/u | 439 | 0 |
sqrt.f64 | #f | oflow-rescue | 382 | 0 |
+.f64 | #f | cancellation | 355 | 1 |
/.f64 | #f | u/n | 123 | 0 |
pow.f64 | (pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n)) | sensitivity | 67 | 1 |
sqrt.f64 | #f | uflow-rescue | 24 | 0 |
/.f64 | (/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))) | n/u | 24 | 0 |
| ↳ | (*.f64 b eps) | underflow | 159 | |
| ↳ | (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) | underflow | 155 | |
| ↳ | (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)) | underflow | 159 | |
| ↳ | (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))) | underflow | 236 | |
| ↳ | (*.f64 a eps) | underflow | 155 | |
-.f64 | #f | nan-rescue | 16 | 0 |
/.f64 | (/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64))) | o/o | 5 | 0 |
| ↳ | (exp.f64 (*.f64 #s(literal 2 binary64) x)) | overflow | 5 | |
| ↳ | (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) | overflow | 5 | |
| ↳ | (exp.f64 x) | overflow | 5 | |
| ↳ | (-.f64 (exp.f64 x) #s(literal 1 binary64)) | overflow | 5 | |
/.f64 | (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x)) | n/o | 3 | 0 |
| ↳ | (*.f64 x x) | overflow | 64 | |
exp.f64 | #f | sensitivity | 2 | 0 |
*.f64 | #f | n*u | 2 | 0 |
sin.f64 | (sin.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
tan.f64 | (tan.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5195 | 23 |
| - | 139 | 1811 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5195 | 17 | 6 |
| - | 139 | 21 | 1790 |
| number | freq |
|---|---|
| 0 | 1834 |
| 1 | 4556 |
| 2 | 632 |
| 3 | 106 |
| 4 | 40 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 0 | 0 |
| - | 0 | 0 | 0 |
| 2.8s | 3446× | 2 | valid |
| 2.4s | 7258× | 1 | valid |
| 760.0ms | 3442× | 0 | valid |
| 317.0ms | 190× | 3 | valid |
Compiled 2522 to 980 computations (61.1% saved)
ival-exp: 744.0ms (20.8% of total)ival-tan: 568.0ms (15.8% of total)adjust: 497.0ms (13.9% of total)ival-log: 275.0ms (7.7% of total)ival-sub: 248.0ms (6.9% of total)ival-sin: 222.0ms (6.2% of total)ival-cos: 197.0ms (5.5% of total)ival-div: 192.0ms (5.4% of total)ival-mult: 177.0ms (4.9% of total)ival-add: 139.0ms (3.9% of total)ival-pow: 104.0ms (2.9% of total)ival-sqrt: 82.0ms (2.3% of total)ival-atan: 31.0ms (0.9% of total)ival-neg: 25.0ms (0.7% of total)ival-true: 23.0ms (0.6% of total)const: 22.0ms (0.6% of total)ival-cbrt: 21.0ms (0.6% of total)ival-assert: 17.0ms (0.5% of total)4761 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 245.0ms | b | @ | 0 | (log (* -1/2 (/ (* a (* (/ c b) 2)) a))) |
| 227.0ms | a | @ | inf | (* a 2) |
| 144.0ms | a | @ | -inf | (cbrt (pow (cbrt (- (exp (* a x)) 1)) 4)) |
| 122.0ms | x | @ | inf | (cbrt (- (exp (* a x)) 1)) |
| 101.0ms | c | @ | inf | (log (* -1/2 (/ (* a (* (/ c b) 2)) a))) |
| 28× | egg-herbie |
| 8308× | fmm-def |
| 6663× | fma-define |
| 4254× | div-sub |
| 2652× | sub-neg |
| 2620× | times-frac |
| 23× | saturated |
| 5× | node limit |
Compiled 8494 to 3532 computations (58.4% saved)
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 61.1% | 38.9% | 0% | 0% | 0% | 0 |
| 6.1% | 3.7% | 57.4% | 38.9% | 0% | 0% | 0% | 1 |
| 16.5% | 10.1% | 51% | 38.9% | 0% | 0% | 0% | 2 |
| 35.3% | 20.6% | 37.8% | 38.9% | 0% | 2.7% | 0% | 3 |
| 46.1% | 26.9% | 31.4% | 38.9% | 0% | 2.8% | 0% | 4 |
| 54.8% | 31.5% | 26% | 38.9% | 0% | 3.6% | 0% | 5 |
| 57.1% | 32.5% | 24.4% | 38.9% | 0% | 4.2% | 0% | 6 |
| 61.5% | 33.9% | 21.3% | 38.9% | 0% | 5.9% | 0.1% | 7 |
| 64.6% | 35.3% | 19.3% | 38.9% | 0% | 6.4% | 0.1% | 8 |
| 67.1% | 36% | 17.6% | 38.9% | 0% | 7.2% | 0.3% | 9 |
| 69.1% | 36.5% | 16.3% | 38.9% | 0% | 8.1% | 0.3% | 10 |
| 71.7% | 37.5% | 14.8% | 38.9% | 0% | 8.5% | 0.4% | 11 |
| 72.8% | 37.8% | 14.1% | 38.9% | 0% | 8.9% | 0.4% | 12 |
Compiled 483 to 350 computations (27.5% saved)
43 calls:
| 898.0ms | x |
| 208.0ms | eps |
| 206.0ms | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) |
| 196.0ms | b_2 |
| 158.0ms | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
Compiled 1431 to 949 computations (33.7% saved)
| 71× | binary-search |
| 31× | left-value |
| 2× | predicate-same |
| 69× | narrow-enough |
| 812.0ms | 6905× | 0 | valid |
| 354.0ms | 802× | 2 | valid |
| 278.0ms | 1269× | 1 | valid |
| 95.0ms | 936× | 0 | invalid |
Compiled 13208 to 9792 computations (25.9% saved)
ival-pow: 230.0ms (22.4% of total)ival-mult: 162.0ms (15.8% of total)ival-neg: 146.0ms (14.2% of total)ival-div: 110.0ms (10.7% of total)ival-sub: 81.0ms (7.9% of total)ival-exp: 61.0ms (5.9% of total)adjust: 56.0ms (5.5% of total)ival-sqrt: 55.0ms (5.4% of total)ival-add: 54.0ms (5.3% of total)ival-cos: 26.0ms (2.5% of total)ival-true: 14.0ms (1.4% of total)ival-assert: 10.0ms (1% of total)const: 9.0ms (0.9% of total)ival-sin: 9.0ms (0.9% of total)ival-cbrt: 3.0ms (0.3% of total)Loading profile data...