Herbie run

Date:Thursday, August 22nd, 2024
Commit:1f313ac1 on add-rules
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.3min)

simplify17.1s (22.8%)

Memory
31.4MiB live, 20 016.4MiB allocated
Algorithm
71×egg-herbie
Rules
344 694×lower-fma.f32
344 596×lower-fma.f64
158 080×lower-*.f32
157 812×lower-*.f64
79 592×lower-+.f32
Stop Event
91×iter limit
40×node limit
33×saturated
Counts
9 612 → 9 406

rewrite12.4s (16.5%)

Memory
244.6MiB live, 16 781.7MiB allocated
Rules
137 026×lower-fma.f32
136 928×lower-fma.f64
109 920×lower-/.f32
109 702×lower-/.f64
109 392×lower-*.f32
Stop Event
66×iter limit
29×node limit
2×unsound
1×saturated
Counts
393 → 21 207

sample10.6s (14.2%)

Memory
300.3MiB live, 12 635.4MiB allocated
Samples
5.9s70 193×0valid
872.0ms4 107×2valid
226.0ms1 961×0invalid
0.0ms4×1valid
Precisions
Click to see histograms. Total time spent on operations: 4.7s
ival-mult: 1.5s (31.7% of total)
ival-div: 878.0ms (18.7% of total)
ival-sub: 659.0ms (14% of total)
ival-sqrt: 402.0ms (8.6% of total)
ival-add: 292.0ms (6.2% of total)
ival-neg: 248.0ms (5.3% of total)
ival-log: 127.0ms (2.7% of total)
ival-fabs: 117.0ms (2.5% of total)
ival->=: 104.0ms (2.2% of total)
adjust: 96.0ms (2% of total)
ival-if: 77.0ms (1.6% of total)
ival-exp: 75.0ms (1.6% of total)
ival-true: 55.0ms (1.2% of total)
exact: 53.0ms (1.1% of total)
ival-assert: 28.0ms (0.6% of total)
Bogosity

soundness9.1s (12.1%)

Memory
-29.8MiB live, 5 215.4MiB allocated
Rules
238 420×lower-fma.f32
238 346×lower-fma.f64
150 690×lower-*.f32
150 508×lower-*.f64
86 414×lower-/.f32
Stop Event
55×iter limit
35×node limit
5×done
4×fuel
2×saturated
Compiler

Compiled 6 922 to 2 985 computations (56.9% saved)

prune6.6s (8.8%)

Memory
-232.5MiB live, 10 654.3MiB allocated
Counts
38 360 → 389
Compiler

Compiled 20 551 to 9 318 computations (54.7% saved)

eval6.6s (8.7%)

Memory
446.4MiB live, 11 627.1MiB allocated
Compiler

Compiled 1 530 741 to 92 041 computations (94% saved)

localize5.1s (6.8%)

Memory
0.2MiB live, 6 086.4MiB allocated
Samples
1.4s6 403×0valid
1.1s863×2valid
477.0ms547×1valid
181.0ms120×3valid
1.0ms3×5exit
Compiler

Compiled 7 909 to 794 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 559.0ms (26.2% of total)
ival-sub: 432.0ms (20.2% of total)
ival-div: 330.0ms (15.5% of total)
adjust: 208.0ms (9.7% of total)
ival-add: 186.0ms (8.7% of total)
ival-sqrt: 160.0ms (7.5% of total)
ival-fabs: 69.0ms (3.2% of total)
ival-if: 49.0ms (2.3% of total)
ival-neg: 47.0ms (2.2% of total)
ival-log: 42.0ms (2% of total)
ival-exp: 11.0ms (0.5% of total)
const: 11.0ms (0.5% of total)
exact: 10.0ms (0.5% of total)
ival->=: 7.0ms (0.3% of total)
ival-e: 6.0ms (0.3% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.1% of total)

preprocess2.1s (2.8%)

Memory
150.1MiB live, 2 168.6MiB allocated
Algorithm
9×egg-herbie
Rules
11 982×lower-fma.f32
11 982×lower-fma.f64
7 008×times-frac
6 850×dis-frac
5 604×lower-*.f32
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 4 160 to 1 156 computations (72.2% saved)

explain2.0s (2.6%)

Memory
-10.6MiB live, 2 121.5MiB 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
432.0ms3 724×0valid
239.0ms554×2valid
83.0ms278×1valid
55.0ms52×3valid
Compiler

Compiled 1 124 to 300 computations (73.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 521.0ms
ival-div: 157.0ms (30.1% of total)
ival-if: 70.0ms (13.4% of total)
ival-neg: 66.0ms (12.7% of total)
ival-mult: 52.0ms (10% of total)
ival-sub: 41.0ms (7.9% of total)
adjust: 41.0ms (7.9% of total)
ival-sqrt: 41.0ms (7.9% of total)
ival-add: 21.0ms (4% of total)
ival-fabs: 9.0ms (1.7% of total)
ival-log: 7.0ms (1.3% of total)
ival-exp: 4.0ms (0.8% of total)
ival-true: 4.0ms (0.8% of total)
ival->=: 3.0ms (0.6% of total)
exact: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)

regimes1.5s (1.9%)

Memory
-8.1MiB live, 2 042.5MiB allocated
Counts
915 → 105
Calls

26 calls:

178.0ms
x
175.0ms
b
145.0ms
f
100.0ms
a
95.0ms
(*.f64 x x)
Compiler

Compiled 1 650 to 1 032 computations (37.5% saved)

series929.0ms (1.2%)

Memory
-50.7MiB live, 1 004.1MiB allocated
Counts
393 → 9 612
Calls

1035 calls:

TimeVariablePointExpression
109.0ms
x
@-inf
(log x)
39.0ms
c
@0
(/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
36.0ms
c
@-inf
(sqrt (+ (* b b) (* (* a c) -4)))
29.0ms
x
@0
(log x)
21.0ms
b
@0
(/ (+ (* b (/ (* 2 a) (sqrt (- (* b b) (* (* 4 a) c))))) (* (* a -2) 1)) (* (* a -2) (/ (* 2 a) (sqrt (- (* b b) (* (* 4 a) c))))))

bsearch546.0ms (0.7%)

Memory
-91.5MiB live, 779.3MiB allocated
Algorithm
38×binary-search
7×left-value
Stop Event
35×narrow-enough
3×predicate-same
Samples
239.0ms2 688×0valid
39.0ms341×0invalid
15.0ms96×2valid
Compiler

Compiled 14 382 to 8 923 computations (38% saved)

Precisions
Click to see histograms. Total time spent on operations: 203.0ms
ival-mult: 62.0ms (30.6% of total)
ival-div: 40.0ms (19.7% of total)
ival-neg: 27.0ms (13.3% of total)
ival-sub: 21.0ms (10.4% of total)
ival-sqrt: 13.0ms (6.4% of total)
ival-add: 13.0ms (6.4% of total)
ival-if: 7.0ms (3.5% of total)
ival->=: 5.0ms (2.5% of total)
ival-fabs: 5.0ms (2.5% of total)
exact: 3.0ms (1.5% of total)
adjust: 2.0ms (1% of total)
ival-true: 2.0ms (1% of total)
ival-assert: 1.0ms (0.5% of total)

analyze528.0ms (0.7%)

Memory
10.9MiB live, 721.4MiB 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.3MiB live, 0.3MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.1MiB allocated

Profiling

Loading profile data...