Herbie run

Date:Wednesday, October 2nd, 2024
Commit:e7d6e0c5 on bhargav-log-space
Hostname:nightly with Racket 8.10
Seed:2024276
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: 46.3s)

sample12.1s (26%)

Memory
208.6MiB live, 11 401.7MiB allocated
Samples
7.2s70 189×0valid
968.0ms4 108×2valid
292.0ms1 945×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.6s (27.7% of total)
ival-div: 1.1s (19% of total)
ival-sub: 929.0ms (15.9% of total)
ival-neg: 484.0ms (8.3% of total)
ival-if: 351.0ms (6% of total)
ival-sqrt: 330.0ms (5.6% of total)
ival-add: 323.0ms (5.5% of total)
ival-fabs: 132.0ms (2.3% of total)
ival->=: 124.0ms (2.1% of total)
adjust: 117.0ms (2% of total)
ival-log: 110.0ms (1.9% of total)
ival-exp: 81.0ms (1.4% of total)
ival-true: 58.0ms (1% of total)
exact: 57.0ms (1% of total)
ival-assert: 30.0ms (0.5% of total)
Bogosity

simplify7.6s (16.4%)

Memory
-79.0MiB live, 6 151.6MiB allocated
Algorithm
53×egg-herbie
Stop Event
67×iter limit
31×node limit
24×saturated
Counts
7 320 → 7 142

eval6.0s (13%)

Memory
97.2MiB live, 6 734.6MiB allocated
Compiler

Compiled 1 165 730 to 79 722 computations (93.2% saved)

rewrite5.0s (10.8%)

Memory
36.7MiB live, 4 018.3MiB allocated
Stop Event
51×iter limit
21×node limit
2×unsound
1×saturated
Counts
276 → 14 589

soundness4.8s (10.4%)

Memory
43.8MiB live, 2 246.1MiB allocated
Stop Event
30×iter limit
20×node limit
4×done
3×fuel
2×saturated
Compiler

Compiled 2 979 to 1 601 computations (46.3% saved)

localize3.0s (6.6%)

Memory
-19.0MiB live, 3 496.0MiB allocated
Samples
782.0ms4 362×0valid
651.0ms809×2valid
496.0ms603×1valid
161.0ms114×3valid
Compiler

