Herbie run

Date:Wednesday, September 11th, 2024
Commit:b5881a3c on zane-concrete-values
Hostname:nightly with Racket 8.11.1
Seed:2024255
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.2min)

sample6.5min (19%)

Memory
2 350.8MiB live, 381 716.0MiB allocated
Samples
3.9min2 146 721×0valid
24.6s67 917×1valid
10.9s64 928×0invalid
1.8s5 621×2valid
1.1s1 188×5exit
430.0ms1 658×1invalid
322.0ms604×3valid
238.0ms427×4exit
2.0ms16×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 51.5s (33.6% of total)
ival-add: 21.9s (14.3% of total)
ival-sub: 21.7s (14.1% of total)
ival-div: 17.9s (11.7% of total)
ival-log: 9.7s (6.3% of total)
const: 6.0s (3.9% of total)
ival-sqrt: 5.9s (3.9% of total)
ival-sin: 4.4s (2.9% of total)
ival-cos: 3.4s (2.2% of total)
adjust: 3.0s (2% of total)
ival-exp: 2.2s (1.5% of total)
ival-true: 1.8s (1.2% of total)
exact: 1.0s (0.7% of total)
ival-assert: 951.0ms (0.6% of total)
ival-tan: 572.0ms (0.4% of total)
ival-sinh: 269.0ms (0.2% of total)
ival-cosh: 265.0ms (0.2% of total)
ival-fabs: 195.0ms (0.1% of total)
ival-hypot: 176.0ms (0.1% of total)
ival-acos: 172.0ms (0.1% of total)
ival-tanh: 99.0ms (0.1% of total)
Bogosity

simplify5.8min (17%)

Memory
2 725.3MiB live, 299 002.3MiB allocated
Algorithm
2 129×egg-herbie
Rules
13 861 780×lower-fma.f32
13 858 564×lower-fma.f64
5 279 792×lower-*.f32
5 272 748×lower-*.f64
3 053 094×lower-+.f32
Stop Event
2 777×iter limit
1 239×node limit
903×saturated
Counts
354 552 → 346 397

soundness5.7min (16.7%)

Memory
-176.6MiB live, 163 446.6MiB allocated
Rules
7 809 102×lower-fma.f32
7 807 858×lower-fma.f64
4 161 984×lower-*.f32
4 158 740×lower-*.f64
2 342 476×lower-/.f32
Stop Event
1 383×iter limit
932×node limit
144×fuel
125×done
23×saturated
3×unsound
Compiler

Compiled 130 991 to 77 777 computations (40.6% saved)

rewrite3.6min (10.6%)

Memory
-658.4MiB live, 222 301.8MiB allocated
Rules
5 105 524×lower-fma.f32
5 102 316×lower-fma.f64
3 965 792×lower-*.f32
3 958 854×lower-*.f64
3 387 250×lower-/.f32
Stop Event
1 904×iter limit
904×node limit
17×unsound
16×saturated
Counts
11 403 → 486 409

eval3.4min (9.9%)

Memory
2 615.0MiB live, 245 055.0MiB allocated
Compiler

Compiled 21 603 725 to 1 935 425 computations (91% saved)

localize1.8min (5.4%)

Memory
-3 086.0MiB live, 119 548.7MiB allocated
Samples
1.0min219 036×0valid
11.6s10 674×1valid
3.9s2 814×2valid
1.8s4 011×0invalid
477.0ms224×5exit
336.0ms613×0exit
317.0ms403×2exit
265.0ms266×3valid
18.0ms14×3exit
14.0ms17×1exit
7.0ms8×4valid
Compiler

