Details

Time bar (total: 944.0ms)

analyze4.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)

sample606.0ms (64.2%)

Results
568.0ms8256×body128valid
0.0ms1×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

simplify14.0ms (1.5%)

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
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1117
2177
3197
4237
5287
6377
7567
81127
91727
101947
112127
122147
131837

prune1.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 x (-.f64 x 1))
Compiler

Compiled 18 to 12 computations (33.3% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

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

rewrite8.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64
20×*-un-lft-identity_binary64
18×prod-diff_binary64
17×add-cube-cbrt_binary64
13×distribute-lft-in_binary64
Counts
1 → 52
Calls

1 calls:

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

simplify79.0ms (8.3%)

Algorithm
1×egg-herbie
Rules
411×unswap-sqr_binary64
411×fma-neg_binary64
340×*-commutative_binary64
316×exp-prod_binary64
265×distribute-rgt-neg-in_binary64
Counts
64 → 75
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
066597
1121507
2321503
31110503
41977503
54623503
64945503

prune40.0ms (4.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New74175
Fresh000
Picked011
Done000
Total74276
Error
0b
Counts
76 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 x (-.f64 x 1))
▶0.0b
(-.f64 (pow.f64 x 2) x)
Compiler

Compiled 1103 to 738 computations (33.1% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.3%)

Counts
1 → 3
Calls

1 calls:

2.0ms
(-.f64 (pow.f64 x 2) x)

rewrite7.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64
24×prod-diff_binary64
21×*-un-lft-identity_binary64
18×add-cube-cbrt_binary64
13×unpow-prod-down_binary64
Counts
1 → 54
Calls

1 calls:

4.0ms
(-.f64 (pow.f64 x 2) x)

simplify90.0ms (9.5%)

Algorithm
1×egg-herbie
Rules
1171×fma-neg_binary64
387×associate-*l*_binary64
331×exp-prod_binary64
314×associate-*r*_binary64
289×cancel-sign-sub-inv_binary64
Counts
57 → 69
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
089904
1142512
2391437
31970437
43221437
54888437
64850437

prune29.0ms (3.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New69069
Fresh000
Picked011
Done011
Total69271
Error
0b
Counts
71 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 x (-.f64 x 1))
✓0.0b
(-.f64 (pow.f64 x 2) x)
Compiler

Compiled 1136 to 486 computations (57.2% saved)

regimes16.0ms (1.7%)

Accuracy

Total 0.0b remaining (95.5%)

Threshold costs 0.0b (95.5%)

Counts
6 → 1
Compiler

Compiled 70 to 46 computations (34.3% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1117
2127
3107

end36.0ms (3.8%)

Compiler

Compiled 24 to 16 computations (33.3% saved)

Profiling

Loading profile data...