Herbie run

Date:Sunday, September 29th, 2024
Commit:cd05a706 on main
Hostname:nightly with Racket 8.10
Seed:2024273
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: 1.0min)

sample12.9s (21%)

Memory
360.0MiB live, 12 306.6MiB allocated
Samples
8.0s70 232×0valid
788.0ms4 059×2valid
696.0ms1 912×0invalid
1.0ms13×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.0s
ival-mult: 2.0s (28.9% of total)
ival-div: 1.2s (17.6% of total)
ival-sub: 874.0ms (12.6% of total)
ival-sqrt: 712.0ms (10.2% of total)
ival->=: 604.0ms (8.7% of total)
ival-neg: 482.0ms (6.9% of total)
ival-add: 260.0ms (3.7% of total)
ival-exp: 221.0ms (3.2% of total)
ival-if: 120.0ms (1.7% of total)
ival-log: 111.0ms (1.6% of total)
adjust: 103.0ms (1.5% of total)
ival-fabs: 93.0ms (1.3% of total)
ival-true: 56.0ms (0.8% of total)
exact: 56.0ms (0.8% of total)
ival-assert: 30.0ms (0.4% of total)
Bogosity

simplify10.7s (17.4%)

Memory
-277.9MiB live, 9 146.4MiB allocated
Algorithm
73×egg-herbie
Stop Event
94×iter limit
41×node limit
34×saturated
Counts
9 480 → 9 315

eval8.7s (14.1%)

Memory
194.3MiB live, 11 578.9MiB allocated
Compiler

Compiled 1 287 208 to 92 840 computations (92.8% saved)

rewrite7.7s (12.5%)

Memory
22.0MiB live, 7 118.6MiB allocated
Stop Event
68×iter limit
30×node limit
2×unsound
1×saturated
Counts
362 → 19 172

soundness7.1s (11.6%)

Memory
15.9MiB live, 3 802.1MiB allocated
Stop Event
49×iter limit
32×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 4 076 to 2 404 computations (41% saved)

localize4.6s (7.5%)

Memory
89.5MiB live, 4 415.8MiB allocated
Samples
1.5s6 592×0valid
912.0ms810×2valid
785.0ms663×1valid
144.0ms127×3valid
Compiler

