Herbie run

Date:Saturday, November 16th, 2024
Commit:0eab00dd on varun10p-egglog
Hostname:nightly with Racket 8.10
Seed:2024321
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofsgenerate:egglog
default

Time bar (total: 1.7min)

sample1.1min (65.6%)

Memory
1 084.5MiB live, 85 348.5MiB allocated
Samples
26.7s225 382×0valid
7.8s65 157×0invalid
5.8s22 956×1valid
3.2s12 436×1invalid
2.7s9 656×2valid
2.1s6 195×3valid
347.0ms1 926×1exit
140.0ms496×2invalid
24.0ms216×0exit
2.0ms3×3exit
1.0ms2×5exit
1.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 37.4s
ival-mult: 9.2s (24.7% of total)
ival-div: 6.4s (17% of total)
ival-sub: 2.5s (6.8% of total)
ival-pow2: 2.4s (6.4% of total)
ival-sqrt: 2.3s (6% of total)
ival-add: 2.1s (5.6% of total)
adjust: 1.8s (4.9% of total)
ival-pow: 1.7s (4.6% of total)
ival-sin: 1.7s (4.5% of total)
ival-exp: 1.6s (4.4% of total)
ival-tan: 807.0ms (2.2% of total)
ival-cos: 735.0ms (2% of total)
const: 678.0ms (1.8% of total)
ival-neg: 515.0ms (1.4% of total)
ival-acos: 503.0ms (1.3% of total)
ival-log: 366.0ms (1% of total)
ival-pi: 348.0ms (0.9% of total)
ival-hypot: 344.0ms (0.9% of total)
exact: 320.0ms (0.9% of total)
ival-true: 250.0ms (0.7% of total)
ival-tanu: 238.0ms (0.6% of total)
ival-asin: 175.0ms (0.5% of total)
ival-assert: 141.0ms (0.4% of total)
ival-fabs: 86.0ms (0.2% of total)
ival-atan: 73.0ms (0.2% of total)
ival-<: 45.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

explain7.4s (7.4%)

Memory
-60.6MiB live, 11 845.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4760
-.f64#fcancellation4422
cos.f64#fsensitivity4170
+.f64#fnan-rescue2650
*.f64#fn*o2610
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))))sensitivity2540
sqrt.f64#fuflow-rescue1720
-.f64#fnan-rescue1400
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1320
*.f64#fu*o1290
pow.f64#foflow-rescue1280
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)))))))sensitivity1240
/.f64#fo/o780
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity7731
*.f64#fn*u730
pow.f64#fuflow-rescue600
+.f64#fcancellation590
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue540
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow54
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow54
↳(*.f64 K (+.f64 m n))overflow54
/.f64#fo/n530
/.f64#fn/o500
*.f64#fo*u500
/.f64#fu/u450
/.f64#fn/u270
/.f64#fu/n180
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))))))sensitivity90
exp.f64#fsensitivity44
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-rescue10
↳(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))overflow6
↳(/.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)))))overflow1
↳(-.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))))overflow3
↳(+.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))))overflow3
Confusion
Predicted +Predicted -
+199447
-11195032
Precision
0.6405396723417924
Recall
0.9769720725134737
Confusion?
Predicted +Predicted MaybePredicted -
+1994146
-1119325000
Precision?
0.6341385886840433
Recall?
0.9774620284174425
Freqs
test
numberfreq
05079
12689
2374
339
411
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-303
Precision?
0.896551724137931
Recall?
1.0
Samples
1.8s13 342×0valid
567.0ms1 920×1valid
241.0ms710×2valid
147.0ms402×3valid
9.0ms10×5exit
Compiler

Compiled 10 899 to 2 164 computations (80.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 405.0ms (21.6% of total)
ival-div: 265.0ms (14.1% of total)
ival-add: 145.0ms (7.7% of total)
ival-sub: 134.0ms (7.1% of total)
adjust: 124.0ms (6.6% of total)
ival-sqrt: 118.0ms (6.3% of total)
ival-pow2: 110.0ms (5.9% of total)
ival-sin: 103.0ms (5.5% of total)
ival-exp: 101.0ms (5.4% of total)
ival-pow: 73.0ms (3.9% of total)
ival-cos: 65.0ms (3.5% of total)
ival-tan: 47.0ms (2.5% of total)
ival-acos: 29.0ms (1.5% of total)
ival-neg: 26.0ms (1.4% of total)
ival-hypot: 24.0ms (1.3% of total)
exact: 18.0ms (1% of total)
ival-true: 15.0ms (0.8% of total)
ival-log: 15.0ms (0.8% of total)
ival-pi: 13.0ms (0.7% of total)
ival-tanu: 11.0ms (0.6% of total)
ival-asin: 8.0ms (0.4% of total)
const: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.4% of total)
ival-atan: 5.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)

localize7.3s (7.4%)

Memory
-43.9MiB live, 11 589.1MiB allocated
Samples
3.6s24 019×0valid
1.1s3 428×1valid
393.0ms1 028×2valid
198.0ms433×3valid
13.0ms20×5exit
Compiler

