Herbie run

Date:Thursday, June 20th, 2024
Commit:aefdd770 on main
Hostname:nightly with Racket 8.11.1
Seed:2024172
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)

sample20.8min (22%)

Memory
5 561.7MiB live, 1 367 148.9MiB allocated
Samples
7.6min3 842 792×0valid
3.0min486 895×1valid
3.0min53 506×5exit
1.3min127 464×2valid
56.1s308 241×0invalid
26.6s15 737×3valid
11.9s60 489×0exit
6.1s1 872×4valid
5.8s23 231×1invalid
961.0ms1 831×2invalid
87.0ms9×5valid
33.0ms57×1exit
10.0ms23×3invalid
5.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 13.1min
ival-mult: 2.3min (17.7% of total)
ival-pow: 2.0min (15.1% of total)
ival-sin: 1.2min (9% of total)
ival-div: 1.1min (8.2% of total)
ival-add: 1.0min (7.8% of total)
ival-sub: 49.7s (6.3% of total)
...in/eval/compile.rkt:77:19: 38.1s (4.8% of total)
ival-cos: 37.1s (4.7% of total)
ival-exp: 34.1s (4.3% of total)
ival-log: 31.0s (3.9% of total)
ival-tan: 25.3s (3.2% of total)
adjust: 24.2s (3.1% of total)
ival-sqrt: 21.3s (2.7% of total)
ival-pow2: 13.7s (1.7% of total)
ival-<=: 12.8s (1.6% of total)
ival-neg: 7.3s (0.9% of total)
ival-fabs: 4.8s (0.6% of total)
ival-<: 4.2s (0.5% of total)
ival-and: 2.8s (0.4% of total)
ival-true: 2.8s (0.4% of total)
...in/eval/compile.rkt:76:19: 2.6s (0.3% of total)
ival-pi: 2.6s (0.3% of total)
ival-acos: 2.0s (0.3% of total)
ival-assert: 1.9s (0.2% of total)
ival-atan2: 1.6s (0.2% of total)
ival-asin: 1.5s (0.2% of total)
ival-atan: 1.3s (0.2% of total)
ival-fmod: 999.0ms (0.1% of total)
ival-sinh: 898.0ms (0.1% of total)
ival->: 898.0ms (0.1% of total)
ival-cbrt: 869.0ms (0.1% of total)
ival-floor: 650.0ms (0.1% of total)
ival-fmin: 580.0ms (0.1% of total)
ival-==: 514.0ms (0.1% of total)
ival-acosh: 486.0ms (0.1% of total)
ival->=: 388.0ms (0% of total)
ival-cosh: 345.0ms (0% of total)
ival-asinh: 335.0ms (0% of total)
ival-fmax: 317.0ms (0% of total)
ival-if: 301.0ms (0% of total)
ival-atanh: 297.0ms (0% of total)
ival-hypot: 267.0ms (0% of total)
ival-log2: 245.0ms (0% of total)
ival-tanh: 123.0ms (0% of total)
ival-or: 36.0ms (0% of total)
Bogosity

simplify19.3min (20.4%)

Memory
2 350.3MiB live, 1 201 280.7MiB allocated
Algorithm
4 372×egg-herbie
Rules
1 626 165×fma-define
1 215 390×fmm-def
898 207×distribute-lft-in
855 674×times-frac
813 538×associate-*r*
Stop Event
2 912×node limit
1 433×saturated
27×unsound
Counts
1 149 583 → 996 485

soundness12.1min (12.8%)

Memory
-1 196.3MiB live, 644 440.5MiB allocated
Rules
655 069×fma-define
499 318×log1p-expm1-u
485 590×fmm-def
404 481×associate-*r*
396 225×times-frac
Stop Event
1 954×node limit
366×fuel
176×done
159×saturated
25×unsound
Compiler

Compiled 458 538 to 134 444 computations (70.7% saved)

rewrite8.5min (9%)

Memory
487.2MiB live, 452 533.1MiB allocated
Algorithm
1 894×batch-egg-rewrite
Rules
1 201 091×log1p-expm1-u
907 126×expm1-log1p-u
427 573×pow1
411 651×add-exp-log
394 593×add-log-exp
Stop Event
1 878×node limit
15×unsound
1×saturated
Counts
21 960 → 657 131

