Herbie run

Date:Friday, August 2nd, 2024
Commit:50436110 on HEAD
Hostname:nightly with Racket 8.11.1
Seed:2024215
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)

simplify20.1s (31%)

Memory
216.8MiB live, 24 633.4MiB allocated
Algorithm
102×egg-herbie
Rules
420 040×lower-fma.f32
419 970×lower-fma.f64
166 532×lower-*.f32
166 340×lower-*.f64
76 218×lower-+.f32
Stop Event
103×saturated
90×iter limit
33×node limit
Counts
18 552 → 4 911

rewrite12.9s (19.9%)

Memory
82.4MiB live, 13 003.2MiB allocated
Algorithm
31×batch-egg-rewrite
Rules
144 666×lower-fma.f32
144 600×lower-fma.f64
106 796×lower-*.f32
106 628×lower-*.f64
97 252×lower-/.f32
Stop Event
66×iter limit
29×node limit
3×saturated
1×unsound
Counts
219 → 13 548

sample10.5s (16.2%)

Memory
198.6MiB live, 11 527.0MiB allocated
Samples
6.2s70 101×0valid
752.0ms4 196×2valid
293.0ms2 029×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 4.9s
ival-mult: 1.3s (25.6% of total)
ival-div: 1.2s (23.6% of total)
ival-sub: 698.0ms (14.1% of total)
ival-sqrt: 650.0ms (13.1% of total)
ival-neg: 214.0ms (4.3% of total)
ival-add: 197.0ms (4% of total)
ival->=: 136.0ms (2.7% of total)
ival-log: 109.0ms (2.2% of total)
adjust: 104.0ms (2.1% of total)
ival-fabs: 102.0ms (2.1% of total)
ival-if: 95.0ms (1.9% of total)
ival-exp: 76.0ms (1.5% of total)
exact: 55.0ms (1.1% of total)
ival-true: 51.0ms (1% of total)
ival-assert: 28.0ms (0.6% of total)
Bogosity

soundness8.4s (13%)

Memory
-82.9MiB live, 4 035.8MiB allocated
Rules
227 104×lower-fma.f32
227 104×lower-fma.f64
106 250×lower-*.f32
106 250×lower-*.f64
50 352×lower-+.f64
Stop Event
23×iter limit
20×node limit
6×done
3×saturated
3×fuel
Compiler

Compiled 5 343 to 2 609 computations (51.2% saved)

localize3.0s (4.7%)

Memory
-179.9MiB live, 3 990.9MiB allocated
Samples
947.0ms6 594×0valid
346.0ms550×2valid
291.0ms464×1valid
109.0ms262×0invalid
75.0ms66×3valid
Compiler

