Herbie run

Date:Friday, November 8th, 2024
Commit:e1f2a9b8 on fix-1030
Hostname:nightly with Racket 8.10
Seed:2024313
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: 58.7s)

sample13.7s (23.4%)

Memory
136.6MiB live, 10 831.6MiB allocated
Samples
8.6s70 210×0valid
751.0ms4 090×2valid
283.0ms2 000×0invalid
0.0ms4×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-mult: 2.0s (32.1% of total)
ival-div: 1.6s (25.6% of total)
ival-sub: 751.0ms (12% of total)
ival-sqrt: 611.0ms (9.7% of total)
ival-add: 260.0ms (4.1% of total)
ival-neg: 249.0ms (4% of total)
ival-if: 139.0ms (2.2% of total)
ival-fabs: 124.0ms (2% of total)
adjust: 121.0ms (1.9% of total)
ival-log: 117.0ms (1.9% of total)
ival-exp: 73.0ms (1.2% of total)
ival->=: 61.0ms (1% of total)
ival-true: 59.0ms (0.9% of total)
exact: 59.0ms (0.9% of total)
ival-assert: 31.0ms (0.5% of total)
Bogosity

simplify9.5s (16.1%)

Memory
279.4MiB live, 7 403.9MiB allocated
Algorithm
71×egg-herbie
Stop Event
91×iter limit
46×node limit
27×saturated
Counts
2 406 → 2 379

soundness8.7s (14.8%)

Memory
23.4MiB live, 5 232.6MiB allocated
Stop Event
60×iter limit
38×node limit
5×done
4×fuel
2×saturated
Compiler

Compiled 7 937 to 3 548 computations (55.3% saved)

rewrite7.2s (12.2%)

Memory
-97.9MiB live, 6 708.6MiB allocated
Stop Event
66×iter limit
29×node limit
2×unsound
1×saturated
Counts
367 → 19 252

eval5.5s (9.3%)

Memory
30.1MiB live, 5 968.9MiB allocated
Compiler

Compiled 934 166 to 82 469 computations (91.2% saved)

localize5.2s (8.9%)

Memory
-219.0MiB live, 4 493.0MiB allocated
Samples
1.7s6 054×0valid
1.1s874×2valid
561.0ms632×1valid
432.0ms126×3valid
98.0ms250×1exit
Compiler

Compiled 14 677 to 1 604 computations (89.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-div: 685.0ms (26.3% of total)
ival-mult: 441.0ms (16.9% of total)
ival-add: 295.0ms (11.3% of total)
ival-sqrt: 283.0ms (10.9% of total)
adjust: 243.0ms (9.3% of total)
ival-sub: 211.0ms (8.1% of total)
ival-pow: 104.0ms (4% of total)
ival-neg: 84.0ms (3.2% of total)
ival->=: 79.0ms (3% of total)
ival-if: 57.0ms (2.2% of total)
ival-log: 37.0ms (1.4% of total)
ival-fabs: 25.0ms (1% of total)
ival-exp: 24.0ms (0.9% of total)
exact: 16.0ms (0.6% of total)
ival-true: 7.0ms (0.3% of total)
ival-e: 5.0ms (0.2% of total)
ival-assert: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-log1p: 2.0ms (0.1% of total)

explain1.8s (3.1%)

Memory
-44.7MiB live, 2 070.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2710
+.f64#fcancellation1290
-.f64#fcancellation1170
sqrt.f64#fuflow-rescue730
/.f64#fn/u280
/.f64#fu/n230
-.f64#fnan-rescue220
*.f64(*.f64 (/.f64 x y) z)n*o80
*.f64(*.f64 (/.f64 x y) z)n*u60
Confusion
Predicted +Predicted -
+30316
-2271758
Precision
0.5716981132075472
Recall
0.9498432601880877
Confusion?
Predicted +Predicted MaybePredicted -
+303214
-22701758
Precision?
0.5733082706766918
Recall?
0.9561128526645768
Freqs
test
numberfreq
01774
1391
2131
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+410
-004
Precision?
1.0
Recall?
1.0
Samples
371.0ms564×2valid
243.0ms3 672×0valid
146.0ms316×1valid
30.0ms56×3valid
Compiler

Compiled 1 575 to 388 computations (75.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 562.0ms
ival-sub: 114.0ms (20.3% of total)
adjust: 112.0ms (19.9% of total)
ival-div: 95.0ms (16.9% of total)
ival-add: 89.0ms (15.8% of total)
ival-mult: 53.0ms (9.4% of total)
ival-sqrt: 34.0ms (6% of total)
ival-if: 17.0ms (3% of total)
ival-neg: 12.0ms (2.1% of total)
ival-fabs: 8.0ms (1.4% of total)
ival-log: 7.0ms (1.2% of total)
ival->=: 6.0ms (1.1% of total)
ival-exp: 4.0ms (0.7% of total)
ival-true: 4.0ms (0.7% of total)
exact: 4.0ms (0.7% of total)
ival-assert: 2.0ms (0.4% of total)

prune1.7s (2.9%)

Memory
-106.1MiB live, 2 206.5MiB allocated
Counts
23 123 → 316
Compiler

Compiled 20 394 to 10 478 computations (48.6% saved)

preprocess1.5s (2.6%)

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

Compiled 5 465 to 1 332 computations (75.6% saved)

regimes1.3s (2.3%)

Memory
13.3MiB live, 1 461.8MiB allocated
Counts
642 → 92
Calls

26 calls:

227.0ms
b
149.0ms
a
130.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))))))
123.0ms
x
74.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
Compiler

