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.4min)

simplify17.5s (20.1%)

Memory
82.3MiB live, 21 232.8MiB allocated
Algorithm
73×egg-herbie
Rules
354 498×lower-fma.f32
354 410×lower-fma.f64
166 294×lower-*.f32
166 038×lower-*.f64
80 212×lower-+.f32
Stop Event
93×iter limit
40×saturated
36×node limit
Counts
8 580 → 8 451

sample15.6s (17.9%)

Memory
253.9MiB live, 12 295.5MiB allocated
Samples
8.5s70 189×0valid
1.3s1 852×0invalid
681.0ms4 105×2valid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.6s (27.8% of total)
ival-div: 1.4s (24.2% of total)
ival-sub: 841.0ms (14.3% of total)
ival-neg: 484.0ms (8.2% of total)
ival-if: 342.0ms (5.8% of total)
ival-sqrt: 326.0ms (5.5% of total)
ival-add: 213.0ms (3.6% of total)
ival->=: 114.0ms (1.9% of total)
ival-log: 112.0ms (1.9% of total)
ival-fabs: 97.0ms (1.7% of total)
adjust: 91.0ms (1.5% of total)
ival-exp: 68.0ms (1.2% of total)
exact: 53.0ms (0.9% of total)
ival-true: 52.0ms (0.9% of total)
ival-assert: 27.0ms (0.5% of total)
Bogosity

soundness15.2s (17.5%)

Memory
-99.1MiB live, 6 123.0MiB allocated
Rules
295 560×lower-fma.f32
295 508×lower-fma.f64
178 644×lower-*.f32
178 490×lower-*.f64
88 062×lower-/.f32
Stop Event
68×iter limit
40×node limit
5×fuel
4×done
2×saturated
1×unsound
Compiler

Compiled 5 327 to 2 664 computations (50% saved)

rewrite11.2s (12.9%)

Memory
20.4MiB live, 14 451.1MiB allocated
Algorithm
32×batch-egg-rewrite
Rules
120 256×lower-fma.f32
120 170×lower-fma.f64
109 960×lower-*.f32
109 726×lower-*.f64
98 452×lower-/.f32
Stop Event
68×iter limit
30×node limit
3×saturated
1×unsound
Counts
355 → 19 814

eval7.9s (9.1%)

Memory
200.0MiB live, 10 052.5MiB allocated
Compiler

Compiled 1 235 831 to 86 070 computations (93% saved)

prune7.5s (8.7%)

Memory
-125.7MiB live, 10 599.7MiB allocated
Counts
34 642 → 413
Compiler

Compiled 20 360 to 10 113 computations (50.3% saved)

localize4.2s (4.8%)

Memory
-90.1MiB live, 5 933.0MiB allocated
Samples
1.2s6 741×0valid
560.0ms710×2valid
473.0ms620×1valid
166.0ms120×3valid
0.0ms1×5exit
Compiler

Compiled 6 265 to 771 computations (87.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-div: 390.0ms (23.5% of total)
ival-mult: 331.0ms (19.9% of total)
ival-add: 202.0ms (12.2% of total)
adjust: 183.0ms (11% of total)
ival-neg: 136.0ms (8.2% of total)
ival-sqrt: 120.0ms (7.2% of total)
ival-sub: 106.0ms (6.4% of total)
ival-if: 61.0ms (3.7% of total)
ival->=: 33.0ms (2% of total)
ival-fabs: 24.0ms (1.4% of total)
const: 15.0ms (0.9% of total)
ival-exp: 13.0ms (0.8% of total)
ival-pow: 12.0ms (0.7% of total)
exact: 11.0ms (0.7% of total)
ival-log: 10.0ms (0.6% of total)
ival-true: 6.0ms (0.4% of total)
ival-e: 5.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

preprocess2.2s (2.6%)

Memory
32.7MiB live, 2 350.3MiB 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 994 to 1 048 computations (73.8% saved)

regimes1.9s (2.2%)

Memory
92.5MiB live, 2 429.0MiB allocated
Counts
1 076 → 119
Calls

26 calls:

377.0ms
x
234.0ms
(*.f64 x x)
204.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
184.0ms
b
143.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
Compiler

Compiled 1 873 to 1 189 computations (36.5% saved)

explain1.3s (1.6%)

Memory
66.6MiB live, 2 448.5MiB 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
270.0ms3 690×0valid
145.0ms544×2valid
107.0ms314×1valid
24.0ms60×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 312.0ms
ival-sub: 62.0ms (19.9% of total)
ival-div: 59.0ms (18.9% of total)
ival-mult: 50.0ms (16% of total)
ival-sqrt: 40.0ms (12.8% of total)
adjust: 32.0ms (10.3% of total)
ival-add: 15.0ms (4.8% of total)
ival-if: 14.0ms (4.5% of total)
ival-neg: 11.0ms (3.5% of total)
ival-log: 7.0ms (2.2% 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)

series1.2s (1.4%)

Memory
107.1MiB live, 1 805.3MiB allocated
Counts
355 → 8 580
Calls

1434 calls:

TimeVariablePointExpression
65.0ms
c
@-inf
(* 2 c)
45.0ms
a
@0
(* (/ 1 (+ b (sqrt (+ (* c (* a -4)) (* b b))))) a)
43.0ms
x
@0
(log x)
40.0ms
c
@0
(- b (/ 1 (sqrt (/ 1 (+ (* c (* a -4)) (* b b))))))
30.0ms
a
@inf
(* c (+ (* a (/ c (* b (* b b)))) (/ 1 b)))

bsearch607.0ms (0.7%)

Memory
-15.2MiB live, 862.8MiB allocated
Algorithm
33×binary-search
17×left-value
Stop Event
24×narrow-enough
9×predicate-same
Samples
261.0ms2 576×0valid
54.0ms281×0invalid
11.0ms80×2valid
Compiler

Compiled 10 853 to 7 085 computations (34.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 212.0ms
ival-mult: 87.0ms (41% of total)
ival-div: 39.0ms (18.4% of total)
ival-sub: 27.0ms (12.7% of total)
ival-sqrt: 13.0ms (6.1% of total)
ival-add: 12.0ms (5.6% of total)
ival-if: 8.0ms (3.8% of total)
ival-neg: 7.0ms (3.3% of total)
ival->=: 6.0ms (2.8% of total)
ival-fabs: 4.0ms (1.9% of total)
exact: 3.0ms (1.4% of total)
adjust: 2.0ms (0.9% of total)
ival-true: 2.0ms (0.9% of total)
ival-assert: 1.0ms (0.5% of total)

analyze463.0ms (0.5%)

Memory
18.9MiB live, 758.1MiB 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...