Details

Time bar (total: 875.0ms)

analyze3.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25%13
74.9%0%25%14
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample616.0ms (70.4%)

Results
584.0ms8256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

simplify10.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
92×fma-def_binary64
68×fma-neg_binary64
24×cancel-sign-sub-inv_binary64
16×distribute-rgt-in_binary64
12×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1117
2177
3227
4267
5317
6427
7647
81357
92547
103647
113867
123887
Stop Event
1×saturated
Counts
1 → 2

prune2.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (*.f64 x x) x)
0.0b
(*.f64 x (-.f64 x 1))
Compiler

Compiled 35 to 20 computations (42.9% saved)

localize2.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 x x) x)

series2.0ms (0.3%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(-.f64 (*.f64 x x) x)

rewrite40.0ms (4.5%)

Algorithm
1×batch-egg-rewrite
Rules
538×prod-diff_binary64
468×log1p-expm1-u_binary64
468×expm1-log1p-u_binary64
238×fma-def_binary64
205×log-prod_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047
1917
212877
Stop Event
1×node limit
Counts
1 → 112
Calls

1 calls:

38.0ms
(-.f64 (*.f64 x x) x)

simplify26.0ms (3%)

Algorithm
1×egg-herbie
Rules
681×fma-neg_binary64
536×associate-*l*_binary64
440×associate-*r*_binary64
434×unswap-sqr_binary64
256×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0774
11574
22874
36774
419074
569474
6343674
Stop Event
1×node limit
Counts
124 → 118

prune47.0ms (5.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1180118
Fresh011
Picked011
Done000
Total1182120
Error
0b
Counts
120 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x x) x)
▶0.0b
(*.f64 x (-.f64 x 1))
Compiler

Compiled 1720 to 742 computations (56.9% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (-.f64 x 1))

series5.0ms (0.5%)

Counts
1 → 12
Calls

1 calls:

5.0ms
(*.f64 x (-.f64 x 1))

rewrite29.0ms (3.3%)

Algorithm
1×batch-egg-rewrite
Rules
472×log1p-expm1-u_binary64
472×expm1-log1p-u_binary64
330×unpow-prod-down_binary64
223×log-prod_binary64
124×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11057
213147
Stop Event
1×node limit
Counts
1 → 37
Calls

1 calls:

28.0ms
(*.f64 x (-.f64 x 1))

simplify25.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
681×fma-neg_binary64
536×associate-*l*_binary64
440×associate-*r*_binary64
434×unswap-sqr_binary64
256×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0774
11574
22874
36774
419074
569474
6343674
Stop Event
1×node limit
Counts
49 → 43

prune17.0ms (1.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New43043
Fresh000
Picked011
Done011
Total43245
Error
0b
Counts
45 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x x) x)
✓0.0b
(*.f64 x (-.f64 x 1))
Compiler

Compiled 395 to 240 computations (39.2% saved)

regimes14.0ms (1.6%)

Accuracy

Total 0.0b remaining (89.7%)

Threshold costs 0.0b (89.7%)

Counts
6 → 1
Compiler

Compiled 70 to 44 computations (37.1% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×sub-neg_binary64
1×*-commutative_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047
167
2117
3137
4147
Stop Event
1×saturated

end30.0ms (3.4%)

Compiler

Compiled 24 to 13 computations (45.8% saved)

Profiling

Loading profile data...