Herbie run

Date:Saturday, August 24th, 2024
Commit:73092913 on zane-fix-unused
Hostname:nightly with Racket 8.11.1
Seed:2024237
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: 18.7min)

prune6.5min (35%)

Memory
-721.5MiB live, 907 437.3MiB allocated
Counts
291 439 → 8 016
Compiler

Compiled 688 332 to 296 126 computations (57% saved)

sample3.3min (17.9%)

Memory
776.0MiB live, 284 768.1MiB allocated
Samples
56.5s121 629×1valid
34.9s280 327×0valid
32.4s14 274×5exit
17.3s24 091×2valid
7.8s3 237×3valid
6.0s35 207×0exit
3.8s10 821×1exit
2.6s20 681×0invalid
2.4s11 245×1invalid
364.0ms29×4exit
310.0ms815×2invalid
245.0ms20×3exit
208.0ms28×4valid
28.0ms13×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-pow: 26.7s (18.6% of total)
ival-cos: 17.0s (11.9% of total)
ival-mult: 16.3s (11.4% of total)
ival-sin: 15.9s (11.1% of total)
ival-div: 11.4s (8% of total)
adjust: 10.8s (7.5% of total)
ival-pow2: 8.3s (5.8% of total)
ival-sub: 6.6s (4.6% of total)
ival-exp: 5.7s (4% of total)
ival-add: 5.6s (3.9% of total)
ival-log: 4.5s (3.1% of total)
ival-sqrt: 3.4s (2.3% of total)
ival-neg: 1.9s (1.3% of total)
ival-<: 1.5s (1% of total)
const: 1.4s (1% of total)
ival-atan2: 997.0ms (0.7% of total)
ival-tan: 883.0ms (0.6% of total)
ival-hypot: 824.0ms (0.6% of total)
ival-pi: 758.0ms (0.5% of total)
exact: 411.0ms (0.3% of total)
ival-acos: 396.0ms (0.3% of total)
ival-and: 330.0ms (0.2% of total)
ival-true: 320.0ms (0.2% of total)
ival-atan: 290.0ms (0.2% of total)
ival-<=: 263.0ms (0.2% of total)
ival-cbrt: 257.0ms (0.2% of total)
ival-assert: 228.0ms (0.2% of total)
ival-asin: 192.0ms (0.1% of total)
ival-fabs: 129.0ms (0.1% of total)
ival-log1p: 120.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.0min (10.7%)

Memory
1 498.0MiB live, 167 767.7MiB allocated
Algorithm
452×egg-herbie
Rules
3 590 668×lower-fma.f32
3 589 590×lower-fma.f64
1 779 050×lower-*.f32
1 774 596×lower-*.f64
962 506×lower-+.f32
Stop Event
603×iter limit
323×node limit
129×saturated
Counts
98 424 → 97 778

localize1.2min (6.5%)

Memory
-502.1MiB live, 124 377.3MiB allocated
Samples
23.5s16 934×1valid
9.4s5 060×2valid
8.2s25 653×0valid
8.0s687×5exit
897.0ms1 585×0invalid
806.0ms441×3valid
491.0ms578×1exit
474.0ms62×4exit
165.0ms96×1invalid
117.0ms6×3exit
115.0ms350×0exit
12.0ms3×2exit
9.0ms1×4valid
Compiler

