Herbie run

Date:Tuesday, December 17th, 2024
Commit:a057aa8d on main
Hostname:nightly with Racket 8.10
Seed:2024352
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:proofs
default
Memory:1 810 032.7 MB

Time bar (total: 28.3min)

sample6.3min (22.3%)

Memory
5 998.7MiB live, 435 061.2MiB allocated; 2.1min collecting garbage
Samples
3.6min2 144 712×0valid
23.7s69 663×1valid
10.7s63 475×0invalid
2.3s5 832×2valid
1.7s1 676×5exit
512.0ms1 858×1invalid
243.0ms654×3valid
9.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 49.6s (31.7% of total)
ival-add: 23.7s (15.2% of total)
ival-sub: 21.0s (13.4% of total)
ival-div: 19.6s (12.5% of total)
ival-log: 9.1s (5.8% of total)
const: 6.7s (4.3% of total)
adjust: 6.4s (4.1% of total)
ival-sqrt: 5.3s (3.4% of total)
ival-sin: 4.3s (2.7% of total)
ival-cos: 3.0s (1.9% of total)
ival-exp: 1.9s (1.2% of total)
ival-true: 1.6s (1% of total)
exact: 1.1s (0.7% of total)
ival-assert: 897.0ms (0.6% of total)
ival-fabs: 847.0ms (0.5% of total)
ival-tan: 335.0ms (0.2% of total)
ival-cosh: 290.0ms (0.2% of total)
ival-acos: 227.0ms (0.1% of total)
ival-hypot: 211.0ms (0.1% of total)
ival-sinh: 189.0ms (0.1% of total)
ival-tanh: 116.0ms (0.1% of total)
Bogosity

simplify5.1min (18.1%)

Memory
3 108.7MiB live, 302 961.3MiB allocated; 1.2min collecting garbage
Algorithm
2 191×egg-herbie
Stop Event
2 877×iter limit
1 490×node limit
711×saturated
7×unsound
Counts
75 081 → 73 929

rewrite3.9min (13.9%)

Memory
1 545.5MiB live, 248 362.0MiB allocated; 1.1min collecting garbage
Stop Event
1 999×iter limit
919×node limit
31×unsound
18×saturated
Counts
12 141 → 376 628

derivations3.4min (12.1%)

Memory
924.7MiB live, 164 139.2MiB allocated; 29.8s collecting garbage
Stop Event
1 438×iter limit
984×node limit
156×fuel
113×done
23×saturated
9×unsound
Compiler

Compiled 138 649 to 19 055 computations (86.3% saved)

localize2.0min (7.1%)

Memory
-450.4MiB live, 134 080.9MiB allocated; 37.4s collecting garbage
Samples
58.5s218 931×0valid
12.5s12 499×1valid
7.9s8 523×0invalid
7.0s3 707×2valid
1.3s620×5exit
508.0ms252×3valid
471.0ms1 292×0exit
164.0ms138×1invalid
119.0ms46×1exit
7.0ms8×4valid
Compiler

