Herbie run

Date:Wednesday, October 30th, 2024
Commit:aeaf0403 on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024304
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

Time bar (total: 53.9s)

sample11.1s (20.5%)

Memory
203.7MiB live, 10 977.5MiB allocated
Samples
6.4s70 219×0valid
754.0ms4 075×2valid
347.0ms1 948×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.1s
ival-mult: 1.7s (33.9% of total)
ival-div: 965.0ms (18.8% of total)
ival-sqrt: 641.0ms (12.5% of total)
ival-sub: 583.0ms (11.4% of total)
ival-add: 222.0ms (4.3% of total)
ival-neg: 198.0ms (3.9% of total)
ival-exp: 174.0ms (3.4% of total)
ival-log: 104.0ms (2% of total)
ival-if: 100.0ms (2% of total)
adjust: 95.0ms (1.9% of total)
ival-fabs: 85.0ms (1.7% of total)
ival->=: 80.0ms (1.6% of total)
exact: 56.0ms (1.1% of total)
ival-true: 54.0ms (1.1% of total)
ival-assert: 29.0ms (0.6% of total)
Bogosity

simplify9.8s (18.2%)

Memory
115.1MiB live, 7 668.8MiB allocated
Algorithm
73×egg-herbie
Stop Event
94×iter limit
40×node limit
35×saturated
Counts
2 355 → 2 328

soundness8.1s (15%)

Memory
3.1MiB live, 3 403.0MiB allocated
Stop Event
45×iter limit
29×node limit
5×done
4×fuel
2×saturated
Compiler

Compiled 8 921 to 3 621 computations (59.4% saved)

rewrite6.6s (12.2%)

Memory
-94.0MiB live, 6 976.7MiB allocated
Stop Event
68×iter limit
30×node limit
2×unsound
1×saturated
Counts
345 → 15 890

eval5.3s (9.8%)

Memory
41.5MiB live, 5 124.5MiB allocated
Compiler

Compiled 973 228 to 75 828 computations (92.2% saved)

localize4.4s (8.2%)

Memory
65.8MiB live, 3 752.1MiB allocated
Samples
1.5s6 512×0valid
813.0ms985×2valid
702.0ms597×1valid
188.0ms98×3valid
Compiler