Compiled 4 443 to 599 computations (86.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 936.0ms
ival-mult: 252.0ms (26.9% of total)
ival-div: 220.0ms (23.5% of total)
adjust: 90.0ms (9.6% of total)
ival-add: 87.0ms (9.3% of total)
ival-sub: 84.0ms (9% of total)
ival-if: 71.0ms (7.6% of total)
ival-sqrt: 39.0ms (4.2% of total)
ival-fabs: 18.0ms (1.9% of total)
ival-neg: 18.0ms (1.9% of total)
ival->=: 16.0ms (1.7% of total)
const: 10.0ms (1.1% of total)
exact: 9.0ms (1% of total)
ival-log: 7.0ms (0.7% of total)
ival-true: 6.0ms (0.6% of total)
ival-exp: 4.0ms (0.4% of total)
ival-assert: 3.0ms (0.3% of total)
ival-e: 2.0ms (0.2% of total)

preprocess2.1s (3.3%)

Memory
99.5MiB live, 2 027.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 040 to 964 computations (76.1% saved)

eval2.0s (3.2%)

Memory
-34.9MiB live, 3 440.6MiB allocated
Compiler

Compiled 349 594 to 9 229 computations (97.4% saved)

explain1.7s (2.7%)

Memory
-2.2MiB live, 2 131.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2450
-.f64#fcancellation1150
+.f64#fcancellation1070
sqrt.f64#fuflow-rescue760
/.f64#fn/u290
/.f64#fu/n250
-.f64#fnan-rescue170
*.f64(*.f64 (/.f64 x y) z)n*o110
*.f64(*.f64 (/.f64 x y) z)n*u60
Confusion
Predicted +Predicted -
+29615
-2181775
Precision
0.5758754863813229
Recall
0.9517684887459807
Confusion?
Predicted +Predicted MaybePredicted -
+296015
-21801775
Precision?
0.5758754863813229
Recall?
0.9517684887459807
Freqs
test
numberfreq
01790
1402
2107
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
415.0ms3 704×0valid
155.0ms544×2valid
72.0ms316×1valid
49.0ms44×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 411.0ms
ival-sqrt: 87.0ms (21.2% of total)
ival-div: 81.0ms (19.7% of total)
ival-mult: 65.0ms (15.8% of total)
adjust: 59.0ms (14.3% of total)
ival-sub: 44.0ms (10.7% of total)
ival-add: 16.0ms (3.9% of total)
ival-log: 13.0ms (3.2% of total)
ival-neg: 11.0ms (2.7% of total)
ival-if: 9.0ms (2.2% of total)
ival-exp: 8.0ms (1.9% of total)
ival-fabs: 5.0ms (1.2% of total)
ival-true: 4.0ms (1% of total)
exact: 4.0ms (1% of total)
ival->=: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)

bsearch1.2s (1.8%)

Memory
46.6MiB live, 751.1MiB allocated
Algorithm
39×binary-search
16×left-value
Stop Event
28×narrow-enough
11×predicate-same
Samples
608.0ms2 448×0valid
142.0ms295×0invalid
12.0ms80×2valid
Compiler

Compiled 16 393 to 10 666 computations (34.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 490.0ms
ival-mult: 357.0ms (72.8% of total)
ival-add: 37.0ms (7.5% of total)
ival-div: 35.0ms (7.1% of total)
ival-sub: 19.0ms (3.9% of total)
ival-sqrt: 11.0ms (2.2% of total)
ival-if: 7.0ms (1.4% of total)
ival->=: 7.0ms (1.4% of total)
ival-neg: 7.0ms (1.4% of total)
ival-fabs: 4.0ms (0.8% of total)
exact: 3.0ms (0.6% of total)
adjust: 2.0ms (0.4% of total)
ival-true: 2.0ms (0.4% of total)
ival-assert: 1.0ms (0.2% of total)

regimes891.0ms (1.4%)

Memory
-43.8MiB live, 1 449.8MiB allocated
Counts
511 → 114
Calls

26 calls:

123.0ms
b
95.0ms
x
57.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
46.0ms
(*.f64 x x)
42.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
Compiler

Compiled 1 533 to 955 computations (37.7% saved)

analyze805.0ms (1.2%)

Memory
28.3MiB live, 593.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)

prune636.0ms (1%)

Memory
2.1MiB live, 1 069.5MiB allocated
Counts
13 976 → 240
Compiler

Compiled 7 531 to 4 007 computations (46.8% saved)

series498.0ms (0.8%)

Memory
107.8MiB live, 717.5MiB allocated
Counts
219 → 5 004
Calls

921 calls:

TimeVariablePointExpression
46.0ms
a
@inf
(/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
28.0ms
x
@0
(log x)
26.0ms
a
@-inf
(/ (+ (* a (/ (* c c) (* b b))) c) (neg b))
23.0ms
x
@-inf
(log x)
19.0ms
c
@inf
(sqrt (+ (* (* a c) -4) (* b b)))

end0.0ms (0%)

Memory
0.2MiB live, 0.1MiB allocated

Profiling

Loading profile data...