Compiled 70 069 to 5 329 computations (92.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 757.0ms (23.1% of total)
ival-div: 444.0ms (13.5% of total)
ival-add: 247.0ms (7.5% of total)
ival-sub: 232.0ms (7.1% of total)
ival-exp: 195.0ms (5.9% of total)
ival-sqrt: 194.0ms (5.9% of total)
ival-sin: 194.0ms (5.9% of total)
adjust: 193.0ms (5.9% of total)
ival-pow2: 192.0ms (5.9% of total)
ival-pow: 143.0ms (4.4% of total)
ival-cos: 124.0ms (3.8% of total)
ival-tan: 70.0ms (2.1% of total)
ival-neg: 54.0ms (1.6% of total)
ival-hypot: 32.0ms (1% of total)
exact: 30.0ms (0.9% of total)
ival-pi: 26.0ms (0.8% of total)
ival-acos: 26.0ms (0.8% of total)
ival-log: 25.0ms (0.8% of total)
ival-true: 23.0ms (0.7% of total)
ival-tanu: 19.0ms (0.6% of total)
ival-asin: 16.0ms (0.5% of total)
const: 16.0ms (0.5% of total)
ival-assert: 12.0ms (0.4% of total)
ival-atan: 10.0ms (0.3% of total)
ival-fabs: 7.0ms (0.2% of total)

analyze7.3s (7.4%)

Memory
-18.6MiB live, 10 169.9MiB allocated
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.7%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

regimes4.6s (4.6%)

Memory
14.4MiB live, 8 218.2MiB allocated
Counts
2 044 → 339
Calls

154 calls:

221.0ms
l
138.0ms
M
99.0ms
t
97.0ms
a
88.0ms
h
Compiler

Compiled 9 971 to 10 060 computations (-0.9% saved)

series3.2s (3.2%)

Memory
30.8MiB live, 5 203.2MiB allocated
Counts
1 269 → 6 997
Calls

1092 calls:

TimeVariablePointExpression
42.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) (/ (PI) 4) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))
42.0ms
n
@0
((* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ 1 (sqrt k)) (sqrt k) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)) (* (* 2 (PI)) n))
41.0ms
a
@0
((/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* a (pow k m)) (pow k m) (+ (+ 1 (* 10 k)) (* k k)) (+ 1 (* 10 k)))
39.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) (/ (PI) 4) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))
24.0ms
F
@inf
((+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) (/ 1 (tan B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2)))))

bsearch1.3s (1.3%)

Memory
-112.7MiB live, 1 868.0MiB allocated
Algorithm
74×left-value
63×binary-search
Stop Event
62×narrow-enough
1×predicate-same
Samples
612.0ms5 268×0valid
87.0ms434×1valid
41.0ms300×0invalid
21.0ms73×2valid
20.0ms109×1invalid
9.0ms23×2invalid
5.0ms17×3valid
Compiler

Compiled 48 597 to 27 025 computations (44.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 592.0ms
ival-mult: 142.0ms (24% of total)
ival-div: 94.0ms (15.9% of total)
ival-add: 61.0ms (10.3% of total)
ival-sub: 55.0ms (9.3% of total)
ival-pow: 35.0ms (5.9% of total)
ival-pow2: 33.0ms (5.6% of total)
ival-sqrt: 31.0ms (5.2% of total)
ival-exp: 26.0ms (4.4% of total)
ival-sin: 26.0ms (4.4% of total)
adjust: 24.0ms (4.1% of total)
ival-tan: 21.0ms (3.5% of total)
ival-cos: 16.0ms (2.7% of total)
ival-neg: 9.0ms (1.5% of total)
const: 5.0ms (0.8% of total)
exact: 5.0ms (0.8% of total)
ival-true: 4.0ms (0.7% of total)
ival-assert: 2.0ms (0.3% of total)
ival-atan: 2.0ms (0.3% of total)
ival-asin: 1.0ms (0.2% of total)

prune1.1s (1.1%)

Memory
-365.5MiB live, 1 937.9MiB allocated
Counts
4 241 → 1 176
Compiler

Compiled 95 988 to 38 061 computations (60.3% saved)

preprocess937.0ms (0.9%)

Memory
3.9MiB live, 1 671.6MiB allocated
Algorithm
32×egg-herbie
Compiler

Compiled 15 427 to 3 097 computations (79.9% saved)

simplify590.0ms (0.6%)

Memory
186.6MiB live, 1 086.7MiB allocated
Algorithm
249×egg-herbie
Counts
6 997 → 1 269

eval400.0ms (0.4%)

Memory
48.4MiB live, 784.8MiB allocated
Compiler

Compiled 195 188 to 6 927 computations (96.5% saved)

rewrite108.0ms (0.1%)

Memory
-3.2MiB live, 203.5MiB allocated
Counts
1 269 → 1 269

soundness51.0ms (0.1%)

Memory
-32.9MiB live, 70.7MiB allocated
Stop Event
12×fuel
11×done
Compiler

Compiled 6 884 to 942 computations (86.3% saved)

start1.0ms (0%)

Memory
2.8MiB live, 2.8MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...