Compiled 129 230 to 9 594 computations (92.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 42.1s
ival-mult: 9.2s (21.8% of total)
ival-cos: 5.9s (14.1% of total)
ival-sin: 5.5s (13.1% of total)
adjust: 4.3s (10.3% of total)
ival-div: 4.2s (10.1% of total)
ival-add: 2.5s (6% of total)
ival-pow2: 1.5s (3.5% of total)
ival-sub: 1.3s (3.2% of total)
const: 1.2s (2.9% of total)
ival-log: 1.1s (2.6% of total)
ival-sqrt: 940.0ms (2.2% of total)
ival-exp: 888.0ms (2.1% of total)
ival-pow: 594.0ms (1.4% of total)
ival-hypot: 509.0ms (1.2% of total)
ival-neg: 475.0ms (1.1% of total)
ival-log1p: 337.0ms (0.8% of total)
ival-tan: 317.0ms (0.8% of total)
ival-atan2: 292.0ms (0.7% of total)
ival-cbrt: 145.0ms (0.3% of total)
ival-atan: 139.0ms (0.3% of total)
ival-acos: 112.0ms (0.3% of total)
exact: 98.0ms (0.2% of total)
ival-pi: 96.0ms (0.2% of total)
ival-fabs: 91.0ms (0.2% of total)
ival-asin: 59.0ms (0.1% of total)
ival-true: 57.0ms (0.1% of total)
ival-expm1: 38.0ms (0.1% of total)
ival-assert: 22.0ms (0.1% of total)
ival-cosh: 16.0ms (0% of total)
ival-sinh: 6.0ms (0% of total)
ival-copysign: 6.0ms (0% of total)
ival-tanh: 2.0ms (0% of total)

rewrite1.1min (6%)

Memory
-677.7MiB live, 97 014.0MiB allocated
Rules
875 142×lower-fma.f32
874 088×lower-fma.f64
856 654×lower-*.f32
852 370×lower-*.f64
671 318×lower-/.f32
Stop Event
410×iter limit
200×node limit
1×saturated
Counts
3 709 → 136 176

eval1.1min (6%)

Memory
192.7MiB live, 111 257.0MiB allocated
Compiler

Compiled 16 296 936 to 759 042 computations (95.3% saved)

soundness1.0min (5.4%)

Memory
-305.4MiB live, 49 200.5MiB allocated
Rules
2 079 932×lower-fma.f32
2 079 366×lower-fma.f64
1 318 860×lower-*.f32
1 316 346×lower-*.f64
671 574×lower-+.f32
Stop Event
379×iter limit
254×node limit
43×fuel
7×done
1×saturated
Compiler

Compiled 57 770 to 24 807 computations (57.1% saved)

regimes53.0s (4.7%)

Memory
-296.6MiB live, 84 478.0MiB allocated
Counts
25 365 → 987
Calls

150 calls:

3.5s
lambda1
3.4s
phi2
3.2s
lambda2
2.9s
phi1
2.8s
a
Compiler

Compiled 25 974 to 16 397 computations (36.9% saved)

series24.9s (2.2%)

Memory
795.4MiB live, 41 753.4MiB allocated
Counts
3 709 → 98 424
Calls

12825 calls:

TimeVariablePointExpression
137.0ms
x
@0
(/ (log 2) x)
132.0ms
angle
@inf
(log (* 2 (+ (* (* a a) (+ (* -1/2 (cos (* (* angle (PI)) 1/90))) 1/2)) (* (* b b) (+ (* 1/2 (cos (* (* angle (PI)) 1/90))) 1/2)))))
129.0ms
s
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
126.0ms
t
@-inf
(* eh (+ (* (/ 1 (* eh (sqrt (+ 1 (pow (/ (* eh (tan t)) ew) 2))))) (* ew (cos t))) (* (sin (atan (/ (* eh (tan t)) ew))) (sin t))))
117.0ms
t
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))

explain20.6s (1.8%)

Memory
-302.0MiB live, 33 122.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity17691
+.f64#fcancellation172827
sin.f64#fsensitivity15218
sqrt.f64#foflow-rescue13890
-.f64#fcancellation98113
log.f64#fsensitivity5860
/.f64#fo/n5110
-.f64#fnan-rescue5090
/.f64#fu/u3320
/.f64#fo/o3200
*.f64#fn*o3120
/.f64#fu/n1840
sqrt.f64#fuflow-rescue1760
exp.f64#fsensitivity16329
/.f64#fn/o1120
*.f64#fn*u960
cbrt.f64#foflow-rescue930
/.f64#fn/u470
cbrt.f64#fuflow-rescue460
*.f64#fu*o420
*.f64#fo*u250
acos.f64(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))sensitivity196
pow.f64#fsensitivity160
pow.f64#fuflow-rescue150
log.f64#foflow-rescue60
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow62
↳(exp.f64 b)underflow58
Confusion
Predicted +Predicted -
+581463
-13536082
Precision
0.8112180828798661
Recall
0.9892802450229708
Confusion?
Predicted +Predicted MaybePredicted -
+58144122
-1353246058
Precision?
0.8095962389380531
Recall?
0.9962565935000851
Freqs
test
numberfreq
06145
14822
21589
3351
4216
5115
633
727
86
98
Total Confusion?
Predicted +Predicted MaybePredicted -
+4210
-207
Precision?
0.9555555555555556
Recall?
1.0
Samples
4.1s7 850×1valid
2.3s2 086×2valid
2.2s16 396×0valid
447.0ms292×3valid
Compiler

