Herbie run

Date:Tuesday, November 12th, 2024
Commit:92872657 on zane-true-error
Hostname:nightly with Racket 8.10
Seed:2024317
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: 55.6s)

sample11.7s (21%)

Memory
262.4MiB live, 10 633.1MiB allocated
Samples
7.2s70 128×0valid
836.0ms4 167×2valid
343.0ms2 007×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.0s
ival-mult: 1.8s (29.3% of total)
ival-sub: 1.2s (19.4% of total)
ival-div: 1.1s (17.9% of total)
ival-sqrt: 639.0ms (10.6% of total)
ival-neg: 279.0ms (4.6% of total)
ival-add: 230.0ms (3.8% of total)
ival-fabs: 178.0ms (2.9% of total)
adjust: 140.0ms (2.3% of total)
ival->=: 117.0ms (1.9% of total)
ival-log: 104.0ms (1.7% of total)
ival-if: 99.0ms (1.6% of total)
ival-exp: 93.0ms (1.5% of total)
ival-true: 56.0ms (0.9% of total)
exact: 53.0ms (0.9% of total)
ival-assert: 28.0ms (0.5% of total)
Bogosity

simplify10.0s (18%)

Memory
-60.6MiB live, 7 390.9MiB allocated
Algorithm
71×egg-herbie
Stop Event
91×iter limit
46×node limit
27×saturated
Counts
2 607 → 2 581

soundness8.1s (14.6%)

Memory
112.5MiB live, 4 315.4MiB allocated
Stop Event
55×iter limit
34×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 6 363 to 2 745 computations (56.9% saved)

rewrite7.4s (13.2%)

Memory
-41.4MiB live, 7 114.4MiB allocated
Stop Event
66×iter limit
29×node limit
2×unsound
1×saturated
Counts
357 → 18 923

eval5.1s (9.2%)

Memory
54.3MiB live, 6 207.4MiB allocated
Compiler

Compiled 1 033 683 to 82 983 computations (92% saved)

localize4.5s (8.1%)

Memory
-125.2MiB live, 4 016.8MiB allocated
Samples
1.8s6 299×0valid
641.0ms802×2valid
518.0ms567×1valid
346.0ms137×3valid
34.0ms131×0exit
Compiler

Compiled 16 122 to 1 715 computations (89.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 610.0ms (29.9% of total)
ival-div: 317.0ms (15.5% of total)
ival-add: 279.0ms (13.7% of total)
ival-sub: 241.0ms (11.8% of total)
adjust: 146.0ms (7.2% of total)
ival-if: 98.0ms (4.8% of total)
ival-sqrt: 96.0ms (4.7% of total)
ival-pow: 92.0ms (4.5% of total)
ival-neg: 49.0ms (2.4% of total)
ival-fabs: 33.0ms (1.6% of total)
ival-exp: 23.0ms (1.1% of total)
ival-log: 21.0ms (1% of total)
exact: 11.0ms (0.5% of total)
ival->=: 10.0ms (0.5% of total)
ival-true: 7.0ms (0.3% of total)
ival-e: 5.0ms (0.2% of total)
ival-assert: 3.0ms (0.1% of total)

prune2.0s (3.6%)

Memory
-30.2MiB live, 2 506.9MiB allocated
Counts
22 839 → 357
Compiler

Compiled 28 728 to 13 943 computations (51.5% saved)

preprocess1.9s (3.4%)

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

Compiled 5 681 to 1 410 computations (75.2% saved)

explain1.8s (3.2%)

Memory
-55.8MiB live, 1 845.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2490
-.f64#fcancellation1100
+.f64#fcancellation1030
sqrt.f64#fuflow-rescue660
/.f64#fu/n290
/.f64#fn/u280
-.f64#fnan-rescue150
*.f64(*.f64 (/.f64 x y) z)n*o130
*.f64(*.f64 (/.f64 x y) z)n*u80
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
Confusion
Predicted +Predicted -
+28423
-2071790
Precision
0.5784114052953157
Recall
0.9250814332247557
Confusion?
Predicted +Predicted MaybePredicted -
+284023
-20701790
Precision?
0.5784114052953157
Recall?
0.9250814332247557
Freqs
test
numberfreq
01813
1364
2123
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Samples
449.0ms3 724×0valid
216.0ms536×2valid
113.0ms294×1valid
90.0ms54×3valid
Compiler

Compiled 1 575 to 388 computations (75.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 501.0ms
ival-mult: 132.0ms (26.3% of total)
ival-sub: 120.0ms (23.9% of total)
ival-div: 101.0ms (20.1% of total)
ival-sqrt: 36.0ms (7.2% of total)
adjust: 35.0ms (7% of total)
ival-log: 20.0ms (4% of total)
ival-add: 15.0ms (3% of total)
ival-neg: 11.0ms (2.2% of total)
ival-if: 9.0ms (1.8% of total)
ival-fabs: 5.0ms (1% of total)
ival-exp: 4.0ms (0.8% of total)
ival->=: 4.0ms (0.8% of total)
ival-true: 4.0ms (0.8% of total)
exact: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)

regimes1.1s (2.1%)

Memory
19.7MiB live, 1 442.0MiB allocated
Counts
592 → 90
Calls

26 calls:

131.0ms
x
121.0ms
b
105.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
100.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.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))))) (/.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)))
73.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
Compiler