Compiled 12 369 to 1 182 computations (90.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 316.0ms (24% of total)
ival-div: 308.0ms (23.4% of total)
adjust: 174.0ms (13.2% of total)
ival-sub: 139.0ms (10.6% of total)
ival-add: 99.0ms (7.5% of total)
ival-sqrt: 90.0ms (6.8% of total)
ival-if: 75.0ms (5.7% of total)
ival-neg: 40.0ms (3% of total)
ival-log: 23.0ms (1.7% of total)
ival-exp: 17.0ms (1.3% of total)
ival->=: 10.0ms (0.8% of total)
exact: 9.0ms (0.7% of total)
ival-pow: 7.0ms (0.5% of total)
ival-true: 5.0ms (0.4% of total)
ival-assert: 2.0ms (0.2% of total)

explain2.1s (4.6%)

Memory
-39.4MiB live, 2 224.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2841
sqrt.f64#foflow-rescue2410
+.f64#fcancellation1690
sqrt.f64#fuflow-rescue740
Confusion
Predicted +Predicted -
+2730
-2811238
Precision
0.4927797833935018
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+27300
-28111237
Precision?
0.4918918918918919
Recall?
1.0
Freqs
test
numberfreq
01238
1340
2214
Total Confusion?
Predicted +Predicted MaybePredicted -
+300
-004
Precision?
1.0
Recall?
1.0
Samples
522.0ms2 690×0valid
256.0ms534×2valid
103.0ms310×1valid
22.0ms50×3valid
Compiler

Compiled 2 190 to 758 computations (65.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 742.0ms
ival-sub: 310.0ms (41.8% of total)
adjust: 95.0ms (12.8% of total)
ival-if: 74.0ms (10% of total)
ival-mult: 59.0ms (8% of total)
ival-div: 47.0ms (6.3% of total)
ival->=: 42.0ms (5.7% of total)
ival-log: 37.0ms (5% of total)
ival-sqrt: 30.0ms (4% of total)
ival-add: 22.0ms (3% of total)
ival-neg: 12.0ms (1.6% of total)
ival-exp: 5.0ms (0.7% of total)
ival-true: 3.0ms (0.4% of total)
exact: 3.0ms (0.4% of total)
ival-assert: 2.0ms (0.3% of total)

prune1.9s (4%)

Memory
91.9MiB live, 2 543.2MiB allocated
Counts
28 375 → 288
Compiler

Compiled 16 902 to 9 060 computations (46.4% saved)

preprocess1.5s (3.2%)

Memory
49.8MiB live, 965.3MiB allocated
Algorithm
7×egg-herbie
Stop Event
14×iter limit
10×saturated
4×node limit
Compiler

Compiled 2 297 to 764 computations (66.7% saved)

series871.0ms (1.9%)

Memory
-12.7MiB live, 879.9MiB allocated
Counts
276 → 7 320
Calls

129 calls:

TimeVariablePointExpression
73.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))
52.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))
15.0ms
a
@inf
((+ (* (/ 1/2 a) (sqrt (+ (* a (* c -4)) (* b b)))) (/ b (* -2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (>= b 0) (+ (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))))) (if (>= b 0) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (/ (- (sqrt (+ (* a (* c -4)) (* b b))) b) (* 2 a))) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) (* (+ (* (* (/ a b) -2) (/ c b)) 1) b) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (+ (* b b) (+ (* (* a 4) c) (* b b))) (/ 1 (* (* a 2) (- b (sqrt (+ (* (* -4 c) a) (* b b))))))) (+ (* b b) (+ (* (* a 4) c) (* b b))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* a (* c -4)) (* 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 (+ (* a (* c -4)) (* b b))) b) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
13.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) (/ (* -2 c) (+ (sqrt (+ (* -4 (* c a)) (* b b))) b)) (* (/ (- (sqrt (+ (* -4 (* c a)) (* b b))) b) a) 1/2)) (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* -4 (* c a)) (* b b))) b)) (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))))) (/ (neg b) a) (* (neg b) (- (/ 1 a) (/ c (* b b)))) (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) (* (/ 2 (- b (sqrt (+ (* (* -4 c) a) (* b b))))) c) (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (* (/ 2 (- b (sqrt (+ (* (* -4 c) a) (* b b))))) c) (/ 2 (- b (sqrt (+ (* (* -4 c) a) (* b b))))) (/ (+ (* (* (sqrt (+ (* (* -4 c) a) (* b b))) 1/2) a) (* a (* b -1/2))) (* a a)) (+ (* (* (sqrt (+ (* (* -4 c) a) (* b b))) 1/2) a) (* a (* b -1/2))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (sqrt (+ (* -4 (* c a)) (* b b))) (+ (sqrt (+ (* -4 (* c a)) (* b b))) b) (- (sqrt (+ (* -4 (* c a)) (* b b))) b) (/ (- (sqrt (+ (* -4 (* c a)) (* b b))) b) a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (neg b) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ c (* b b)) (sqrt (+ (* (* -4 c) a) (* b b))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (- (* b b) (* (* 4 a) c))))
11.0ms
b
@-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)))))

regimes579.0ms (1.3%)

Memory
-62.5MiB live, 563.3MiB allocated
Counts
424 → 58
Calls

19 calls:

83.0ms
b
60.0ms
x
53.0ms
a
52.0ms
c
46.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))))))
Compiler

Compiled 736 to 561 computations (23.8% saved)

analyze542.0ms (1.2%)

Memory
-11.9MiB live, 730.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)

bsearch295.0ms (0.6%)

Memory
25.4MiB live, 186.0MiB allocated
Algorithm
17×binary-search
5×left-value
Stop Event
13×narrow-enough
4×predicate-same
Samples
180.0ms1 408×0valid
14.0ms137×0invalid
2.0ms16×2valid
Compiler

Compiled 5 777 to 4 362 computations (24.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 121.0ms
ival-mult: 47.0ms (38.9% of total)
ival-sub: 25.0ms (20.7% of total)
ival-div: 17.0ms (14.1% of total)
ival-sqrt: 8.0ms (6.6% of total)
ival-add: 5.0ms (4.1% of total)
ival-neg: 5.0ms (4.1% of total)
ival-if: 4.0ms (3.3% of total)
ival->=: 3.0ms (2.5% of total)
ival-exp: 2.0ms (1.7% of total)
exact: 2.0ms (1.7% of total)
ival-assert: 1.0ms (0.8% of total)
ival-true: 1.0ms (0.8% of total)
adjust: 0.0ms (0% of total)

start0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...