Details

Time bar (total: 3.4s)

analyze2.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%25.7%74.3%0
25.7%0%74.3%1
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample2.6s (78.6%)

Results
1.3s5499×body128valid
548.0ms950×body1024valid
529.0ms1106×body512valid
193.0ms683×body256valid
9.0ms18×body2048valid
Compiler

Compiled 63 to 46 computations (27% saved)

simplify138.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
512×cancel-sign-sub-inv_binary64
510×fma-neg_binary64
429×fma-def_binary64
372×unswap-sqr_binary64
314×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0813
11913
24513
314313
44758
517788
642448
746808
849528
948028

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 eps (fma.f64 2 x eps))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 eps (fma.f64 2 x eps))

series6.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

6.0ms
(*.f64 eps (fma.f64 2 x eps))

rewrite74.0ms (2.2%)

Algorithm
2×batch-egg-rewrite
Rules
507×log1p-expm1-u_binary64
507×expm1-log1p-u_binary64
316×unpow-prod-down_binary64
268×log-prod_binary64
153×pow2_binary64
Counts
1 → 21
Calls

1 calls:

73.0ms
(*.f64 eps (fma.f64 2 x eps))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11208
213288
349938
451138
000
100

simplify145.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
804×sqr-pow_binary64
582×fma-def_binary64
539×cube-prod_binary64
492×fabs-mul_binary64
475×associate-*l*_binary64
Counts
45 → 26
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
234213
364177
4132177
5319177
6929177
71576177
81855177
92017177
102196177
112366177
122577177
132714177
143136177
153708177
164407177
174626177
184870177
194728177

prune17.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh000
Picked011
Done000
Total25227
Error
0b
Counts
27 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
✓0.0b
(*.f64 eps (fma.f64 2 x eps))
Compiler

Compiled 264 to 160 computations (39.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))

series7.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

7.0ms
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))

rewrite96.0ms (2.9%)

Algorithm
2×batch-egg-rewrite
Rules
567×log1p-expm1-u_binary64
567×expm1-log1p-u_binary64
328×fma-def_binary64
306×log-prod_binary64
122×prod-diff_binary64
Counts
1 → 30
Calls

1 calls:

95.0ms
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
113910
214938
349358
449808
551788
000
100

simplify142.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
804×sqr-pow_binary64
582×fma-def_binary64
539×cube-prod_binary64
492×fabs-mul_binary64
475×associate-*l*_binary64
Counts
54 → 34
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
234213
364177
4132177
5319177
6929177
71576177
81855177
92017177
102196177
112366177
122577177
132714177
143136177
153708177
164407177
174626177
184870177
194728177

prune19.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New34034
Fresh000
Picked011
Done011
Total34236
Error
0b
Counts
36 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
✓0.0b
(*.f64 eps (fma.f64 2 x eps))
Compiler

Compiled 414 to 220 computations (46.9% saved)

regimes24.0ms (0.7%)

Accuracy

Total 0.0b remaining (73.3%)

Threshold costs 0.0b (73.3%)

Counts
7 → 1
Compiler

Compiled 205 to 141 computations (31.2% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
1811
2811

end37.0ms (1.1%)

Compiler

Compiled 38 to 23 computations (39.5% saved)

Profiling

Loading profile data...