Herbie run

Date:Tuesday, August 6th, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024219
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.9s (24.2%)

Memory
493.9MiB live, 21 311.7MiB allocated
Algorithm
73×egg-herbie
Rules
398 440×lower-fma.f32
398 352×lower-fma.f64
178 086×lower-*.f32
177 830×lower-*.f64
85 280×lower-+.f32
Stop Event
94×iter limit
41×node limit
34×saturated
Counts
9 732 → 9 581

rewrite12.5s (16.1%)

Memory
25.9MiB live, 16 984.6MiB allocated
Algorithm
32×batch-egg-rewrite
Rules
142 544×lower-fma.f32
142 456×lower-fma.f64
124 648×lower-*.f32
124 402×lower-*.f64
120 610×lower-/.f32
Stop Event
68×iter limit
30×node limit
2×unsound
1×saturated
Counts
402 → 17 965

sample10.8s (13.9%)

Memory
115.7MiB live, 12 597.6MiB allocated
Samples
6.6s70 189×0valid
918.0ms4 105×2valid
381.0ms1 852×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-mult: 1.3s (23% of total)
ival-sub: 1.0s (18.4% of total)
ival-div: 925.0ms (16.3% of total)
ival-sqrt: 709.0ms (12.5% of total)
ival-add: 503.0ms (8.9% of total)
ival-neg: 252.0ms (4.4% of total)
ival->=: 232.0ms (4.1% of total)
ival-if: 134.0ms (2.4% of total)
adjust: 117.0ms (2.1% of total)
ival-log: 115.0ms (2% of total)
ival-exp: 110.0ms (1.9% of total)
ival-fabs: 96.0ms (1.7% of total)
exact: 56.0ms (1% of total)
ival-true: 55.0ms (1% of total)
ival-assert: 29.0ms (0.5% of total)
Bogosity

soundness8.7s (11.1%)

Memory
-60.8MiB live, 4 659.3MiB allocated
Rules
293 102×lower-fma.f32
293 050×lower-fma.f64
169 646×lower-*.f32
169 482×lower-*.f64
89 038×lower-/.f32
Stop Event
53×iter limit
35×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 5 138 to 2 456 computations (52.2% saved)

eval7.2s (9.3%)

Memory
90.8MiB live, 9 990.3MiB allocated
Compiler

Compiled 1 260 113 to 81 190 computations (93.6% saved)

prune6.3s (8.1%)

Memory
-164.7MiB live, 9 744.0MiB allocated
Counts
34 357 → 425
Compiler

Compiled 21 522 to 10 317 computations (52.1% saved)

localize5.3s (6.8%)

Memory
80.6MiB live, 6 817.9MiB allocated
Samples
1.7s6 612×0valid
992.0ms839×2valid
774.0ms620×1valid
158.0ms120×3valid
0.0ms1×5exit
Compiler

Compiled 7 325 to 835 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 928.0ms (36.1% of total)
ival-div: 462.0ms (18% of total)
ival-add: 357.0ms (13.9% of total)
ival-exp: 181.0ms (7% of total)
adjust: 162.0ms (6.3% of total)
ival-sub: 142.0ms (5.5% of total)
ival-sqrt: 96.0ms (3.7% of total)
ival-if: 58.0ms (2.3% of total)
ival-neg: 51.0ms (2% of total)
ival-pow: 33.0ms (1.3% of total)
ival-log: 25.0ms (1% of total)
ival-fabs: 21.0ms (0.8% of total)
ival-e: 16.0ms (0.6% of total)
exact: 12.0ms (0.5% of total)
const: 10.0ms (0.4% of total)
ival-true: 7.0ms (0.3% of total)
ival->=: 7.0ms (0.3% of total)
ival-assert: 3.0ms (0.1% of total)

explain2.3s (3%)

Memory
79.3MiB live, 2 415.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2650
-.f64#fcancellation1270
+.f64#fcancellation1180
sqrt.f64#fuflow-rescue620
/.f64#fu/n280
-.f64#fnan-rescue200
*.f64#fn*o190
/.f64#fn/u190
*.f64(*.f64 (/.f64 x y) z)n*u60
/.f64#fn/o20
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
Confusion
Predicted +Predicted -
+30211
-2231768
Precision
0.5752380952380952
Recall
0.9648562300319489
Confusion?
Predicted +Predicted MaybePredicted -
+302011
-22301768
Precision?
0.5752380952380952
Recall?
0.9648562300319489
Freqs
test
numberfreq
01779
1397
2114
314
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Samples
338.0ms3 690×0valid
268.0ms60×3valid
156.0ms544×2valid
78.0ms314×1valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 538.0ms
ival-sub: 290.0ms (53.9% of total)
ival-div: 58.0ms (10.8% of total)
ival-mult: 50.0ms (9.3% of total)
adjust: 42.0ms (7.8% of total)
ival-sqrt: 30.0ms (5.6% of total)
ival-add: 16.0ms (3% of total)
ival-neg: 13.0ms (2.4% of total)
ival-if: 9.0ms (1.7% of total)
ival-log: 7.0ms (1.3% of total)
ival-fabs: 5.0ms (0.9% of total)
ival-exp: 4.0ms (0.7% of total)
ival-true: 4.0ms (0.7% of total)
exact: 4.0ms (0.7% of total)
ival->=: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)

preprocess2.0s (2.6%)

Memory
-61.8MiB live, 1 809.4MiB 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 752 to 1 016 computations (72.9% saved)

regimes1.9s (2.4%)

Memory
0.0MiB live, 2 762.1MiB allocated
Counts
1 092 → 99
Calls

26 calls:

322.0ms
b
219.0ms
x
142.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
133.0ms
c
131.0ms
(*.f64 x x)
Compiler

Compiled 1 604 to 1 012 computations (36.9% saved)

series1.1s (1.4%)

Memory
-19.8MiB live, 1 119.6MiB allocated
Counts
402 → 9 732
Calls

1212 calls:

TimeVariablePointExpression
32.0ms
x
@0
(log x)
26.0ms
c
@inf
(- (* b b) (* (* 4 a) c))
20.0ms
x
@-inf
(log x)
15.0ms
n
@inf
(/ (neg n) (- f n))
10.0ms
c
@0
(* (/ -1/2 a) (- b (sqrt (+ (* c (* a -4)) (* b b)))))

analyze454.0ms (0.6%)

Memory
-28.0MiB live, 777.7MiB 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)

bsearch449.0ms (0.6%)

Memory
-42.2MiB live, 814.4MiB allocated
Algorithm
28×binary-search
11×left-value
Stop Event
20×narrow-enough
8×predicate-same
Samples
201.0ms2 048×0valid
20.0ms181×0invalid
11.0ms80×2valid
Compiler

Compiled 9 455 to 5 985 computations (36.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 129.0ms
ival-mult: 41.0ms (31.7% of total)
ival-div: 28.0ms (21.7% of total)
ival-sub: 15.0ms (11.6% of total)
ival-add: 12.0ms (9.3% of total)
ival-sqrt: 11.0ms (8.5% of total)
ival-if: 5.0ms (3.9% of total)
ival-neg: 5.0ms (3.9% of total)
ival-fabs: 4.0ms (3.1% of total)
ival->=: 3.0ms (2.3% of total)
adjust: 2.0ms (1.5% of total)
ival-true: 2.0ms (1.5% of total)
exact: 2.0ms (1.5% of total)
ival-assert: 1.0ms (0.8% of total)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...