Compiled 20 079 to 2 554 computations (87.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.2s
ival-sin: 1.7s (23.2% of total)
ival-cos: 1.2s (17.2% of total)
ival-mult: 819.0ms (11.4% of total)
ival-div: 653.0ms (9.1% of total)
adjust: 517.0ms (7.2% of total)
ival-pow2: 425.0ms (5.9% of total)
ival-add: 370.0ms (5.2% of total)
ival-log: 316.0ms (4.4% of total)
ival-sub: 268.0ms (3.7% of total)
ival-exp: 237.0ms (3.3% of total)
ival-sqrt: 201.0ms (2.8% of total)
ival-neg: 95.0ms (1.3% of total)
ival-tan: 64.0ms (0.9% of total)
ival-atan2: 46.0ms (0.6% of total)
ival-hypot: 38.0ms (0.5% of total)
ival-pi: 32.0ms (0.4% of total)
ival-fabs: 27.0ms (0.4% of total)
ival-atan: 26.0ms (0.4% of total)
ival-pow: 26.0ms (0.4% of total)
ival-true: 25.0ms (0.3% of total)
ival-acos: 24.0ms (0.3% of total)
exact: 19.0ms (0.3% of total)
ival-cbrt: 17.0ms (0.2% of total)
ival-assert: 11.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)

analyze15.4s (1.4%)

Memory
33.0MiB live, 26 169.1MiB allocated
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
17.2%13.7%65.7%20.6%0%0%0%1
25%19.6%58.5%20.6%0%1.3%0%2
35.2%26.6%48.9%20.6%0%3.8%0%3
42.3%31.7%43.1%20.6%0%4.5%0%4
47.9%35.6%38.7%20.6%0%5.1%0%5
51%37.6%36.1%20.6%0%5.7%0%6
54.4%39.7%33.2%20.6%0%6.5%0%7
56.2%40.7%31.8%20.6%0%6.8%0%8
59%42.5%29.5%20.6%0%7.4%0%9
60.3%43.2%28.4%20.6%0%7.7%0%10
62.1%44.3%27%20.6%0%8.1%0%11
63.6%45.1%25.8%20.6%0%8.5%0%12
Compiler

Compiled 1 826 to 990 computations (45.8% saved)

preprocess15.3s (1.4%)

Memory
446.4MiB live, 20 534.7MiB allocated
Algorithm
52×egg-herbie
Rules
238 304×lower-fma.f64
238 304×lower-fma.f32
81 478×lower-*.f32
81 146×lower-*.f64
46 832×unsub-neg
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 64 445 to 19 098 computations (70.4% saved)

bsearch9.3s (0.8%)

Memory
79.6MiB live, 16 939.3MiB allocated
Algorithm
263×binary-search
189×left-value
Stop Event
255×narrow-enough
8×predicate-same
Samples
4.7s7 727×1valid
2.1s11 436×0valid
366.0ms727×2valid
171.0ms94×3valid
47.0ms540×0invalid
7.0ms18×1exit
2.0ms36×0exit
Compiler

Compiled 112 921 to 72 161 computations (36.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-sin: 1.7s (26% of total)
ival-cos: 1.6s (24.2% of total)
ival-mult: 844.0ms (13.1% of total)
ival-div: 487.0ms (7.5% of total)
ival-sub: 479.0ms (7.4% of total)
adjust: 423.0ms (6.6% of total)
ival-pow2: 273.0ms (4.2% of total)
ival-add: 127.0ms (2% of total)
ival-atan2: 124.0ms (1.9% of total)
ival-sqrt: 121.0ms (1.9% of total)
ival-acos: 99.0ms (1.5% of total)
ival-tan: 38.0ms (0.6% of total)
ival-atan: 35.0ms (0.5% of total)
ival-hypot: 28.0ms (0.4% of total)
ival-neg: 26.0ms (0.4% of total)
ival-asin: 21.0ms (0.3% of total)
ival-exp: 21.0ms (0.3% of total)
ival-pi: 20.0ms (0.3% of total)
ival-true: 17.0ms (0.3% of total)
exact: 11.0ms (0.2% of total)
ival-assert: 9.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-log: 4.0ms (0.1% of total)
ival-log1p: 0.0ms (0% of total)

start1.0ms (0%)

Memory
3.3MiB live, 3.3MiB allocated

end0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated

Profiling

Loading profile data...