Herbie run

Date:Saturday, August 3rd, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024216
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)

simplify18.2s (24%)

Memory
264.3MiB live, 22 164.3MiB allocated
Algorithm
71×egg-herbie
Rules
360 748×lower-fma.f32
360 676×lower-fma.f64
174 328×lower-*.f32
174 068×lower-*.f64
84 372×lower-+.f32
Stop Event
90×iter limit
38×saturated
36×node limit
Counts
7 608 → 7 485

sample11.0s (14.5%)

Memory
269.7MiB live, 12 123.3MiB allocated
Samples
7.1s70 221×0valid
749.0ms4 078×2valid
244.0ms1 936×0invalid
0.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-mult: 2.3s (40.2% of total)
ival-div: 1.1s (18.9% of total)
ival-sub: 866.0ms (15.3% of total)
ival-sqrt: 347.0ms (6.1% of total)
ival-add: 231.0ms (4.1% of total)
ival-neg: 183.0ms (3.2% of total)
ival-log: 118.0ms (2.1% of total)
adjust: 107.0ms (1.9% of total)
ival-fabs: 94.0ms (1.7% of total)
ival-exp: 86.0ms (1.5% of total)
ival-if: 80.0ms (1.4% of total)
ival->=: 71.0ms (1.3% of total)
exact: 54.0ms (1% of total)
ival-true: 52.0ms (0.9% of total)
ival-assert: 27.0ms (0.5% of total)
Bogosity

rewrite9.9s (13.1%)

Memory
209.2MiB live, 14 943.1MiB allocated
Algorithm
31×batch-egg-rewrite
Rules
119 658×lower-fma.f32
119 588×lower-fma.f64
101 652×lower-/.f32
101 446×lower-/.f64
100 948×lower-*.f32
Stop Event
67×iter limit
29×node limit
3×saturated
1×unsound
Counts
336 → 20 236

soundness9.5s (12.6%)

Memory
59.1MiB live, 5 115.9MiB allocated
Rules
281 222×lower-fma.f32
281 162×lower-fma.f64
166 840×lower-*.f32
166 610×lower-*.f64
101 072×lower-/.f32
Stop Event
69×iter limit
39×node limit
5×fuel
4×done
2×saturated
1×unsound
Compiler

Compiled 3 884 to 1 983 computations (48.9% saved)

eval8.3s (11%)

Memory
162.1MiB live, 10 960.9MiB allocated
Compiler

Compiled 1 422 261 to 90 616 computations (93.6% saved)

prune6.9s (9.1%)

Memory
-280.9MiB live, 11 914.0MiB allocated
Counts
37 654 → 440
Compiler

Compiled 21 459 to 10 558 computations (50.8% saved)

localize4.1s (5.5%)

Memory
76.1MiB live, 6 429.5MiB allocated
Samples
1.2s6 506×0valid
652.0ms691×2valid
334.0ms565×1valid
94.0ms85×3valid
31.0ms88×0invalid
0.0ms1×5exit
Compiler

Compiled 6 601 to 736 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 483.0ms (31.6% of total)
ival-div: 366.0ms (24% of total)
ival-add: 145.0ms (9.5% of total)
adjust: 116.0ms (7.6% of total)
ival-sub: 87.0ms (5.7% of total)
ival-sqrt: 87.0ms (5.7% of total)
ival-if: 70.0ms (4.6% of total)
ival-pow: 41.0ms (2.7% of total)
ival-fabs: 35.0ms (2.3% of total)
ival-neg: 25.0ms (1.6% of total)
ival-log: 20.0ms (1.3% of total)
const: 13.0ms (0.9% of total)
exact: 11.0ms (0.7% of total)
ival-exp: 7.0ms (0.5% of total)
ival->=: 7.0ms (0.5% of total)
ival-e: 6.0ms (0.4% of total)
ival-true: 6.0ms (0.4% of total)
ival-assert: 3.0ms (0.2% of total)

regimes2.5s (3.2%)