Compiled 1 057 to 888 computations (16% saved)

series1.0s (1.8%)

Memory
69.3MiB live, 960.2MiB allocated
Counts
367 → 2 406
Calls

180 calls:

TimeVariablePointExpression
81.0ms
x
@-inf
((neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (- 1 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) (pow (- (exp (neg (log x))) 1) -1) (log (pow (- (exp (neg (log x))) 1) -1)) (- (exp (neg (log x))) 1) (neg (log x)) (/ (- 1 x) x))
77.0ms
a
@inf
((/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (>= b 0) (* 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 a) c)))) (/ 2 (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b))))) (* c (/ 2 (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b)))))) (* (+ (* (/ 2 b) (* a (/ c b))) -2) b) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (/ (* 2 c) (- (neg b) (sqrt (- (* 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 (- (* b b) (* (* 4 a) c))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b)))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
72.0ms
a
@inf
((/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (>= b 0) (/ (* 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 a) c)))) (/ 1 (* (/ 1/2 c) (- b (sqrt (+ (* (* -4 c) a) (* b b)))))) (+ (* b b) (+ (* (* a 4) c) (* b b))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (* c c) b) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (+ (* (* -4 c) a) (* b b))) (- b (sqrt (+ (* (* -4 c) a) (* b b)))) (/ (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* c 2)) (+ (* b b) (+ (* (* a 4) c) (* b b)))))
57.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (- 1 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) (pow (- (exp (neg (log x))) 1) -1) (log (pow (- (exp (neg (log x))) 1) -1)) (- (exp (neg (log x))) 1) (neg (log x)) (/ (- 1 x) x))
56.0ms
x
@inf
((neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (- 1 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) (pow (- (exp (neg (log x))) 1) -1) (log (pow (- (exp (neg (log x))) 1) -1)) (- (exp (neg (log x))) 1) (neg (log x)) (/ (- 1 x) x))

bsearch964.0ms (1.6%)

Memory
-23.9MiB live, 589.9MiB allocated
Algorithm
31×binary-search
5×left-value
Stop Event
22×narrow-enough
9×predicate-same
Samples
459.0ms2 160×0valid
242.0ms238×0invalid
10.0ms48×2valid
Compiler

Compiled 14 480 to 9 698 computations (33% saved)

Precisions
Click to see histograms. Total time spent on operations: 330.0ms
ival-sub: 128.0ms (38.8% of total)
ival-mult: 120.0ms (36.4% of total)
ival-div: 33.0ms (10% of total)
ival-add: 10.0ms (3% of total)
ival-sqrt: 9.0ms (2.7% of total)
ival-neg: 8.0ms (2.4% of total)
ival-if: 5.0ms (1.5% of total)
ival->=: 4.0ms (1.2% of total)
ival-fabs: 4.0ms (1.2% of total)
ival-true: 2.0ms (0.6% of total)
exact: 2.0ms (0.6% of total)
adjust: 1.0ms (0.3% of total)
ival-exp: 1.0ms (0.3% of total)
ival-assert: 1.0ms (0.3% of total)

analyze518.0ms (0.9%)

Memory
29.4MiB live, 654.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.4MiB live, 0.4MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...