Herbie run

Date:Wednesday, November 27th, 2024
Commit:27374272 on bhargav-bigfloat
Hostname:nightly with Racket 8.10
Seed:2024332
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: 35.8s)

soundness7.2s (20%)

Memory
-7.3MiB live, 82.2MiB allocated
Stop Event
64×iter limit
40×node limit
6×fuel
3×done
2×saturated
Compiler

Compiled 7 453 to 3 166 computations (57.5% saved)

simplify7.1s (19.8%)

Memory
112.5MiB live, 1 639.7MiB allocated
Algorithm
75×egg-herbie
Stop Event
97×iter limit
40×node limit
37×saturated
Counts
2 675 → 2 649

sample6.8s (18.9%)

Memory
49.9MiB live, 2 461.8MiB allocated
Samples
3.8s70 206×0valid
542.0ms4 088×2valid
183.0ms2 007×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 785.0ms (25.4% of total)
ival-div: 624.0ms (20.2% of total)
ival-sub: 458.0ms (14.8% of total)
ival-sqrt: 293.0ms (9.5% of total)
ival-add: 176.0ms (5.7% of total)
ival-neg: 174.0ms (5.6% of total)
ival-log: 98.0ms (3.2% of total)
adjust: 90.0ms (2.9% of total)
ival-fabs: 79.0ms (2.6% of total)
ival-if: 75.0ms (2.4% of total)
ival-exp: 64.0ms (2.1% of total)
ival->=: 56.0ms (1.8% of total)
exact: 49.0ms (1.6% of total)
ival-true: 48.0ms (1.6% of total)
ival-assert: 23.0ms (0.7% of total)
Bogosity

rewrite4.4s (12.2%)

Memory
-34.2MiB live, 1 686.5MiB allocated
Stop Event
71×iter limit
31×node limit
2×unsound
1×saturated
Counts
369 → 20 305

eval2.8s (7.8%)

Memory
72.5MiB live, 2 107.5MiB allocated
Compiler

Compiled 1 002 224 to 81 316 computations (91.9% saved)

localize2.5s (6.9%)

Memory
-28.0MiB live, 1 016.1MiB allocated
Samples
795.0ms6 653×0valid
467.0ms800×2valid
360.0ms635×1valid
126.0ms128×3valid
34.0ms117×0exit
31.0ms115×1exit
Compiler

Compiled 15 571 to 1 714 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-div: 258.0ms (21.8% of total)
ival-mult: 250.0ms (21.1% of total)
adjust: 132.0ms (11.1% of total)
ival-sub: 127.0ms (10.7% of total)
ival-sqrt: 91.0ms (7.7% of total)
ival-add: 88.0ms (7.4% of total)
ival-if: 58.0ms (4.9% of total)
ival-pow: 50.0ms (4.2% of total)
ival-neg: 47.0ms (4% of total)
ival-log: 20.0ms (1.7% of total)
ival-exp: 15.0ms (1.3% of total)
ival-fabs: 14.0ms (1.2% of total)
exact: 14.0ms (1.2% of total)
ival-true: 6.0ms (0.5% of total)
ival->=: 6.0ms (0.5% of total)
ival-e: 5.0ms (0.4% of total)
ival-assert: 3.0ms (0.3% of total)
ival-cbrt: 1.0ms (0.1% of total)

preprocess1.3s (3.7%)

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

Compiled 8 245 to 1 574 computations (80.9% saved)

explain957.0ms (2.7%)

Memory
-18.7MiB live, 556.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2500
-.f64#fcancellation1270
+.f64#fcancellation1180
sqrt.f64#fuflow-rescue720
-.f64#fnan-rescue290
/.f64#fu/n260
/.f64#fn/u200
*.f64(*.f64 (/.f64 x y) z)n*o90
*.f64(*.f64 (/.f64 x y) z)n*u90
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
Confusion
Predicted +Predicted -
+29313
-2271771
Precision
0.5634615384615385
Recall
0.9575163398692811
Confusion?
Predicted +Predicted MaybePredicted -
+293013
-22701771
Precision?
0.5634615384615385
Recall?
0.9575163398692811
Freqs
test
numberfreq
01784
1391
2117
312
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Total Time
222.54052734375
Average Time
0.09658877054850261
Samples
208.0ms3 704×0valid
115.0ms526×2valid
62.0ms318×1valid
22.0ms60×3valid
Compiler

