Details

Time bar (total: 1.9s)

analyze49.0ms (2.6%)

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)

sample20.0ms (1.1%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify31.0ms (1.6%)

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

prune3.0ms (0.1%)

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)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite19.0ms (1%)

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:

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

series11.0ms (0.6%)

Counts
1 → 12
Calls

1 calls:

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

simplify117.0ms (6.1%)

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 → 125
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
066597
1121507
2321503
31110503
41977503
54623503
64945503

prune74.0ms (3.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1241125
Fresh000
Picked011
Done000
Total1242126
Error
0b
Counts
126 → 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)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite16.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:

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

series20.0ms (1.1%)

Counts
1 → 3
Calls

1 calls:

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

simplify122.0ms (6.4%)

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 → 102
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
089904
1142512
2391437
31970437
43221437
54888437
64850437

prune59.0ms (3.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1020102
Fresh000
Picked011
Done011
Total1022104
Error
0b
Counts
104 → 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)

regimes32.0ms (1.7%)

Accuracy

Total 0.0b remaining (96.3%)

Threshold costs 0.0b (96.3%)

Compiler

Compiled 70 to 46 computations (34.3% saved)

simplify6.0ms (0.3%)

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
057
177
2127
3147
4157
5157

end1.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

sample1.3s (69.1%)

Algorithm
1×intervals
Results
993.0ms8000×body128valid
0.0ms4×body128invalid
Compiler

Compiled 26 to 18 computations (30.8% saved)

Profiling

Loading profile data...