Herbie run

Date:Thursday, August 15th, 2024
Commit:d70355f9 on zane-enable-timeline-profile
Hostname:nightly with Racket 8.11.1
Seed:2024228
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: 17.9min)

prune5.3min (29.5%)

Memory
-864.1MiB live, 708 126.3MiB allocated
Counts
288 074 → 7 957
Compiler

Compiled 697 238 to 290 037 computations (58.4% saved)

sample3.4min (18.8%)

Memory
-650.1MiB live, 259 086.4MiB allocated
Samples
56.8s121 030×1valid
36.6s280 784×0valid
30.6s14 388×5exit
17.2s24 221×2valid
7.3s3 240×3valid
5.9s34 510×0exit
4.9s10 732×1exit
3.1s20 450×0invalid
2.6s11 096×1invalid
397.0ms32×4exit
294.0ms805×2invalid
269.0ms37×4valid
233.0ms23×3exit
25.0ms10×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-pow: 25.4s (17.7% of total)
ival-cos: 17.8s (12.4% of total)
ival-mult: 17.8s (12.4% of total)
ival-sin: 15.9s (11.1% of total)
ival-div: 11.7s (8.2% of total)
adjust: 10.1s (7% of total)
ival-pow2: 8.0s (5.6% of total)
ival-sub: 6.4s (4.5% of total)
ival-add: 6.2s (4.3% of total)
ival-exp: 5.6s (3.9% of total)
ival-log: 4.0s (2.8% of total)
ival-sqrt: 3.9s (2.7% of total)
ival-neg: 2.1s (1.5% of total)
ival-<: 1.8s (1.2% of total)
const: 1.7s (1.2% of total)
ival-atan2: 771.0ms (0.5% of total)
ival-hypot: 569.0ms (0.4% of total)
ival-tan: 506.0ms (0.4% of total)
ival-pi: 498.0ms (0.3% of total)
exact: 405.0ms (0.3% of total)
ival-atan: 370.0ms (0.3% of total)
ival-acos: 367.0ms (0.3% of total)
ival-and: 335.0ms (0.2% of total)
ival-true: 293.0ms (0.2% of total)
ival-cbrt: 253.0ms (0.2% of total)
ival-asin: 215.0ms (0.1% of total)
ival-assert: 209.0ms (0.1% of total)
ival-<=: 170.0ms (0.1% of total)
ival-fabs: 130.0ms (0.1% of total)
ival-log1p: 117.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.1min (12%)

Memory
1 110.1MiB live, 168 994.1MiB allocated
Algorithm
460×egg-herbie
Rules
3 634 410×lower-fma.f32
3 633 376×lower-fma.f64
1 767 094×lower-*.f32
1 762 678×lower-*.f64
969 738×lower-+.f32
Stop Event
612×iter limit
324×node limit
136×saturated
Counts
97 128 → 96 440

localize1.2min (6.9%)

Memory
-153.3MiB live, 111 091.8MiB allocated
Samples
22.2s17 026×1valid
10.6s4 914×2valid
9.2s26 686×0valid
8.5s805×5exit
1.5s1 945×0invalid
896.0ms452×3valid
481.0ms58×4exit
397.0ms188×1invalid
191.0ms141×1exit
18.0ms1×3exit
4.0ms1×2exit
4.0ms7×0exit
Compiler

