Details

Time bar (total: 24.8min)

analyze35.0ms (0%)

Algorithm
1×search
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)

sample12.0ms (0%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify146.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
069010
169010

prune1.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 7 to 6 computations (14.3% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite14.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
46×add-sqr-sqrt_binary64_9989 *-un-lft-identity_binary64_9967
30×times-frac_binary64_9973
19×difference-of-squares_binary64_9936
14×add-cube-cbrt_binary64_10002
13×distribute-lft-out--_binary64_9919
6×associate-/r*_binary64_9911
5×associate-/l*_binary64_9912
3×add-cbrt-cube_binary64_10003 add-exp-log_binary64_10005
2×flip--_binary64_9942 flip3--_binary64_9971 associate-/l/_binary64_9914 associate-/r/_binary64_9913
1×div-exp_binary64_10018 cbrt-undiv_binary64_10001 add-log-exp_binary64_10006 div-sub_binary64_9972 div-inv_binary64_9964 pow1_binary64_10028 frac-2neg_binary64_9978 clear-num_binary64_9966
Counts
1 → 58
Calls

2 calls:

9.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
0.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))

series111.0ms (0%)

Counts
1 → 18
Calls

1 calls:

111.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
Compiler

Compiled 263 to 217 computations (17.5% saved)

simplify73.0ms (0%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
056681413

prune268.0ms (0%)

Pruning

44 alts after pruning (43 fresh and 1 done)

PrunedKeptTotal
New334376
Fresh000
Picked000
Done011
Total334477
Error
0b
Counts
77 → 44
Compiler

Compiled 1411 to 842 computations (40.3% saved)

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite63.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
100×*-un-lft-identity_binary64_9967
88×add-sqr-sqrt_binary64_9989
74×times-frac_binary64_9973
37×add-cube-cbrt_binary64_10002
30×difference-of-squares_binary64_9936
24×distribute-lft-out--_binary64_9919 cancel-sign-sub-inv_binary64_9933
12×associate-/r*_binary64_9911
10×associate-/r/_binary64_9913
7×add-cbrt-cube_binary64_10003 add-exp-log_binary64_10005
6×flip--_binary64_9942 flip3--_binary64_9971 associate-/l*_binary64_9912
5×add-log-exp_binary64_10006 div-inv_binary64_9964
3×distribute-rgt-out--_binary64_9921 pow1_binary64_10028
2×div-exp_binary64_10018 cbrt-undiv_binary64_10001 frac-2neg_binary64_9978 clear-num_binary64_9966
1×sub-neg_binary64_9960 sub-div_binary64_9974 frac-sub_binary64_9976 diff-log_binary64_10059
Counts
3 → 135
Calls

6 calls:

36.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
9.0ms
(/.f64 x (-.f64 1 y))
6.0ms
(/.f64 y (-.f64 1 y))
0.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
0.0ms
(/.f64 y (-.f64 1 y))

series248.0ms (0%)

Counts
3 → 43
Calls

3 calls:

135.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
82.0ms
(/.f64 x (-.f64 1 y))
32.0ms
(/.f64 y (-.f64 1 y))
Compiler

Compiled 715 to 579 computations (19% saved)

simplify81.0ms (0%)

Algorithm
1×egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
051372717

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite9.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64_9989 *-un-lft-identity_binary64_9967
18×times-frac_binary64_9973
12×add-cube-cbrt_binary64_10002
8×difference-of-squares_binary64_9936
6×associate-/r*_binary64_9911
4×distribute-lft-out--_binary64_9919
3×add-cbrt-cube_binary64_10003 associate-/l*_binary64_9912 add-exp-log_binary64_10005
2×associate-/r/_binary64_9913
1×flip--_binary64_9942 div-exp_binary64_10018 cbrt-undiv_binary64_10001 flip3--_binary64_9971 add-log-exp_binary64_10006 div-inv_binary64_9964 pow1_binary64_10028 frac-2neg_binary64_9978 clear-num_binary64_9966
Counts
1 → 41
Calls

2 calls:

6.0ms
(/.f64 x (-.f64 1 y))
0.0ms
(/.f64 x (-.f64 1 y))

series76.0ms (0%)

Counts
1 → 15
Calls

1 calls:

76.0ms
(/.f64 x (-.f64 1 y))
Compiler

Compiled 170 to 138 computations (18.8% saved)

simplify82.0ms (0%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
05069774

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

3.5b
(log.f64 (/.f64 (-.f64 x y) (-.f64 1 y)))
1.5b
(exp.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 y))))
0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))
0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))
1.5b
(exp.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 y))))
3.5b
(log.f64 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite44.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
127×add-sqr-sqrt_binary64_9989 *-un-lft-identity_binary64_9967
90×times-frac_binary64_9973
72×log-prod_binary64_10053
51×difference-of-squares_binary64_9936
41×add-cube-cbrt_binary64_10002
36×exp-sum_binary64_10013
35×distribute-lft-out--_binary64_9919
8×add-exp-log_binary64_10005
6×associate-/r*_binary64_9911 associate-/r/_binary64_9913
5×add-cbrt-cube_binary64_10003 associate-/l*_binary64_9912 pow1_binary64_10028
4×flip--_binary64_9942 flip3--_binary64_9971 exp-prod_binary64_10019
3×add-log-exp_binary64_10006 div-inv_binary64_9964
2×log-div_binary64_10054 div-exp_binary64_10018 associate-/l/_binary64_9914 rem-log-exp_binary64_10008 log-pow_binary64_10056
1×cbrt-undiv_binary64_10001 div-sub_binary64_9972 exp-diff_binary64_10015 frac-2neg_binary64_9978 clear-num_binary64_9966 rem-exp-log_binary64_10007
Counts
3 → 154
Calls

6 calls:

10.0ms
(exp.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 y))))
9.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
9.0ms
(log.f64 (/.f64 (-.f64 x y) (-.f64 1 y)))
0.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
0.0ms
(exp.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 y))))

