Herbie run

Date:Sunday, November 3rd, 2024
Commit:3e00ba3f on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024308
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: 55.3s)

sample11.7s (21.2%)

Memory
244.6MiB live, 10 864.4MiB allocated
Samples
6.7s70 114×0valid
800.0ms4 183×2valid
232.0ms1 988×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.1s
ival-mult: 1.4s (26.4% of total)
ival-div: 897.0ms (17.5% of total)
ival-sqrt: 820.0ms (16% of total)
ival-sub: 665.0ms (13% of total)
ival-neg: 455.0ms (8.9% of total)
ival-add: 196.0ms (3.8% of total)
ival-if: 132.0ms (2.6% of total)
ival-log: 126.0ms (2.5% of total)
adjust: 98.0ms (1.9% of total)
ival-fabs: 93.0ms (1.8% of total)
ival-exp: 69.0ms (1.3% of total)
ival->=: 69.0ms (1.3% of total)
ival-true: 57.0ms (1.1% of total)
exact: 57.0ms (1.1% of total)
ival-assert: 30.0ms (0.6% of total)
Bogosity

simplify9.6s (17.4%)

Memory
-198.4MiB live, 6 967.2MiB allocated
Algorithm
69×egg-herbie
Stop Event
88×iter limit
39×node limit
32×saturated
Counts
2 417 → 2 393

rewrite7.8s (14.1%)

Memory
43.8MiB live, 6 545.3MiB allocated
Stop Event
64×iter limit
28×node limit
2×unsound
1×saturated
Counts
330 → 16 763

soundness7.7s (14%)

Memory
-12.2MiB live, 4 248.5MiB allocated
Stop Event
59×iter limit
37×node limit
5×done
4×fuel
2×saturated
Compiler

Compiled 8 867 to 3 779 computations (57.4% saved)

eval5.6s (10.1%)

Memory
99.5MiB live, 6 075.7MiB allocated
Compiler

Compiled 1 145 448 to 85 633 computations (92.5% saved)

localize4.1s (7.5%)

Memory
-115.0MiB live, 4 464.2MiB allocated
Samples
1.4s6 174×0valid
911.0ms792×2valid
551.0ms617×1valid
141.0ms97×3valid
Compiler

Compiled 15 197 to 1 550 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 534.0ms (29.1% of total)
ival-div: 344.0ms (18.8% of total)
ival-sub: 255.0ms (13.9% of total)
ival-add: 144.0ms (7.9% of total)
adjust: 137.0ms (7.5% of total)
ival-sqrt: 129.0ms (7% of total)
ival-if: 124.0ms (6.8% of total)
ival-neg: 78.0ms (4.3% of total)
ival-exp: 26.0ms (1.4% of total)
ival-fabs: 15.0ms (0.8% of total)
ival-log: 15.0ms (0.8% of total)
exact: 11.0ms (0.6% of total)
ival->=: 7.0ms (0.4% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)
ival-pow: 3.0ms (0.2% of total)
ival-e: 2.0ms (0.1% of total)

explain2.1s (3.8%)

Memory
-26.2MiB live, 2 575.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2670
-.f64#fcancellation2450
+.f64#fcancellation1650
sqrt.f64#fuflow-rescue740
-.f64#fnan-rescue120
*.f64(*.f64 (/.f64 x y) z)n*o90
*.f64(*.f64 (/.f64 x y) z)n*u80
Confusion
Predicted +Predicted -
+3224
-2651713
Precision
0.5485519591141397
Recall
0.9877300613496932
Confusion?
Predicted +Predicted MaybePredicted -
+32204
-26501713
Precision?
0.5485519591141397
Recall?
0.9877300613496932
Freqs
test
numberfreq
01717
1400
2181
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
292.0ms3 728×0valid
286.0ms528×2valid
71.0ms308×1valid
20.0ms44×3valid
Compiler

