Details

Time bar (total: 59.5s)

analyze9.0ms (0%)

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

Compiled 8 to 8 computations (0% saved)

sample16.0ms (0%)

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

Compiled 51 to 43 computations (15.7% saved)

simplify174.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (69.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)))

rewrite71.0ms (0.1%)

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:

22.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)))
11.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
5.0ms
(*.f64 11/2 (pow.f64 y 8))
0.0ms
(*.f64 11/2 (pow.f64 y 8))

series451.0ms (0.8%)

Counts
4 → 30
Calls

4 calls:

157.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)))
144.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
108.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)))
42.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 1565 to 1294 computations (17.3% saved)

simplify97.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049703699
149703699

prune388.0ms (0.7%)

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

localize3.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize19.0ms (0%)

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 (*.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))))
9.0ms
(+.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))

series306.0ms (0.5%)

Counts
4 → 18
Calls

4 calls:

169.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))))
55.0ms
(+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2))
42.0ms
(*.f64 1335/4 (pow.f64 y 6))
39.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 958 to 793 computations (17.2% saved)

simplify71.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049772395
149772395

localize27.0ms (0%)

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.1%)

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:

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))))
22.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)))
11.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
5.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)))

series464.0ms (0.8%)

Counts
4 → 30
Calls

4 calls:

153.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
148.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))))
113.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)))
49.0ms
(*.f64 1335/4 (pow.f64 y 6))
Compiler

Compiled 1691 to 1399 computations (17.3% saved)

simplify94.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049473692
149473692

localize40.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)))

rewrite130.0ms (0.2%)

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:

54.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)))
46.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)))
5.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)))

series513.0ms (0.9%)

Counts
4 → 24
Calls

4 calls:

236.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)))
170.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)))
58.0ms
(pow.f64 (pow.f64 y 6) 3)
49.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 1538 to 1246 computations (19% saved)

simplify89.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
050545150

prune1.9s (3.2%)

Pruning

114 alts after pruning (109 fresh and 5 done)

PrunedKeptTotal
New23581316
Fresh92837
Picked000
Done156
Total245114359
Error
57.1b
Counts
359 → 114
Compiler

Compiled 20758 to 15543 computations (25.1% saved)

localize38.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))

rewrite64.0ms (0.1%)

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)))

series765.0ms (1.3%)

Counts
4 → 22
Calls

4 calls:

397.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)
73.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
63.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 4816 to 3638 computations (24.5% saved)

simplify103.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049413505
149413505

localize3.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)

simplify55.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04943273
14943273

localize32.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)))

rewrite80.0ms (0.1%)

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:

26.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)))
21.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)))
12.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)))

series418.0ms (0.7%)

Counts
4 → 27
Calls

4 calls:

162.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)))
110.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)))
93.0ms
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
52.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 1484 to 1234 computations (16.8% saved)

simplify60.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
052913998

localize32.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))))

rewrite73.0ms (0.1%)

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)))
23.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))))
12.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))))

series450.0ms (0.8%)

Counts
3 → 27
Calls

3 calls:

171.0ms
(-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
164.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))))
115.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)

simplify78.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (46.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))))

rewrite124.0ms (0.2%)

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:

55.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))))
52.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)))

series467.0ms (0.8%)

Counts
4 → 18
Calls

4 calls:

276.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))))
191.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)

simplify65.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050674920

prune4.6s (7.8%)

Pruning

211 alts after pruning (202 fresh and 9 done)

PrunedKeptTotal
New278110388
Fresh1292104
Picked000
Done1910
Total291211502
Error
57.1b
Counts
502 → 211
Compiler

Compiled 37477 to 27955 computations (25.4% saved)

localize43.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))

rewrite86.0ms (0.1%)

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:

25.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)))

series676.0ms (1.1%)

Counts
4 → 17
Calls

4 calls:

438.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)
78.0ms
(*.f64 11/2 (pow.f64 y 8))
72.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 4920 to 3598 computations (26.9% saved)

simplify51.0ms (0.1%)

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 11/2 (pow.f64 y 8))
1.0b
(*.f64 11/2 (pow.f64 y 8))

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64
7×associate-*r*_binary64
6×add-exp-log_binary64
4×*-un-lft-identity_binary64 add-cube-cbrt_binary64 unpow-prod-down_binary64
3×add-cbrt-cube_binary64 associate-*l*_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:

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

series39.0ms (0.1%)

Counts
1 → 3
Calls

1 calls:

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

Compiled 42 to 48 computations (-14.3% saved)

simplify72.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05009266

localize30.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))))

rewrite94.0ms (0.2%)

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:

30.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)))
25.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))))
12.0ms
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
12.0ms
(pow.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) 3)
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)))

series526.0ms (0.9%)

Counts
4 → 33
Calls

4 calls:

161.0ms
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
157.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))))
114.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)

simplify105.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049374192
149374192

localize35.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 (*.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 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
1.0b
(*.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 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 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 121/4 (pow.f64 y 16)))

rewrite84.0ms (0.1%)

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

8 calls:

29.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 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 11/2 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
13.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 121/4 (pow.f64 y 16)))
12.0ms
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
6.0ms
(*.f64 11/2 (pow.f64 y 8))
0.0ms
(*.f64 11/2 (pow.f64 y 8))

series832.0ms (1.4%)

Counts
4 → 24
Calls

4 calls:

479.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 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 11/2 (pow.f64 y 8)))) (/.f64 x (*.f64 2 y)))
195.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 121/4 (pow.f64 y 16)))
98.0ms
(-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
60.0ms
(*.f64 11/2 (pow.f64 y 8))
Compiler

Compiled 3085 to 2352 computations (23.8% saved)

simplify93.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050685500

localize39.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))

rewrite86.0ms (0.1%)

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:

30.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))
9.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))

series886.0ms (1.5%)

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))
233.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))
165.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)
80.0ms
(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
Compiler

Compiled 5516 to 4204 computations (23.8% saved)

simplify104.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
050576389

prune6.5s (10.9%)

Pruning

316 alts after pruning (302 fresh and 14 done)

PrunedKeptTotal
New341118459
Fresh13184197
Picked000
Done01414
Total354316670
Error
57.1b
Counts
670 → 316
Compiler

Compiled 32349 to 23077 computations (28.7% saved)

simplify906.0ms (1.5%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
0509073264

regimes4.1s (6.9%)

Compiler

Compiled 74154 to 55886 computations (24.6% saved)

bsearch0.0ms (0%)

regimes9.0ms (0%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (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 (0.0ms)

IterNodesCost
043
143

end0.0ms (0%)

sample31.4s (52.8%)

Algorithm
1×intervals
Results
149.0ms8000×pre128true
62.0ms8000×body128valid
Compiler

Compiled 37092 to 27976 computations (24.6% saved)

Pareto

0

Profiling

Loading profile data...