series593.0ms (0%)

Counts
3 → 52
Calls

3 calls:

352.0ms
(exp.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 y))))
135.0ms
(log.f64 (/.f64 (-.f64 x y) (-.f64 1 y)))
106.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
Compiler

Compiled 1245 to 1028 computations (17.4% saved)

simplify103.0ms (0%)

Algorithm
1×egg-herbie
Counts
206 → 206
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
050344211

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

2.6b
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
2.2b
(+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))
0.1b
(*.f64 (-.f64 1 y) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y))))
0.0b
(*.f64 y (+.f64 x y))
0.1b
(*.f64 (-.f64 1 y) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y))))
2.2b
(+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))
2.6b
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
40.0b
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (-.f64 1 y) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))))

rewrite77.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
88×add-sqr-sqrt_binary64_9989
50×difference-of-squares_binary64_9936
44×*-un-lft-identity_binary64_9967
39×cube-prod_binary64_9995 unpow-prod-down_binary64_10046
25×times-frac_binary64_9973 associate-/l*_binary64_9912 sqr-pow_binary64_9939
16×distribute-lft-out--_binary64_9919
12×cancel-sign-sub-inv_binary64_9933
11×add-cbrt-cube_binary64_10003 add-cube-cbrt_binary64_10002 add-exp-log_binary64_10005
8×flip--_binary64_9942 frac-times_binary64_9977 flip3--_binary64_9971 add-log-exp_binary64_10006 associate-/r/_binary64_9913
7×flip3-+_binary64_9970 flip-+_binary64_9941
6×associate-*l*_binary64_9908 pow1_binary64_10028
4×associate-*l/_binary64_9910 associate-*r/_binary64_9909
3×associate-*r*_binary64_9907 difference-cubes_binary64_9969
2×div-exp_binary64_10018 prod-exp_binary64_10016 cbrt-undiv_binary64_10001 cbrt-unprod_binary64_10000 associate-/l/_binary64_9914 distribute-lft-in_binary64_9916 associate-+r+_binary64_9899 distribute-rgt-in_binary64_9917
1×sub-neg_binary64_9960 pow-prod-down_binary64_10038 cube-mult_binary64_9997 unpow3_binary64_10033 diff-log_binary64_10059 div-sub_binary64_9972 +-commutative_binary64_9897 sum-log_binary64_10058 unswap-sqr_binary64_9935 div-inv_binary64_9964 associate-/r*_binary64_9911 frac-2neg_binary64_9978 clear-num_binary64_9966 *-commutative_binary64_9898
Counts
4 → 165
Calls

8 calls:

25.0ms
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (-.f64 1 y) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))))
13.0ms
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
10.0ms
(*.f64 (-.f64 1 y) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y))))
4.0ms
(+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))
0.0ms
(*.f64 y (+.f64 x y))

series649.0ms (0%)

Counts
4 → 69
Calls

4 calls:

198.0ms
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (-.f64 1 y) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))))
161.0ms
(*.f64 (-.f64 1 y) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y))))
152.0ms
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
137.0ms
(+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))
Compiler

Compiled 1977 to 1531 computations (22.6% saved)

simplify96.0ms (0%)