Compiled 1 060 to 881 computations (16.9% saved)

series934.0ms (1.7%)

Memory
38.2MiB live, 827.6MiB allocated
Counts
357 → 2 607
Calls

180 calls:

TimeVariablePointExpression
98.0ms
a
@inf
((/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* 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)))))
49.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))
41.0ms
a
@-inf
((+ (* b -1) (sqrt (+ (* (* -4 c) a) (* b b)))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (>= b 0) (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) (+ (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))) (/ (* (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* c 2)) (+ (* b b) (+ (* (* a 4) c) (* b b)))) (/ (* (+ (* b b) (neg (+ (* (* -4 c) a) (* b b)))) (/ -1 (+ (sqrt (+ (* (* -4 c) a) (* b b))) b))) (* 2 a)) (+ (* b b) (neg (+ (* (* -4 c) a) (* b b)))) (* (+ (* b b) (neg (+ (* (* -4 c) a) (* b b)))) (/ -1 (+ (sqrt (+ (* (* -4 c) a) (* b b))) b))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (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)))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (* b b) (+ (* (* a 4) c) (* b b))))
35.0ms
a
@0
((+ (* (/ b a) -1/2) (* (sqrt (+ (* (* -4 c) a) (* b b))) (/ -1/2 a))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* b b) (* (* 4 a) c)) (>= b 0) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (+ (* (* a (/ (/ c b) b)) -2) 2) (neg b)) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* 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)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* a (/ (/ c b) b)) (/ (+ (* b b) (+ (* (* -4 c) a) (* b b))) (* (* -2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))))
27.0ms
a
@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 (+ (* (* a c) -4) (* b b))) b)) (* (/ (- (sqrt (+ (* (* a c) -4) (* b b))) b) a) 1/2)) (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* a c) -4) (* b b))) b)) (+ (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))))) (+ (* b -1) (sqrt (+ (* (* -4 c) a) (* b b)))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (* b -1) (sqrt (+ (* (* -4 c) a) (* b b)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (- (* (sqrt (+ (* a (* c -4)) (* b b))) a) (* a b)) (* a a)) (- (* (sqrt (+ (* a (* c -4)) (* b b))) a) (* a b)) (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))) a) (* a b)) (* a a)) 1/2)) (/ (- (* (sqrt (+ (* a (* c -4)) (* b b))) (/ a b)) (* a 1)) (* a (/ a b))) (* a 1) (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))) (/ a b)) (* a 1)) (* a (/ a b))) 1/2)) (sqrt (+ (* (* a c) -4) (* b b))) (- (sqrt (+ (* (* a c) -4) (* b b))) b) (+ (sqrt (+ (* (* a c) -4) (* b b))) b) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (+ (* (* -4 c) a) (* b b))) (sqrt (+ (* a (* c -4)) (* b b))))

bsearch598.0ms (1.1%)

Memory
-9.9MiB live, 584.1MiB allocated
Algorithm
29×binary-search
8×left-value
Stop Event
25×narrow-enough
4×predicate-same
Samples
244.0ms2 256×0valid
45.0ms142×0invalid
13.0ms64×2valid
Compiler

Compiled 18 393 to 11 779 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 228.0ms
ival-div: 70.0ms (30.7% of total)
ival-mult: 57.0ms (25% of total)
ival-sqrt: 47.0ms (20.6% of total)
ival-sub: 20.0ms (8.8% of total)
ival-add: 10.0ms (4.4% of total)
ival-if: 5.0ms (2.2% of total)
ival-neg: 5.0ms (2.2% of total)
ival->=: 4.0ms (1.8% of total)
ival-fabs: 4.0ms (1.8% of total)
ival-true: 2.0ms (0.9% of total)
exact: 2.0ms (0.9% of total)
adjust: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

analyze500.0ms (0.9%)

Memory
-31.7MiB live, 624.5MiB 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.8MiB live, 0.8MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...