Details

Time bar (total: 30.8s)

analyze215.0ms (0.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 8 to 8 computations (0% saved)

sample16.0ms (0.1%)

Algorithm
1×intervals
Results
5.0ms256×pre128true
2.0ms256×body128valid
Compiler

Compiled 51 to 43 computations (15.7% saved)

simplify169.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
0491564
1491564

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
58.1b
Counts
2 → 1
Compiler

Compiled 43 to 33 computations (23.3% saved)

localize37.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(*.f64 1335/4 (pow.f64 y 6))
1.0b
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 11/2 (pow.f64 y 8))
62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))

rewrite72.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
20×add-log-exp_binary64
14×add-sqr-sqrt_binary64
11×*-un-lft-identity_binary64
9×add-cube-cbrt_binary64 add-exp-log_binary64 sum-log_binary64
7×associate-*r*_binary64 cancel-sign-sub-inv_binary64 unpow-prod-down_binary64
6×add-cbrt-cube_binary64
4×pow1_binary64
3×flip3-+_binary64 sqr-pow_binary64 associate-*l*_binary64 unswap-sqr_binary64 prod-exp_binary64 flip-+_binary64
2×frac-add_binary64 associate-+l+_binary64 +-commutative_binary64
1×pow-to-exp_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 flip--_binary64 pow-exp_binary64 *-commutative_binary64
Counts
4 → 73
Calls

8 calls:

23.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
19.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
12.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
6.0ms
(*.f64 11/2 (pow.f64 y 8))
0.0ms
(*.f64 11/2 (pow.f64 y 8))

series454.0ms (1.5%)

Counts
4 → 30
Calls

4 calls:

155.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
145.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
107.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
46.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 1565 to 1294 computations (17.3% saved)

simplify96.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049703699
149703699

prune374.0ms (1.2%)

Pruning

43 alts after pruning (42 fresh and 1 done)

PrunedKeptTotal
New6142103
Fresh000
Picked000
Done011
Total6143104
Error
57.1b
Counts
104 → 43
Compiler

Compiled 6141 to 4480 computations (27% saved)

localize7.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize5.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

21.6b
(-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 11/2 (pow.f64 y 8))) (*.f64 (*.f64 x x) (+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))))
1.0b
(*.f64 1335/4 (pow.f64 y 6))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))
1.0b
(*.f64 1335/4 (pow.f64 y 6))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))
21.6b
(-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 11/2 (pow.f64 y 8))) (*.f64 (*.f64 x x) (+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))))

rewrite42.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
14×add-log-exp_binary64 associate-*r*_binary64 add-exp-log_binary64
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64
8×add-cbrt-cube_binary64 unpow-prod-down_binary64
6×associate-*l*_binary64 unswap-sqr_binary64 prod-exp_binary64
5×flip3-+_binary64 flip-+_binary64
4×pow1_binary64 associate-*r/_binary64 sqr-pow_binary64 frac-sub_binary64 sum-log_binary64
2×pow-to-exp_binary64 associate--r+_binary64 diff-log_binary64 cbrt-unprod_binary64 pow-exp_binary64 *-commutative_binary64
1×sub-neg_binary64 flip3--_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 cancel-sign-sub-inv_binary64 +-commutative_binary64 flip--_binary64 associate-+r+_binary64 associate--l+_binary64
Counts
4 → 83
Calls

8 calls:

10.0ms
(+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))
10.0ms
(-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 11/2 (pow.f64 y 8))) (*.f64 (*.f64 x x) (+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))))
6.0ms
(*.f64 1335/4 (pow.f64 y 6))
6.0ms
(*.f64 11/2 (pow.f64 y 8))
0.0ms
(+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))

series302.0ms (1%)

Counts
4 → 18
Calls

4 calls:

168.0ms
(-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 11/2 (pow.f64 y 8))) (*.f64 (*.f64 x x) (+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))))
49.0ms
(+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))
42.0ms
(*.f64 1335/4 (pow.f64 y 6))
42.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 958 to 793 computations (17.2% saved)

simplify70.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049772395
149772395

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))
1.0b
(*.f64 1335/4 (pow.f64 y 6))
1.0b
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 1335/4 (pow.f64 y 6))
1.0b
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))