Algorithm
1×egg-herbie
Counts
234 → 234
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049845660
149845660

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite85.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
214×add-sqr-sqrt_binary64_9989
161×*-un-lft-identity_binary64_9967
109×times-frac_binary64_9973
94×difference-of-squares_binary64_9936
91×sqrt-prod_binary64_9983
60×associate-*r*_binary64_9907
47×distribute-lft-out--_binary64_9919
40×add-cube-cbrt_binary64_10002
11×add-cbrt-cube_binary64_10003 add-exp-log_binary64_10005
9×associate-/l*_binary64_9912
8×add-log-exp_binary64_10006
6×associate-/r*_binary64_9911 pow1_binary64_10028 cancel-sign-sub-inv_binary64_9933
5×associate-*l*_binary64_9908
4×flip--_binary64_9942 distribute-lft-out_binary64_9918 flip3--_binary64_9971 associate-/r/_binary64_9913
3×flip3-+_binary64_9970 flip-+_binary64_9941
2×frac-times_binary64_9977 div-exp_binary64_10018 prod-exp_binary64_10016 cbrt-undiv_binary64_10001 cbrt-unprod_binary64_10000 associate-*l/_binary64_9910 associate-/l/_binary64_9914 unswap-sqr_binary64_9935 div-inv_binary64_9964
1×sub-neg_binary64_9960 pow-prod-down_binary64_10038 diff-log_binary64_10059 div-sub_binary64_9972 +-commutative_binary64_9897 sum-log_binary64_10058 associate-*r/_binary64_9909 frac-2neg_binary64_9978 clear-num_binary64_9966 *-commutative_binary64_9898
Counts
4 → 207
Calls

8 calls:

31.0ms
(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 x)) (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 1 y)))
16.0ms
(/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 1 y))
6.0ms
(-.f64 (sqrt.f64 x) (sqrt.f64 y))
5.0ms
(+.f64 (sqrt.f64 y) (sqrt.f64 x))
0.0ms
(+.f64 (sqrt.f64 y) (sqrt.f64 x))

series231.0ms (0%)

Counts
4 → 25
Calls

4 calls:

106.0ms
(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 x)) (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 1 y)))
56.0ms
(/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (-.f64 1 y))
35.0ms
(+.f64 (sqrt.f64 y) (sqrt.f64 x))
34.0ms
(-.f64 (sqrt.f64 x) (sqrt.f64 y))
Compiler

Compiled 844 to 660 computations (21.8% saved)

simplify100.0ms (0%)

Algorithm
1×egg-herbie
Counts
232 → 232
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049984901
149984901

prune11.1s (0.7%)

Pruning

371 alts after pruning (366 fresh and 5 done)

PrunedKeptTotal
New564342906
Fresh142438
Picked000
Done156
Total579371950
Error
0b
Counts
950 → 371
Compiler

Compiled 19395 to 11025 computations (43.2% saved)

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite65.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
100×*-un-lft-identity_binary64_9967
88×add-sqr-sqrt_binary64_9989
74×times-frac_binary64_9973
37×add-cube-cbrt_binary64_10002
30×difference-of-squares_binary64_9936
24×distribute-lft-out--_binary64_9919 cancel-sign-sub-inv_binary64_9933
12×associate-/r*_binary64_9911
10×associate-/r/_binary64_9913
7×add-cbrt-cube_binary64_10003 add-exp-log_binary64_10005
6×flip--_binary64_9942 flip3--_binary64_9971 associate-/l*_binary64_9912
5×add-log-exp_binary64_10006 div-inv_binary64_9964
3×distribute-rgt-out--_binary64_9921 pow1_binary64_10028
2×div-exp_binary64_10018 cbrt-undiv_binary64_10001 frac-2neg_binary64_9978 clear-num_binary64_9966
1×sub-neg_binary64_9960 sub-div_binary64_9974 frac-sub_binary64_9976 diff-log_binary64_10059
Counts
3 → 135
Calls

6 calls:

39.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
6.0ms
(/.f64 x (-.f64 1 y))
6.0ms
(/.f64 y (-.f64 1 y))
0.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
0.0ms
(/.f64 y (-.f64 1 y))

series241.0ms (0%)

Counts
3 → 43
Calls

3 calls:

131.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
78.0ms
(/.f64 x (-.f64 1 y))
32.0ms
(/.f64 y (-.f64 1 y))
Compiler

Compiled 919 to 783 computations (14.8% saved)

simplify81.0ms (0%)

Algorithm
1×egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
051372717

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify10.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (-.f64 1 y))
0.0b
(sqrt.f64 (-.f64 1 y))
0.0b
(/.f64 y (-.f64 1 y))
0.0b
(-.f64 (*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 y))) (/.f64 x (sqrt.f64 (-.f64 1 y)))) (/.f64 y (-.f64 1 y)))
0.0b
(sqrt.f64 (-.f64 1 y))
0.1b
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 y))) (/.f64 x (sqrt.f64 (-.f64 1 y))))
0.1b
(/.f64 x (sqrt.f64 (-.f64 1 y)))
0.1b
(/.f64 1 (sqrt.f64 (-.f64 1 y)))

