Details

Time bar (total: 8.5s)

analyze151.0ms (1.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01320
11320
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
43.7%56.2%0.1%5
46.8%53.1%0.1%6
78%21.9%0.1%7
82.7%17.2%0.1%8
89%10.9%0.1%9
91.3%8.6%0.1%10
94.4%5.5%0.1%11
95.6%4.3%0.1%12
97.2%2.7%0.1%13
97.8%2.1%0.1%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.2%)

Algorithm
1×intervals
Results
5.0ms255×body128valid
0.0ms1×body1024valid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01010
11010

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite45.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
31×*-un-lft-identity_binary64_9967
16×times-frac_binary64_9973
11×add-cube-cbrt_binary64_10002 add-sqr-sqrt_binary64_9989
10×distribute-lft-out_binary64_9918
4×associate-/l*_binary64_9912 associate-/r*_binary64_9911
3×add-exp-log_binary64_10005 add-cbrt-cube_binary64_10003
2×flip3-+_binary64_9970 associate-/l/_binary64_9914 flip-+_binary64_9941 associate-/r/_binary64_9913
1×pow1_binary64_10028 div-exp_binary64_10018 add-log-exp_binary64_10006 cbrt-undiv_binary64_10001 frac-2neg_binary64_9978 clear-num_binary64_9966 div-inv_binary64_9964
Counts
1 → 40
Calls

1 calls:

8.0ms
(/.f64 (+.f64 x y) (+.f64 y 1))
Compiler

Compiled 618 to 329 computations (46.8% saved)

series123.0ms (1.4%)

Error
0.0b
Counts
1 → 18
Calls

1 calls:

96.0ms
(/.f64 (+.f64 x y) (+.f64 y 1))
Compiler

Compiled 489 to 360 computations (26.4% saved)

simplify92.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
04948978
14948978

prune46.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New56258
Fresh000
Picked011
Done000
Total56359
Error
0.0b
Counts
59 → 3
Compiler

Compiled 798 to 418 computations (47.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite224.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
155×*-un-lft-identity_binary64_9967
146×times-frac_binary64_9973
71×add-cube-cbrt_binary64_10002 add-sqr-sqrt_binary64_9989
42×distribute-lft-out_binary64_9918
26×associate-/r*_binary64_9911
15×add-exp-log_binary64_10005
11×associate-/r/_binary64_9913
9×add-cbrt-cube_binary64_10003
8×div-exp_binary64_10018
7×associate-/l*_binary64_9912
6×div-inv_binary64_9964 flip3-+_binary64_9970 flip-+_binary64_9941
4×cbrt-undiv_binary64_10001
3×pow1_binary64_10028
2×1-exp_binary64_10011 rec-exp_binary64_10017 add-log-exp_binary64_10006 frac-2neg_binary64_9978 clear-num_binary64_9966 associate-/l/_binary64_9914
1×inv-pow_binary64_10052 pow-flip_binary64_10041
Counts
2 → 152
Calls

2 calls:

14.0ms
(/.f64 (+.f64 y 1) (+.f64 y x))
13.0ms
(/.f64 1 (/.f64 (+.f64 y 1) (+.f64 y x)))
Compiler

Compiled 3033 to 1851 computations (39% saved)

series276.0ms (3.2%)

Error
0.0b
Counts
2 → 42
Calls

2 calls:

123.0ms
(/.f64 (+.f64 y 1) (+.f64 y x))
105.0ms
(/.f64 1 (/.f64 (+.f64 y 1) (+.f64 y x)))
Compiler

Compiled 1713 to 1277 computations (25.5% saved)

simplify155.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
194 → 194
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
049494151
149494151

prune203.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1931194
Fresh011
Picked011
Done011
Total1934197
Error
0b
Counts
197 → 4
Compiler

Compiled 3379 to 1845 computations (45.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y))) (cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y))))
0.4b
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
0.4b
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
0.4b
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))

