Details

Time bar (total: 1.9s)

analyze109.0ms (5.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
37.5%50%12.6%6
43.7%40.6%15.7%7
56.2%23.4%20.4%8
57.8%21.1%21.2%9
64%12.5%23.5%10
64.8%10.7%24.5%11
67.9%6.4%25.7%12
68.3%5.4%26.3%13
69.9%3.3%26.9%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample26.0ms (1.3%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
0.0ms3×body128invalid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify107.0ms (5.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
03910
13910

prune10.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 2
Compiler

Compiled 23 to 19 computations (17.4% saved)

localize10.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 2 (*.f64 x (+.f64 x y)))
0.0b
(*.f64 x (+.f64 x y))

rewrite29.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
9×add-exp-log_binary64_8641 add-cbrt-cube_binary64_8639 pow1_binary64_8664
7×add-sqr-sqrt_binary64_8625 *-un-lft-identity_binary64_8603
6×associate-*l*_binary64_8544 associate-*r/_binary64_8545
5×add-cube-cbrt_binary64_8638 distribute-lft-in_binary64_8552 distribute-rgt-in_binary64_8553 associate-*r*_binary64_8543
4×cbrt-unprod_binary64_8636 prod-exp_binary64_8652 pow-prod-down_binary64_8674
2×flip3-+_binary64_8606 add-log-exp_binary64_8642 flip-+_binary64_8577 *-commutative_binary64_8534
1×distribute-lft-out_binary64_8554 unswap-sqr_binary64_8571
Counts
2 → 47
Calls

2 calls:

13.0ms
(*.f64 2 (*.f64 x (+.f64 x y)))
13.0ms
(*.f64 x (+.f64 x y))

series49.0ms (2.5%)

Counts
2 → 6
Calls

2 calls:

26.0ms
(*.f64 2 (*.f64 x (+.f64 x y)))
23.0ms
(*.f64 x (+.f64 x y))

simplify149.0ms (7.7%)

Algorithm
1×egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (129.0ms)

IterNodesCost
04967564
14967564

prune68.0ms (3.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New51253
Fresh101
Picked101
Done000
Total53255
Error
0b
Counts
55 → 2
Compiler

Compiled 605 to 251 computations (58.5% saved)

localize9.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

rewrite24.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
12×associate-*l*_binary64_8544
11×*-un-lft-identity_binary64_8603
9×add-sqr-sqrt_binary64_8625
7×add-cube-cbrt_binary64_8638
6×flip3-+_binary64_8606 flip-+_binary64_8577
4×distribute-lft-out_binary64_8554 frac-times_binary64_8613 associate-*r*_binary64_8543
3×add-exp-log_binary64_8641 distribute-rgt-out_binary64_8556 add-cbrt-cube_binary64_8639 pow1_binary64_8664
2×associate-*r/_binary64_8545 associate-*l/_binary64_8546
1×add-log-exp_binary64_8642 cbrt-unprod_binary64_8636 distribute-lft1-in_binary64_8558 distribute-lft-in_binary64_8552 count-2_binary64_8551 distribute-rgt-in_binary64_8553 distribute-rgt1-in_binary64_8559 *-commutative_binary64_8534 prod-exp_binary64_8652 pow-prod-down_binary64_8674 unswap-sqr_binary64_8571
Counts
1 → 38
Calls

1 calls:

20.0ms
(*.f64 (+.f64 x x) (+.f64 x y))

series29.0ms (1.5%)

Counts
1 → 3
Calls

1 calls:

29.0ms
(*.f64 (+.f64 x x) (+.f64 x y))

simplify73.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
05002502

prune36.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New41041
Fresh011
Picked011
Done000
Total41243
Error
0b
Counts
43 → 2
Compiler

Compiled 491 to 153 computations (68.8% saved)

localize14.0ms (0.7%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 x (+.f64 x y))
0.4b
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2)))
0.4b
(*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2))

rewrite46.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Rules
19×add-exp-log_binary64_8641 add-cbrt-cube_binary64_8639 pow1_binary64_8664
11×add-sqr-sqrt_binary64_8625 *-un-lft-identity_binary64_8603 associate-*r*_binary64_8543
10×cbrt-unprod_binary64_8636 associate-*l*_binary64_8544 prod-exp_binary64_8652 pow-prod-down_binary64_8674
9×add-cube-cbrt_binary64_8638
8×associate-*r/_binary64_8545
6×sqrt-prod_binary64_8619
4×associate-*l/_binary64_8546
3×flip3-+_binary64_8606 add-log-exp_binary64_8642 flip-+_binary64_8577 *-commutative_binary64_8534
1×distribute-lft-out_binary64_8554 distribute-lft-in_binary64_8552 distribute-rgt-in_binary64_8553 unswap-sqr_binary64_8571
Counts
3 → 72
Calls

3 calls:

13.0ms
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2)))
12.0ms
(*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2))
11.0ms
(*.f64 x (+.f64 x y))

series160.0ms (8.2%)

Counts
3 → 9
Calls

3 calls:

78.0ms
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2)))
60.0ms
(*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2))
22.0ms
(*.f64 x (+.f64 x y))

simplify79.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
05199960

prune84.0ms (4.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New81081
Fresh000
Picked011
Done011
Total81283
Error
0b
Counts
83 → 2
Compiler

Compiled 1134 to 620 computations (45.3% saved)

regimes73.0ms (3.8%)

Accuracy

Total 0.0b remaining (87%)

Threshold costs 0.0b (87%)

Compiler

Compiled 216 to 176 computations (18.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0810
1810

end0.0ms (0%)

sample753.0ms (38.8%)

Algorithm
1×intervals
Results
365.0ms8000×body128valid
6.0ms136×body128invalid
Compiler

Compiled 69 to 57 computations (17.4% saved)

Profiling

Loading profile data...