Herbie run

Date:Thursday, September 5th, 2024
Commit:9205cc88 on zane-concrete-values
Hostname:nightly with Racket 8.11.1
Seed:2024249
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: 34.1min)

sample6.2min (18.2%)

Memory
1 186.3MiB live, 377 459.9MiB allocated
Samples
3.7min2 146 378×0valid
23.2s68 197×1valid
11.1s64 104×0invalid
1.7s5 738×2valid
885.0ms1 210×5exit
700.0ms1 738×1invalid
349.0ms364×4exit
225.0ms551×3valid
1.0ms13×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.9min
ival-mult: 50.0s (29.2% of total)
ival-sub: 32.4s (18.9% of total)
ival-div: 25.5s (14.9% of total)
ival-add: 21.3s (12.4% of total)
ival-log: 9.5s (5.6% of total)
ival-sqrt: 7.0s (4.1% of total)
const: 6.7s (3.9% of total)
ival-sin: 4.6s (2.7% of total)
ival-cos: 3.1s (1.8% of total)
adjust: 3.0s (1.8% of total)
ival-exp: 2.8s (1.6% of total)
ival-true: 1.8s (1% of total)
exact: 1.0s (0.6% of total)
ival-assert: 920.0ms (0.5% of total)
ival-acos: 571.0ms (0.3% of total)
ival-tan: 380.0ms (0.2% of total)
ival-cosh: 265.0ms (0.2% of total)
ival-fabs: 207.0ms (0.1% of total)
ival-hypot: 170.0ms (0.1% of total)
ival-sinh: 145.0ms (0.1% of total)
ival-tanh: 109.0ms (0.1% of total)
Bogosity

simplify5.9min (17.3%)

Memory
625.4MiB live, 296 816.2MiB allocated
Algorithm
2 115×egg-herbie
Rules
13 633 316×lower-fma.f32
13 630 220×lower-fma.f64
5 201 608×lower-*.f32
5 194 464×lower-*.f64
2 946 522×lower-+.f32
Stop Event
2 754×iter limit
1 218×node limit
912×saturated
Counts
353 280 → 345 120

soundness5.4min (15.7%)

Memory
-869.3MiB live, 163 602.6MiB allocated
Rules
8 017 006×lower-fma.f32
8 015 734×lower-fma.f64
4 259 310×lower-*.f32
4 255 990×lower-*.f64
2 393 932×lower-/.f32
Stop Event
1 421×iter limit
953×node limit
147×fuel
122×done
24×saturated
3×unsound
Compiler

Compiled 133 447 to 76 966 computations (42.3% saved)

rewrite4.5min (13.3%)

Memory
370.0MiB live, 242 654.2MiB allocated
Rules
5 066 768×lower-fma.f32
5 063 678×lower-fma.f64
3 929 210×lower-*.f32
3 922 178×lower-*.f64
3 367 686×lower-/.f32
Stop Event
1 889×iter limit
895×node limit
19×unsound
18×saturated
Counts
11 494 → 484 302

eval3.3min (9.8%)

Memory
4 483.9MiB live, 240 346.9MiB allocated
Compiler

Compiled 21 442 515 to 1 909 469 computations (91.1% saved)

localize1.8min (5.4%)

Memory
-1 149.4MiB live, 116 965.7MiB allocated
Samples
1.0min216 877×0valid
9.6s10 999×1valid
4.3s3 106×2valid
2.2s4 022×0invalid
862.0ms547×5exit
315.0ms248×3valid
101.0ms242×0exit
83.0ms126×2exit
54.0ms53×1invalid
38.0ms46×3exit
21.0ms16×1exit
5.0ms6×4valid
Compiler

