Herbie run

Date:Thursday, August 8th, 2024
Commit:1bb3297e on zane-alternatives-bogosity
Hostname:nightly with Racket 8.11.1
Seed:2024221
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)

simplify21.0s (26.2%)

Memory
3.5MiB live, 22 490.7MiB allocated
Algorithm
73×egg-herbie
Rules
434 938×lower-fma.f32
434 840×lower-fma.f64
195 030×lower-*.f32
194 770×lower-*.f64
95 862×lower-+.f32
Stop Event
94×iter limit
42×node limit
33×saturated
Counts
10 008 → 9 833

rewrite13.3s (16.7%)

Memory
151.3MiB live, 17 555.9MiB allocated
Algorithm
32×batch-egg-rewrite
Rules
135 332×lower-fma.f32
135 236×lower-fma.f64
123 182×lower-/.f32
122 952×lower-/.f64
122 236×lower-*.f32
Stop Event
68×iter limit
30×node limit
2×unsound
1×saturated
Counts
414 → 19 783

sample10.4s (13%)

Memory
178.0MiB live, 12 666.0MiB allocated
Samples
6.3s70 194×0valid
795.0ms4 102×2valid
380.0ms1 896×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-mult: 1.7s (31.7% of total)
ival-div: 1.1s (21.6% of total)
ival-sub: 566.0ms (10.9% of total)
ival-sqrt: 418.0ms (8% of total)
ival-if: 327.0ms (6.3% of total)
ival-add: 258.0ms (5% of total)
ival-neg: 239.0ms (4.6% of total)
ival-log: 126.0ms (2.4% of total)
ival-exp: 99.0ms (1.9% of total)
adjust: 95.0ms (1.8% of total)
ival-fabs: 89.0ms (1.7% of total)
ival->=: 75.0ms (1.4% of total)
ival-true: 57.0ms (1.1% of total)
exact: 54.0ms (1% of total)
ival-assert: 29.0ms (0.6% of total)
Bogosity

soundness8.6s (10.7%)

Memory
64.8MiB live, 4 421.5MiB allocated
Rules
286 974×lower-fma.f32
286 934×lower-fma.f64
169 736×lower-*.f32
169 592×lower-*.f64
85 756×lower-/.f32
Stop Event
50×iter limit
34×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 5 612 to 2 714 computations (51.6% saved)

eval7.1s (8.9%)

Memory
278.2MiB live, 11 004.5MiB allocated
Compiler

Compiled 1 315 881 to 81 128 computations (93.8% saved)

prune6.6s (8.2%)

Memory
-196.8MiB live, 10 283.1MiB allocated
Counts
36 429 → 404
Compiler

Compiled 19 455 to 9 247 computations (52.5% saved)

localize5.2s (6.5%)

Memory
11.0MiB live, 6 272.2MiB allocated
Samples
1.2s6 621×0valid
634.0ms853×2valid
515.0ms573×1valid
217.0ms145×3valid
Compiler

Compiled 7 638 to 794 computations (89.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 352.0ms (21.8% of total)
adjust: 310.0ms (19.2% of total)
ival-div: 298.0ms (18.5% of total)
ival-add: 179.0ms (11.1% of total)
ival-sub: 154.0ms (9.6% of total)
ival-sqrt: 117.0ms (7.3% of total)
ival-if: 42.0ms (2.6% of total)
ival-neg: 39.0ms (2.4% of total)
ival-exp: 32.0ms (2% of total)
ival-log: 22.0ms (1.4% of total)
ival-fabs: 17.0ms (1.1% of total)
const: 14.0ms (0.9% of total)
exact: 11.0ms (0.7% of total)
ival-true: 7.0ms (0.4% of total)
ival->=: 7.0ms (0.4% of total)
ival-e: 5.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

explain2.4s (3%)

Memory
-21.0MiB live, 2 392.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2940
-.f64#fcancellation1210
+.f64#fcancellation1030
sqrt.f64#fuflow-rescue680
/.f64#fu/n290
/.f64#fn/u280
-.f64#fnan-rescue180
*.f64(*.f64 (/.f64 x y) z)n*o130
*.f64(*.f64 (/.f64 x y) z)n*u40
Confusion
Predicted +Predicted -
+32612
-2191747
Precision
0.5981651376146789
Recall
0.9644970414201184
Confusion?
Predicted +Predicted MaybePredicted -
+326012
-21901747
Precision?
0.5981651376146789
Recall?
0.9644970414201184
Freqs
test
numberfreq
01759
1416
2125
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
462.0ms544×2valid
284.0ms3 702×0valid
205.0ms292×1valid
29.0ms70×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 744.0ms
ival-sqrt: 298.0ms (40.1% of total)
adjust: 172.0ms (23.1% of total)
ival-mult: 87.0ms (11.7% of total)
ival-div: 66.0ms (8.9% of total)
ival-sub: 47.0ms (6.3% of total)
ival-add: 16.0ms (2.2% of total)
ival->=: 13.0ms (1.7% of total)
ival-neg: 11.0ms (1.5% of total)
ival-if: 9.0ms (1.2% of total)
ival-log: 7.0ms (0.9% of total)
ival-fabs: 5.0ms (0.7% of total)
ival-exp: 4.0ms (0.5% of total)
ival-true: 4.0ms (0.5% of total)
exact: 3.0ms (0.4% of total)
ival-assert: 2.0ms (0.3% of total)

preprocess1.9s (2.4%)

Memory
122.8MiB live, 2 137.1MiB 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 3 704 to 1 030 computations (72.2% saved)

regimes1.7s (2.1%)

Memory
-4.9MiB live, 1 911.6MiB allocated
Counts
877 → 102
Calls

26 calls:

348.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)))
171.0ms
x
129.0ms
b
100.0ms
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
95.0ms
a
Compiler

Compiled 1 644 to 1 026 computations (37.6% saved)

series672.0ms (0.8%)

Memory
47.6MiB live, 1 061.0MiB allocated
Counts
414 → 10 008
Calls

1044 calls:

TimeVariablePointExpression
41.0ms
x
@0
(log x)
25.0ms
n
@inf
(/ (- n f) (+ f n))
24.0ms
b
@0
(/ (+ (* b b) (+ (* 4 (* a c)) (* b b))) (* (- b (sqrt (+ (* b b) (* (* a c) -4)))) (* a -2)))
22.0ms
b
@-inf
(- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))
19.0ms
x
@-inf
(log x)

bsearch617.0ms (0.8%)

Memory
-16.3MiB live, 624.6MiB allocated
Algorithm
33×binary-search
10×left-value
Stop Event
29×narrow-enough
4×predicate-same
Samples
323.0ms2 512×0valid
54.0ms255×0invalid
15.0ms96×2valid
Compiler

Compiled 12 762 to 7 965 computations (37.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 232.0ms
ival-mult: 91.0ms (39.3% of total)
ival-div: 36.0ms (15.5% of total)
ival-neg: 35.0ms (15.1% of total)
ival-sub: 21.0ms (9.1% of total)
ival-add: 13.0ms (5.6% of total)
ival-sqrt: 12.0ms (5.2% of total)
ival-if: 6.0ms (2.6% of total)
ival->=: 5.0ms (2.2% of total)
ival-fabs: 4.0ms (1.7% of total)
exact: 3.0ms (1.3% of total)
adjust: 2.0ms (0.9% of total)
ival-true: 2.0ms (0.9% of total)
ival-assert: 1.0ms (0.4% of total)

analyze499.0ms (0.6%)

Memory
48.2MiB live, 793.8MiB 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)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...