Compiled 126 032 to 9 554 computations (92.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 43.8s
ival-mult: 9.6s (22% of total)
ival-sin: 6.3s (14.4% of total)
ival-cos: 5.8s (13.2% of total)
adjust: 4.5s (10.3% of total)
ival-div: 4.1s (9.4% of total)
ival-add: 2.8s (6.4% of total)
ival-pow2: 1.8s (4% of total)
const: 1.3s (3% of total)
ival-sub: 1.3s (2.9% of total)
ival-sqrt: 1.1s (2.5% of total)
ival-exp: 1.0s (2.4% of total)
ival-pow: 795.0ms (1.8% of total)
ival-log: 767.0ms (1.8% of total)
ival-neg: 488.0ms (1.1% of total)
ival-hypot: 380.0ms (0.9% of total)
ival-atan2: 311.0ms (0.7% of total)
ival-log1p: 247.0ms (0.6% of total)
ival-asin: 173.0ms (0.4% of total)
ival-tan: 140.0ms (0.3% of total)
ival-cbrt: 128.0ms (0.3% of total)
ival-atan: 125.0ms (0.3% of total)
ival-pi: 122.0ms (0.3% of total)
ival-acos: 118.0ms (0.3% of total)
exact: 95.0ms (0.2% of total)
ival-fabs: 71.0ms (0.2% of total)
ival-expm1: 47.0ms (0.1% of total)
ival-true: 46.0ms (0.1% of total)
ival-e: 24.0ms (0.1% of total)
ival-assert: 24.0ms (0.1% of total)
ival-cosh: 11.0ms (0% of total)
ival-copysign: 10.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)
ival-tanh: 1.0ms (0% of total)

soundness1.2min (6.8%)

Memory
415.9MiB live, 59 869.4MiB allocated
Rules
2 339 862×lower-fma.f32
2 339 154×lower-fma.f64
1 536 380×lower-*.f32
1 533 072×lower-*.f64
795 564×lower-+.f32
Stop Event
447×iter limit
295×node limit
46×fuel
6×done
Compiler

Compiled 58 726 to 25 463 computations (56.6% saved)

rewrite1.1min (6.3%)

Memory
-843.6MiB live, 91 998.0MiB allocated
Rules
888 342×lower-fma.f32
887 854×lower-*.f32
887 312×lower-fma.f64
883 564×lower-*.f64
680 592×lower-/.f32
Stop Event
414×iter limit
203×node limit
1×saturated
Counts
3 690 → 134 924

eval1.0min (5.7%)

Memory
1 521.9MiB live, 99 427.6MiB allocated
Compiler

Compiled 15 690 358 to 724 596 computations (95.4% saved)

regimes58.8s (5.5%)

Memory
-165.1MiB live, 85 443.9MiB allocated
Counts
27 003 → 975
Calls

155 calls:

3.5s
phi1
3.4s
phi2
3.2s
lambda1
3.2s
(-.f64 lambda1 lambda2)
3.0s
b
Compiler

Compiled 31 265 to 18 121 computations (42% saved)

series23.2s (2.2%)

Memory
252.6MiB live, 37 408.1MiB allocated
Counts
3 690 → 97 128
Calls

12765 calls:

TimeVariablePointExpression
170.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)))
127.0ms
C
@0
(/ (sqrt (* (+ (* B B) (* C (* A -4))) (* F (- (+ A C) (sqrt (+ (* (- A C) (- A C)) (* B B))))))) (+ (* B B) (* C (* A -4))))
112.0ms
s
@0
(/ (pow (+ 1 (exp (neg s))) (neg c_p)) (/ (* (pow (+ 1 (exp (neg t))) (neg c_p)) (pow (+ 1 (/ -1 (+ 1 (exp (neg t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)))
111.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)))
109.0ms
g
@inf
(/ (* g 1/4) a)

explain22.5s (2.1%)

Memory
-584.5MiB live, 30 929.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity17661
+.f64#fcancellation175529
sin.f64#fsensitivity15311
sqrt.f64#foflow-rescue14370
-.f64#fcancellation95712
log.f64#fsensitivity5812
-.f64#fnan-rescue5140
/.f64#fo/n4860
/.f64#fu/u3540
/.f64#fo/o3190
*.f64#fn*o2610
/.f64#fu/n1700
exp.f64#fsensitivity16916
sqrt.f64#fuflow-rescue1580
/.f64#fn/o1070
cbrt.f64#foflow-rescue1010
*.f64#fn*u720
/.f64#fn/u440
*.f64#fu*o350
cbrt.f64#fuflow-rescue340
*.f64#fo*u300
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)))))sensitivity241
pow.f64#fsensitivity110
pow.f64#fuflow-rescue100
log.f64#foflow-rescue70
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow60
↳(exp.f64 b)underflow61
Confusion
Predicted +Predicted -
+583843
-12976134
Precision
0.8182200420462509
Recall
0.992688318313212
Confusion?
Predicted +Predicted MaybePredicted -
+58382815
-1297266108
Precision?
0.815968841285297
Recall?
0.997449413365074
Freqs
test
numberfreq
06177
14756
21624
3373
4208
597
653
718
84
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+4400
-305
Precision?
0.9361702127659575
Recall?
1.0
Samples
4.7s7 884×1valid
2.1s16 400×0valid
2.0s1 998×2valid
577.0ms342×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-sin: 1.5s (19.8% of total)
ival-cos: 1.4s (18.6% of total)
ival-mult: 891.0ms (12.1% of total)
adjust: 704.0ms (9.6% of total)
ival-div: 521.0ms (7.1% of total)
ival-exp: 496.0ms (6.8% of total)
ival-pow2: 408.0ms (5.6% of total)
ival-sub: 293.0ms (4% of total)
ival-add: 268.0ms (3.7% of total)
ival-sqrt: 207.0ms (2.8% of total)
ival-log: 204.0ms (2.8% of total)
ival-atan2: 98.0ms (1.3% of total)
ival-neg: 86.0ms (1.2% of total)
ival-pow: 76.0ms (1% of total)
ival-tan: 43.0ms (0.6% of total)
ival-hypot: 37.0ms (0.5% of total)
ival-pi: 30.0ms (0.4% of total)
ival-cbrt: 30.0ms (0.4% of total)
ival-atan: 26.0ms (0.4% of total)
ival-acos: 24.0ms (0.3% of total)
ival-true: 24.0ms (0.3% of total)
exact: 19.0ms (0.3% of total)
ival-assert: 12.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

preprocess16.9s (1.6%)

Memory
133.9MiB live, 20 061.1MiB 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 68 635 to 21 754 computations (68.3% saved)

analyze16.2s (1.5%)

Memory
71.6MiB live, 25 502.2MiB 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)

bsearch8.6s (0.8%)

Memory
56.1MiB live, 14 059.8MiB allocated
Algorithm
257×binary-search
156×left-value
Stop Event
249×narrow-enough
8×predicate-same
Samples
4.4s6 211×1valid
1.6s10 984×0valid
273.0ms440×2valid
194.0ms1 195×0invalid
152.0ms420×1invalid
64.0ms29×3valid
20.0ms59×2invalid
6.0ms16×1exit
1.0ms29×0exit
Compiler

Compiled 90 522 to 58 132 computations (35.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-sin: 1.7s (28.9% of total)
ival-cos: 1.5s (25.2% of total)
ival-mult: 756.0ms (12.9% of total)
ival-div: 342.0ms (5.8% of total)
adjust: 342.0ms (5.8% of total)
ival-pow2: 289.0ms (4.9% of total)
ival-sub: 265.0ms (4.5% of total)
ival-add: 146.0ms (2.5% of total)
ival-sqrt: 141.0ms (2.4% of total)
ival-atan2: 130.0ms (2.2% of total)
ival-hypot: 74.0ms (1.3% of total)
ival-acos: 46.0ms (0.8% of total)
ival-exp: 39.0ms (0.7% of total)
ival-neg: 25.0ms (0.4% of total)
ival-pi: 18.0ms (0.3% of total)
ival-log: 18.0ms (0.3% of total)
ival-true: 15.0ms (0.3% of total)
ival-tan: 14.0ms (0.2% of total)
ival-atan: 11.0ms (0.2% of total)
exact: 10.0ms (0.2% of total)
ival-asin: 9.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-fabs: 3.0ms (0.1% of total)
ival-log1p: 1.0ms (0% of total)

end3.8s (0.4%)

Memory
64.3MiB live, 8 253.8MiB allocated

start1.0ms (0%)

Memory
3.0MiB live, 2.9MiB allocated

Profiling

Loading profile data...