Details

Time bar (total: 2.8s)

analyze191.0ms (6.8%)

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
25%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample24.0ms (0.9%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify173.0ms (6.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
03713
13713

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 14.9b

Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize12.0ms (0.4%)

Local error

Found 1 expressions with local error:

14.4b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

rewrite20.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
10×add-cbrt-cube_binary64_13754 add-exp-log_binary64_13756
7×*-un-lft-identity_binary64_13718
4×times-frac_binary64_13724 associate-/l*_binary64_13663
3×prod-exp_binary64_13767 div-exp_binary64_13769 cbrt-unprod_binary64_13751 add-sqr-sqrt_binary64_13740 cbrt-undiv_binary64_13752 add-cube-cbrt_binary64_13753
2×distribute-lft-out_binary64_13669 associate-/l/_binary64_13665
1×pow1_binary64_13779 associate-/r*_binary64_13662 frac-2neg_binary64_13729 flip3-+_binary64_13721 add-log-exp_binary64_13757 flip-+_binary64_13692 clear-num_binary64_13717 div-inv_binary64_13715
Counts
1 → 27
Calls

1 calls:

16.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

series63.0ms (2.2%)

Counts
1 → 3
Calls

1 calls:

63.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

simplify79.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05367451

prune59.0ms (2.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New28230
Fresh000
Picked101
Done000
Total29231

Merged error: 0b

Counts
31 → 2
Compiler

Compiled 405 to 200 computations (50.6% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

rewrite26.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64_13718
6×times-frac_binary64_13724
5×distribute-lft-out_binary64_13669
3×add-log-exp_binary64_13757 add-sqr-sqrt_binary64_13740 add-cube-cbrt_binary64_13753
2×div-inv_binary64_13715
1×pow1_binary64_13779 flip3-+_binary64_13721 add-cbrt-cube_binary64_13754 sum-log_binary64_13809 +-commutative_binary64_13648 frac-add_binary64_13726 add-exp-log_binary64_13756 flip-+_binary64_13692
Counts
1 → 17
Calls

1 calls:

24.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

series32.0ms (1.1%)

Counts
1 → 3
Calls

1 calls:

32.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

simplify155.0ms (5.5%)

Algorithm
1×egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (140.0ms)

IterNodesCost
05160274

prune33.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New20020
Fresh011
Picked011
Done000
Total20222

Merged error: 0b

Counts
22 → 2
Compiler

Compiled 252 to 194 computations (23% saved)

localize15.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
0.0b
(/.f64 (+.f64 x y) y)
9.5b
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))

rewrite90.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Rules
227×times-frac_binary64_13724
130×*-un-lft-identity_binary64_13718
86×add-sqr-sqrt_binary64_13740 add-cube-cbrt_binary64_13753
61×add-exp-log_binary64_13756
40×associate-/r*_binary64_13662
35×add-cbrt-cube_binary64_13754 div-exp_binary64_13769
22×distribute-lft-out_binary64_13669
18×cbrt-undiv_binary64_13752
13×div-inv_binary64_13715
8×prod-exp_binary64_13767 associate-/l*_binary64_13663
6×associate-/r/_binary64_13664
5×rec-exp_binary64_13768 1-exp_binary64_13762
4×pow1_binary64_13779 cbrt-unprod_binary64_13751
3×frac-2neg_binary64_13729 add-log-exp_binary64_13757 clear-num_binary64_13717
2×associate-/l/_binary64_13665
1×flip3-+_binary64_13721 pow-flip_binary64_13792 flip-+_binary64_13692 inv-pow_binary64_13803
Counts
3 → 205
Calls

3 calls:

23.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
17.0ms
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))
11.0ms
(/.f64 (+.f64 x y) y)

series162.0ms (5.8%)

Counts
3 → 9
Calls

3 calls:

68.0ms
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))
59.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
35.0ms
(/.f64 (+.f64 x y) y)

simplify174.0ms (6.2%)

Algorithm
1×egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
050414028

prune296.0ms (10.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2140214
Fresh000
Picked011
Done011
Total2142216

Merged error: 0b

Counts
216 → 2
Compiler

Compiled 3585 to 1440 computations (59.8% saved)

regimes123.0ms (4.4%)

Compiler

Compiled 517 to 370 computations (28.4% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0810
1810

end0.0ms (0%)

sample1.1s (37.9%)

Algorithm
1×intervals
Results
412.0ms8000×body128valid
Compiler

Compiled 189 to 140 computations (25.9% saved)

Profiling

Loading profile data...