Details

Time bar (total: 3.7s)

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.5s (68.2%)

Results
962.0ms5467×body128valid
657.0ms989×body1024valid
603.0ms1062×body512valid
200.0ms713×body256valid
12.0ms25×body2048valid
Compiler

Compiled 63 to 46 computations (27% saved)

simplify103.0ms (2.8%)

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

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
16.4b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
▶0.0b
(*.f64 eps (fma.f64 2 x eps))
Compiler

Compiled 55 to 37 computations (32.7% 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.1%)

Counts
1 → 24
Calls

1 calls:

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

rewrite75.0ms (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 → 22
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11208
213288
349938
451138
000
100

simplify140.0ms (3.8%)

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
46 → 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

prune25.0ms (0.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New25126
Fresh011
Picked101
Done000
Total26228
Error
0b
Counts
28 → 2
Alt Table
StatusErrorProgram
16.4b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
▶0.0b
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
Compiler

Compiled 278 to 171 computations (38.5% 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))

series9.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

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

rewrite94.0ms (2.5%)

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:

93.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

simplify137.0ms (3.7%)

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

prune25.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New34034
Fresh011
Picked011
Done000
Total34236
Error
0b
Counts
36 → 2
Alt Table
StatusErrorProgram
▶16.4b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
✓0.0b
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
Compiler

Compiled 428 to 231 computations (46% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(pow.f64 (+.f64 x eps) 2)
✓3.2b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

series11.0ms (0.3%)

Counts
2 → 48
Calls

2 calls:

6.0ms
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
5.0ms
(pow.f64 (+.f64 x eps) 2)

rewrite76.0ms (2%)

Algorithm
2×batch-egg-rewrite
Rules
997×prod-diff_binary64
898×expm1-log1p-u_binary64
137×egg-rr
91×log1p-expm1-u_binary64
89×add-sqr-sqrt_binary64
Counts
2 → 137
Calls

2 calls:

72.0ms
(pow.f64 (+.f64 x eps) 2)
72.0ms
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0820
118420
2220920
3561920
000
100

simplify297.0ms (8%)

Algorithm
1×egg-herbie
Rules
968×sqr-pow_binary64
615×fma-def_binary64
579×fabs-mul_binary64
537×cube-prod_binary64
464×*-commutative_binary64
Counts
185 → 148
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012525
132498
262435
3129393
4318393
51005393
61665393
71886393
82020393
92235393
102469393
112722393
122890393
133334393
143914393
154267393
164546393
174648393
184677393
194689393
205141393

prune75.0ms (2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1480148
Fresh000
Picked011
Done011
Total1482150
Error
0b
Counts
150 → 2
Alt Table
StatusErrorProgram
✓16.4b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
✓0.0b
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
Compiler

Compiled 3538 to 1211 computations (65.8% saved)

regimes44.0ms (1.2%)

Accuracy

Total 0.0b remaining (72.6%)

Threshold costs 0.0b (72.6%)

Counts
15 → 1
Compiler

Compiled 439 to 306 computations (30.3% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
088
1118
2108

end40.0ms (1.1%)

Compiler

Compiled 37 to 24 computations (35.1% saved)

Profiling

Loading profile data...