rewrite75.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
20×add-log-exp_binary64
14×add-sqr-sqrt_binary64
11×*-un-lft-identity_binary64
9×add-cube-cbrt_binary64 add-exp-log_binary64 sum-log_binary64
7×associate-*r*_binary64 cancel-sign-sub-inv_binary64 unpow-prod-down_binary64
6×add-cbrt-cube_binary64
4×pow1_binary64
3×flip3-+_binary64 sqr-pow_binary64 associate-*l*_binary64 unswap-sqr_binary64 prod-exp_binary64 flip-+_binary64
2×frac-add_binary64 associate-+l+_binary64 +-commutative_binary64
1×pow-to-exp_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 flip--_binary64 pow-exp_binary64 *-commutative_binary64
Counts
4 → 73
Calls

8 calls:

23.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
22.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))
11.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
6.0ms
(*.f64 1335/4 (pow.f64 y 6))
0.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))

series468.0ms (1.5%)

Counts
4 → 30
Calls

4 calls:

156.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
151.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))
111.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
50.0ms
(*.f64 1335/4 (pow.f64 y 6))
Compiler

Compiled 1691 to 1399 computations (17.3% saved)

simplify95.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049473692
149473692

localize41.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))
1.0b
(pow.f64 (pow.f64 y 6) 3)
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(pow.f64 (pow.f64 y 6) 3)
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 11/2 (pow.f64 y 8))
62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))

rewrite135.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
18×add-log-exp_binary64
17×unpow-prod-down_binary64 add-sqr-sqrt_binary64
14×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
11×add-exp-log_binary64
9×sum-log_binary64
7×associate-*r*_binary64 add-cbrt-cube_binary64 cube-prod_binary64
5×sqr-pow_binary64 pow-exp_binary64
4×pow1_binary64
3×pow-to-exp_binary64 flip3-+_binary64 pow-unpow_binary64 associate-*l*_binary64 unswap-sqr_binary64 prod-exp_binary64 flip-+_binary64
2×frac-add_binary64 associate-+l+_binary64 +-commutative_binary64
1×cbrt-unprod_binary64 distribute-lft-out_binary64 pow-pow_binary64 rem-cube-cbrt_binary64 unpow3_binary64 *-commutative_binary64 cube-mult_binary64
Counts
4 → 88
Calls

8 calls:

58.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
49.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
6.0ms
(*.f64 11/2 (pow.f64 y 8))
4.0ms
(pow.f64 (pow.f64 y 6) 3)
0.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))

series515.0ms (1.7%)

Counts
4 → 24
Calls

4 calls:

235.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
164.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
64.0ms
(pow.f64 (pow.f64 y 6) 3)
52.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 1538 to 1246 computations (19% saved)

simplify87.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
050545150

prune1.8s (5.9%)

Pruning

114 alts after pruning (109 fresh and 5 done)

PrunedKeptTotal
New23383316
Fresh112637
Picked000
Done156
Total245114359
Error
57.1b
Counts
359 → 114
Compiler

Compiled 20758 to 15544 computations (25.1% saved)

localize37.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(+.f64 (/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)) (+.f64 (*.f64 121/4 (pow.f64 y 16)) (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.6b
(pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3)
1.6b
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
62.3b
(+.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))

rewrite60.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
16×add-exp-log_binary64 add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64
11×add-cube-cbrt_binary64
10×add-cbrt-cube_binary64
8×unpow-prod-down_binary64
7×associate-*r*_binary64 pow-exp_binary64
6×pow-unpow_binary64 add-log-exp_binary64 pow1_binary64 prod-exp_binary64
4×pow-to-exp_binary64 sqr-pow_binary64 cube-prod_binary64
3×associate-*l*_binary64 unswap-sqr_binary64 rem-cube-cbrt_binary64
2×flip3-+_binary64 cbrt-unprod_binary64 pow-pow_binary64 cube-div_binary64 flip-+_binary64 unpow3_binary64 cube-mult_binary64
1×distribute-lft-out_binary64 sum-cubes_binary64 +-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 86
Calls

8 calls:

15.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
6.0ms
(pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3)
6.0ms
(*.f64 11/2 (pow.f64 y 8))
5.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
0.0ms
(+.f64 (/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)) (+.f64 (*.f64 121/4 (pow.f64 y 16)) (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))))) (/.f64 x (*.f64 2 y)))

series769.0ms (2.5%)

Counts
4 → 22
Calls

4 calls:

399.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
232.0ms
(pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3)
74.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
64.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 4816 to 3638 computations (24.5% saved)

simplify104.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049413505
149413505

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

1.0b
(*.f64 (pow.f64 y 8) 11/2)
1.0b
(*.f64 (pow.f64 y 8) 11/2)