Memory
103.2MiB live, 3 326.0MiB allocated
Counts
1 111 → 102
Calls

26 calls:

384.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
375.0ms
x
265.0ms
(*.f64 x x)
246.0ms
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
234.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
Compiler

Compiled 1 783 to 1 118 computations (37.3% saved)

preprocess2.0s (2.6%)

Memory
31.2MiB live, 2 124.9MiB 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 336 to 1 044 computations (68.7% saved)

explain1.4s (1.9%)

Memory
63.0MiB live, 2 422.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2540
+.f64#fcancellation1150
-.f64#fcancellation1050
sqrt.f64#fuflow-rescue620
/.f64#fn/u310
/.f64#fu/n260
-.f64#fnan-rescue200
*.f64(*.f64 (/.f64 x y) z)n*o110
*.f64(*.f64 (/.f64 x y) z)n*u80
Confusion
Predicted +Predicted -
+28013
-2291782
Precision
0.550098231827112
Recall
0.9556313993174061
Confusion?
Predicted +Predicted MaybePredicted -
+280013
-22901782
Precision?
0.550098231827112
Recall?
0.9556313993174061
Freqs
test
numberfreq
01795
1392
2111
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
343.0ms3 698×0valid
150.0ms570×2valid
75.0ms300×1valid
26.0ms40×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 311.0ms
ival-div: 70.0ms (22.5% of total)
ival-mult: 57.0ms (18.3% of total)
ival-sub: 41.0ms (13.2% of total)
ival-sqrt: 36.0ms (11.6% of total)
adjust: 33.0ms (10.6% of total)
ival-add: 27.0ms (8.7% of total)
ival-neg: 11.0ms (3.5% of total)
ival-if: 9.0ms (2.9% of total)
ival-log: 6.0ms (1.9% of total)
ival-fabs: 5.0ms (1.6% of total)
ival-exp: 4.0ms (1.3% of total)
ival->=: 4.0ms (1.3% of total)
ival-true: 4.0ms (1.3% of total)
exact: 3.0ms (1% of total)
ival-assert: 2.0ms (0.6% of total)

series988.0ms (1.3%)

Memory
-220.9MiB live, 1 134.3MiB allocated
Counts
336 → 7 608
Calls

1302 calls:

TimeVariablePointExpression
84.0ms
a
@inf
(/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
82.0ms
a
@0
(/ (fabs (- a b)) 2)
46.0ms
x
@0
(log x)
36.0ms
b
@-inf
(* (neg c) (/ 2 (/ (- (+ (* c (* a -4)) (* b b)) (* b b)) (- (sqrt (+ (* c (* a -4)) (* b b))) b))))
29.0ms
c
@0
(/ (* (neg c) -2) (- (neg b) (sqrt (+ (* c (* a -4)) (* b b)))))

bsearch447.0ms (0.6%)

Memory
-109.3MiB live, 737.8MiB allocated
Algorithm
26×binary-search
12×left-value
Stop Event
18×narrow-enough
8×predicate-same
Samples
218.0ms2 400×0valid
16.0ms96×2valid
12.0ms125×0invalid
Compiler

Compiled 8 607 to 5 661 computations (34.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 174.0ms
ival-div: 44.0ms (25.2% of total)
ival-sqrt: 37.0ms (21.2% of total)
ival-mult: 36.0ms (20.7% of total)
ival-sub: 20.0ms (11.5% of total)
ival-add: 11.0ms (6.3% of total)
ival-fabs: 6.0ms (3.4% of total)
ival-neg: 5.0ms (2.9% of total)
ival-if: 4.0ms (2.3% of total)
ival->=: 3.0ms (1.7% of total)
adjust: 2.0ms (1.1% of total)
ival-true: 2.0ms (1.1% of total)
exact: 2.0ms (1.1% of total)
ival-assert: 1.0ms (0.6% of total)

analyze435.0ms (0.6%)

Memory
-13.7MiB live, 754.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)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...