rewrite84.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
165×add-sqr-sqrt_binary64_9989
130×times-frac_binary64_9973
124×*-un-lft-identity_binary64_9967
101×sqrt-prod_binary64_9983
73×add-cube-cbrt_binary64_10002
33×associate-*l*_binary64_9908 associate-*r*_binary64_9907
32×add-exp-log_binary64_10005
30×difference-of-squares_binary64_9936
20×add-cbrt-cube_binary64_10003
18×associate-/r*_binary64_9911
15×unswap-sqr_binary64_9935 distribute-lft-out--_binary64_9919
11×div-exp_binary64_10018
10×sqrt-div_binary64_9984
9×pow1_binary64_10028
8×prod-exp_binary64_10016 associate-/r/_binary64_9913
6×cbrt-undiv_binary64_10001 associate-/l*_binary64_9912
5×flip--_binary64_9942 flip3--_binary64_9971
4×cbrt-unprod_binary64_10000 add-log-exp_binary64_10006 div-inv_binary64_9964
3×1-exp_binary64_10011 rec-exp_binary64_10017 pow-flip_binary64_10041
2×pow1/2_binary64_10047 sqrt-pow1_binary64_9985 frac-2neg_binary64_9978 clear-num_binary64_9966
1×frac-times_binary64_9977 associate-*l/_binary64_9910 inv-pow_binary64_10052 pow-prod-down_binary64_10038 associate-*r/_binary64_9909 rem-sqrt-square_binary64_9980 *-commutative_binary64_9898
Counts
4 → 235
Calls

8 calls:

35.0ms
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 y))) (/.f64 x (sqrt.f64 (-.f64 1 y))))
7.0ms
(/.f64 1 (sqrt.f64 (-.f64 1 y)))
7.0ms
(/.f64 x (sqrt.f64 (-.f64 1 y)))
4.0ms
(sqrt.f64 (-.f64 1 y))
0.0ms
(-.f64 (*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 y))) (/.f64 x (sqrt.f64 (-.f64 1 y)))) (/.f64 y (-.f64 1 y)))

series227.0ms (0%)

Counts
4 → 34
Calls

4 calls:

103.0ms
(/.f64 x (sqrt.f64 (-.f64 1 y)))
76.0ms
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 y))) (/.f64 x (sqrt.f64 (-.f64 1 y))))
25.0ms
(sqrt.f64 (-.f64 1 y))
22.0ms
(/.f64 1 (sqrt.f64 (-.f64 1 y)))
Compiler

Compiled 970 to 774 computations (20.2% saved)

simplify132.0ms (0%)

Algorithm
1×egg-herbie
Counts
269 → 269
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
049364166
149364166

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

6.1b
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
3.7b
(+.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))) (log.f64 (+.f64 1 (+.f64 y (*.f64 y y)))))
1.5b
(exp.f64 (+.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))) (log.f64 (+.f64 1 (+.f64 y (*.f64 y y))))))
0.0b
(+.f64 y (*.f64 y y))
3.7b
(+.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))) (log.f64 (+.f64 1 (+.f64 y (*.f64 y y)))))
6.1b
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
12.8b
(log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))
16.7b
(log.f64 (+.f64 1 (+.f64 y (*.f64 y y))))

rewrite107.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
295×add-sqr-sqrt_binary64_9989
239×*-un-lft-identity_binary64_9967
180×times-frac_binary64_9973
165×difference-of-squares_binary64_9936
140×log-prod_binary64_10053
66×associate-+l+_binary64_9900
61×add-cube-cbrt_binary64_10002
53×distribute-lft-out--_binary64_9919
32×cube-prod_binary64_9995 unpow-prod-down_binary64_10046 sqr-pow_binary64_9939
12×associate-/r*_binary64_9911
10×add-exp-log_binary64_10005 pow1_binary64_10028
6×log-div_binary64_10054 add-cbrt-cube_binary64_10003 distribute-lft-out_binary64_9918 log-pow_binary64_10056 associate-/r/_binary64_9913
5×associate-/l*_binary64_9912
4×flip--_binary64_9942 flip3--_binary64_9971 associate-+r+_binary64_9899 add-log-exp_binary64_10006
3×flip3-+_binary64_9970 flip-+_binary64_9941 rem-log-exp_binary64_10008 div-inv_binary64_9964
2×div-exp_binary64_10018 associate-/l/_binary64_9914 associate-+r-_binary64_9901
1×cbrt-undiv_binary64_10001 associate-+l-_binary64_9902 div-sub_binary64_9972 +-commutative_binary64_9897 sum-log_binary64_10058 frac-2neg_binary64_9978 clear-num_binary64_9966
Counts
4 → 274
Calls