rewrite7.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64
7×associate-*l*_binary64
6×add-exp-log_binary64
4×*-un-lft-identity_binary64 add-cube-cbrt_binary64 unpow-prod-down_binary64
3×associate-*r*_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64 prod-exp_binary64
2×sqr-pow_binary64
1×pow-to-exp_binary64 add-log-exp_binary64 pow1_binary64 cbrt-unprod_binary64 pow-exp_binary64 *-commutative_binary64
Counts
1 → 25
Calls

2 calls:

5.0ms
(*.f64 (pow.f64 y 8) 11/2)
0.0ms
(*.f64 (pow.f64 y 8) 11/2)

series38.0ms (0.1%)

Counts
1 → 3
Calls

1 calls:

38.0ms
(*.f64 (pow.f64 y 8) 11/2)
Compiler

Compiled 30 to 36 computations (-20% saved)

simplify56.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04943273
14943273

localize34.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(*.f64 1335/4 (pow.f64 y 6))
1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
1.6b
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))

rewrite85.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
18×add-log-exp_binary64
15×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64
10×add-cube-cbrt_binary64 add-exp-log_binary64
9×sum-log_binary64
7×associate-*r*_binary64 add-cbrt-cube_binary64 unpow-prod-down_binary64
5×pow1_binary64
3×flip3-+_binary64 pow-unpow_binary64 sqr-pow_binary64 associate-*l*_binary64 unswap-sqr_binary64 prod-exp_binary64 cube-prod_binary64 flip-+_binary64
2×pow-to-exp_binary64 frac-add_binary64 associate-+l+_binary64 cube-div_binary64 +-commutative_binary64 pow-exp_binary64
1×flip3--_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 pow-pow_binary64 rem-cube-cbrt_binary64 flip--_binary64 unpow3_binary64 *-commutative_binary64 cube-mult_binary64
Counts
4 → 80
Calls

8 calls:

27.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
22.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
13.0ms
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
6.0ms
(*.f64 11/2 (pow.f64 y 8))
0.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))

series399.0ms (1.3%)

Counts
4 → 27
Calls

4 calls:

153.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
106.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
94.0ms
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
45.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 1484 to 1234 computations (16.8% saved)

simplify61.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
052913998

localize33.0ms (0.1%)

Local error

Found 6 expressions with local error:

62.0b
(+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))
1.0b
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
1.0b
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
62.0b
(+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))

rewrite75.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
19×add-log-exp_binary64
9×sum-log_binary64
7×*-un-lft-identity_binary64 cancel-sign-sub-inv_binary64
5×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
3×flip3-+_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 unpow-prod-down_binary64 flip-+_binary64
2×frac-add_binary64 associate-+l+_binary64 +-commutative_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 distribute-lft-out_binary64 sqr-pow_binary64 flip--_binary64
Counts
3 → 48
Calls

6 calls:

28.0ms
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
25.0ms
(+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))
11.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
0.0ms
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
0.0ms
(+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))

series442.0ms (1.4%)

Counts
3 → 27
Calls

3 calls:

165.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
163.0ms
(+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8))))
114.0ms
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 1335/4 (sqrt.f64 (pow.f64 y 6))) (sqrt.f64 (pow.f64 y 6))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 11/2 (sqrt.f64 (pow.f64 y 8))) (sqrt.f64 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
Compiler

Compiled 1487 to 1246 computations (16.2% saved)

simplify74.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049503427
149503427

localize45.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(cbrt.f64 11/2)
1.0b
(cbrt.f64 11/2)
1.0b
(cbrt.f64 11/2)
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2)))) (/.f64 x (*.f64 2 y)))
1.0b
(cbrt.f64 11/2)
1.0b
(cbrt.f64 11/2)
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2)))) (/.f64 x (*.f64 2 y)))
62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2))))

rewrite130.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
18×add-log-exp_binary64
9×sum-log_binary64
8×*-un-lft-identity_binary64
6×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 cbrt-prod_binary64
4×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×flip3-+_binary64 flip-+_binary64
2×pow1/3_binary64 frac-add_binary64 associate-+l+_binary64 +-commutative_binary64
1×distribute-lft-out_binary64
Counts
4 → 52
Calls

8 calls:

58.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2))))
57.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2)))) (/.f64 x (*.f64 2 y)))
1.0ms
(cbrt.f64 11/2)
1.0ms
(cbrt.f64 11/2)
0.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2)))) (/.f64 x (*.f64 2 y)))

series453.0ms (1.5%)

Counts
4 → 18
Calls

4 calls:

266.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2))))
187.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 121 (*.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (pow.f64 y 12) (*.f64 (*.f64 x (*.f64 x 11)) (pow.f64 y 8))))) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (cbrt.f64 11/2) (cbrt.f64 11/2)) (*.f64 (pow.f64 y 8) (cbrt.f64 11/2)))) (/.f64 x (*.f64 2 y)))
0.0ms
(cbrt.f64 11/2)
0.0ms
(cbrt.f64 11/2)
Compiler

Compiled 743 to 643 computations (13.5% saved)

simplify63.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
050674920

prune4.5s (14.5%)

Pruning

211 alts after pruning (202 fresh and 9 done)

PrunedKeptTotal
New281107388
Fresh995104
Picked000
Done1910
Total291211502
Error
57.1b
Counts
502 → 211
Compiler

Compiled 37477 to 27956 computations (25.4% saved)

localize44.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(*.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))))
1.0b
(+.f64 (/.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)) (+.f64 (*.f64 121/4 (pow.f64 y 16)) (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))))) (/.f64 x (*.f64 2 y)))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.6b
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
62.3b
(+.f64 (*.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))

rewrite84.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
20×add-exp-log_binary64
14×associate-*r*_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-cbrt-cube_binary64
9×unpow-prod-down_binary64 prod-exp_binary64
7×pow-exp_binary64
6×add-log-exp_binary64 associate-*l*_binary64 unswap-sqr_binary64
5×pow1_binary64 sqr-pow_binary64
4×pow-to-exp_binary64
3×pow-unpow_binary64 cbrt-unprod_binary64
2×associate-+l+_binary64 rem-cube-cbrt_binary64 *-commutative_binary64
1×flip3-+_binary64 pow-pow_binary64 sum-cubes_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 pow3_binary64 cube-prod_binary64 +-commutative_binary64 flip-+_binary64 unpow3_binary64 sum-log_binary64 cube-mult_binary64
Counts
4 → 87
Calls

8 calls:

27.0ms
(+.f64 (*.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
6.0ms
(*.f64 11/2 (pow.f64 y 8))
6.0ms
(*.f64 11/2 (pow.f64 y 8))
5.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
0.0ms
(+.f64 (/.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)) (+.f64 (*.f64 121/4 (pow.f64 y 16)) (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))))) (/.f64 x (*.f64 2 y)))

series666.0ms (2.2%)

Counts
4 → 17
Calls

4 calls:

435.0ms
(+.f64 (*.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
87.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
75.0ms
(*.f64 11/2 (pow.f64 y 8))
69.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 4920 to 3598 computations (26.9% saved)

simplify52.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
049362213
149362213

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

1.0b
(*.f64 (pow.f64 y 8) 11/2)
1.0b
(*.f64 (pow.f64 y 8) 11/2)

rewrite7.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64
7×associate-*l*_binary64
6×add-exp-log_binary64
4×*-un-lft-identity_binary64 add-cube-cbrt_binary64 unpow-prod-down_binary64
3×associate-*r*_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64 prod-exp_binary64
2×sqr-pow_binary64
1×pow-to-exp_binary64 add-log-exp_binary64 pow1_binary64 cbrt-unprod_binary64 pow-exp_binary64 *-commutative_binary64
Counts
1 → 25
Calls

2 calls:

5.0ms
(*.f64 (pow.f64 y 8) 11/2)
0.0ms
(*.f64 (pow.f64 y 8) 11/2)

series36.0ms (0.1%)

Counts
1 → 3
Calls

1 calls:

36.0ms
(*.f64 (pow.f64 y 8) 11/2)
Compiler

Compiled 42 to 48 computations (-14.3% saved)

simplify59.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04943273
14943273

localize31.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.6b
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
1.0b
(*.f64 1335/4 (pow.f64 y 6))
1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2)))) (/.f64 x (*.f64 2 y)))
1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2)))) (/.f64 x (*.f64 2 y)))
1.6b
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2))))

rewrite93.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
20×add-log-exp_binary64
11×*-un-lft-identity_binary64
9×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 sum-log_binary64
7×cancel-sign-sub-inv_binary64
6×unpow-prod-down_binary64
5×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×flip3-+_binary64 pow-unpow_binary64 cube-prod_binary64 flip-+_binary64
2×flip3--_binary64 frac-add_binary64 associate-+l+_binary64 sqr-pow_binary64 cube-div_binary64 +-commutative_binary64 flip--_binary64
1×pow-to-exp_binary64 sub-neg_binary64 diff-log_binary64 distribute-lft-out_binary64 pow-pow_binary64 rem-cube-cbrt_binary64 pow-exp_binary64 unpow3_binary64 cube-mult_binary64
Counts
4 → 73
Calls