Compiled 1 575 to 388 computations (75.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 250.0ms
ival-div: 50.0ms (20% of total)
ival-mult: 47.0ms (18.8% of total)
ival-sub: 38.0ms (15.2% of total)
adjust: 30.0ms (12% of total)
ival-sqrt: 27.0ms (10.8% of total)
ival-add: 14.0ms (5.6% of total)
ival-neg: 10.0ms (4% of total)
ival-if: 8.0ms (3.2% of total)
ival-log: 6.0ms (2.4% of total)
ival-fabs: 5.0ms (2% of total)
ival-exp: 4.0ms (1.6% of total)
ival-true: 4.0ms (1.6% of total)
ival->=: 3.0ms (1.2% of total)
exact: 3.0ms (1.2% of total)
ival-assert: 2.0ms (0.8% of total)

prune922.0ms (2.6%)

Memory
-84.9MiB live, 1 028.5MiB allocated
Counts
22 631 → 312
Compiler

Compiled 19 621 to 10 100 computations (48.5% saved)

regimes758.0ms (2.1%)

Memory
-4.6MiB live, 460.6MiB allocated
Counts
644 → 110
Calls

26 calls:

109.0ms
x
83.0ms
b
48.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
39.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
38.0ms
(*.f64 x x)
Compiler

Compiled 1 045 to 896 computations (14.3% saved)

series489.0ms (1.4%)

Memory
14.0MiB live, 218.6MiB allocated
Counts
369 → 2 675
Calls

189 calls:

TimeVariablePointExpression
22.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))
17.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))
8.0ms
c
@inf
((- 0 (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ -1/2 a))) (/ (* 2 c) (- (neg b) (sqrt (+ (* a (* c -4)) (* b b))))) (>= b 0) (* 2 c) (if (>= b 0) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (* (/ c (- (sqrt (+ (* (* a c) -4) (* b b))) b)) -2) (* (/ (- (sqrt (+ (* (* a c) -4) (* b b))) b) a) 1/2)) (* (/ c (- (sqrt (+ (* (* a c) -4) (* b b))) b)) -2) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- 0 (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ -1/2 a)))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* (+ (* -4 c) (/ (* b b) a)) a) (/ 1/2 (/ a (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (+ (* b b) (+ (* (* a 4) c) (* b b))) (sqrt (+ (* a (* c -4)) (* b b))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (neg b) (sqrt (+ (* a (* c -4)) (* b b)))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (+ (* (* a c) -4) (* b b))) (- (sqrt (+ (* (* a c) -4) (* b b))) b) (/ (- (sqrt (+ (* (* a c) -4) (* b b))) b) a) (/ c (- (sqrt (+ (* (* a c) -4) (* b b))) b)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ -1/2 a)) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (* b b) (+ (* (* a 4) c) (* b b))) (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* -2 a))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
8.0ms
a
@0
((- 0 (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ -1/2 a))) (/ (* 2 c) (- (neg b) (sqrt (+ (* a (* c -4)) (* b b))))) (>= b 0) (* 2 c) (if (>= b 0) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (* (/ c (- (sqrt (+ (* (* a c) -4) (* b b))) b)) -2) (* (/ (- (sqrt (+ (* (* a c) -4) (* b b))) b) a) 1/2)) (* (/ c (- (sqrt (+ (* (* a c) -4) (* b b))) b)) -2) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- 0 (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ -1/2 a)))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* (+ (* -4 c) (/ (* b b) a)) a) (/ 1/2 (/ a (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (+ (* b b) (+ (* (* a 4) c) (* b b))) (sqrt (+ (* a (* c -4)) (* b b))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (neg b) (sqrt (+ (* a (* c -4)) (* b b)))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (+ (* (* a c) -4) (* b b))) (- (sqrt (+ (* (* a c) -4) (* b b))) b) (/ (- (sqrt (+ (* (* a c) -4) (* b b))) b) a) (/ c (- (sqrt (+ (* (* a c) -4) (* b b))) b)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ -1/2 a)) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (* b b) (+ (* (* a 4) c) (* b b))) (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* -2 a))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
8.0ms
n
@inf
((* (- (/ n f) 1) f) (/ (+ n f) (- n f)) (+ n f) (- n f))

bsearch375.0ms (1%)

Memory
-19.1MiB live, 143.5MiB allocated
Algorithm
41×binary-search
7×left-value
Stop Event
38×narrow-enough
3×predicate-same
Samples
171.0ms2 528×0valid
25.0ms257×0invalid
2.0ms16×2valid
Compiler

Compiled 27 341 to 18 072 computations (33.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 136.0ms
ival-mult: 43.0ms (31.7% of total)
ival-div: 28.0ms (20.6% of total)
ival-sub: 17.0ms (12.5% of total)
ival-add: 11.0ms (8.1% of total)
ival-sqrt: 10.0ms (7.4% of total)
ival-neg: 6.0ms (4.4% of total)
ival-if: 5.0ms (3.7% of total)
ival->=: 4.0ms (2.9% of total)
ival-fabs: 4.0ms (2.9% of total)
ival-true: 2.0ms (1.5% of total)
exact: 2.0ms (1.5% of total)
ival-exp: 1.0ms (0.7% of total)
ival-assert: 1.0ms (0.7% of total)
adjust: 0.0ms (0% of total)

analyze321.0ms (0.9%)

Memory
-4.8MiB live, 122.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)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...