prune6.7min (7.1%)

Memory
-7 238.9MiB live, 576 924.2MiB allocated
Counts
1 461 877 → 39 694
Compiler

Compiled 1 913 511 to 981 359 computations (48.7% saved)

localize6.0min (6.3%)

Memory
3 666.1MiB live, 458 955.7MiB allocated
Samples
1.7min395 302×0valid
45.4s46 808×1valid
42.4s8 359×5exit
20.3s13 604×2valid
11.7s26 405×0invalid
5.8s1 810×3valid
3.1s399×4valid
1.3s955×1invalid
1.1s1 886×0exit
96.0ms8×5valid
95.0ms39×1exit
50.0ms39×2invalid
3.0ms1×2exit
1.0ms1×3invalid
Compiler

Compiled 457 959 to 52 250 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9min
ival-mult: 38.1s (21.6% of total)
ival-div: 20.5s (11.6% of total)
ival-pow: 15.9s (9% of total)
ival-add: 14.8s (8.4% of total)
ival-sin: 10.0s (5.7% of total)
ival-tan: 10.0s (5.7% of total)
ival-cos: 8.2s (4.6% of total)
ival-sub: 7.5s (4.3% of total)
adjust: 6.5s (3.7% of total)
...in/eval/compile.rkt:77:19: 6.5s (3.7% of total)
ival-log: 6.0s (3.4% of total)
ival-pow2: 5.7s (3.2% of total)
ival-sqrt: 5.3s (3% of total)
ival-exp: 4.2s (2.4% of total)
ival-log1p: 3.1s (1.7% of total)
ival-expm1: 2.3s (1.3% of total)
ival-neg: 2.0s (1.2% of total)
ival-cbrt: 1.8s (1% of total)
ival-hypot: 1.7s (1% of total)
ival-atan: 1.0s (0.6% of total)
...in/eval/compile.rkt:76:19: 514.0ms (0.3% of total)
ival-atan2: 511.0ms (0.3% of total)
ival-pi: 492.0ms (0.3% of total)
ival-acos: 454.0ms (0.3% of total)
ival-fabs: 443.0ms (0.3% of total)
ival-true: 420.0ms (0.2% of total)
ival-fmod: 400.0ms (0.2% of total)
ival-asin: 382.0ms (0.2% of total)
ival-assert: 207.0ms (0.1% of total)
ival-if: 182.0ms (0.1% of total)
ival-fmax: 127.0ms (0.1% of total)
ival-e: 119.0ms (0.1% of total)
ival-floor: 112.0ms (0.1% of total)
ival-log2: 98.0ms (0.1% of total)
ival-cosh: 83.0ms (0% of total)
ival-copysign: 77.0ms (0% of total)
ival->=: 58.0ms (0% of total)
ival-sinh: 52.0ms (0% of total)
ival-tanh: 21.0ms (0% of total)
ival->: 18.0ms (0% of total)
ival-<: 7.0ms (0% of total)

eval5.4min (5.7%)

Memory
6 334.2MiB live, 428 776.0MiB allocated
Compiler

Compiled 49 082 225 to 5 626 433 computations (88.5% saved)

regimes4.0min (4.2%)

Memory
-161.9MiB live, 320 162.8MiB allocated
Counts
114 129 → 9 108
Calls

1 222 calls:

19.2s
x
14.7s
y
11.3s
z
9.4s
a
8.6s
t
Compiler

Compiled 97 842 to 71 449 computations (27% saved)

series3.2min (3.4%)

Memory
411.9MiB live, 254 190.6MiB allocated
Counts
21 960 → 492 452
Calls

120261 calls:

TimeVariablePointExpression
3.5s
t
@inf
(/ t (- y z))
837.0ms
dX.w
@inf
(log (+ 1 (log2 (sqrt (fmax (pow (sqrt (+ (* (* dX.w (floor d)) (* dX.w (floor d))) (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* dX.v (floor h)) (* dX.v (floor h))))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* dX.v (floor h)) (* dX.v (floor h)))))))) 2) (pow (* (floor h) dY.v) 2))))))
572.0ms
t
@inf
(exp (- (* c_p (neg (log (+ 1 (exp (neg s)))))) (neg (* c_p (log (+ 1 (exp (neg t))))))))
533.0ms
x
@inf
(log (* (- 1 (/ (+ x (/ -1/2 x)) x)) (neg x)))
473.0ms
A
@-inf
(* (sqrt (/ (* F (+ A (- C (sqrt (+ (* B B) (* (- A C) (- A C))))))) (+ (* -4 (* A C)) (pow B 2)))) (sqrt 2))

