Herbie run
| Date: | Tuesday, June 25th, 2024 |
|---|---|
| Commit: | c8a5274a on zane-job-abstraction-places |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024177 |
| 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: 7.4min)
| 286× | egg-herbie |
| 105 486× | fma-define |
| 65 132× | *-commutative |
| 64 223× | times-frac |
| 61 096× | distribute-lft-in |
| 58 945× | fmm-def |
| 218× | node limit |
| 68× | saturated |
| 34.9s | 221 073× | 0 | valid |
| 12.8s | 34 956× | 1 | valid |
| 7.8s | 57 586× | 0 | invalid |
| 3.8s | 11 355× | 1 | invalid |
| 2.6s | 4 606× | 2 | valid |
| 1.3s | 2 652× | 3 | valid |
| 716.0ms | 896× | 4 | valid |
| 282.0ms | 863× | 2 | invalid |
| 31.0ms | 208× | 0 | exit |
| 6.0ms | 9× | 5 | valid |
| 1.0ms | 3× | 5 | exit |
ival-mult: 13.6s (27.4% of total)ival-div: 7.2s (14.5% of total)ival-tan: 4.7s (9.5% of total)ival-sub: 3.0s (6.2% of total)ival-add: 2.8s (5.6% of total)ival-sqrt: 2.6s (5.2% of total)ival-pow2: 2.4s (4.9% of total)ival-exp: 2.0s (4.1% of total)ival-pow: 1.9s (3.8% of total)ival-sin: 1.8s (3.6% of total)adjust: 1.8s (3.5% of total)ival-pi: 1.3s (2.6% of total)ival-cos: 1.2s (2.5% of total)ival-neg: 782.0ms (1.6% of total)ival-hypot: 403.0ms (0.8% of total)ival-acos: 377.0ms (0.8% of total)...in/eval/compile.rkt:77:19: 361.0ms (0.7% of total)ival-log: 326.0ms (0.7% of total)ival-true: 241.0ms (0.5% of total)...in/eval/compile.rkt:76:19: 233.0ms (0.5% of total)ival-asin: 183.0ms (0.4% of total)ival-assert: 133.0ms (0.3% of total)ival-atan: 117.0ms (0.2% of total)ival-<: 102.0ms (0.2% of total)ival-fabs: 85.0ms (0.2% of total)ival-and: 11.0ms (0% of total)| 54 265× | fma-define |
| 46 641× | log1p-expm1-u |
| 35 383× | times-frac |
| 33 724× | associate-*r* |
| 33 590× | expm1-log1p-u |
| 178× | node limit |
| 30× | fuel |
| 7× | saturated |
| 2× | done |
| 1× | unsound |
Compiled 44 344 to 13 601 computations (69.3% saved)
| 127× | batch-egg-rewrite |
| 68 122× | log1p-expm1-u |
| 50 961× | expm1-log1p-u |
| 34 385× | add-exp-log |
| 33 805× | pow1 |
| 33 787× | add-log-exp |
| 126× | node limit |
| 1× | unsound |
| 9.0s | 23 260× | 0 | valid |
| 4.6s | 836× | 5 | exit |
| 3.4s | 3 892× | 1 | valid |
| 2.4s | 3 628× | 0 | invalid |
| 908.0ms | 569× | 2 | valid |
| 617.0ms | 175× | 3 | valid |
| 366.0ms | 95× | 4 | valid |
| 51.0ms | 50× | 0 | exit |
| 21.0ms | 7× | 5 | valid |
Compiled 37 746 to 4 567 computations (87.9% saved)
ival-tan: 3.3s (20.6% of total)ival-mult: 2.9s (18% of total)ival-div: 2.0s (12.5% of total)ival-add: 1.3s (7.9% of total)ival-sub: 836.0ms (5.2% of total)ival-pow: 794.0ms (4.9% of total)ival-sin: 758.0ms (4.7% of total)adjust: 693.0ms (4.3% of total)ival-pow2: 643.0ms (4% of total)ival-exp: 532.0ms (3.3% of total)ival-sqrt: 506.0ms (3.1% of total)ival-log: 322.0ms (2% of total)ival-cos: 309.0ms (1.9% of total)...in/eval/compile.rkt:77:19: 232.0ms (1.4% of total)ival-hypot: 228.0ms (1.4% of total)ival-asin: 117.0ms (0.7% of total)ival-log1p: 95.0ms (0.6% of total)ival-cbrt: 85.0ms (0.5% of total)ival-fabs: 80.0ms (0.5% of total)ival-acos: 69.0ms (0.4% of total)ival-neg: 67.0ms (0.4% of total)ival-expm1: 51.0ms (0.3% of total)...in/eval/compile.rkt:76:19: 48.0ms (0.3% of total)ival-atan: 38.0ms (0.2% of total)ival-pi: 36.0ms (0.2% of total)ival-true: 29.0ms (0.2% of total)ival-tanh: 18.0ms (0.1% of total)ival-assert: 14.0ms (0.1% of total)ival-e: 2.0ms (0% of total)Compiled 147 081 to 82 142 computations (44.2% saved)
Compiled 3 828 858 to 500 171 computations (86.9% saved)
156 calls:
| 1.5s | l |
| 1.3s | t |
| 917.0ms | k |
| 538.0ms | M |
| 510.0ms | (*.f64 l l) |
Compiled 8 859 to 6 567 computations (25.9% saved)
13017 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 445.0ms | d | @ | 0 | (log (/ M d)) |
| 319.0ms | t | @ | inf | (/ 2 (* (* (/ (pow t 3) (* l l)) (sin k)) (* (tan k) (+ 1 (+ 1 (pow (/ k t) 2)))))) |
| 253.0ms | D | @ | 0 | (+ (* (/ (/ c0 h) w) (pow (/ d D) 2)) (sqrt (* (- (* (/ (/ c0 h) w) (pow (/ d D) 2)) M) (+ (* (/ (/ c0 h) w) (pow (/ d D) 2)) M)))) |
| 169.0ms | Om | @ | inf | (exp (+ 1/2 (/ 1/2 (sqrt (+ (* 1 1) (* (* (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))) (/ (* 2 l) Om)) (* (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))) (/ (* 2 l) Om)))))))) |
| 150.0ms | K | @ | 0 | (* J (* (* -2 (cos (/ K 2))) (sqrt (+ (* 1 1) (* (/ (/ U 2) (* J (cos (/ K 2)))) (/ (/ U 2) (* J (cos (/ K 2))))))))) |
| 320× | binary-search |
| 107× | left-value |
| 308× | narrow-enough |
| 12× | predicate-same |
| 6.6s | 35 718× | 0 | valid |
| 892.0ms | 5 230× | 0 | invalid |
| 459.0ms | 1 379× | 1 | valid |
| 162.0ms | 629× | 2 | valid |
| 94.0ms | 275× | 3 | valid |
| 23.0ms | 130× | 1 | invalid |
| 8.0ms | 32× | 2 | invalid |
| 7.0ms | 14× | 4 | valid |
| 1.0ms | 1× | 5 | valid |
| 1.0ms | 1× | 5 | exit |
Compiled 90 784 to 66 076 computations (27.2% saved)
ival-mult: 1.3s (20.2% of total)ival-sin: 1.3s (19.5% of total)ival-div: 1.2s (18.1% of total)ival-pow: 770.0ms (11.8% of total)ival-tan: 408.0ms (6.2% of total)ival-pow2: 399.0ms (6.1% of total)ival-add: 397.0ms (6.1% of total)ival-sub: 226.0ms (3.5% of total)ival-neg: 115.0ms (1.8% of total)adjust: 107.0ms (1.6% of total)ival-sqrt: 97.0ms (1.5% of total)ival-exp: 75.0ms (1.1% of total)ival-cos: 33.0ms (0.5% of total)ival-true: 33.0ms (0.5% of total)...in/eval/compile.rkt:76:19: 29.0ms (0.4% of total)...in/eval/compile.rkt:77:19: 19.0ms (0.3% of total)ival-assert: 17.0ms (0.3% of total)ival-hypot: 13.0ms (0.2% of total)ival-atan: 10.0ms (0.2% of total)ival-fabs: 8.0ms (0.1% of total)ival-asin: 2.0ms (0% of total)ival-pi: 2.0ms (0% of total)| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | #f | oflow-rescue | 476 | 0 |
-.f64 | #f | cancellation | 473 | 2 |
cos.f64 | #f | sensitivity | 399 | 0 |
acos.f64 | (acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))) | sensitivity | 254 | 0 |
+.f64 | #f | nan-rescue | 220 | 0 |
*.f64 | #f | n*o | 204 | 0 |
sqrt.f64 | #f | uflow-rescue | 159 | 0 |
pow.f64 | #f | oflow-rescue | 149 | 0 |
asin.f64 | (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) | sensitivity | 123 | 0 |
*.f64 | #f | u*o | 123 | 0 |
tan.f64 | (tan.f64 (*.f64 (PI.f64) l)) | sensitivity | 114 | 1 |
-.f64 | #f | nan-rescue | 112 | 0 |
/.f64 | #f | o/o | 75 | 0 |
pow.f64 | (pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64))) | sensitivity | 72 | 23 |
*.f64 | #f | n*u | 62 | 0 |
/.f64 | #f | o/n | 60 | 0 |
+.f64 | #f | cancellation | 56 | 0 |
/.f64 | #f | u/u | 54 | 0 |
pow.f64 | #f | uflow-rescue | 53 | 0 |
*.f64 | #f | o*u | 50 | 0 |
cos.f64 | (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)) | oflow-rescue | 45 | 0 |
| ↳ | (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) | overflow | 45 | |
| ↳ | (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M) | overflow | 45 | |
| ↳ | (*.f64 K (+.f64 m n)) | overflow | 45 | |
/.f64 | #f | n/u | 37 | 0 |
/.f64 | #f | n/o | 32 | 0 |
/.f64 | #f | u/n | 16 | 0 |
log.f64 | (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))) | sensitivity | 5 | 0 |
exp.f64 | #f | sensitivity | 3 | 0 |
log.f64 | (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))) | oflow-rescue | 1 | 0 |
| ↳ | (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) | overflow | 6 | |
| ↳ | (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))) | overflow | 1 | |
| ↳ | (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) | overflow | 3 | |
| ↳ | (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) | overflow | 3 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 1911 | 36 |
| - | 1122 | 5123 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1911 | 0 | 36 |
| - | 1122 | 26 | 5097 |
| number | freq |
|---|---|
| 0 | 5159 |
| 1 | 2689 |
| 2 | 298 |
| 3 | 43 |
| 4 | 2 |
| 5 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 24 | 0 | 0 |
| - | 2 | 0 | 6 |
| 2.3s | 13 160× | 0 | valid |
| 1.2s | 2 644× | 1 | valid |
| 256.0ms | 316× | 2 | valid |
| 146.0ms | 198× | 3 | valid |
| 31.0ms | 50× | 4 | valid |
| 13.0ms | 14× | 5 | exit |
| 2.0ms | 2× | 5 | valid |
Compiled 8 430 to 2 164 computations (74.3% saved)
ival-mult: 584.0ms (22.6% of total)ival-tan: 357.0ms (13.8% of total)ival-div: 315.0ms (12.2% of total)ival-sub: 250.0ms (9.7% of total)ival-exp: 141.0ms (5.4% of total)ival-cos: 141.0ms (5.4% of total)ival-pow2: 132.0ms (5.1% of total)ival-add: 122.0ms (4.7% of total)ival-pow: 122.0ms (4.7% of total)ival-sin: 102.0ms (3.9% of total)ival-sqrt: 97.0ms (3.7% of total)adjust: 70.0ms (2.7% of total)ival-neg: 28.0ms (1.1% of total)ival-pi: 17.0ms (0.7% of total)ival-hypot: 17.0ms (0.7% of total)ival-true: 15.0ms (0.6% of total)ival-acos: 14.0ms (0.5% of total)...in/eval/compile.rkt:76:19: 13.0ms (0.5% of total)ival-log: 12.0ms (0.5% of total)...in/eval/compile.rkt:77:19: 10.0ms (0.4% of total)ival-asin: 9.0ms (0.3% of total)ival-atan: 9.0ms (0.3% of total)ival-assert: 7.0ms (0.3% of total)ival-fabs: 4.0ms (0.2% of total)| 32× | egg-herbie |
| 20 054× | fma-define |
| 13 409× | fmm-def |
| 8 518× | times-frac |
| 7 224× | distribute-lft-in |
| 7 153× | unsub-neg |
| 23× | node limit |
| 9× | saturated |
Compiled 49 492 to 20 320 computations (58.9% saved)
| 32× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 98.2% | 1.8% | 0% | 0% | 0% | 0 |
| 22.2% | 21.8% | 76.4% | 1.8% | 0% | 0% | 0% | 1 |
| 22.6% | 21.8% | 74.8% | 1.8% | 0% | 1.6% | 0% | 2 |
| 28.8% | 26.5% | 65.5% | 1.8% | 0% | 6.2% | 0% | 3 |
| 33.1% | 29.6% | 60% | 1.8% | 0% | 8.6% | 0% | 4 |
| 36.2% | 32.3% | 56.8% | 1.8% | 0% | 9.2% | 0% | 5 |
| 40.6% | 36.1% | 52.9% | 1.8% | 0% | 9.3% | 0% | 6 |
| 45.8% | 40.6% | 48.1% | 1.8% | 0% | 9.5% | 0% | 7 |
| 48.3% | 42.1% | 45% | 1.8% | 0% | 11.1% | 0% | 8 |
| 51.5% | 44.7% | 42% | 1.8% | 0% | 11.6% | 0% | 9 |
| 52.7% | 45.5% | 40.8% | 1.8% | 0% | 11.9% | 0% | 10 |
| 54.5% | 46.8% | 39% | 1.8% | 0% | 12.5% | 0% | 11 |
| 56.2% | 47.9% | 37.4% | 1.8% | 0% | 12.9% | 0% | 12 |
Compiled 793 to 574 computations (27.6% saved)
Loading profile data...