Details

Time bar (total: 2.3s)

analyze2.0ms (0.1%)

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)

sample1.9s (82.6%)

Results
785.0ms5408×body128valid
482.0ms1061×body1024valid
355.0ms1081×body512valid
194.0ms677×body256valid
15.0ms29×body2048valid
Compiler

Compiled 63 to 46 computations (27% saved)

simplify21.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
517×cancel-sign-sub-inv_binary64
510×fma-neg_binary64
430×fma-def_binary64
372×unswap-sqr_binary64
269×associate-*l*_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0813
11913
24913
316613
46578
527428
Stop Event
1×node limit
Counts
1 → 2

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.2%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

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

rewrite32.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
507×log1p-expm1-u_binary64
507×expm1-log1p-u_binary64
314×unpow-prod-down_binary64
268×log-prod_binary64
153×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11208
213748
Stop Event
1×node limit
Counts
1 → 21
Calls

1 calls:

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

simplify67.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
564×fma-def_binary64
469×associate-*l*_binary64
434×unswap-sqr_binary64
370×sqr-pow_binary64
292×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
237213
375177
4168177
5464177
61534177
72777177
83132177
93354177
103576177
113880177
124302177
134812177
Stop Event
1×node limit
Counts
45 → 27

prune71.0ms (3.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New26127
Fresh000
Picked011
Done000
Total26228
Error
0b
Counts
28 → 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 269 to 167 computations (37.9% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

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

rewrite33.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
567×log1p-expm1-u_binary64
567×expm1-log1p-u_binary64
306×log-prod_binary64
122×prod-diff_binary64
120×expm1-udef_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0711
113910
215878
Stop Event
1×node limit
Counts
1 → 30
Calls

1 calls:

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

simplify68.0ms (3%)

Algorithm
1×egg-herbie
Rules
564×fma-def_binary64
469×associate-*l*_binary64
434×unswap-sqr_binary64
370×sqr-pow_binary64
292×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
237213
375177
4168177
5464177
61534177
72777177
83132177
93354177
103576177
113880177
124302177
134812177
Stop Event
1×node limit
Counts
54 → 35

prune16.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New35035
Fresh000
Picked011
Done011
Total35237
Error
0b
Counts
37 → 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 419 to 223 computations (46.8% saved)

regimes27.0ms (1.2%)

Accuracy

Total 0.0b remaining (65.2%)

Threshold costs 0.0b (65.2%)

Counts
9 → 1
Compiler

Compiled 259 to 180 computations (30.5% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
1811
Stop Event
1×saturated

end37.0ms (1.6%)

Compiler

Compiled 38 to 23 computations (39.5% saved)

Profiling

Loading profile data...