preprocess2.5min (2.6%)

Memory
-1 199.9MiB live, 137 888.6MiB allocated
Algorithm
542×egg-herbie
Rules
252 186×fma-define
252 101×fmm-def
106 305×unsub-neg
100 734×sub-neg
94 641×distribute-lft-in
Stop Event
294×saturated
248×node limit
Compiler

Compiled 378 510 to 142 418 computations (62.4% saved)

bsearch2.2min (2.4%)

Memory
-136.2MiB live, 164 156.1MiB allocated
Algorithm
4 092×binary-search
578×left-value
Stop Event
3 979×narrow-enough
107×predicate-same
6×predicate-failed
Samples
1.1min449 921×0valid
17.9s41 181×1valid
6.3s2 390×5exit
2.5s4 297×2valid
2.4s18 514×0invalid
1.6s866×3valid
199.0ms1 433×0exit
38.0ms204×1invalid
31.0ms7×4valid
21.0ms67×2invalid
1.0ms2×3invalid
Compiler

Compiled 957 978 to 692 699 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 19.5s (28.2% of total)
ival-sub: 7.7s (11.1% of total)
ival-pow: 7.3s (10.5% of total)
ival-div: 6.2s (9% of total)
ival-add: 6.0s (8.7% of total)
ival-sin: 5.3s (7.7% of total)
ival-cos: 4.6s (6.7% of total)
ival-log: 2.1s (3.1% of total)
ival-sqrt: 1.8s (2.6% of total)
adjust: 1.5s (2.2% of total)
...in/eval/compile.rkt:77:19: 1.5s (2.2% of total)
ival-pow2: 1.2s (1.7% of total)
ival-exp: 1.1s (1.6% of total)
ival-tan: 666.0ms (1% of total)
ival-neg: 577.0ms (0.8% of total)
ival-atan2: 541.0ms (0.8% of total)
ival-true: 369.0ms (0.5% of total)
ival-acos: 252.0ms (0.4% of total)
ival-assert: 198.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 184.0ms (0.3% of total)
ival-pi: 103.0ms (0.1% of total)
ival-atan: 88.0ms (0.1% of total)
ival-fabs: 62.0ms (0.1% of total)
ival-if: 60.0ms (0.1% of total)
ival-fmod: 28.0ms (0% of total)
ival-cbrt: 23.0ms (0% of total)
ival-asin: 20.0ms (0% of total)
ival-hypot: 12.0ms (0% of total)
ival-copysign: 12.0ms (0% of total)
ival->=: 10.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-sinh: 8.0ms (0% of total)
ival-cosh: 4.0ms (0% of total)

explain2.1min (2.3%)