Compiled 14 369 to 1 535 computations (89.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 689.0ms (31.8% of total)
ival-sub: 384.0ms (17.7% of total)
ival-div: 365.0ms (16.8% of total)
adjust: 257.0ms (11.9% of total)
ival-sqrt: 135.0ms (6.2% of total)
ival-add: 85.0ms (3.9% of total)
ival->=: 77.0ms (3.6% of total)
ival-if: 56.0ms (2.6% of total)
ival-neg: 40.0ms (1.8% of total)
ival-fabs: 32.0ms (1.5% of total)
ival-log: 21.0ms (1% of total)
exact: 11.0ms (0.5% of total)
ival-exp: 8.0ms (0.4% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.1% of total)

explain2.2s (4%)

Memory
12.6MiB live, 2 400.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2650
sqrt.f64#foflow-rescue2580
+.f64#fcancellation1830
sqrt.f64#fuflow-rescue700
-.f64#fnan-rescue110
*.f64(*.f64 (/.f64 x y) z)n*o100
*.f64(*.f64 (/.f64 x y) z)n*u50
Confusion
Predicted +Predicted -
+2963
-3081697
Precision
0.4900662251655629
Recall
0.9899665551839465
Confusion?
Predicted +Predicted MaybePredicted -
+29603
-30801697
Precision?
0.4900662251655629
Recall?
0.9899665551839465
Freqs
test
numberfreq
01700
1411
2188
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
354.0ms3 640×0valid
163.0ms632×2valid
93.0ms300×1valid
14.0ms36×3valid
Compiler

Compiled 2 043 to 636 computations (68.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 362.0ms
ival-div: 78.0ms (21.6% of total)
ival-mult: 71.0ms (19.6% of total)
ival-sqrt: 59.0ms (16.3% of total)
ival-sub: 54.0ms (14.9% of total)
adjust: 34.0ms (9.4% of total)
ival-add: 16.0ms (4.4% of total)
ival-neg: 11.0ms (3% of total)
ival-if: 10.0ms (2.8% of total)
ival-log: 7.0ms (1.9% of total)
ival-fabs: 6.0ms (1.7% of total)
ival-exp: 4.0ms (1.1% of total)
ival-true: 4.0ms (1.1% of total)
exact: 4.0ms (1.1% of total)
ival->=: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.6% of total)

preprocess1.8s (3.3%)

Memory
-37.0MiB live, 1 370.9MiB allocated
Algorithm
9×egg-herbie
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 6 929 to 1 270 computations (81.7% saved)

prune1.7s (3.2%)

Memory
-37.3MiB live, 2 130.1MiB allocated
Counts
20 430 → 277
Compiler

Compiled 20 080 to 9 773 computations (51.3% saved)

regimes999.0ms (1.9%)

Memory
-33.2MiB live, 1 140.8MiB allocated
Counts
512 → 99
Calls

26 calls:

227.0ms
b
102.0ms
a
93.0ms
x
66.0ms
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
60.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
Compiler

Compiled 945 to 806 computations (14.7% saved)

series894.0ms (1.7%)

Memory
-61.4MiB live, 816.9MiB allocated
Counts
345 → 2 355
Calls

183 calls:

TimeVariablePointExpression
147.0ms
a
@-inf
((+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (>= b 0) (if (>= b 0) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (/ 1 (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))))) (* 2 a)) (+ (neg b) (/ 1 (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))))) (+ (* b b) (+ (* (* a 4) c) (* b b))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (sqrt (+ (* (* -4 c) a) (* b b))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))) (/ (+ (* b b) (+ (* (* a 4) c) (* b b))) (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* -2 a))))
39.0ms
x
@-inf
((neg (log (- (/ 1 x) 1))) (log x) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1) (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x))
34.0ms
b
@-inf
((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (* (/ c (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) -2) (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (>= b 0) (* (/ c (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) -2) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* (/ 1/2 a) (- (sqrt (- (* b b) (* (* 4 a) c))) b))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (neg b) a) (/ 1 (/ (* a 2) (- (sqrt (- (* b b) (* (* 4 a) c))) b))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ 1 (/ (* a 2) (- (sqrt (- (* b b) (* (* 4 a) c))) b)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (* 2 c) (sqrt (+ (* (* -4 c) a) (* b b))) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) (sqrt (- (* b b) (* (* 4 a) c))) (- (sqrt (- (* b b) (* (* 4 a) c))) b) (* (/ 1/2 a) (- (sqrt (- (* b b) (* (* 4 a) c))) b)) (/ (* a 2) (- (sqrt (- (* b b) (* (* 4 a) c))) b)) (- (* b b) (* (* 4 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* b b) (+ (* (* a 4) c) (* b b))) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (* b b) (+ (* (* a 4) c) (* b b))) (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* -2 a))))
33.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (log x) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1) (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x))
27.0ms
x
@-inf
((+ (* (neg x) (/ z y)) (/ (+ 4 x) y)) (fabs (+ (* (neg x) (/ z y)) (/ (+ 4 x) y))) (neg x) (/ z y) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (/ 4 y) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (- 1 z) (/ x y)) (- 1 z) (- (/ (+ x 4) y) (* (/ x y) z)) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (/ (+ x 4) y) (+ x 4) (/ (+ (* y (+ 4 x)) (* (* (neg y) x) z)) (* y y)) (+ (* y (+ 4 x)) (* (* (neg y) x) z)) (fabs (/ (+ (* y (+ 4 x)) (* (* (neg y) x) z)) (* y y))) (+ 4 x) (/ (+ 4 x) y) (* (/ x y) z) (* (* (neg y) x) z))

bsearch571.0ms (1.1%)

Memory
70.1MiB live, 693.7MiB allocated
Algorithm
43×binary-search
4×left-value
Stop Event
34×narrow-enough
9×predicate-same
Samples
259.0ms2 848×0valid
43.0ms294×0invalid
22.0ms96×2valid
Compiler

Compiled 24 901 to 15 168 computations (39.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 214.0ms
ival-mult: 62.0ms (29% of total)
ival-div: 41.0ms (19.2% of total)
ival-add: 24.0ms (11.2% of total)
ival-sub: 21.0ms (9.8% of total)
ival-fabs: 20.0ms (9.4% of total)
ival-if: 13.0ms (6.1% of total)
ival-sqrt: 11.0ms (5.1% of total)
ival-neg: 7.0ms (3.3% of total)
ival->=: 5.0ms (2.3% of total)
exact: 3.0ms (1.4% of total)
adjust: 2.0ms (0.9% of total)
ival-true: 2.0ms (0.9% of total)
ival-exp: 1.0ms (0.5% of total)
ival-assert: 1.0ms (0.5% of total)

analyze517.0ms (1%)

Memory
37.8MiB live, 537.0MiB allocated
Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 153 to 106 computations (30.7% saved)

start0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...