Compiled 151 880 to 24 019 computations (84.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 23.9s (38.1% of total)
ival-div: 8.3s (13.2% of total)
ival-add: 6.8s (10.9% of total)
ival-sub: 4.4s (7.1% of total)
adjust: 4.1s (6.5% of total)
const: 3.3s (5.3% of total)
ival-sin: 2.7s (4.3% of total)
ival-log: 2.3s (3.7% of total)
ival-pow: 1.4s (2.2% of total)
ival-neg: 1.2s (2% of total)
ival-cos: 1.2s (1.9% of total)
ival-sqrt: 1.1s (1.8% of total)
ival-pow2: 473.0ms (0.8% of total)
ival-exp: 439.0ms (0.7% of total)
exact: 279.0ms (0.4% of total)
ival-true: 188.0ms (0.3% of total)
ival-assert: 98.0ms (0.2% of total)
ival-hypot: 91.0ms (0.1% of total)
ival-tan: 69.0ms (0.1% of total)
ival-expm1: 56.0ms (0.1% of total)
ival-sinh: 51.0ms (0.1% of total)
ival-log1p: 44.0ms (0.1% of total)
ival-cosh: 38.0ms (0.1% of total)
ival-pi: 30.0ms (0% of total)
ival-acos: 26.0ms (0% of total)
ival-tanh: 18.0ms (0% of total)
ival-fabs: 17.0ms (0% of total)
ival-asinh: 13.0ms (0% of total)
ival-asin: 8.0ms (0% of total)
ival-e: 2.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-then: 0.0ms (0% of total)

eval1.8min (6.3%)

Memory
-1 261.7MiB live, 125 147.0MiB allocated; 43.0s collecting garbage
Compiler

Compiled 17 849 352 to 1 658 602 computations (90.7% saved)

regimes1.2min (4.3%)

Memory
105.5MiB live, 89 151.4MiB allocated; 16.1s collecting garbage
Counts
33 325 → 4 671
Calls

509 calls:

10.4s
x
9.7s
y
7.6s
z
5.1s
t
2.9s
a
Compiler

Compiled 37 216 to 56 443 computations (-51.7% saved)

series1.1min (3.7%)

Memory
-631.5MiB live, 70 560.7MiB allocated; 23.6s collecting garbage
Counts
12 141 → 75 081
Calls

9093 calls:

TimeVariablePointExpression
2.2s
y
@inf
((* (+ (* (+ (* x y) z) (/ y t)) 1) t) (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) (/ y t)) 1) (+ (* x y) z) (+ (* (+ (* x y) z) y) t) (* (+ (* y x) z) y) (* z y) (+ (* (* (pow (+ (* y x) z) 2) y) (/ y (+ (* (+ (* y x) z) y) t))) (* t (/ t (+ (* (+ (* y x) z) y) t)))) (+ (* (neg z) y) t) (* (neg z) y) (neg z) (+ (* (+ (* x y) z) y) t) (* (+ (* y (/ (+ (* y x) z) t)) 1) t) (+ (* y (/ (+ (* y x) z) t)) 1) (+ (* x (/ (* y y) t)) 1) (+ (* (* (pow (+ (* y x) z) 2) y) (/ y (+ (* (+ (* y x) z) y) t))) (* t (/ t (+ (* (+ (* y x) z) y) t)))) (* (pow (+ (* y x) z) 2) y) (pow (+ (* y x) z) 2) (* (* x x) (* y y)) (/ y t) (/ (* y y) t) (/ y (+ (* (+ (* y x) z) y) t)))
2.2s
t
@0
((+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (+ (* (+ (* (neg x) t) (* i b)) a) (+ (* (+ (* (neg i) y) (* c t)) j) (* (+ (* (neg b) c) (* y x)) z))) (+ (* (neg x) t) (* i b)) (neg x) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (* (+ (* (neg a) x) (* j c)) t) (+ (* (neg a) x) (* j c)) (neg a) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (* (+ (* (neg y) j) (* b a)) i) (+ (* (neg y) j) (* b a)) (neg y) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (+ (* (+ (* (neg y) j) (* b a)) i) (* (+ (* (neg a) t) (* z y)) x)) (* (+ (* (/ (* j y) t) (neg i)) (* j c)) t) (+ (* (/ (* j y) t) (neg i)) (* j c)) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (+ (* (+ (* (neg i) y) (* c t)) j) (* (+ (* (neg b) c) (* y x)) z)) (* (+ (* (neg b) c) (* y x)) z) (+ (* (neg i) y) (* c t)) (* (+ (* (neg a) t) (* z y)) x) (+ (* (neg a) t) (* z y)) (/ (* j y) t) (* b (- (* c z) (* i a))) (* x (- (* y z) (* t a))))
1.2s
x
@0
((* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (+ (* (neg a) (+ b z)) (* (- (log z) t) y)) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (* (neg b) a) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (* (neg y) t) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (+ (* (neg b) a) (* (- (log z) t) y)) (pow (exp y) (- (log z) t)) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (exp y) (* (- (log z) t) y) (- (log z) t) (neg b) (neg y))
831.0ms
x
@-inf
((* (+ (* x (/ (log y) z)) 1) z) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (* (+ (/ (+ (+ a t) (+ (* (- b 1/2) (log c)) (+ (* i y) z))) x) (log y)) x) (+ (/ (+ (+ a t) (+ (* (- b 1/2) (log c)) (+ (* i y) z))) x) (log y)) (/ t x) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (* (log y) x) (log y) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (* (/ (+ (+ (* i y) z) (+ (* (log y) x) (+ (* (- b 1/2) (log c)) t))) a) a) a) (/ (+ (+ (* i y) z) (+ (* (log y) x) (+ (* (- b 1/2) (log c)) t))) a) (* b (/ (log c) a)) (* (+ (/ (+ (+ (* (log y) x) z) (* (log c) (- b 1/2))) i) y) i) (+ (+ (* (log y) x) z) (* (log c) (- b 1/2))) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (* i y) (+ (* (log y) x) (+ (* (- b 1/2) (log c)) z))) a) (+ (* x (/ (log y) z)) 1) (/ (log y) z) (* (- b 1/2) (log c)) (/ (log c) a) (/ (+ (+ (* (log y) x) z) (* (log c) (- b 1/2))) i) (* (log c) (- b 1/2)))
644.0ms
y
@-inf
((+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (/ (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (* 3 (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (/ 4 (+ (sqrt 5) 3)) 2) (cos y))))) (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y))) (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (/ (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (* 3 (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (- 3 (sqrt 5)) 2) (cos y))))) (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (+ (* (* (pow (sin x) 2) -1/16) (* (- (cos x) 1) (sqrt 2))) 2) (* (pow (sin x) 2) -1/16) (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (/ (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (* 3 (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (- 3 (sqrt 5)) 2) (cos y))))) (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y))) (* 3 (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (- 3 (sqrt 5)) 2) (cos y)))) (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (- 3 (sqrt 5)) 2) (cos y))) (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (/ (/ (+ (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y))) 2) (+ (/ (+ (* (- (sqrt 5) 1) (cos x)) (* (- 3 (sqrt 5)) (cos y))) 2) 1)) 3) (/ (+ (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y))) 2) (+ (/ (+ (* (- (sqrt 5) 1) (cos x)) (* (- 3 (sqrt 5)) (cos y))) 2) 1)) (+ (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y))) 2) (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y))) (- (cos x) (cos y)) (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (* 3 (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (- 3 (sqrt 5)) 2) (cos y)))) (- (cos x) 1) (- 3 (sqrt 5)) (- (cos x) (cos y)) (- 1 (cos y)) (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (* (sin x) (sqrt 2)) (+ (* (- (sqrt 5) 1) (cos x)) (* (- 3 (sqrt 5)) (cos y))) (* (- (cos x) (cos y)) (sqrt 2)))

