Details

Time bar (total: 1.3s)

analyze4.0ms (0.3%)

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 6 to 5 computations (16.7% saved)

sample9.0ms (0.7%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify109.0ms (8.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01057
11057

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite10.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_12717
8×*-un-lft-identity_binary64_12695
7×associate-*r*_binary64_12635
6×cancel-sign-sub-inv_binary64_12661
5×add-cube-cbrt_binary64_12730
4×distribute-rgt-in_binary64_12645 distribute-lft-in_binary64_12644
3×associate-*l*_binary64_12636 add-exp-log_binary64_12733 pow1_binary64_12756 add-cbrt-cube_binary64_12731
2×difference-of-squares_binary64_12664 sub-neg_binary64_12688 associate-*r/_binary64_12637
1×prod-exp_binary64_12744 distribute-lft-out--_binary64_12647 flip3--_binary64_12699 pow-prod-down_binary64_12766 *-commutative_binary64_12626 difference-of-sqr-1_binary64_12665 flip--_binary64_12670 unswap-sqr_binary64_12663 cbrt-unprod_binary64_12728 add-log-exp_binary64_12734
Counts
1 → 32
Calls

1 calls:

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

series17.0ms (1.3%)

Counts
1 → 4
Calls

1 calls:

16.0ms
(*.f64 x (-.f64 x 1))
Compiler

Compiled 41 to 37 computations (9.8% saved)

simplify73.0ms (5.6%)

Algorithm
1×egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04961291
14961291

prune28.0ms (2.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New33336
Fresh000
Picked101
Done000
Total34337

Merged error: 0b

Counts
37 → 3
Compiler

Compiled 321 to 184 computations (42.7% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (neg.f64 x))

rewrite6.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
5×add-log-exp_binary64_12734
2×*-un-lft-identity_binary64_12695 sum-log_binary64_12786 distribute-rgt-out_binary64_12648
1×neg-sub0_binary64_12690 add-cube-cbrt_binary64_12730 flip-+_binary64_12669 associate-+r-_binary64_12629 flip3-+_binary64_12698 add-exp-log_binary64_12733 distribute-lft-neg-in_binary64_12652 unsub-neg_binary64_12689 add-sqr-sqrt_binary64_12717 +-commutative_binary64_12625 pow1_binary64_12756 neg-mul-1_binary64_12691 neg-log_binary64_12788 add-cbrt-cube_binary64_12731
Counts
1 → 16
Calls

1 calls:

5.0ms
(+.f64 (*.f64 x x) (neg.f64 x))

series13.0ms (1%)

Counts
1 → 4
Calls

1 calls:

13.0ms
(+.f64 (*.f64 x x) (neg.f64 x))
Compiler

Compiled 41 to 37 computations (9.8% saved)

simplify85.0ms (6.5%)

Algorithm
1×egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
04903172
14903172

prune13.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New20020
Fresh022
Picked011
Done000
Total20323

Merged error: 0b

Counts
23 → 3
Compiler

Compiled 177 to 74 computations (58.2% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

8.6b
(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))

rewrite19.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
51×*-un-lft-identity_binary64_12695 add-sqr-sqrt_binary64_12717
36×times-frac_binary64_12701
20×difference-of-squares_binary64_12664
16×add-cube-cbrt_binary64_12730
10×distribute-lft-out_binary64_12646
9×associate-/l*_binary64_12640
5×distribute-lft-out--_binary64_12647 unpow3_binary64_12761 distribute-rgt-out--_binary64_12649 cube-prod_binary64_12723 sqr-pow_binary64_12667 unpow-prod-down_binary64_12774
4×associate-/r*_binary64_12639
3×add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731
2×associate-/r/_binary64_12641 associate-/l/_binary64_12642
1×div-exp_binary64_12746 cbrt-undiv_binary64_12729 frac-2neg_binary64_12706 flip3--_binary64_12699 div-inv_binary64_12692 flip-+_binary64_12669 div-sub_binary64_12700 flip--_binary64_12670 flip3-+_binary64_12698 pow1_binary64_12756 add-log-exp_binary64_12734 clear-num_binary64_12694
Counts
1 → 66
Calls

1 calls:

13.0ms
(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))

series25.0ms (1.9%)

Counts
1 → 4
Calls

1 calls:

25.0ms
(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))
Compiler

Compiled 41 to 37 computations (9.8% saved)

simplify92.0ms (7.1%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
049481400
149481400

prune63.0ms (4.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New69170
Fresh101
Picked011
Done011
Total70373

Merged error: 0b

Counts
73 → 3
Compiler

Compiled 1126 to 717 computations (36.3% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 1 (-.f64 x 1))
0.1b
(/.f64 x (/.f64 1 (-.f64 x 1)))

rewrite37.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Rules
186×times-frac_binary64_12701
150×add-sqr-sqrt_binary64_12717
134×*-un-lft-identity_binary64_12695
86×add-cube-cbrt_binary64_12730
34×associate-/r*_binary64_12639
32×difference-of-squares_binary64_12664
16×distribute-lft-out--_binary64_12647 difference-of-sqr-1_binary64_12665
15×add-exp-log_binary64_12733
11×associate-/r/_binary64_12641
9×add-cbrt-cube_binary64_12731
8×div-exp_binary64_12746
6×associate-/l*_binary64_12640 div-inv_binary64_12692
5×flip3--_binary64_12699 flip--_binary64_12670
4×cbrt-undiv_binary64_12729
3×pow1_binary64_12756
2×rec-exp_binary64_12745 frac-2neg_binary64_12706 1-exp_binary64_12739 add-log-exp_binary64_12734 clear-num_binary64_12694
1×pow-flip_binary64_12769 inv-pow_binary64_12780
Counts
2 → 177
Calls

2 calls:

11.0ms
(/.f64 x (/.f64 1 (-.f64 x 1)))
6.0ms
(/.f64 1 (-.f64 x 1))

series36.0ms (2.8%)

Counts
2 → 11
Calls

2 calls:

21.0ms
(/.f64 x (/.f64 1 (-.f64 x 1)))
15.0ms
(/.f64 1 (-.f64 x 1))
Compiler

Compiled 107 to 88 computations (17.8% saved)

simplify93.0ms (7.1%)

Algorithm
1×egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
050103015

prune144.0ms (11%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1880188
Fresh000
Picked011
Done022
Total1883191

Merged error: 0b

Counts
191 → 3
Compiler

Compiled 2534 to 1673 computations (34% saved)

regimes30.0ms (2.3%)

Compiler

Compiled 130 to 102 computations (21.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0167
1167

end0.0ms (0%)

sample380.0ms (29.1%)

Algorithm
1×intervals
Results
150.0ms8000×body128valid
Compiler

Compiled 75 to 59 computations (21.3% saved)

Profiling

Loading profile data...