Memory
897.8MiB live, 170 997.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation886963
sqrt.f64#foflow-rescue52700
log.f64#fsensitivity34323
cos.f64#fsensitivity33527
+.f64#fcancellation3106129
/.f64#fo/n19900
sin.f64#fsensitivity19810
/.f64#fo/o18990
-.f64#fnan-rescue14540
log.f32#fsensitivity113064
*.f64#fn*o10500
/.f64#fn/o10090
/.f64#fu/u9840
sqrt.f64#fuflow-rescue9010
+.f64#fnan-rescue8470
/.f64#fu/n6640
sqrt.f32#foflow-rescue5580
acos.f64#fsensitivity5243
*.f64#fn*u4230
tan.f64#fsensitivity4060
pow.f64#fsensitivity38027
-.f32#fcancellation36433
/.f64#fn/u3140
exp.f64#fsensitivity21232
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2070
*.f64#fu*o1970
cos.f64#foflow-rescue1930
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19310
cos.f32#fsensitivity19218
pow.f64#foflow-rescue1730
/.f32#fo/n1440
asin.f64#fsensitivity1283
*.f64#fo*u1260
cbrt.f64#foflow-rescue840
log.f64#foflow-rescue780
log.f64#fuflow-rescue750
pow.f64#fuflow-rescue740
cbrt.f64#fuflow-rescue410
exp.f32#fsensitivity4128
tan.f64#foflow-rescue320
sin.f64#foflow-rescue320
/.f32#fu/n260
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue150
↳(*.f32 sinTheta_O sinTheta_O)underflow286
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow15
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow143
↳(*.f32 eta eta)underflow15
/.f32#fo/o80
*.f32#fn*o30
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o20
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow8
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow8
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue10
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow1
↳(*.f32 x x)overflow148
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow148
+.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))cancellation10
Confusion
Predicted +Predicted -
+303711207
-5945101229
Precision
0.8362980504460844
Recall
0.9617771866489327
Confusion?
Predicted +Predicted MaybePredicted -
+30371263944
-5945406100823
Precision?
0.8282817358388536
Recall?
0.9701057698397618
Freqs
test
numberfreq
0102436
130489
24672
3610
4303
5152
667
718
83
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+34332
-122180
Precision?
0.9611111111111111
Recall?
0.9942528735632183
Samples
28.0s231 126×0valid
12.7s34 774×1valid
6.9s10 090×2valid
2.0s1 156×3valid
379.0ms118×4valid
277.0ms144×5exit
21.0ms44×2invalid
14.0ms48×1invalid
1.0ms2×5valid
1.0ms2×3invalid
Compiler

Compiled 106 238 to 25 502 computations (76% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.0s
ival-mult: 8.3s (24.3% of total)
ival-div: 3.2s (9.4% of total)
ival-add: 3.2s (9.4% of total)
ival-sub: 3.0s (8.9% of total)
ival-sin: 2.8s (8.4% of total)
ival-cos: 2.4s (7.1% of total)
ival-exp: 1.9s (5.5% of total)
ival-log: 1.7s (5% of total)
adjust: 1.2s (3.6% of total)
ival-sqrt: 1.2s (3.5% of total)
ival-tan: 1.2s (3.5% of total)
ival-pow2: 876.0ms (2.6% of total)
...in/eval/compile.rkt:77:19: 622.0ms (1.8% of total)
ival-pow: 530.0ms (1.6% of total)
ival-neg: 464.0ms (1.4% of total)
ival-true: 239.0ms (0.7% of total)
ival-copysign: 221.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 119.0ms (0.3% of total)
ival-atan2: 114.0ms (0.3% of total)
ival-assert: 111.0ms (0.3% of total)
ival-asin: 98.0ms (0.3% of total)
ival-pi: 86.0ms (0.3% of total)
ival-atan: 75.0ms (0.2% of total)
ival-fabs: 67.0ms (0.2% of total)
ival-acos: 59.0ms (0.2% of total)
ival-cbrt: 42.0ms (0.1% of total)
ival-floor: 39.0ms (0.1% of total)
ival-fmod: 35.0ms (0.1% of total)
ival-sinh: 30.0ms (0.1% of total)
ival-if: 26.0ms (0.1% of total)
ival-hypot: 18.0ms (0.1% of total)
ival-log2: 17.0ms (0% of total)
ival-fmax: 16.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-cosh: 10.0ms (0% of total)
ival-log1p: 8.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

analyze1.6min (1.7%)

Memory
153.1MiB live, 111 447.2MiB allocated
Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
38.9%32.9%51.6%15.6%0%0%0%1
44.8%37.5%46.2%15.6%0%0.8%0%2
54.1%44.1%37.5%15.6%0%2.8%0%3
60.9%49.1%31.5%15.6%0%3.9%0%4
67.2%53.8%26.3%15.6%0%4.3%0%5
71.1%56.7%23.1%15.6%0%4.7%0%6
75%59.4%19.8%15.6%0%5.3%0%7
77%60.7%18.1%15.6%0%5.7%0%8
79.6%62.5%16%15.6%0%6%0%9
81.2%63.5%14.7%15.6%0%6.3%0%10
83.4%65.1%12.9%15.6%0%6.4%0%11
84.5%65.8%12%15.6%0%6.7%0%12
Compiler

Compiled 12 512 to 7 903 computations (36.8% saved)

end3.0ms (0%)

Memory
9.4MiB live, 8.6MiB allocated

Profiling

Loading profile data...