Details

Time bar (total: 15.2s)

analyze11.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%50%0%4
50%50%0%5
81.2%18.7%0%6
100%0%0%7

sample40.0ms

Algorithm
intervals
Results
29.0ms256×body80valid

simplify157.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (138.0ms)

IterNodesCost
05179106

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 31.1b

Counts
2 → 2

localize44.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
0.2b
(*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
16.6b
(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)
30.6b
(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))))

rewrite870.0ms

Algorithm
rewrite-expression-head
Rules
293×add-cbrt-cube_binary64_1779 add-exp-log_binary64_1771
288×pow1_binary64_1749
238×cbrt-unprod_binary64_1776 prod-exp_binary64_1754
237×pow-prod-down_binary64_1730
27×add-sqr-sqrt_binary64_1792
22×*-un-lft-identity_binary64_1807 add-cube-cbrt_binary64_1778
21×associate-*l*_binary64_1867
19×times-frac_binary64_1802
5×associate-*r*_binary64_1866
4×associate-/r/_binary64_1872 add-log-exp_binary64_1772
3×associate-/l*_binary64_1871 *-commutative_binary64_1875 associate-/r*_binary64_1870 flip-+_binary64_1832 flip3-+_binary64_1805
2×unswap-sqr_binary64_1835 cbrt-undiv_binary64_1777 associate-/l/_binary64_1873 div-exp_binary64_1756 div-inv_binary64_1808
1×frac-2neg_binary64_1800 associate-*l/_binary64_1869 clear-num_binary64_1810
Counts
4 → 227
Calls
4 calls:
217.0ms
(*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
217.0ms
(*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
96.0ms
(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)
115.0ms
(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))))

series2.2s

Counts
4 → 12
Calls
4 calls:
150.0ms
(*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
149.0ms
(*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
1.5s
(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)
417.0ms
(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
035443045
135443045
035443045
135443045
013
113
0154283096
1154283096
0154283096
1154283096
013
113
017861419
117861419
017861419
117861419
013
113
017861419
117861419
017861419
117861419
013
113

simplify209.0ms

Counts
239 → 239
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
0556714133

prune717.0ms

Filtered
90 candidates to 239 candidates (-165.6%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2354239
Fresh101
Picked101
Done000
Total2374241

Merged error: 29.3b

Counts
241 → 4

localize57.0ms

Local error

Found 4 expressions with local error:

16.6b
(sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))
16.6b
(*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))) x)
30.6b
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))
30.6b
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))

rewrite291.0ms

Algorithm
rewrite-expression-head
Rules
90×*-un-lft-identity_binary64_1807
49×times-frac_binary64_1802
38×add-sqr-sqrt_binary64_1792
34×add-cube-cbrt_binary64_1778
28×distribute-lft-out_binary64_1851
22×sqrt-prod_binary64_1786
13×add-cbrt-cube_binary64_1779 add-exp-log_binary64_1771
10×pow1_binary64_1749
8×associate-/l*_binary64_1871 associate-/r*_binary64_1870
6×associate-/r/_binary64_1872
5×sqrt-div_binary64_1787 flip-+_binary64_1832 flip3-+_binary64_1805
4×associate-/l/_binary64_1873 associate-*l/_binary64_1869 add-log-exp_binary64_1772
3×cbrt-unprod_binary64_1776 div-inv_binary64_1808 pow-prod-down_binary64_1730 associate-*r*_binary64_1866 prod-exp_binary64_1754
2×cbrt-undiv_binary64_1777 div-exp_binary64_1756 rem-sqrt-square_binary64_1795 frac-2neg_binary64_1800 clear-num_binary64_1810
1×unswap-sqr_binary64_1835 frac-times_binary64_1799 pow1/2_binary64_1739 associate-*l*_binary64_1867 *-commutative_binary64_1875 associate-*r/_binary64_1868 sqrt-pow1_binary64_1788
Counts
4 → 136
Calls
4 calls:
55.0ms
(sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))
111.0ms
(*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))) x)
63.0ms
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))
57.0ms
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
394.0ms
(sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))
517.0ms
(*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (sqrt.f64 (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))) x)
356.0ms
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))
362.0ms
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
030203492
130203492
030203492
130203492
013
113
030203492
130203492
030203492
130203492
013
113
035023588
135023588
035023588
135023588
013
113
032263510
132263510
032263510
132263510
013
113

simplify235.0ms

Counts
148 → 148
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
0498821216
1498821216

prune1.8s