Compiled 136 211 to 22 324 computations (83.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.0s
ival-mult: 16.0s (30.2% of total)
ival-div: 8.8s (16.6% of total)
ival-add: 6.9s (13.1% of total)
ival-sub: 4.0s (7.6% of total)
ival-acos: 3.8s (7.1% of total)
const: 2.3s (4.3% of total)
adjust: 1.9s (3.6% of total)
ival-log: 1.6s (3% of total)
ival-sqrt: 1.2s (2.2% of total)
ival-cos: 1.2s (2.2% of total)
ival-pow: 1.1s (2.1% of total)
ival-neg: 1.1s (2.1% of total)
ival-exp: 928.0ms (1.8% of total)
ival-sin: 672.0ms (1.3% of total)
ival-pi: 224.0ms (0.4% of total)
ival-pow2: 223.0ms (0.4% of total)
exact: 220.0ms (0.4% of total)
ival-true: 196.0ms (0.4% of total)
ival-fabs: 153.0ms (0.3% of total)
ival-log1p: 140.0ms (0.3% of total)
ival-assert: 118.0ms (0.2% of total)
ival-hypot: 58.0ms (0.1% of total)
ival-sinh: 53.0ms (0.1% of total)
ival-tan: 51.0ms (0.1% of total)
ival-expm1: 38.0ms (0.1% of total)
ival-cosh: 25.0ms (0% of total)
ival-tanh: 16.0ms (0% of total)
ival-asin: 5.0ms (0% of total)

regimes1.6min (4.6%)

Memory
-280.4MiB live, 115 821.0MiB allocated
Counts
41 366 → 5 106
Calls

511 calls:

15.0s
x
12.7s
y
9.1s
z
6.4s
t
3.2s
a
Compiler

Compiled 38 814 to 57 235 computations (-47.5% saved)

prune1.3min (4%)

Memory
-3 946.8MiB live, 103 107.7MiB allocated
Counts
912 326 → 14 185
Compiler

Compiled 427 650 to 300 546 computations (29.7% saved)

preprocess1.2min (3.7%)

Memory
1 253.3MiB live, 71 062.0MiB allocated
Algorithm
269×egg-herbie
Rules
845 124×lower-fma.f64
845 124×lower-fma.f32
193 164×unsub-neg
192 664×lower-*.f32
191 630×lower-*.f64
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 178 744 to 56 542 computations (68.4% saved)

series1.2min (3.4%)

Memory
806.9MiB live, 85 809.1MiB allocated
Counts
11 494 → 353 280
Calls

8832 calls:

TimeVariablePointExpression
535.0ms
x
@0
((* (pow x -1/2) x) (- (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (* 2 (* (pow x -1/2) x)) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* -3 b)) (* -3 b) (- (* (* 2 (sqrt x)) (+ (* (sin (* 1/3 (* t z))) (sin y)) (* (cos (* -1/3 (* t z))) (cos y)))) (/ a (* b 3))) (+ (* (/ -1/3 b) a) (* (* (sqrt x) 2) (cos (* (* z t) -1/3)))) (/ -1/3 b) (* (* (sqrt x) 2) (cos (* (* z t) -1/3))) (/ 1/3 (pow (* t z) -1)) (- y (/ 1/3 (pow (* t z) -1))) (- (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (- (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (/ a (* b 3))) (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))) (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (* 2 (sqrt x)) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (cos (* (* z t) -1/3)) (* (* z t) -1/3) (cos (- y (/ 1/3 (pow (* t z) -1)))) (pow (* t z) -1) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z))))))) (log (* t z)) (pow (exp -1) (neg (log (* t z)))) (* 1/3 (pow (exp -1) (neg (log (* t z))))))
434.0ms
y
@0
((/ -1 (/ 1 (* (log (/ y x)) x))) (* (log (/ y x)) x) (log (/ y x)) (/ y x) (/ (log (/ y x)) (/ -1 x)) (/ -1 x) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (neg x) (+ (* (* (log x) 2) x) (* (neg x) (log (* y x)))) (* (log x) 2) (log x) (* (neg x) (log (* y x))) (+ (log (/ y (* (neg x) x))) (log (neg x))) (log (/ y (* (neg x) x))) (/ y (* (neg x) x)) (/ 1 (* (log (/ y x)) x)) (log (neg y)) (neg y) (log (* y x)) (* y x) (* (neg x) x))
400.0ms
y
@-inf
((+ (* x (* (- y 1) z)) x) (* x (* (- y 1) z)) (* (- y 1) z) (* z y) (+ (* (* (- y 1) z) x) x) (* (- y 1) z) (neg z) (* x (- 1 (* (- 1 y) z))) (- 1 (* (- 1 y) z)) (* y z) (/ (* x z) (/ 1 (- y 1))) (* x (- 1 (* (- 1 y) z))) (* x z) (/ 1 (- y 1)) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x)) (- (* (* x (- y 1)) z) x) (+ (* (* (* (* x (- y 1)) z) z) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x))) (neg (* x (/ x (- (* (* x (- y 1)) z) x))))) (* (* (* x (- y 1)) z) z) (* x (/ x (- (* (* x (- y 1)) z) x))) (* (* x (- y 1)) z))
393.0ms
x
@-inf
((+ (* x (* (- y 1) z)) x) (* x (* (- y 1) z)) (* (- y 1) z) (* z y) (+ (* (* (- y 1) z) x) x) (* (- y 1) z) (neg z) (* x (- 1 (* (- 1 y) z))) (- 1 (* (- 1 y) z)) (* y z) (/ (* x z) (/ 1 (- y 1))) (* x (- 1 (* (- 1 y) z))) (* x z) (/ 1 (- y 1)) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x)) (- (* (* x (- y 1)) z) x) (+ (* (* (* (* x (- y 1)) z) z) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x))) (neg (* x (/ x (- (* (* x (- y 1)) z) x))))) (* (* (* x (- y 1)) z) z) (* x (/ x (- (* (* x (- y 1)) z) x))) (* (* x (- y 1)) z))
324.0ms
t
@inf
((* (pow x -1/2) x) (- (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (* 2 (* (pow x -1/2) x)) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* -3 b)) (* -3 b) (- (* (* 2 (sqrt x)) (+ (* (sin (* 1/3 (* t z))) (sin y)) (* (cos (* -1/3 (* t z))) (cos y)))) (/ a (* b 3))) (+ (* (/ -1/3 b) a) (* (* (sqrt x) 2) (cos (* (* z t) -1/3)))) (/ -1/3 b) (* (* (sqrt x) 2) (cos (* (* z t) -1/3))) (/ 1/3 (pow (* t z) -1)) (- y (/ 1/3 (pow (* t z) -1))) (- (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (- (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (/ a (* b 3))) (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))) (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (* 2 (sqrt x)) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (cos (* (* z t) -1/3)) (* (* z t) -1/3) (cos (- y (/ 1/3 (pow (* t z) -1)))) (pow (* t z) -1) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z))))))) (log (* t z)) (pow (exp -1) (neg (log (* t z)))) (* 1/3 (pow (exp -1) (neg (log (* t z))))))

