Herbie run

Date:Thursday, September 26th, 2024
Commit:029b8eff on dump-egraph
Hostname:nightly with Racket 8.10
Seed:2024270
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.1min)

sample12.5s (19.9%)

Memory
356.9MiB live, 12 609.8MiB allocated
Samples
7.7s70 147×0valid
844.0ms4 148×2valid
487.0ms1 964×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.0s
ival-mult: 1.6s (27% of total)
ival-div: 1.2s (19.5% of total)
ival-sub: 835.0ms (13.9% of total)
ival-sqrt: 544.0ms (9.1% of total)
ival-neg: 376.0ms (6.3% of total)
ival->=: 362.0ms (6% of total)
ival-if: 309.0ms (5.1% of total)
ival-add: 228.0ms (3.8% of total)
ival-log: 109.0ms (1.8% of total)
ival-fabs: 105.0ms (1.7% of total)
adjust: 100.0ms (1.7% of total)
ival-exp: 97.0ms (1.6% of total)
exact: 59.0ms (1% of total)
ival-true: 54.0ms (0.9% of total)
ival-assert: 30.0ms (0.5% of total)
Bogosity

simplify10.6s (16.8%)

Memory
-76.0MiB live, 8 891.5MiB allocated
Algorithm
73×egg-herbie
Stop Event
94×iter limit
39×node limit
36×saturated
Counts
9 204 → 9 041

eval9.1s (14.4%)

Memory
106.0MiB live, 11 939.7MiB allocated
Compiler

Compiled 1 365 059 to 97 392 computations (92.9% saved)

soundness8.5s (13.5%)

Memory
57.7MiB live, 3 818.9MiB allocated
Stop Event
56×iter limit
36×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 5 081 to 2 715 computations (46.6% saved)

rewrite8.4s (13.3%)

Memory
59.6MiB live, 7 552.0MiB allocated
Stop Event
68×iter limit
30×node limit
2×unsound
1×saturated
Counts
364 → 19 849

localize4.0s (6.3%)

Memory
-86.7MiB live, 4 743.8MiB allocated
Samples
1.5s6 255×0valid
738.0ms840×2valid
482.0ms618×1valid
189.0ms130×3valid
56.0ms272×0exit
53.0ms77×0invalid
Compiler

Compiled 7 233 to 764 computations (89.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 534.0ms (27.9% of total)
ival-div: 354.0ms (18.5% of total)
ival-sub: 228.0ms (11.9% of total)
adjust: 167.0ms (8.7% of total)
ival-sqrt: 157.0ms (8.2% of total)
ival-add: 156.0ms (8.1% of total)
ival-if: 90.0ms (4.7% of total)
ival->=: 49.0ms (2.6% of total)
ival-neg: 49.0ms (2.6% of total)
ival-pow: 29.0ms (1.5% of total)
ival-fabs: 25.0ms (1.3% of total)
ival-log: 23.0ms (1.2% of total)
ival-exp: 21.0ms (1.1% of total)
exact: 12.0ms (0.6% of total)
const: 7.0ms (0.4% of total)
ival-true: 7.0ms (0.4% of total)
ival-e: 6.0ms (0.3% of total)
ival-assert: 4.0ms (0.2% of total)

prune2.6s (4.1%)

Memory
125.7MiB live, 4 488.7MiB allocated
Counts
37 653 → 344
Compiler

Compiled 16 069 to 9 101 computations (43.4% saved)

preprocess2.1s (3.4%)

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

Compiled 3 809 to 1 192 computations (68.7% saved)

explain1.5s (2.4%)

Memory
-2.9MiB live, 2 015.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2660
+.f64#fcancellation1260
-.f64#fcancellation1120
sqrt.f64#fuflow-rescue930
-.f64#fnan-rescue220
/.f64#fu/n220
/.f64#fn/u210
*.f64(*.f64 (/.f64 x y) z)n*o140
*.f64(*.f64 (/.f64 x y) z)n*u40
log.f64(log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))oflow-rescue10
↳(/.f64 #s(literal 1 binary64) x)overflow1
↳(-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))overflow1
Confusion
Predicted +Predicted -
+3227
-2241751
Precision
0.5897435897435898
Recall
0.9787234042553191
Confusion?
Predicted +Predicted MaybePredicted -
+32207
-22401751
Precision?
0.5897435897435898
Recall?
0.9787234042553191
Freqs
test
numberfreq
01758
1420
2117
39
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Samples
312.0ms3 690×0valid
223.0ms548×2valid
130.0ms312×1valid
24.0ms58×3valid
Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 452.0ms
adjust: 96.0ms (21.2% of total)
ival-div: 75.0ms (16.6% of total)
ival-add: 70.0ms (15.5% of total)
ival-sub: 65.0ms (14.4% of total)
ival-mult: 60.0ms (13.3% of total)
ival-sqrt: 34.0ms (7.5% of total)
ival-neg: 11.0ms (2.4% of total)
ival-if: 10.0ms (2.2% of total)
ival-fabs: 8.0ms (1.8% of total)
ival-log: 6.0ms (1.3% of total)
ival-exp: 4.0ms (0.9% of total)
ival-true: 4.0ms (0.9% of total)
exact: 4.0ms (0.9% of total)
ival->=: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.4% of total)