8 calls:

26.0ms
(+.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))) (log.f64 (+.f64 1 (+.f64 y (*.f64 y y)))))
16.0ms
(log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))
13.0ms
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
5.0ms
(log.f64 (+.f64 1 (+.f64 y (*.f64 y y))))
0.0ms
(+.f64 y (*.f64 y y))

series490.0ms (0%)

Counts
4 → 56
Calls

4 calls:

180.0ms
(+.f64 (log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))) (log.f64 (+.f64 1 (+.f64 y (*.f64 y y)))))
154.0ms
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
106.0ms
(log.f64 (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))
50.0ms
(log.f64 (+.f64 1 (+.f64 y (*.f64 y y))))
Compiler

Compiled 1850 to 1539 computations (16.8% saved)

simplify155.0ms (0%)

Algorithm
1×egg-herbie
Counts
330 → 330
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
049498873
149498873

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

2.2b
(+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))
2.2b
(/.f64 (+.f64 (pow.f64 y 3/2) (sqrt.f64 (pow.f64 x 3))) (-.f64 1 y))
0.2b
(-.f64 (sqrt.f64 (pow.f64 x 3)) (pow.f64 y 3/2))
0.0b
(*.f64 y (+.f64 x y))
2.6b
(*.f64 (/.f64 (+.f64 (pow.f64 y 3/2) (sqrt.f64 (pow.f64 x 3))) (-.f64 1 y)) (/.f64 (-.f64 (sqrt.f64 (pow.f64 x 3)) (pow.f64 y 3/2)) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))))
6.7b
(/.f64 (-.f64 (sqrt.f64 (pow.f64 x 3)) (pow.f64 y 3/2)) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y))))
19.2b
(sqrt.f64 (pow.f64 x 3))
19.2b
(sqrt.f64 (pow.f64 x 3))

rewrite143.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
252×add-sqr-sqrt_binary64_9989
142×times-frac_binary64_9973
113×difference-of-squares_binary64_9936
108×sqrt-prod_binary64_9983
106×*-un-lft-identity_binary64_9967
68×add-cube-cbrt_binary64_10002
64×unpow-prod-down_binary64_10046
63×associate-*r*_binary64_9907
60×sqr-pow_binary64_9939
30×associate-*l*_binary64_9908
29×cube-prod_binary64_9995
19×associate-/l*_binary64_9912
18×add-cbrt-cube_binary64_10003 add-exp-log_binary64_10005
11×distribute-lft-out--_binary64_9919
8×rem-sqrt-square_binary64_9980
6×distribute-lft-out_binary64_9918 pow1_binary64_10028 associate-/r/_binary64_9913
5×div-exp_binary64_10018 cbrt-undiv_binary64_10001
4×prod-exp_binary64_10016 cbrt-unprod_binary64_10000 add-log-exp_binary64_10006 unswap-sqr_binary64_9935
3×div-inv_binary64_9964 associate-/r*_binary64_9911
2×flip--_binary64_9942 flip3-+_binary64_9970 flip3--_binary64_9971 associate-/l/_binary64_9914 pow1/2_binary64_10047 flip-+_binary64_9941 cube-mult_binary64_9997 unpow3_binary64_10033 sqrt-pow1_binary64_9985
1×frac-times_binary64_9977 associate-*l/_binary64_9910 pow-prod-down_binary64_10038 div-sub_binary64_9972 associate-*r/_binary64_9909 frac-2neg_binary64_9978 clear-num_binary64_9966 *-commutative_binary64_9898
Counts
4 → 263
Calls

8 calls:

68.0ms
(*.f64 (/.f64 (+.f64 (pow.f64 y 3/2) (sqrt.f64 (pow.f64 x 3))) (-.f64 1 y)) (/.f64 (-.f64 (sqrt.f64 (pow.f64 x 3)) (pow.f64 y 3/2)) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))))
19.0ms
(/.f64 (-.f64 (sqrt.f64 (pow.f64 x 3)) (pow.f64 y 3/2)) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y))))
3.0ms
(sqrt.f64 (pow.f64 x 3))
3.0ms
(sqrt.f64 (pow.f64 x 3))
0.0ms
(*.f64 y (+.f64 x y))

series460.0ms (0%)

Counts
4 → 28
Calls

4 calls:

288.0ms
(*.f64 (/.f64 (+.f64 (pow.f64 y 3/2) (sqrt.f64 (pow.f64 x 3))) (-.f64 1 y)) (/.f64 (-.f64 (sqrt.f64 (pow.f64 x 3)) (pow.f64 y 3/2)) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y)))))
135.0ms
(/.f64 (-.f64 (sqrt.f64 (pow.f64 x 3)) (pow.f64 y 3/2)) (+.f64 (*.f64 x x) (*.f64 y (+.f64 x y))))
19.0ms
(sqrt.f64 (pow.f64 x 3))
18.0ms
(sqrt.f64 (pow.f64 x 3))
Compiler

Compiled 1717 to 1371 computations (20.2% saved)

simplify175.0ms (0%)

Algorithm
1×egg-herbie
Counts
291 → 291
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
0497412050
1497412050

prune41.9s (2.8%)

Pruning

714 alts after pruning (705 fresh and 9 done)

PrunedKeptTotal
New6883801068
Fresh36325361
Picked000
Done1910
Total7257141439
Error
0b
Counts
1439 → 714
Compiler

Compiled 42560 to 27818 computations (34.6% saved)

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite66.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
100×*-un-lft-identity_binary64_9967
88×add-sqr-sqrt_binary64_9989
74×times-frac_binary64_9973
37×add-cube-cbrt_binary64_10002
30×difference-of-squares_binary64_9936
24×distribute-lft-out--_binary64_9919 cancel-sign-sub-inv_binary64_9933
12×associate-/r*_binary64_9911
10×associate-/r/_binary64_9913
7×add-cbrt-cube_binary64_10003 add-exp-log_binary64_10005
6×flip--_binary64_9942 flip3--_binary64_9971 associate-/l*_binary64_9912
5×add-log-exp_binary64_10006 div-inv_binary64_9964
3×distribute-rgt-out--_binary64_9921 pow1_binary64_10028
2×div-exp_binary64_10018 cbrt-undiv_binary64_10001 frac-2neg_binary64_9978 clear-num_binary64_9966
1×sub-neg_binary64_9960 sub-div_binary64_9974 frac-sub_binary64_9976 diff-log_binary64_10059
Counts
3 → 135
Calls

6 calls:

40.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
6.0ms
(/.f64 x (-.f64 1 y))
6.0ms
(/.f64 y (-.f64 1 y))
0.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
0.0ms
(/.f64 y (-.f64 1 y))

series244.0ms (0%)

Counts
3 → 43
Calls

3 calls:

128.0ms
(-.f64 (/.f64 x (-.f64 1 y)) (/.f64 y (-.f64 1 y)))
78.0ms
(/.f64 x (-.f64 1 y))
38.0ms
(/.f64 y (-.f64 1 y))
Compiler

Compiled 1123 to 987 computations (12.1% saved)

simplify86.0ms (0%)

Algorithm
1×egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
051372717

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_9967
15×add-sqr-sqrt_binary64_9989 times-frac_binary64_9973
11×add-cube-cbrt_binary64_10002
5×associate-/r*_binary64_9911
4×distribute-lft-out_binary64_9918 difference-of-sqr--1_binary64_9938
3×add-cbrt-cube_binary64_10003 associate-/l*_binary64_9912 add-exp-log_binary64_10005
2×associate-/r/_binary64_9913
1×div-exp_binary64_10018 flip3-+_binary64_9970 cbrt-undiv_binary64_10001 flip-+_binary64_9941 add-log-exp_binary64_10006 div-inv_binary64_9964 pow1_binary64_10028 frac-2neg_binary64_9978 clear-num_binary64_9966
Counts
1 → 37
Calls

2 calls:

5.0ms
(/.f64 y (+.f64 y -1))
0.0ms
(/.f64 y (+.f64 y -1))

series34.0ms (0%)

Counts
1 → 12
Calls

1 calls:

34.0ms
(/.f64 y (+.f64 y -1))
Compiler

Compiled 101 to 103 computations (-2% saved)

simplify94.0ms (0%)

Algorithm
1×egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
05020630

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

9.6b
(log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))))
6.1b
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
1.5b
(exp.f64 (log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))))
0.0b
(+.f64 y (*.f64 y y))
1.5b
(exp.f64 (log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))))
6.1b
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
9.6b
(log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))))
14.2b
(*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))

