Details

Time bar (total: 749.0ms)

analyze4.0ms (0.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.6%0.2%0.2%11
99.6%0.1%0.3%12
99.6%0%0.3%13
99.6%0%0.4%14
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample604.0ms (80.6%)

Results
569.0ms8207×body128valid
5.0ms26×body1024valid
2.0ms16×body512valid
1.0msbody256valid
Compiler

Compiled 20 to 17 computations (15% saved)

simplify9.0ms (1.3%)

Algorithm
egg-herbie
Rules
fma-neg_binary64
+-commutative_binary64
*-commutative_binary64
sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
065
1115
2135
3125

prune2.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0b
Counts
3 → 1
Alt Table
StatusErrorProgram
0b
(fma.f64 x 116 -16)
Compiler

Compiled 20 to 16 computations (20% saved)

localize2.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 x 116 -16)

series2.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(fma.f64 x 116 -16)

rewrite35.0ms (4.6%)

Algorithm
batch-egg-rewrite
Rules
408×log1p-expm1-u_binary64
408×expm1-log1p-u_binary64
381×add-log-exp_binary64
365×pow1_binary64
180×unpow-prod-down_binary64
Counts
1 → 37
Calls

1 calls:

34.0ms
(fma.f64 x 116 -16)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
11025
210495
348675
000
100

simplify9.0ms (1.2%)

Algorithm
egg-herbie
Rules
fma-neg_binary64
+-commutative_binary64
*-commutative_binary64
sub-neg_binary64
Counts
49 → 41
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0754
11154
21354
31254

prune20.0ms (2.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New41041
Fresh000
Picked011
Done000
Total41142
Error
0b
Counts
42 → 1
Alt Table
StatusErrorProgram
0b
(fma.f64 x 116 -16)
Compiler

Compiled 397 to 340 computations (14.4% saved)

regimes32.0ms (4.3%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts
4 → 1
Compiler

Compiled 111 to 90 computations (18.9% saved)

simplify2.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
155

end28.0ms (3.8%)

Compiler

Compiled 15 to 12 computations (20% saved)

Profiling

Loading profile data...