preprocess58.6s (3.5%)

Memory
2 410.6MiB live, 62 204.5MiB allocated; 15.2s collecting garbage
Algorithm
269×egg-herbie
Stop Event
536×iter limit
398×saturated
142×node limit
Compiler

Compiled 313 426 to 60 642 computations (80.7% saved)

explain48.0s (2.8%)

Memory
-1 275.8MiB live, 59 540.9MiB allocated; 13.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15623
/.f64#fo/n11670
sqrt.f64#foflow-rescue7790
-.f64#fcancellation60410
/.f64#fo/o5750
*.f64#fn*o5360
+.f64#fnan-rescue4700
-.f64#fnan-rescue4650
+.f64#fcancellation3420
cos.f64#fsensitivity3354
/.f64#fn/o3310
/.f64#fu/n2890
sin.f64#fsensitivity2161
*.f64#fn*u1890
cos.f64#foflow-rescue1640
/.f64#fn/u1440
/.f64#fu/u1090
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity981
log.f64#fuflow-rescue780
log.f64#foflow-rescue770
sqrt.f64#fuflow-rescue450
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue340
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow34
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue340
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow34
exp.f64#fsensitivity335
*.f64#fo*u260
*.f64(*.f64 (*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64)))) (exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64))))u*o20
↳(*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))underflow3
↳(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))overflow125
↳(/.f64 (*.f64 t t) #s(literal 2 binary64))overflow55
↳(*.f64 t t)overflow55
Confusion
Predicted +Predicted -
+6115173
-168460892
Precision
0.7840748813950507
Recall
0.9724872773536896
Confusion?
Predicted +Predicted MaybePredicted -
+61154169
-16842360869
Precision?
0.7818809097878865
Recall?
0.9731234096692112
Freqs
test
numberfreq
061065
16990
2745
344
411
56
63
Total Confusion?
Predicted +Predicted MaybePredicted -
+13510
-11131
Precision?
0.9855072463768116
Recall?
1.0
Samples
14.4s130 362×0valid
2.4s6 028×1valid
798.0ms1 252×2valid
61.0ms84×3valid
1.0ms2×4valid
Compiler

Compiled 24 442 to 8 402 computations (65.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
ival-mult: 3.1s (31.2% of total)
ival-sub: 1.4s (13.4% of total)
ival-add: 1.3s (12.9% of total)
ival-div: 1.2s (12.4% of total)
ival-log: 900.0ms (8.9% of total)
adjust: 624.0ms (6.2% of total)
const: 352.0ms (3.5% of total)
ival-sin: 277.0ms (2.7% of total)
ival-sqrt: 252.0ms (2.5% of total)
ival-cos: 222.0ms (2.2% of total)
ival-exp: 120.0ms (1.2% of total)
ival-true: 111.0ms (1.1% of total)
exact: 65.0ms (0.6% of total)
ival-assert: 56.0ms (0.6% of total)
ival-cosh: 14.0ms (0.1% of total)
ival-tan: 12.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

prune40.3s (2.4%)

Memory
-1 090.6MiB live, 51 662.6MiB allocated; 15.7s collecting garbage
Counts
433 257 → 13 214
Compiler

Compiled 854 714 to 459 082 computations (46.3% saved)

bsearch36.6s (2.2%)

Memory
182.9MiB live, 41 169.9MiB allocated; 8.2s collecting garbage
Algorithm
1 680×binary-search
942×left-value
Stop Event
1 650×narrow-enough
30×predicate-same
Samples
19.6s134 326×0valid
1.4s3 681×1valid
443.0ms2 999×0invalid
32.0ms89×1invalid
27.0ms129×2valid
2.0ms8×3valid
Compiler

Compiled 926 766 to 665 253 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.6s
ival-mult: 6.3s (43.4% of total)
ival-sub: 2.8s (19% of total)
ival-add: 1.5s (10.5% of total)
ival-div: 880.0ms (6% of total)
ival-log: 698.0ms (4.8% of total)
const: 684.0ms (4.7% of total)
ival-sin: 428.0ms (2.9% of total)
adjust: 405.0ms (2.8% of total)
ival-cos: 232.0ms (1.6% of total)
ival-exp: 221.0ms (1.5% of total)
ival-sqrt: 141.0ms (1% of total)
ival-true: 119.0ms (0.8% of total)
ival-assert: 57.0ms (0.4% of total)
exact: 52.0ms (0.4% of total)
ival-sinh: 14.0ms (0.1% of total)
ival-tanh: 13.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 4.0ms (0% of total)

analyze23.1s (1.4%)

Memory
-564.1MiB live, 25 964.0MiB allocated; 8.8s collecting garbage
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

start8.0ms (0%)

Memory
24.2MiB live, 22.1MiB allocated; 0ms collecting garbage

end2.0ms (0%)

Memory
5.5MiB live, 5.1MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...