rewrite119.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
208×add-sqr-sqrt_binary64_9989
161×*-un-lft-identity_binary64_9967
121×times-frac_binary64_9973
113×difference-of-squares_binary64_9936
66×associate-*r*_binary64_9907
43×add-cube-cbrt_binary64_10002
36×distribute-lft-out--_binary64_9919
22×cube-prod_binary64_9995 unpow-prod-down_binary64_10046 sqr-pow_binary64_9939
17×add-exp-log_binary64_10005
12×associate-/r*_binary64_9911 pow1_binary64_10028
11×add-cbrt-cube_binary64_10003
10×log-div_binary64_10054
6×frac-times_binary64_9977 flip3-+_binary64_9970 associate-*l/_binary64_9910 flip-+_binary64_9941
5×associate-/l*_binary64_9912 exp-diff_binary64_10015 exp-prod_binary64_10019
4×prod-exp_binary64_10016 associate-*l*_binary64_9908 add-log-exp_binary64_10006 log-pow_binary64_10056 associate-/r/_binary64_9913
3×flip--_binary64_9942 div-exp_binary64_10018 flip3--_binary64_9971 rem-log-exp_binary64_10008 pow-prod-down_binary64_10038 associate-*r/_binary64_9909
2×cbrt-undiv_binary64_10001 cbrt-unprod_binary64_10000 associate-/l/_binary64_9914 log-prod_binary64_10053 unswap-sqr_binary64_9935 div-inv_binary64_9964
1×distribute-lft-out_binary64_9918 div-sub_binary64_9972 exp-sum_binary64_10013 frac-2neg_binary64_9978 clear-num_binary64_9966 *-commutative_binary64_9898 rem-exp-log_binary64_10007
Counts
4 → 221
Calls

8 calls:

33.0ms
(*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))
24.0ms
(log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))))
20.0ms
(exp.f64 (log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))))
13.0ms
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
0.0ms
(+.f64 y (*.f64 y y))

series21.1min (85.1%)

Counts
4 → 67
Calls

4 calls:

21.1min
(exp.f64 (log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))))
595.0ms
(log.f64 (*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))))
262.0ms
(*.f64 (+.f64 1 (+.f64 y (*.f64 y y))) (/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3))))
161.0ms
(/.f64 (-.f64 x y) (-.f64 1 (pow.f64 y 3)))
Compiler

Compiled 4540 to 3615 computations (20.4% saved)

simplify135.0ms (0%)

Algorithm
1×egg-herbie
Counts
288 → 288
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
050078862

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
0.0b
(/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y))))
0.0b
(-.f64 (sqrt.f64 x) (sqrt.f64 y))
0.0b
(+.f64 (sqrt.f64 x) (sqrt.f64 y))
0.0b
(/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y))))
0.1b
(/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
0.5b
(exp.f64 (log.f64 (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y))))))
1.4b
(log.f64 (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))))

rewrite394.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
2059×*-un-lft-identity_binary64_9967
1818×times-frac_binary64_9973
1747×add-sqr-sqrt_binary64_9989
980×sqrt-prod_binary64_9983
720×difference-of-squares_binary64_9936
610×log-prod_binary64_10053
461×add-cube-cbrt_binary64_10002
362×distribute-lft-out_binary64_9918
360×distribute-lft-out--_binary64_9919
305×exp-sum_binary64_10013
69×associate-/r*_binary64_9911
37×associate-/r/_binary64_9913
20×div-inv_binary64_9964
18×flip--_binary64_9942 flip3--_binary64_9971
17×add-exp-log_binary64_10005
11×add-cbrt-cube_binary64_10003 associate-/l*_binary64_9912
7×div-exp_binary64_10018
6×pow1_binary64_10028
4×cbrt-undiv_binary64_10001 associate-/l/_binary64_9914 add-log-exp_binary64_10006 exp-prod_binary64_10019
3×rem-log-exp_binary64_10008
2×log-div_binary64_10054 frac-2neg_binary64_9978 clear-num_binary64_9966 log-pow_binary64_10056
1×flip3-+_binary64_9970 flip-+_binary64_9941 div-sub_binary64_9972 exp-diff_binary64_10015 rem-exp-log_binary64_10007
Counts
4 → 1000
Calls

8 calls:

54.0ms
(exp.f64 (log.f64 (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y))))))
38.0ms
(/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y))))
37.0ms
(log.f64 (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))))
13.0ms
(/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
0.0ms
(+.f64 (sqrt.f64 x) (sqrt.f64 y))

series465.0ms (0%)

Counts
4 → 27
Calls

4 calls:

158.0ms
(exp.f64 (log.f64 (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y))))))
127.0ms
(log.f64 (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))))
101.0ms
(/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) (/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y))))
77.0ms
(/.f64 (-.f64 1 y) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
Compiler

Compiled 1171 to 941 computations (19.6% saved)

simplify468.0ms (0%)

Algorithm
1×egg-herbie
Counts
1027 → 1027
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
0523746147

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (-.f64 1 y))
0.0b
(sqrt.f64 (-.f64 1 y))
0.0b
(/.f64 y (-.f64 1 y))
0.0b
(-.f64 (*.f64 (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))) (sqrt.f64 (-.f64 1 y))) (/.f64 (sqrt.f64 x) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))) (/.f64 y (-.f64 1 y)))
0.1b
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
0.1b
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
0.1b
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
0.1b
(*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))