regimes1.3s (2.1%)

Memory
-36.1MiB live, 1 989.6MiB allocated
Counts
747 → 101
Calls

26 calls:

158.0ms
x
148.0ms
a
128.0ms
b
94.0ms
(*.f64 x x)
70.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 1 056 to 893 computations (15.4% saved)

series1.3s (2%)

Memory
11.5MiB live, 1 429.3MiB allocated
Counts
364 → 9 204
Calls

186 calls:

TimeVariablePointExpression
69.0ms
c
@-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))))))
38.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))
33.0ms
a
@inf
((+ (* (/ b a) -1/2) (/ (sqrt (+ (* (* -4 c) a) (* b b))) (* -2 a))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (>= b 0) (- 0 (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (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) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))))
27.0ms
n
@-inf
((- (/ (neg n) (- f n)) (/ f (- f n))) (/ (neg n) (- f n)) (neg n) (- f n) (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n)) (neg (+ f n)) (neg f) (/ (neg (+ f n)) (- f n)) (+ (* (/ -2 f) n) -1) (/ -2 f) (/ 1 (/ (- n f) (+ n f))) (/ (- n f) (+ n f)) (- n f) (+ n f) (/ f (- f n)))
27.0ms
x
@0
((+ (* (pow (/ y (+ 4 x)) -1/2) (pow (/ y (+ 4 x)) -1/2)) (* (neg z) (/ x y))) (fabs (+ (* (pow (/ y (+ 4 x)) -1/2) (pow (/ y (+ 4 x)) -1/2)) (* (neg z) (/ x y)))) (pow (/ y (+ 4 x)) -1/2) (/ y (+ 4 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)) (- -4 x) (* (/ -1 y) x) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (* (/ -1 y) x) z) (fabs (+ (* (neg x) (/ z y)) (/ (+ (* x x) -16) (* (- x 4) y)))) (+ (* (neg x) (/ z y)) (/ (+ (* x x) -16) (* (- x 4) y))) (/ (/ (+ (* x x) -16) y) (- x 4)) (/ (+ (* x x) -16) y) (* (neg z) (/ x y)))

bsearch605.0ms (1%)

Memory
-34.5MiB live, 698.1MiB allocated
Algorithm
39×binary-search
5×left-value
Stop Event
31×narrow-enough
8×predicate-same
Samples
202.0ms2 256×0valid
61.0ms112×2valid
15.0ms134×0invalid
Compiler

Compiled 9 673 to 7 759 computations (19.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 199.0ms
ival-mult: 89.0ms (44.6% of total)
ival-sub: 34.0ms (17.1% of total)
ival-div: 30.0ms (15% of total)
ival-add: 11.0ms (5.5% of total)
ival-sqrt: 9.0ms (4.5% of total)
ival-fabs: 6.0ms (3% of total)
ival-if: 4.0ms (2% of total)
ival-neg: 4.0ms (2% of total)
adjust: 3.0ms (1.5% of total)
ival->=: 3.0ms (1.5% of total)
ival-true: 2.0ms (1% of total)
exact: 2.0ms (1% of total)
ival-assert: 1.0ms (0.5% of total)

analyze523.0ms (0.8%)

Memory
12.2MiB live, 633.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.7MiB live, 0.6MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.1MiB allocated

Profiling

Loading profile data...