explain44.9s (2.2%)

Memory
-970.9MiB live, 52 863.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15510
/.f64#fo/n12320
sqrt.f64#foflow-rescue7590
-.f64#fcancellation59711
/.f64#fo/o5430
*.f64#fn*o5040
+.f64#fnan-rescue4810
-.f64#fnan-rescue4730
cos.f64#fsensitivity3640
/.f64#fn/o3210
+.f64#fcancellation3173
sin.f64#fsensitivity2250
/.f64#fu/n2190
*.f64#fn*u1760
/.f64#fn/u1510
cos.f64#foflow-rescue1260
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity950
/.f64#fu/u820
log.f64#foflow-rescue800
log.f64#fuflow-rescue710
sqrt.f64#fuflow-rescue390
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
*.f64#fo*u310
exp.f64#fsensitivity242
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))u*o20
↳(*.f64 t y2)underflow30
↳(*.f64 y y3)underflow28
↳(-.f64 (*.f64 t y2) (*.f64 y y3))underflow3
↳(*.f64 y4 c)overflow30
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow62
↳(*.f64 y5 a)overflow36
Confusion
Predicted +Predicted -
+5971199
-166361031
Precision
0.7821587634267749
Recall
0.9677471636952998
Confusion?
Predicted +Predicted MaybePredicted -
+59712197
-16631561016
Precision?
0.7806822637563717
Recall?
0.9680713128038898
Freqs
test
numberfreq
061230
16854
2693
370
410
55
72
Total Confusion?
Predicted +Predicted MaybePredicted -
+13100
-12135
Precision?
0.9776119402985075
Recall?
1.0
Samples
12.7s130 592×0valid
2.4s5 892×1valid
633.0ms1 152×2valid
181.0ms90×3valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-mult: 2.4s (26.1% of total)
ival-sub: 1.3s (14% of total)
ival-add: 1.3s (13.6% of total)
ival-log: 1.3s (13.5% of total)
ival-div: 1.1s (12.1% of total)
const: 463.0ms (4.9% of total)
adjust: 283.0ms (3% of total)
ival-sin: 268.0ms (2.9% of total)
ival-cos: 234.0ms (2.5% of total)
ival-exp: 211.0ms (2.3% of total)
ival-sqrt: 157.0ms (1.7% of total)
ival-true: 119.0ms (1.3% of total)
exact: 65.0ms (0.7% of total)
ival-assert: 58.0ms (0.6% of total)
ival-tanh: 21.0ms (0.2% of total)
ival-cosh: 18.0ms (0.2% of total)
ival-tan: 14.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch32.4s (1.6%)

Memory
211.1MiB live, 36 767.3MiB allocated
Algorithm
1 564×binary-search
1 347×left-value
Stop Event
1 529×narrow-enough
33×predicate-same
2×predicate-failed
Samples
18.0s126 204×0valid
1.3s3 209×1valid
224.0ms3 086×0invalid
35.0ms90×1invalid
19.0ms110×2valid
2.0ms13×3valid
Compiler

Compiled 278 924 to 326 459 computations (-17% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.9s
ival-mult: 5.9s (45.8% of total)
ival-sub: 2.6s (19.9% of total)
ival-add: 1.4s (10.9% of total)
ival-div: 1.0s (7.9% of total)
ival-log: 617.0ms (4.8% of total)
const: 396.0ms (3.1% of total)
ival-cos: 230.0ms (1.8% of total)
ival-sin: 224.0ms (1.7% of total)
adjust: 144.0ms (1.1% of total)
ival-true: 99.0ms (0.8% of total)
ival-sqrt: 87.0ms (0.7% of total)
ival-exp: 73.0ms (0.6% of total)
ival-assert: 55.0ms (0.4% of total)
exact: 44.0ms (0.3% of total)
ival-tanh: 22.0ms (0.2% of total)
ival-cosh: 15.0ms (0.1% of total)
ival-sinh: 1.0ms (0% of total)

analyze18.7s (0.9%)

Memory
298.4MiB live, 23 287.5MiB allocated
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
-23.4MiB live, 16.1MiB allocated

end2.0ms (0%)

Memory
4.5MiB live, 4.3MiB allocated

Profiling

Loading profile data...