rewrite52.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
83×cbrt-prod_binary64_9998
65×add-sqr-sqrt_binary64_9989
54×sqrt-prod_binary64_9983
49×*-un-lft-identity_binary64_9967
22×add-cube-cbrt_binary64_10002
18×cbrt-div_binary64_9999 sqrt-div_binary64_9984
16×swap-sqr_binary64_9934
14×difference-of-squares_binary64_9936
12×associate-*l*_binary64_9908 associate-*r*_binary64_9907
11×pow1_binary64_10028
9×flip--_binary64_9942 pow1/3_binary64_10049 flip3--_binary64_9971 unswap-sqr_binary64_9935 distribute-lft-out--_binary64_9919
6×add-exp-log_binary64_10005
4×frac-times_binary64_9977 add-cbrt-cube_binary64_10003 add-log-exp_binary64_10006
2×associate-*l/_binary64_9910 pow-prod-down_binary64_10038 associate-*r/_binary64_9909 pow-sqr_binary64_9940 pow-prod-up_binary64_10037
1×prod-exp_binary64_10016 cbrt-unprod_binary64_10000 pow2_binary64_10048 pow-plus_binary64_10030 *-commutative_binary64_9898
Counts
4 → 132
Calls

8 calls:

18.0ms
(*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))
5.0ms
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
5.0ms
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
5.0ms
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
0.0ms
(-.f64 (*.f64 (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))) (sqrt.f64 (-.f64 1 y))) (/.f64 (sqrt.f64 x) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))) (/.f64 y (-.f64 1 y)))

series200.0ms (0%)

Counts
4 → 28
Calls

4 calls:

53.0ms
(*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))
51.0ms
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
49.0ms
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
47.0ms
(cbrt.f64 (sqrt.f64 (-.f64 1 y)))
Compiler

Compiled 1446 to 1175 computations (18.7% saved)

simplify175.0ms (0%)

Algorithm
1×egg-herbie
Counts
160 → 160
Iterations

Useful iterations: 0 (143.0ms)

IterNodesCost
047792517
147792517

prune1.5min (6.1%)

Pruning

1029 alts after pruning (1016 fresh and 13 done)

PrunedKeptTotal
New13323701702
Fresh54646700
Picked000
Done11314
Total138710292416
Error
0b
Counts
2416 → 1029
Compiler

Compiled 21602 to 10991 computations (49.1% saved)

simplify1.3s (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
0537981835

regimes20.0s (1.3%)

Compiler

Compiled 149603 to 104301 computations (30.3% saved)

bsearch0.0ms (0%)

regimes205.0ms (0%)

Compiler

Compiled 1212 to 1127 computations (7% saved)

bsearch0.0ms (0%)

regimes105.0ms (0%)

Compiler

Compiled 136 to 158 computations (-16.2% saved)

bsearch30.0ms (0%)

Steps
ItersRangePoint
10
2.4498655926303103e-21
5.15074072913521e-10
3.7476872875962806e-10
10
-1.1881312592850184e-08
-6.602263434618478e-25
-5.4283417043510584e-15
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes87.0ms (0%)

Compiler

Compiled 60 to 80 computations (-33.3% saved)

bsearch20.0ms (0%)

Steps
ItersRangePoint
5
498626.87326010165
1515539.963841338
1439687.566772544
9
-5205010281439594.0
-19146775365.61733
-37137942247331.36
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes91.0ms (0%)

Compiler

Compiled 50 to 70 computations (-40% saved)

bsearch27.0ms (0%)

Steps
ItersRangePoint
9
0.34947430509176775
498626.87326010165
1.0198125341557973
9
-23252.174194113235
-0.0612122209588408
-0.3120786135764127
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes83.0ms (0%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 40 to 62 computations (-55% saved)

bsearch31.0ms (0%)

Steps
ItersRangePoint
9
0.34947430509176775
498626.87326010165
1.0198125341557973
9
-23252.174194113235
-0.0612122209588408
-0.7010450088530445
Compiler

Compiled 84 to 72 computations (14.3% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
072112
172112

end0.0ms (0%)

sample48.7s (3.3%)

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

Compiled 49944 to 34838 computations (30.2% saved)

Pareto

0.21768022665874692

Profiling

Loading profile data...