Compiled 13 498 to 1 463 computations (89.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-div: 446.0ms (23.2% of total)
ival-mult: 335.0ms (17.4% of total)
adjust: 245.0ms (12.7% of total)
ival-add: 245.0ms (12.7% of total)
ival-sub: 218.0ms (11.3% of total)
ival-sqrt: 169.0ms (8.8% of total)
ival-if: 80.0ms (4.2% of total)
ival-fabs: 51.0ms (2.6% of total)
ival-neg: 39.0ms (2% of total)
ival-log: 30.0ms (1.6% of total)
ival-pow: 25.0ms (1.3% of total)
ival-exp: 11.0ms (0.6% of total)
exact: 11.0ms (0.6% of total)
ival-true: 7.0ms (0.4% of total)
ival->=: 7.0ms (0.4% of total)
ival-assert: 3.0ms (0.2% of total)
ival-e: 2.0ms (0.1% of total)

prune2.4s (3.8%)

Memory
121.8MiB live, 4 641.7MiB allocated
Counts
35 690 → 349
Compiler

Compiled 17 377 to 9 720 computations (44.1% saved)

preprocess1.7s (2.8%)

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

Compiled 3 367 to 1 100 computations (67.3% saved)

explain1.5s (2.4%)

Memory
-30.8MiB live, 2 072.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2550
-.f64#fcancellation1411
+.f64#fcancellation1130
sqrt.f64#fuflow-rescue720
/.f64#fn/u220
-.f64#fnan-rescue220
*.f64(*.f64 (/.f64 x y) z)n*o170
/.f64#fu/n100
*.f64(*.f64 (/.f64 x y) z)n*u80
Confusion
Predicted +Predicted -
+29119
-2461748
Precision
0.5418994413407822
Recall
0.9387096774193548
Confusion?
Predicted +Predicted MaybePredicted -
+291019
-24611747
Precision?
0.5408921933085502
Recall?
0.9387096774193548
Freqs
test
numberfreq
01767
1421
2109
37
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
245.0ms3 674×0valid
196.0ms542×2valid
76.0ms334×1valid
28.0ms58×3valid
Compiler

Compiled 1 575 to 388 computations (75.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 311.0ms
ival-mult: 65.0ms (20.9% of total)
ival-div: 59.0ms (19% of total)
ival-sub: 44.0ms (14.1% of total)
ival-sqrt: 38.0ms (12.2% of total)
adjust: 35.0ms (11.2% of total)
ival-add: 16.0ms (5.1% of total)
ival-neg: 11.0ms (3.5% of total)
ival-if: 10.0ms (3.2% of total)
ival-fabs: 10.0ms (3.2% of total)
ival-log: 7.0ms (2.2% of total)
ival-exp: 5.0ms (1.6% of total)
ival-true: 4.0ms (1.3% of total)
exact: 4.0ms (1.3% of total)
ival->=: 3.0ms (1% of total)
ival-assert: 2.0ms (0.6% of total)

regimes1.4s (2.3%)

Memory
-44.9MiB live, 1 531.5MiB allocated
Counts
592 → 94
Calls

26 calls:

285.0ms
b
166.0ms
a
130.0ms
z
121.0ms
c
76.0ms
x
Compiler

Compiled 1 034 to 863 computations (16.5% saved)

series1.3s (2.2%)

Memory
-6.9MiB live, 1 368.6MiB allocated
Counts
362 → 9 480
Calls

186 calls:

TimeVariablePointExpression
63.0ms
c
@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 -2) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (>= b 0) (/ (* c -2) (+ (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) (* (- (/ 1 a) (/ c (* b b))) (neg 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))))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (+ (* b b) (* (* -4 c) a)))) (* 2 c) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* 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)))))) (sqrt (+ (* (* -4 c) a) (* b b))) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (neg b) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ c (* b b)) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* b b) (* (* -4 c) a))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
55.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)))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))))
50.0ms
y
@0
((+ (* (/ (neg x) y) z) (/ (+ x 4) y)) (fabs (+ (* (/ (neg x) y) z) (/ (+ x 4) y))) (/ (neg x) y) (neg x) (fabs (/ (+ (* z x) (- -4 x)) y)) (/ (+ (* z x) (- -4 x)) y) (+ (* z x) (- -4 x)) (- -4 x) (fabs (/ (+ (* z x) (- -4 x)) y)) (/ (+ (* z x) (- -4 x)) y) (+ (* z x) (- -4 x)) (* z x) (/ (neg z) (/ y x)) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (neg z) (+ (* (/ -1 y) (* x z)) (/ (+ x 4) y)) (fabs (+ (* (/ -1 y) (* x z)) (/ (+ x 4) y))) (/ -1 y) (* x z) (+ x 4) (/ (+ x 4) y))
41.0ms
b
@-inf
((/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (+ (neg b) (sqrt (+ (* b b) (* (* -4 c) a)))) (>= 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 (/ (- b (sqrt (+ (* (* -4 c) a) (* b b)))) c)) (* (neg b) (+ (* (* (/ a b) -2) (/ c b)) 2)) (+ (neg b) (/ (+ (* (* -4 c) a) (* b b)) (sqrt (+ (* (* -4 c) a) (* b b))))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* b b) (* (* -4 c) a))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (sqrt (+ (* (* -4 c) a) (* b b))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (* (* -4 c) a) (* b b)) (sqrt (+ (* (* -4 c) a) (* b b)))))
34.0ms
c
@-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) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ 1/2 (/ a (- b (sqrt (+ (* (* -4 c) a) (* b b)))))) (* (+ (* (* a (/ c (* b b))) -4) 1) b) (* (* (+ (* (* a (/ c (* b b))) -4) 1) b) b) (/ (+ (* b b) (+ (* (* -4 c) a) (* b b))) (* (* -2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (+ (* b b) (+ (* (* -4 c) a) (* b b))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))

bsearch810.0ms (1.3%)

Memory
-20.5MiB live, 830.4MiB allocated
Algorithm
35×binary-search
6×left-value
Stop Event
33×narrow-enough
2×predicate-same
Samples
310.0ms2 720×0valid
178.0ms238×0invalid
53.0ms80×2valid
Compiler

Compiled 10 253 to 8 466 computations (17.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 428.0ms
ival-mult: 155.0ms (36.2% of total)
ival-sub: 70.0ms (16.4% of total)
ival->=: 69.0ms (16.1% of total)
ival-div: 62.0ms (14.5% of total)
ival-add: 22.0ms (5.1% of total)
ival-sqrt: 21.0ms (4.9% of total)
ival-if: 7.0ms (1.6% of total)
ival-neg: 7.0ms (1.6% of total)
ival-fabs: 6.0ms (1.4% of total)
adjust: 3.0ms (0.7% of total)
exact: 3.0ms (0.7% of total)
ival-true: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.2% of total)

analyze644.0ms (1%)

Memory
-31.3MiB live, 611.3MiB 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.6MiB live, 0.6MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...