Details

Time bar (total: 1.4s)

analyze75.0ms (5.5%)

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)

sample18.0ms (1.3%)

Algorithm
1×intervals
Results
11.0ms256×body80valid
0.0ms3×body80invalid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify15.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03910
13910

prune5.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

rewrite17.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
9×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
7×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
6×associate-*r/_binary64 associate-*l*_binary64
5×associate-*r*_binary64 add-cube-cbrt_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
2×flip3-+_binary64 add-log-exp_binary64 flip-+_binary64 *-commutative_binary64
1×distribute-lft-out_binary64 unswap-sqr_binary64
Counts
2 → 47
Calls

2 calls:

9.0ms
(*.f64 2 (*.f64 x (+.f64 x y)))
7.0ms
(*.f64 x (+.f64 x y))

series12.0ms (0.9%)

Counts
2 → 6
Calls

2 calls:

7.0ms
(*.f64 2 (*.f64 x (+.f64 x y)))
5.0ms
(*.f64 x (+.f64 x y))

simplify138.0ms (10%)

Algorithm
1×egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (121.0ms)

IterNodesCost
04967564
14967564

prune32.0ms (2.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New51253
Fresh000
Picked101
Done000
Total52254

Merged error: 0b

Counts
54 → 2
Compiler

Compiled 605 to 254 computations (58% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite12.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
12×associate-*l*_binary64
11×*-un-lft-identity_binary64
9×add-sqr-sqrt_binary64
7×add-cube-cbrt_binary64
6×flip3-+_binary64 flip-+_binary64
4×distribute-lft-out_binary64 associate-*r*_binary64 frac-times_binary64
3×pow1_binary64 distribute-rgt-out_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
2×associate-*r/_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 count-2_binary64 distribute-lft1-in_binary64 add-log-exp_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt1-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
1 → 38
Calls

1 calls:

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

series7.0ms (0.5%)

Counts
1 → 3
Calls

1 calls:

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

simplify103.0ms (7.5%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04878502
14878502

prune20.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New41041
Fresh011
Picked011
Done000
Total41243

Merged error: 0b

Counts
43 → 2
Compiler

Compiled 491 to 153 computations (68.8% saved)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

rewrite33.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Rules
19×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
11×*-un-lft-identity_binary64 associate-*r*_binary64 add-sqr-sqrt_binary64
10×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
9×add-cube-cbrt_binary64
8×associate-*r/_binary64
6×sqrt-prod_binary64
4×associate-*l/_binary64
3×flip3-+_binary64 add-log-exp_binary64 flip-+_binary64 *-commutative_binary64
1×distribute-lft-out_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64
Counts
3 → 72
Calls

3 calls:

13.0ms
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2)))
10.0ms
(*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2))
7.0ms
(*.f64 x (+.f64 x y))

series32.0ms (2.3%)

Counts
3 → 9
Calls

3 calls:

16.0ms
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2)))
11.0ms
(*.f64 (*.f64 x (+.f64 x y)) (sqrt.f64 2))
5.0ms
(*.f64 x (+.f64 x y))

simplify81.0ms (5.9%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05094960

prune47.0ms (3.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New81081
Fresh000
Picked011
Done011
Total81283

Merged error: 0b

Counts
83 → 2
Compiler

Compiled 1134 to 620 computations (45.3% saved)

regimes44.0ms (3.2%)

Compiler

Compiled 40 to 38 computations (5% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0810
1810

end0.0ms (0%)

sample663.0ms (48.2%)

Algorithm
1×intervals
Results
286.0ms8000×body80valid
6.0ms169×body80invalid
Compiler

Compiled 42 to 36 computations (14.3% saved)

Profiling

Loading profile data...