Compiled 2 043 to 636 computations (68.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 343.0ms
ival-mult: 73.0ms (21.3% of total)
ival-div: 63.0ms (18.3% of total)
ival-sub: 51.0ms (14.9% of total)
adjust: 36.0ms (10.5% of total)
ival-add: 36.0ms (10.5% of total)
ival-sqrt: 34.0ms (9.9% of total)
ival-neg: 11.0ms (3.2% of total)
ival-if: 9.0ms (2.6% of total)
ival-log: 7.0ms (2% of total)
ival-fabs: 5.0ms (1.5% of total)
ival-exp: 4.0ms (1.2% of total)
ival-true: 4.0ms (1.2% of total)
exact: 4.0ms (1.2% of total)
ival->=: 3.0ms (0.9% of total)
ival-assert: 2.0ms (0.6% of total)

prune1.8s (3.3%)

Memory
-47.8MiB live, 2 414.5MiB allocated
Counts
23 030 → 303
Compiler

Compiled 23 733 to 11 616 computations (51.1% saved)

preprocess1.6s (2.9%)

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

Compiled 7 271 to 1 364 computations (81.2% saved)

regimes1.1s (2%)

Memory
-15.9MiB live, 938.8MiB allocated
Counts
509 → 97
Calls

26 calls:

142.0ms
b
122.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) (/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))))
106.0ms
a
101.0ms
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
83.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)))
Compiler

Compiled 1 091 to 900 computations (17.5% saved)

series754.0ms (1.4%)

Memory
152.2MiB live, 994.6MiB allocated
Counts
330 → 2 417
Calls

177 calls:

TimeVariablePointExpression
97.0ms
b
@0
((/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (>= b 0) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
43.0ms
b
@-inf
((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (/ (+ (sqrt (+ (* -4 (* a c)) (* b b))) b) a) -1/2) (/ (* 2 c) (- (sqrt (+ (* -4 (* a c)) (* b b))) b))) (>= b 0) (* (/ (+ (sqrt (+ (* -4 (* a c)) (* b b))) b) a) -1/2) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* c (/ 2 (- (sqrt (- (* b b) (* (* 4 a) c))) b)))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (/ c b) (/ b a)) (if (>= b 0) (/ (- (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 c) a)))) (* 2 a)) (if (>= b 0) (/ (- (neg b) (sqrt (+ (* b b) (* (* -4 c) a)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (- (neg b) (sqrt (+ (* b b) (* (* -4 c) a)))) (* (+ (* (* a (/ 1 (/ (* b b) c))) -2) 2) (neg b)) (/ 1 (/ (* b b) c)) (sqrt (+ (* -4 (* a c)) (* b b))) (- (sqrt (+ (* -4 (* a c)) (* b b))) b) (+ (sqrt (+ (* -4 (* a c)) (* b b))) b) (/ (+ (sqrt (+ (* -4 (* a c)) (* b b))) b) a) (sqrt (- (* b b) (* (* 4 a) c))) (- (sqrt (- (* b b) (* (* 4 a) c))) b) (* c (/ 2 (- (sqrt (- (* b b) (* (* 4 a) c))) b))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (* a c) b) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (+ (* b b) (* (* -4 c) a))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (* b b) c))
25.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))
22.0ms
y
@0
((+ (* (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)) (* (neg z) (/ x y)) (neg z) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (- 1 z) (/ x y)) (- 1 z) (fabs (/ (+ (* z x) (- -4 x)) y)) (/ (+ (* z x) (- -4 x)) y) (+ (* z x) (- -4 x)) (- -4 x) (/ (+ 4 x) y))
21.0ms
a
@inf
((/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (* b b) (* (* 4 a) c)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (>= b 0) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))

analyze692.0ms (1.3%)

Memory
5.7MiB live, 608.7MiB 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)

bsearch690.0ms (1.2%)

Memory
14.2MiB live, 494.8MiB allocated
Algorithm
40×binary-search
4×left-value
Stop Event
32×narrow-enough
8×predicate-same
Samples
373.0ms2 288×0valid
28.0ms283×0invalid
16.0ms96×2valid
Compiler

Compiled 22 908 to 15 484 computations (32.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 288.0ms
ival-mult: 86.0ms (29.8% of total)
ival-add: 84.0ms (29.1% of total)
ival-div: 38.0ms (13.2% of total)
ival-sqrt: 27.0ms (9.4% of total)
ival-sub: 21.0ms (7.3% of total)
ival-if: 7.0ms (2.4% of total)
ival-neg: 7.0ms (2.4% of total)
ival->=: 5.0ms (1.7% of total)
ival-fabs: 5.0ms (1.7% of total)
exact: 3.0ms (1% of total)
adjust: 2.0ms (0.7% of total)
ival-true: 2.0ms (0.7% of total)
ival-assert: 1.0ms (0.3% of total)

start0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...