Herbie run

Date:Tuesday, November 26th, 2024
Commit:0bc53aaa on bhargav-bigfloat
Hostname:nightly with Racket 8.10
Seed:2024331
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.0s)

sample12.9s (23.4%)

Memory
108.7MiB live, 11 189.7MiB allocated
Samples
6.8s70 110×0valid
835.0ms4 185×2valid
557.0ms1 900×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.6s (27.8% of total)
ival-div: 1.1s (17.9% of total)
ival-sub: 1.0s (17.6% of total)
ival-add: 467.0ms (7.9% of total)
ival-sqrt: 396.0ms (6.7% of total)
ival-exp: 313.0ms (5.3% of total)
ival-neg: 266.0ms (4.5% of total)
ival-fabs: 180.0ms (3.1% of total)
ival-if: 120.0ms (2% of total)
ival-log: 107.0ms (1.8% of total)
adjust: 105.0ms (1.8% of total)
ival->=: 64.0ms (1.1% of total)
ival-true: 55.0ms (0.9% of total)
exact: 55.0ms (0.9% of total)
ival-assert: 30.0ms (0.5% of total)
Bogosity

simplify9.5s (17.2%)

Memory
-108.4MiB live, 7 190.1MiB allocated
Algorithm
67×egg-herbie
Stop Event
85×iter limit
37×node limit
32×saturated
Counts
2 501 → 2 474

rewrite7.6s (13.9%)

Memory
-101.6MiB live, 6 535.0MiB allocated
Stop Event
62×iter limit
27×node limit
2×unsound
1×saturated
Counts
334 → 17 774

soundness7.6s (13.8%)

Memory
47.2MiB live, 3 302.0MiB allocated
Stop Event
49×iter limit
31×node limit
5×done
4×fuel
2×saturated
Compiler

Compiled 8 167 to 3 400 computations (58.4% saved)

eval5.7s (10.4%)

Memory
95.8MiB live, 6 556.9MiB allocated
Compiler

Compiled 1 118 577 to 86 388 computations (92.3% saved)

localize4.0s (7.3%)

Memory
7.2MiB live, 4 143.4MiB allocated
Samples
1.3s5 938×0valid
954.0ms795×2valid
502.0ms597×1valid
155.0ms94×3valid
Compiler

Compiled 15 375 to 1 569 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 391.0ms (19.8% of total)
ival-div: 380.0ms (19.2% of total)
ival-add: 312.0ms (15.8% of total)
ival-sqrt: 209.0ms (10.6% of total)
ival-sub: 184.0ms (9.3% of total)
ival-neg: 172.0ms (8.7% of total)
adjust: 128.0ms (6.5% of total)
ival-if: 66.0ms (3.3% of total)
ival-fabs: 43.0ms (2.2% of total)
ival-log: 31.0ms (1.6% of total)
ival-pow: 19.0ms (1% of total)
ival->=: 13.0ms (0.7% of total)
exact: 11.0ms (0.6% of total)
ival-exp: 9.0ms (0.5% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)
ival-pow2: 2.0ms (0.1% of total)

explain1.7s (3%)

