Herbie run

Date:Wednesday, August 7th, 2024
Commit:5f42bdd1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024220
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: 11.9s)

simplify3.7s (30.9%)

Memory
1.5MiB live, 2 619.6MiB allocated
Algorithm
17×egg-herbie
Rules
132 884×lower-fma.f32
132 882×lower-fma.f64
29 242×lower-*.f32
29 234×lower-*.f64
24 044×lower-+.f32
Stop Event
17×iter limit
12×saturated
9×node limit
Counts
408 → 378

sample3.2s (26.7%)

Memory
120.3MiB live, 2 843.4MiB allocated
Samples
1.1s5 557×2valid
981.0ms10 402×1valid
254.0ms8 809×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-add: 641.0ms (38.6% of total)
adjust: 470.0ms (28.3% of total)
ival-sub: 436.0ms (26.3% of total)
ival-mult: 80.0ms (4.8% of total)
ival-true: 17.0ms (1% of total)
ival-assert: 9.0ms (0.5% of total)
exact: 8.0ms (0.5% of total)
Bogosity

rewrite2.0s (17.1%)

Memory
53.5MiB live, 1 259.9MiB allocated
Algorithm
7×batch-egg-rewrite
Rules
28 076×lower-fma.f32
28 074×lower-fma.f64
19 942×lower-*.f32
19 934×lower-*.f64
16 044×lower-/.f64
Stop Event
14×iter limit
7×node limit
2×saturated
Counts
24 → 1 166

preprocess1.2s (10.1%)

Memory
-36.0MiB live, 836.3MiB allocated
Algorithm
3×egg-herbie
Rules
27 818×lower-fma.f32
27 818×lower-fma.f64
6 342×lower-+.f32
6 330×lower-+.f64
6 010×unsub-neg
Stop Event
6×iter limit
4×node limit
2×saturated
Compiler

Compiled 202 to 124 computations (38.6% saved)

soundness868.0ms (7.3%)

Memory
-15.7MiB live, 244.5MiB allocated
Rules
44 494×lower-fma.f32
44 492×lower-fma.f64
11 766×lower-*.f32
11 758×lower-*.f64
9 462×lower-/.f64
Stop Event
8×iter limit
4×node limit
3×done
1×saturated
Compiler

Compiled 79 to 45 computations (43% saved)

explain320.0ms (2.7%)

Memory
-14.3MiB live, 310.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2540
Confusion
Predicted +Predicted -
+2480
-6514
Precision
0.9763779527559056
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24800
-60514
Precision?
0.9763779527559056
Recall?
1.0
Freqs
test
numberfreq
0514
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
110.0ms664×1valid
53.0ms320×2valid
23.0ms552×0valid
Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 78.0ms
ival-add: 32.0ms (41% of total)
adjust: 28.0ms (35.8% of total)
ival-sub: 12.0ms (15.4% of total)
ival-mult: 5.0ms (6.4% of total)
ival-assert: 1.0ms (1.3% of total)
ival-true: 1.0ms (1.3% of total)
exact: 1.0ms (1.3% of total)

localize229.0ms (1.9%)

Memory
-33.6MiB live, 223.2MiB allocated
Samples
66.0ms736×1valid
60.0ms360×2valid
30.0ms696×0valid
Compiler

Compiled 171 to 62 computations (63.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 99.0ms
ival-add: 38.0ms (38.5% of total)
adjust: 31.0ms (31.4% of total)
ival-sub: 15.0ms (15.2% of total)
ival-mult: 12.0ms (12.1% of total)
ival-assert: 1.0ms (1% of total)
ival-true: 1.0ms (1% of total)
exact: 1.0ms (1% of total)

eval199.0ms (1.7%)

Memory
-81.8MiB live, 229.6MiB allocated
Compiler

Compiled 32 477 to 3 061 computations (90.6% saved)

prune146.0ms (1.2%)

Memory
47.3MiB live, 273.3MiB allocated
Counts
1 653 → 19
Compiler

Compiled 219 to 113 computations (48.4% saved)

regimes34.0ms (0.3%)

Memory
13.1MiB live, 43.9MiB allocated
Counts
18 → 6
Calls

8 calls:

11.0ms
x
6.0ms
(+.f64 x #s(literal 1 binary64))
5.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
5.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms
y
Compiler

Compiled 106 to 61 computations (42.5% saved)

series10.0ms (0.1%)

Memory
12.3MiB live, 12.3MiB allocated
Counts
24 → 408
Calls

72 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(* (+ x 2) x)
0.0ms
x
@inf
(- (* (+ x 1) (+ x 1)) 1)
0.0ms
x
@-inf
(- (* (+ x 1) (+ x 1)) 1)
0.0ms
x
@0
(- (* (+ x 1) (+ x 1)) 1)
0.0ms
x
@-inf
(* 2 x)

analyze1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Algorithm
3×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 31 to 23 computations (25.8% saved)

bsearch0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Algorithm
1×left-value
Compiler

Compiled 13 to 10 computations (23.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...