Compiled 136 563 to 22 606 computations (83.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 55.9s
ival-mult: 17.6s (31.4% of total)
ival-div: 9.3s (16.6% of total)
ival-add: 7.5s (13.3% of total)
ival-exp: 5.2s (9.2% of total)
ival-sub: 4.3s (7.6% of total)
const: 2.7s (4.8% of total)
adjust: 1.9s (3.4% of total)
ival-log: 1.6s (2.8% of total)
ival-pow: 1.5s (2.6% of total)
ival-neg: 934.0ms (1.7% of total)
ival-cos: 816.0ms (1.5% of total)
ival-sin: 740.0ms (1.3% of total)
ival-sqrt: 670.0ms (1.2% of total)
ival-pow2: 317.0ms (0.6% of total)
exact: 235.0ms (0.4% of total)
ival-true: 209.0ms (0.4% of total)
ival-tan: 143.0ms (0.3% of total)
ival-hypot: 111.0ms (0.2% of total)
ival-assert: 107.0ms (0.2% of total)
ival-log1p: 96.0ms (0.2% of total)
ival-cosh: 85.0ms (0.2% of total)
ival-fabs: 52.0ms (0.1% of total)
ival-tanh: 36.0ms (0.1% of total)
ival-sinh: 26.0ms (0% of total)
ival-acos: 21.0ms (0% of total)
ival-expm1: 18.0ms (0% of total)
ival-asin: 7.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

regimes1.7min (5.1%)

Memory
-515.9MiB live, 118 342.7MiB allocated
Counts
39 332 → 5 119
Calls

511 calls:

13.4s
x
12.4s
y
11.2s
z
6.1s
t
4.1s
(*.f64 (*.f64 j #s(literal 27 binary64)) k)
Compiler

Compiled 38 865 to 58 029 computations (-49.3% saved)

series1.4min (3.9%)

Memory
-447.2MiB live, 86 678.3MiB allocated
Counts
11 403 → 354 552
Calls

8889 calls:

TimeVariablePointExpression
9.4s
x
@0
((* x (exp (* y y))) (+ (* (* (* y y) x) 1/2) x) (* (* y y) x) (* y y) (* x (exp y)) (+ (* y x) x) (* y x) (* x (exp (* y y))) (+ (* (* y y) x) x) (* (* y x) y) (* x (exp y)) (exp y) (+ (* (+ (* (+ (* 1/6 y) 1/2) y) 1) y) 1) (* (* (+ (* 1/6 y) 1/2) y) y) (* x (exp y)) (exp y) (+ (* (+ (* (+ (* 1/6 y) 1/2) y) 1) y) 1) (* (+ (* (+ (* 1/6 y) 1/2) y) 1) y) (+ (* (+ (* (* (* y y) x) 1/2) x) (* y y)) x) (+ (* 1/6 y) 1/2) (* (+ (* 1/6 y) 1/2) y) (+ (* (+ (* 1/6 y) 1/2) y) 1))
962.0ms
a
@0
((* 2 (+ (* z t) (+ (* y x) (* (* i (+ (* c b) a)) (neg c))))) (+ (* z t) (+ (* y x) (* (* i (+ (* c b) a)) (neg c)))) (+ (* y x) (* (* i (+ (* c b) a)) (neg c))) (* (* i (+ (* c b) a)) (neg c)) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (* y x) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (+ (* y x) (* z t)) (* z t) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (* (* (neg c) b) (* i c)) (* (neg c) b) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (+ (* (neg i) (* (+ (* c b) a) c)) (* z t)) (neg i) (* i (+ (* c b) a)) (neg c) (* (+ (* c b) a) c))
331.0ms
x
@inf
((+ (* (log y) x) (- (neg z) y)) (log y) (- (neg z) y) (neg z) (- (- (* x (log y)) z) y) (neg y) (- (- (* x (log y)) z) y) (- (* (log y) x) z) (* (log y) x) (/ 1 (pow (- (- (* (log y) x) z) y) -1)) (pow (- (- (* (log y) x) z) y) -1) (- (- (* (log y) x) z) y) (+ (* x (/ (* (pow (log y) 2) x) (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) (- (+ (* x (/ (* (pow (log y) 2) x) (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) y) (/ (* (pow (log y) 2) x) (+ (* (log y) x) z)) (* (pow (log y) 2) x) (pow (log y) 2) (/ z (+ (* (log y) x) z)))
289.0ms
z
@inf
((+ (* (log (/ x y)) x) (neg z)) (log (/ x y)) (/ x y) (neg z) (- (* x (log (/ x y))) z) (- (* x (- (log x) (log y))) z) (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (/ (+ (* (neg z) z) (pow (* (log (/ x y)) x) 2)) (+ (* (log (/ x y)) x) z)) (+ (* (neg z) z) (pow (* (log (/ x y)) x) 2)) (pow (* (log (/ x y)) x) 2) (+ (* (pow (log (/ y x)) 2) (/ (* x x) (+ (* (log (/ x y)) x) z))) (neg (/ (* z z) (+ (* (log (/ x y)) x) z)))) (pow (log (/ y x)) 2) (log (/ y x)) (/ y x) (* (log (/ x y)) x) (/ (* x x) (+ (* (log (/ x y)) x) z)) (/ (* z z) (+ (* (log (/ x y)) x) z)))
287.0ms
z
@0
((+ (- (* (- x 1/2) (log x)) x) 91893853320467/100000000000000) (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) (+ (+ (- (* (- x 1/2) (log x)) x) 91893853320467/100000000000000) (/ (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) (/ (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) (* (- x 1/2) (log x)) (- (* (- x 1/2) (log x)) x))

prune1.3min (3.9%)

Memory
-2 614.8MiB live, 102 296.2MiB allocated
Counts
916 281 → 14 037
Compiler

Compiled 424 146 to 298 412 computations (29.6% saved)

preprocess1.3min (3.8%)

Memory
1 822.1MiB live, 71 284.8MiB 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 173 406 to 55 992 computations (67.7% saved)

explain43.6s (2.1%)

Memory
-1 027.9MiB live, 51 964.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15801
/.f64#fo/n11810
sqrt.f64#foflow-rescue8040
-.f64#fcancellation6099
/.f64#fo/o6000
*.f64#fn*o4800
+.f64#fnan-rescue4620
-.f64#fnan-rescue4590
cos.f64#fsensitivity3621
+.f64#fcancellation3312
/.f64#fn/o2990
/.f64#fu/n2710
sin.f64#fsensitivity2180
*.f64#fn*u1830
cos.f64#foflow-rescue1540
/.f64#fn/u1260
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity940
/.f64#fu/u870
log.f64#foflow-rescue850
log.f64#fuflow-rescue710
sqrt.f64#fuflow-rescue500
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue370
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow37
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue370
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow37
exp.f64(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t #s(literal 1 binary64)) (log.f64 a))) b))sensitivity331
*.f64#fo*u310
*.f64#fu*o30
Confusion
Predicted +Predicted -
+6112178
-167760897
Precision
0.7846963666709462
Recall
0.9717011128775834
Confusion?
Predicted +Predicted MaybePredicted -
+61125173
-16771160886
Precision?
0.7837283792440743
Recall?
0.9724960254372019
Freqs
test
numberfreq
061075
17026
2690
356
412
55
Total Confusion?
Predicted +Predicted MaybePredicted -
+13540
-20128
Precision?
0.9858156028368794
Recall?
1.0
Samples
13.2s130 354×0valid
2.3s6 008×1valid
1.4s1 270×2valid
24.0ms90×3valid
2.0ms6×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.5s
ival-mult: 2.8s (29.4% of total)
ival-sub: 1.7s (17.9% of total)
ival-add: 1.1s (11.2% of total)
ival-log: 996.0ms (10.4% of total)
ival-div: 925.0ms (9.7% of total)
adjust: 498.0ms (5.2% of total)
const: 346.0ms (3.6% of total)
ival-sqrt: 313.0ms (3.3% of total)
ival-sin: 216.0ms (2.3% of total)
ival-cos: 202.0ms (2.1% of total)
ival-exp: 141.0ms (1.5% of total)
ival-true: 125.0ms (1.3% of total)
exact: 63.0ms (0.7% of total)
ival-assert: 61.0ms (0.6% of total)
ival-hypot: 16.0ms (0.2% of total)
ival-tan: 13.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-tanh: 11.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

bsearch34.0s (1.7%)

Memory
48.2MiB live, 40 213.4MiB allocated
Algorithm
1 702×binary-search
1 235×left-value
Stop Event
1 670×narrow-enough
31×predicate-same
1×predicate-failed
Samples
19.3s133 369×0valid
1.1s4 069×1valid
388.0ms3 644×0invalid
28.0ms184×1invalid
21.0ms113×2valid
0.0ms1×3valid
Compiler

Compiled 279 006 to 336 708 computations (-20.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.1s
ival-mult: 6.3s (44.7% of total)
ival-sub: 2.7s (19.3% of total)
ival-add: 1.9s (13.4% of total)
ival-div: 1.1s (8.1% of total)
ival-log: 520.0ms (3.7% of total)
const: 343.0ms (2.4% of total)
ival-cos: 273.0ms (1.9% of total)
ival-sin: 253.0ms (1.8% of total)
ival-sqrt: 172.0ms (1.2% of total)
adjust: 117.0ms (0.8% of total)
ival-true: 113.0ms (0.8% of total)
ival-exp: 74.0ms (0.5% of total)
ival-assert: 59.0ms (0.4% of total)
exact: 47.0ms (0.3% of total)
ival-tanh: 43.0ms (0.3% of total)
ival-cosh: 15.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

analyze19.1s (0.9%)

Memory
-70.6MiB live, 23 966.3MiB 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)

start7.0ms (0%)

Memory
16.0MiB live, 15.7MiB allocated

end2.0ms (0%)

Memory
4.9MiB live, 4.6MiB allocated

Profiling

Loading profile data...