Filtered
99 candidates to 148 candidates (-49.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1480148
Fresh033
Picked011
Done000
Total1484152

Merged error: 29.3b

Counts
152 → 4

localize57.0ms

Local error

Found 4 expressions with local error:

2.3b
(sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))
16.6b
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))) x)
25.6b
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))
27.8b
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))))

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity_binary64_1807
101×add-sqr-sqrt_binary64_1792
99×times-frac_binary64_1802
63×sqrt-prod_binary64_1786
60×add-exp-log_binary64_1771
54×add-cube-cbrt_binary64_1778
37×associate-*r*_binary64_1866
36×add-cbrt-cube_binary64_1779
28×associate-*l*_binary64_1867 distribute-lft-out_binary64_1851
25×prod-exp_binary64_1754
17×div-exp_binary64_1756
15×unswap-sqr_binary64_1835
13×cbrt-unprod_binary64_1776
12×pow1_binary64_1749
9×cbrt-undiv_binary64_1777
8×sqrt-div_binary64_1787
7×associate-/r*_binary64_1870
6×associate-/r/_binary64_1872
5×associate-*l/_binary64_1869 flip-+_binary64_1832 flip3-+_binary64_1805
4×rec-exp_binary64_1755 associate-/l*_binary64_1871 1-exp_binary64_1767 pow-prod-down_binary64_1730 add-log-exp_binary64_1772
3×div-inv_binary64_1808
2×frac-times_binary64_1799 associate-/l/_binary64_1873 *-commutative_binary64_1875 associate-*r/_binary64_1868
1×pow1/2_binary64_1739 rem-sqrt-square_binary64_1795 frac-2neg_binary64_1800 clear-num_binary64_1810 sqrt-pow1_binary64_1788
Counts
4 → 202
Calls
4 calls:
31.0ms
(sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))
90.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))) x)
62.0ms
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))
110.0ms
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
304.0ms
(sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))
490.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))) x)
357.0ms
(/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))
465.0ms
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))) (/.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 3782789308857969/36028797018963968 (*.f64 (*.f64 x x) 763919671262763/18014398509481984))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 8375303961237363/1152921504606846976) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 583843369866023/1152921504606846976)) (*.f64 (*.f64 x (pow.f64 (pow.f64 x 3) 3)) 825478423409049/4611686018427387904))))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3)))))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
032864449
132864449
032864449
132864449
013
113
031763510
131763510
031763510
131763510
013
113
033524500
133524500
033524500
133524500
013
113
026732748
126732748
026732748
126732748
013
113

simplify381.0ms

Counts
214 → 214
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
0526433165

prune1.6s

Filtered
114 candidates to 214 candidates (-87.7%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2140214
Fresh022
Picked011
Done011
Total2144218

Merged error: 29.3b

Counts
218 → 4

localize53.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (*.f64 x x) 2620859570069187/9007199254740992)
0.1b
(*.f64 3782789308857969/36028797018963968 (*.f64 x x))
0.2b
(*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
30.6b
(*.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (/.f64 x (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
160×add-cbrt-cube_binary64_1779 add-exp-log_binary64_1771
157×pow1_binary64_1749
126×cbrt-unprod_binary64_1776 prod-exp_binary64_1754
125×pow-prod-down_binary64_1730
23×add-sqr-sqrt_binary64_1792 associate-*r*_binary64_1866
22×*-un-lft-identity_binary64_1807
16×add-cube-cbrt_binary64_1778
13×times-frac_binary64_1802
10×associate-*l*_binary64_1867
4×unswap-sqr_binary64_1835 *-commutative_binary64_1875 add-log-exp_binary64_1772
3×distribute-lft-out_binary64_1851 flip-+_binary64_1832 flip3-+_binary64_1805
2×frac-times_binary64_1799 associate-/r/_binary64_1872 associate-*l/_binary64_1869
1×cbrt-undiv_binary64_1777 div-exp_binary64_1756 div-inv_binary64_1808 associate-*r/_binary64_1868
Counts
4 → 160
Calls
4 calls:
7.0ms
(*.f64 (*.f64 x x) 2620859570069187/9007199254740992)
7.0ms
(*.f64 3782789308857969/36028797018963968 (*.f64 x x))
213.0ms
(*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
83.0ms
(*.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (/.f64 x (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))

series950.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(*.f64 (*.f64 x x) 2620859570069187/9007199254740992)
68.0ms
(*.f64 3782789308857969/36028797018963968 (*.f64 x x))
147.0ms
(*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
665.0ms
(*.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (/.f64 x (+.f64 1 (+.f64 (*.f64 (*.f64 x x) (+.f64 1737369620307813/2251799813685248 (*.f64 (*.f64 x x) 2620859570069187/9007199254740992))) (+.f64 (+.f64 (*.f64 2502400853142105/36028797018963968 (pow.f64 (*.f64 x x) 3)) (*.f64 (pow.f64 (*.f64 x x) 3) (*.f64 (*.f64 x x) 2017691060547333/144115188075855872))) (+.f64 (*.f64 7681173503746455/9223372036854775808 (*.f64 x (pow.f64 (pow.f64 x 3) 3))) (*.f64 825478423409049/2305843009213693952 (pow.f64 (*.f64 x (pow.f64 x 3)) 3))))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
045893279
145893279
045893279
145893279
013
113
017861419
117861419
017861419
117861419
013
113
04091389
14091389
04091389
14091389
013
113
04091389
14091389
04091389
14091389
013
113

simplify178.0ms

Counts
172 → 172
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
050926694

prune462.0ms

Filtered
76 candidates to 172 candidates (-126.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1720172
Fresh011
Picked011
Done022
Total1724176

Merged error: 29.3b

Counts
176 → 4

regimes53.0ms

Accuracy

0% (1.6b remaining)

Error of 29.3b against oracle of 27.7b and baseline of 29.3b

bsearch0.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
079299
179299

end0.0ms

sample1.0s

Algorithm
intervals
Results
915.0ms8000×body80valid

Profiling

Loading profile data...