Memory
-20.1MiB live, 1 951.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2360
-.f64#fcancellation1140
+.f64#fcancellation1091
sqrt.f64#fuflow-rescue850
/.f64#fu/n280
/.f64#fn/u220
-.f64#fnan-rescue220
*.f64(*.f64 (/.f64 x y) z)n*o80
*.f64(*.f64 (/.f64 x y) z)n*u70
/.f64(/.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)))))o/n10
↳(*.f64 #s(literal 2 binary64) c)overflow1
Confusion
Predicted +Predicted -
+29122
-2061785
Precision
0.5855130784708249
Recall
0.9297124600638977
Confusion?
Predicted +Predicted MaybePredicted -
+291022
-20611784
Precision?
0.5843373493975904
Recall?
0.9297124600638977
Freqs
test
numberfreq
01807
1372
2115
310
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
281.0ms3 734×0valid
158.0ms528×2valid
69.0ms302×1valid
17.0ms44×3valid
Compiler

Compiled 1 575 to 388 computations (75.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 343.0ms
ival-div: 73.0ms (21.3% of total)
ival-mult: 67.0ms (19.5% of total)
ival-sub: 46.0ms (13.4% of total)
adjust: 34.0ms (9.9% of total)
ival-sqrt: 29.0ms (8.5% of total)
ival-neg: 24.0ms (7% of total)
ival-if: 23.0ms (6.7% of total)
ival-add: 17.0ms (5% of total)
ival-log: 6.0ms (1.8% of total)
ival-exp: 5.0ms (1.5% of total)
ival-fabs: 5.0ms (1.5% 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)

preprocess1.6s (2.9%)

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

Compiled 7 795 to 1 386 computations (82.2% saved)

prune1.6s (2.9%)

Memory
88.0MiB live, 2 575.0MiB allocated
Counts
24 229 → 303
Compiler

Compiled 23 000 to 11 748 computations (48.9% saved)

series846.0ms (1.5%)

Memory
-44.2MiB live, 830.7MiB allocated
Counts
334 → 2 501
Calls

174 calls:

TimeVariablePointExpression
44.0ms
x
@inf
((neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (* 1/2 x) x) (* 1/2 x) (log (/ x (- 1 x))) (/ x (- 1 x)) (+ (* x x) x) (log (/ x (- 1 x))) (/ x (- 1 x)) (+ (* (+ (* x x) x) x) x) (/ (+ 0 (pow (log (/ x (- 1 x))) 3)) (pow (log (/ x (- 1 x))) 2)) (+ 0 (pow (log (/ x (- 1 x))) 3)) (pow (log (/ x (- 1 x))) 3) (log (/ x (- 1 x))) (pow (log (/ x (- 1 x))) 2))
43.0ms
a
@0
((* (/ 1/2 a) (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b))))) (* (neg c) (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (>= b 0) (/ 1/2 a) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (neg c) (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ 1/2 (/ a (- b (sqrt (+ (* (* -4 c) a) (* b b)))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (* (/ c (neg b)) (/ -1 b)) (* (+ (* (* a (* (/ c (neg b)) (/ -1 b))) -2) 2) (neg b)) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (+ (* b b) (+ (* c (* a 4)) (* b b))) (/ 1/2 a)) (+ (* b b) (+ (* c (* a 4)) (* b b))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b)))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
43.0ms
b
@inf
((/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (* b b) (* (* 4 a) c)) (* (neg c) (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (>= b 0) (- 0 (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (- (* (* b 1/2) a) (* a (* (sqrt (+ (* (* -4 c) a) (* b b))) 1/2))) (* a a)) (- (* (* b 1/2) a) (* a (* (sqrt (+ (* (* -4 c) a) (* b b))) 1/2))) (+ (* b b) (+ (* (* -4 c) a) (* b b))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ c (* b b)) (/ (* -2 c) (+ (* b b) (+ (* (* -4 c) a) (* b b)))))
40.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x) (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 (- (pow (* x x) -1/2) 1))) (log (- (pow (* x x) -1/2) 1)) (- (pow (* x x) -1/2) 1) (pow (* x x) -1/2))
37.0ms
y
@-inf
((fabs (/ (+ (* z x) (- -4 x)) y)) (/ (+ (* z x) (- -4 x)) y) (+ (* z x) (- -4 x)) (- -4 x) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (- 1 z) (/ x y)) (/ x y) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (/ (* (neg z) x) y) (* (neg z) x) (/ (fabs (+ (* (* z x) y) (* (- -4 x) y))) (* y y)) (fabs (+ (* (* z x) y) (* (- -4 x) y))) (+ (* (* z x) y) (* (- -4 x) y)) (* y -4) (fabs (* y y)) (/ (fabs (+ (* (* z x) y) (* (- -4 x) y))) (fabs (* y y))) (fabs (+ (* (* z x) y) (* (- -4 x) y))) (+ (* (* z x) y) (* (- -4 x) y)) (neg z) (* (* y z) x))

regimes808.0ms (1.5%)

Memory
-12.9MiB live, 1 346.0MiB allocated
Counts
549 → 108
Calls

26 calls:

127.0ms
b
89.0ms
x
75.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)))
50.0ms
a
48.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (*.f64 x x))))
Compiler

Compiled 865 to 753 computations (12.9% saved)

bsearch666.0ms (1.2%)

Memory
53.7MiB live, 813.0MiB allocated
Algorithm
49×binary-search
6×left-value
Stop Event
46×narrow-enough
3×predicate-same
Samples
328.0ms3 152×0valid
29.0ms227×0invalid
4.0ms32×2valid
Compiler

Compiled 30 208 to 20 506 computations (32.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 262.0ms
ival-div: 90.0ms (34.4% of total)
ival-mult: 55.0ms (21% of total)
ival-fabs: 35.0ms (13.4% of total)
ival-sub: 23.0ms (8.8% of total)
ival-add: 21.0ms (8% of total)
ival-sqrt: 11.0ms (4.2% of total)
ival-if: 7.0ms (2.7% of total)
ival-neg: 7.0ms (2.7% of total)
ival->=: 5.0ms (1.9% of total)
ival-true: 3.0ms (1.1% of total)
exact: 3.0ms (1.1% of total)
adjust: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

analyze505.0ms (0.9%)

Memory
28.7MiB live, 615.2MiB 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.8MiB live, 0.8MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...