Herbie run

Date:Thursday, August 22nd, 2024
Commit:efa1c98c on faster-localize
Hostname:nightly with Racket 8.11.1
Seed:2024235
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.1s (18%)

Memory
319.8MiB live, 12 174.6MiB allocated
Samples
7.2s70 193×0valid
807.0ms4 107×2valid
778.0ms1 961×0invalid
0.0ms4×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 1.8s (27.1% of total)
ival-div: 1.5s (23.3% of total)
ival-sub: 1.1s (16.4% of total)
ival-add: 513.0ms (7.8% of total)
ival-sqrt: 360.0ms (5.4% of total)
ival->=: 252.0ms (3.8% of total)
ival-neg: 230.0ms (3.5% of total)
ival-if: 215.0ms (3.3% of total)
ival-fabs: 198.0ms (3% of total)
ival-log: 109.0ms (1.6% of total)
adjust: 95.0ms (1.4% of total)
ival-exp: 74.0ms (1.1% of total)
exact: 57.0ms (0.9% of total)
ival-true: 55.0ms (0.8% of total)
ival-assert: 30.0ms (0.5% of total)
Bogosity

prune11.2s (16.7%)

Memory
-7.1MiB live, 13 060.0MiB allocated
Counts
35 200 → 393
Compiler

Compiled 21 752 to 9 917 computations (54.4% saved)

simplify9.3s (13.9%)

Memory
337.8MiB live, 8 171.7MiB allocated
Algorithm
71×egg-herbie
Rules
365 676×lower-fma.f32
365 600×lower-fma.f64
172 372×lower-*.f32
172 118×lower-*.f64
83 460×lower-+.f32
Stop Event
91×iter limit
39×node limit
34×saturated
Counts
9 144 → 9 001

soundness8.5s (12.6%)

Memory
-80.7MiB live, 4 117.6MiB allocated
Rules
260 008×lower-fma.f32
259 952×lower-fma.f64
169 986×lower-*.f32
169 818×lower-*.f64
93 528×lower-/.f32
Stop Event
56×iter limit
36×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 6 708 to 3 053 computations (54.5% saved)

eval7.6s (11.3%)

Memory
-11.9MiB live, 10 129.1MiB allocated
Compiler

Compiled 1 382 121 to 81 607 computations (94.1% saved)

rewrite6.9s (10.2%)

Memory
128.1MiB live, 7 800.1MiB allocated
Rules
132 886×lower-fma.f32
132 810×lower-fma.f64
120 156×lower-*.f32
119 912×lower-*.f64
113 260×lower-/.f32
Stop Event
66×iter limit
29×node limit
2×unsound
1×saturated
Counts
379 → 17 350

localize4.4s (6.6%)

Memory
-174.8MiB live, 4 512.7MiB allocated
Samples
1.5s6 402×0valid
757.0ms556×1valid
698.0ms855×2valid
179.0ms119×3valid
2.0ms4×5exit
Compiler