rewrite702.0ms (8.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
279×*-un-lft-identity_binary64_9967
206×cbrt-prod_binary64_9998
158×times-frac_binary64_9973
103×add-sqr-sqrt_binary64_9989
88×distribute-lft-out_binary64_9918
79×add-cube-cbrt_binary64_10002
45×swap-sqr_binary64_9934
25×associate-*l*_binary64_9908 associate-*r*_binary64_9907
14×associate-/r/_binary64_9913
11×pow1_binary64_10028
9×pow1/3_binary64_10049 unswap-sqr_binary64_9935
7×cbrt-div_binary64_9999 div-inv_binary64_9964 flip3-+_binary64_9970 flip-+_binary64_9941
6×add-exp-log_binary64_10005
4×add-log-exp_binary64_10006 add-cbrt-cube_binary64_10003
2×pow-prod-down_binary64_10038 pow-prod-up_binary64_10037 pow-sqr_binary64_9940
1×pow2_binary64_10048 pow-plus_binary64_10030 prod-exp_binary64_10016 cbrt-unprod_binary64_10000 frac-times_binary64_9977 associate-*l/_binary64_9910 associate-*r/_binary64_9909 *-commutative_binary64_9898
Counts
4 → 218
Calls

4 calls:

40.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y))) (cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y))))
13.0ms
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
11.0ms
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
7.0ms
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
Compiler

Compiled 9180 to 5570 computations (39.3% saved)

series2.9s (34.4%)

Error
0b
Counts
4 → 64
Calls

4 calls:

996.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y))) (cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y))))
488.0ms
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
480.0ms
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
456.0ms
(cbrt.f64 (/.f64 (+.f64 y 1) (+.f64 x y)))
Compiler

Compiled 16372 to 13279 computations (18.9% saved)

simplify200.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
282 → 282
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
0511814560

prune1.2s (14.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2820282
Fresh011
Picked011
Done022
Total2824286
Error
0b
Counts
286 → 4
Compiler

Compiled 15168 to 9825 computations (35.2% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (/.f64 (+.f64 y x) (-.f64 (*.f64 y y) 1)) (-.f64 y 1))
11.8b
(/.f64 (+.f64 y x) (-.f64 (*.f64 y y) 1))

rewrite177.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
66×*-un-lft-identity_binary64_9967
49×times-frac_binary64_9973
46×add-sqr-sqrt_binary64_9989
30×associate-*l*_binary64_9908
28×add-cube-cbrt_binary64_10002
20×difference-of-squares_binary64_9936
13×distribute-lft-out_binary64_9918
10×difference-of-sqr-1_binary64_9937
9×add-exp-log_binary64_10005 add-cbrt-cube_binary64_10003
7×associate-*r*_binary64_9907
6×associate-/r*_binary64_9911 cancel-sign-sub-inv_binary64_9933
4×pow1_binary64_10028 flip3--_binary64_9971 associate-/r/_binary64_9913 flip--_binary64_9942 associate-/l*_binary64_9912 distribute-rgt-in_binary64_9917 distribute-lft-in_binary64_9916
2×div-exp_binary64_10018 add-log-exp_binary64_10006 cbrt-undiv_binary64_10001 div-inv_binary64_9964 associate-/l/_binary64_9914 prod-exp_binary64_10016 cbrt-unprod_binary64_10000 frac-times_binary64_9977 unswap-sqr_binary64_9935 sub-neg_binary64_9960 associate-*r/_binary64_9909
1×frac-2neg_binary64_9978 clear-num_binary64_9966 flip3-+_binary64_9970 flip-+_binary64_9941 pow-prod-down_binary64_10038 associate-*l/_binary64_9910 distribute-lft-out--_binary64_9919 *-commutative_binary64_9898
Counts
2 → 115
Calls

2 calls:

32.0ms
(*.f64 (/.f64 (+.f64 y x) (-.f64 (*.f64 y y) 1)) (-.f64 y 1))
12.0ms
(/.f64 (+.f64 y x) (-.f64 (*.f64 y y) 1))
Compiler

Compiled 2682 to 1376 computations (48.7% saved)

series350.0ms (4.1%)

Error
0b
Counts
2 → 32
Calls

2 calls:

193.0ms
(*.f64 (/.f64 (+.f64 y x) (-.f64 (*.f64 y y) 1)) (-.f64 y 1))
134.0ms
(/.f64 (+.f64 y x) (-.f64 (*.f64 y y) 1))
Compiler

Compiled 1190 to 914 computations (23.2% saved)

simplify111.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
049452681
149452681

prune146.0ms (1.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1470147
Fresh000
Picked011
Done033
Total1474151
Error
0b
Counts
151 → 4
Compiler

Compiled 2664 to 1321 computations (50.4% saved)

regimes196.0ms (2.3%)

Accuracy

Total 0.0b remaining (89.9%)

Threshold costs 0.0b (89.9%)

Compiler

Compiled 1362 to 1049 computations (23% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010

end0.0ms (0%)

sample1.1s (13%)

Algorithm
1×intervals
Results
260.0ms7997×body128valid
0.0ms2×body1024valid
0.0ms1×body512valid
Compiler

Compiled 463 to 358 computations (22.7% saved)

Profiling

Loading profile data...