8 calls:

31.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2)))) (/.f64 x (*.f64 2 y)))
23.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2))))
13.0ms
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
12.0ms
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
0.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2)))) (/.f64 x (*.f64 2 y)))

series496.0ms (1.6%)

Counts
4 → 33
Calls

4 calls:

149.0ms
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
144.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2))))
109.0ms
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 (*.f64 (pow.f64 y 4) 11/2) (pow.f64 y (/.f64 8 2)))) (/.f64 x (*.f64 2 y)))
94.0ms
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
Compiler

Compiled 2024 to 1696 computations (16.2% saved)

simplify104.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049374192
149374192

localize33.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))))
1.6b
(+.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
62.2b
(+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4))

rewrite105.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
17×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64
11×add-exp-log_binary64
9×times-frac_binary64
8×add-log-exp_binary64 add-cbrt-cube_binary64
7×associate-*r*_binary64
4×pow1_binary64 unpow-prod-down_binary64
3×flip3-+_binary64 associate-/r*_binary64 associate-*l*_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-/l*_binary64 flip-+_binary64
2×associate-/l/_binary64 associate-+l+_binary64 sqr-pow_binary64 associate-/r/_binary64 +-commutative_binary64 sum-log_binary64
1×pow-to-exp_binary64 flip3--_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 frac-add_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64 pow-exp_binary64 *-commutative_binary64
Counts
4 → 82
Calls

8 calls:

32.0ms
(+.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
24.0ms
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))))
14.0ms
(+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4))
6.0ms
(*.f64 11/2 (pow.f64 y 8))
0.0ms
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))))

series1.6s (5.1%)

Counts
4 → 27
Calls

4 calls:

844.0ms
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))))
468.0ms
(+.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4)) (-.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
190.0ms
(+.f64 (*.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)))) (*.f64 (pow.f64 y 16) -121/4))
57.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 3024 to 2421 computations (19.9% saved)

simplify125.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049839067
149839067

localize44.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.0b
(*.f64 11/2 (pow.f64 y 8))
1.6b
(pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3)
1.6b
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
61.4b
(cbrt.f64 (pow.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) 3))
62.3b
(+.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) 3)) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))

rewrite89.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
30×cbrt-prod_binary64
22×unpow-prod-down_binary64 cube-prod_binary64
17×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
11×add-exp-log_binary64
8×add-cbrt-cube_binary64
6×pow-unpow_binary64 add-log-exp_binary64 pow1_binary64 cube-div_binary64 pow-exp_binary64
5×sqr-pow_binary64 unpow3_binary64 cube-mult_binary64
3×pow-to-exp_binary64 flip3-+_binary64 rem-cube-cbrt_binary64 prod-exp_binary64 flip-+_binary64
2×cbrt-div_binary64 pow-pow_binary64
1×rem-cbrt-cube_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 pow1/3_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 101
Calls

8 calls:

27.0ms
(+.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) 3)) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
17.0ms
(cbrt.f64 (pow.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) 3))
7.0ms
(pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3)
5.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
0.0ms
(*.f64 11/2 (pow.f64 y 8))

series879.0ms (2.9%)

Counts
4 → 25
Calls

4 calls:

408.0ms
(+.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) 3)) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
237.0ms
(cbrt.f64 (pow.f64 (pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3) 3))
160.0ms
(pow.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 3)
74.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
Compiler

Compiled 5516 to 4204 computations (23.8% saved)

simplify101.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050576389

prune7.3s (23.6%)

Pruning

328 alts after pruning (314 fresh and 14 done)

PrunedKeptTotal
New346127473
Fresh10187197
Picked000
Done01414
Total356328684
Error
57.1b
Counts
684 → 328
Compiler

Compiled 34472 to 24656 computations (28.5% saved)

simplify884.0ms (2.9%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
0500875831

regimes4.3s (14%)

Compiler

Compiled 77440 to 58402 computations (24.6% saved)

bsearch0.0ms (0%)

regimes9.0ms (0%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 9 computations (-200% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
043
143

end0.0ms (0%)

sample1.1s (3.6%)

Algorithm
1×intervals
Results
146.0ms8000×pre128true
69.0ms8000×body128valid
Compiler

Compiled 38732 to 29225 computations (24.5% saved)

Profiling

Loading profile data...