Compiled 7 571 to 789 computations (89.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult: 430.0ms (24.8% of total)
ival-div: 334.0ms (19.3% of total)
ival-add: 265.0ms (15.3% of total)
ival-sub: 213.0ms (12.3% of total)
adjust: 193.0ms (11.1% of total)
ival-sqrt: 94.0ms (5.4% of total)
ival-if: 52.0ms (3% of total)
ival-neg: 43.0ms (2.5% of total)
ival-fabs: 25.0ms (1.4% of total)
ival-log: 23.0ms (1.3% of total)
const: 17.0ms (1% of total)
ival-exp: 11.0ms (0.6% of total)
exact: 11.0ms (0.6% of total)
ival-e: 6.0ms (0.3% of total)
ival-true: 6.0ms (0.3% of total)
ival->=: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

preprocess1.8s (2.7%)

Memory
88.1MiB live, 1 541.0MiB allocated
Algorithm
9×egg-herbie
Rules
11 858×lower-fma.f32
11 858×lower-fma.f64
5 976×div-sub
5 512×lower-*.f32
5 482×lower-*.f64
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 4 930 to 1 102 computations (77.6% saved)

explain1.5s (2.3%)

Memory
-148.8MiB live, 2 039.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2610
-.f64#fcancellation1290
+.f64#fcancellation1010
sqrt.f64#fuflow-rescue790
/.f64#fn/u300
/.f64#fu/n270
-.f64#fnan-rescue210
*.f64(*.f64 (/.f64 x y) z)n*o100
*.f64(*.f64 (/.f64 x y) z)n*u30
/.f64(/.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)))))o/n10
↳(*.f64 #s(literal 2 binary64) c)overflow1
Confusion
Predicted +Predicted -
+30416
-2141770
Precision
0.5868725868725869
Recall
0.95
Confusion?
Predicted +Predicted MaybePredicted -
+304016
-21401770
Precision?
0.5868725868725869
Recall?
0.95
Freqs
test
numberfreq
01786
1381
2130
37
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
402.0ms3 724×0valid
144.0ms554×2valid
135.0ms278×1valid
71.0ms52×3valid
Compiler

Compiled 1 124 to 300 computations (73.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 407.0ms
ival-mult: 129.0ms (31.7% of total)
ival-div: 79.0ms (19.4% of total)
ival-sub: 57.0ms (14% of total)
adjust: 33.0ms (8.1% of total)
ival-sqrt: 31.0ms (7.6% of total)
ival-add: 26.0ms (6.4% of total)
ival-if: 13.0ms (3.2% of total)
ival-neg: 11.0ms (2.7% of total)
ival-log: 7.0ms (1.7% of total)
ival-fabs: 5.0ms (1.2% of total)
ival-exp: 4.0ms (1% of total)
ival-true: 4.0ms (1% of total)
ival->=: 3.0ms (0.7% of total)
exact: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)

regimes1.3s (2%)

Memory
34.2MiB live, 1 656.7MiB allocated
Counts
908 → 120
Calls

26 calls:

194.0ms
x
159.0ms
b
107.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
82.0ms
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
81.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
Compiler

Compiled 1 568 to 985 computations (37.2% saved)

series1.3s (1.9%)

Memory
23.0MiB live, 1 522.0MiB allocated
Counts
379 → 9 144
Calls

180 calls:

TimeVariablePointExpression
65.0ms
a
@inf
((+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (* 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)))))) (>= b 0) (- 0 (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- -2 (* (* a (/ c (* b b))) -2)) (+ (neg b) (/ 1 (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))))) (/ (- (neg b) (/ (+ (* (* -4 c) a) (* b b)) (sqrt (+ (* (* -4 c) a) (* b b))))) (* 2 a)) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (sqrt (- (* b b) (* (* 4 a) c))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (sqrt (+ (* (* -4 c) a) (* 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)))) (/ c (* b b)) (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))) (/ (+ (* (* -4 c) a) (* b b)) (sqrt (+ (* (* -4 c) a) (* b b)))) (- (neg b) (/ (+ (* (* -4 c) a) (* b b)) (sqrt (+ (* (* -4 c) a) (* b b))))))
59.0ms
c
@-inf
((* 2 c) (- (* b b) (* (* 4 a) c)) (+ (neg b) (/ 1 (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))))) (* 2 a) (* (/ -2 (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (+ (* (* -2 a) (/ c (* b b))) 2)) (+ (* b b) (+ (* (* -4 c) a) (* b b))) (* c 2) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (/ 1 (+ (* (* -4 c) a) (* b b)))) (- (neg 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)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ c (* b b)) (/ (* c 2) (+ (* b b) (+ (* (* -4 c) a) (* b b)))))
28.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))
28.0ms
y
@0
((fabs (- (/ (+ x 4) y) (/ z (/ y x)))) (- (/ (+ x 4) y) (/ z (/ y x))) (* (/ (neg z) y) x) (/ (neg z) y) (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) (* (/ 1 y) (fabs (+ (* z x) (- -4 x)))) (/ 1 y) (fabs (+ (* z x) (- -4 x))) (+ (* z x) (- -4 x)) (neg z) (- -4 x))
28.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))

bsearch651.0ms (1%)

Memory
-1.8MiB live, 716.4MiB allocated
Algorithm
49×binary-search
9×left-value
Stop Event
43×narrow-enough
6×predicate-same
Samples
315.0ms3 184×0valid
40.0ms419×0invalid
15.0ms96×2valid
Compiler

Compiled 16 920 to 10 316 computations (39% saved)

Precisions
Click to see histograms. Total time spent on operations: 224.0ms
ival-mult: 61.0ms (27.2% of total)
ival-div: 52.0ms (23.2% of total)
ival-neg: 28.0ms (12.5% of total)
ival-sub: 24.0ms (10.7% of total)
ival-add: 16.0ms (7.1% of total)
ival-sqrt: 13.0ms (5.8% of total)
ival-if: 8.0ms (3.6% of total)
ival-fabs: 7.0ms (3.1% of total)
ival->=: 5.0ms (2.2% of total)
exact: 4.0ms (1.8% of total)
ival-true: 3.0ms (1.3% of total)
adjust: 2.0ms (0.9% of total)
ival-assert: 1.0ms (0.4% of total)

analyze457.0ms (0.7%)

Memory
13.7MiB live, 701.1MiB 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.9MiB live, 0.9MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...