Details

Time bar (total: 2.5min)

analyze2.2s (1.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05931314
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%6
31.2%68.7%0.1%7
34.3%65.6%0.1%8
37.5%59.3%3.2%9
42.9%53.5%3.6%10
44.5%50%5.6%11
47.8%45.8%6.4%12
48.7%43.7%7.6%13
50.5%41.3%8.2%14
Compiler

Compiled 128 to 81 computations (36.7% saved)

sample138.0ms (0.1%)

Algorithm
1×intervals
Results
47.0ms219×body128valid
40.0ms167×body128invalid
14.0ms14×body1024valid
10.0ms16×body512valid
3.0ms7×body256valid
Compiler

Compiled 255 to 163 computations (36.1% saved)

simplify51.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05174157

prune11.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.4b
Counts
2 → 1
Compiler

Compiled 210 to 130 computations (38.1% saved)

localize44.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 x1 x1) -6)
0.3b
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))
2.2b
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6))
3.0b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)

rewrite718.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.3b
Rules
33×add-sqr-sqrt_binary64
24×*-un-lft-identity_binary64
22×associate-*l*_binary64
17×times-frac_binary64
16×add-cube-cbrt_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64
11×pow1_binary64
8×add-log-exp_binary64
6×associate-*r*_binary64
5×difference-of-squares_binary64 prod-exp_binary64 cbrt-unprod_binary64
4×distribute-lft-out--_binary64 flip3-+_binary64 flip-+_binary64 pow-prod-down_binary64
3×cancel-sign-sub-inv_binary64 unswap-sqr_binary64
2×distribute-rgt-in_binary64 associate-+l+_binary64 distribute-lft-in_binary64 frac-times_binary64 associate-*r/_binary64 associate-/r/_binary64 *-commutative_binary64
1×diff-log_binary64 flip3--_binary64 sub-neg_binary64 flip--_binary64 div-sub_binary64 associate--l-_binary64 sum-log_binary64 +-commutative_binary64 div-exp_binary64 cbrt-undiv_binary64 associate-*l/_binary64 div-inv_binary64
Counts
4 → 96
Calls

4 calls:

45.0ms
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))
39.0ms
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6))
20.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
6.0ms
(*.f64 (*.f64 x1 x1) -6)
Compiler

Compiled 12480 to 7365 computations (41% saved)

series3.3s (2.2%)

Error
0.4b
Counts
4 → 55
Calls

4 calls:

1.6s
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6))
1.0s
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))
352.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
40.0ms
(*.f64 (*.f64 x1 x1) -6)
Compiler

Compiled 14897 to 10379 computations (30.3% saved)

simplify91.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
049729234
149729234

prune1.1s (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1438151
Fresh000
Picked101
Done000
Total1448152
Error
0.3b
Counts
152 → 8
Compiler

Compiled 18874 to 11096 computations (41.2% saved)

localize41.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b
(+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6))) x1)))
0.3b
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))
2.2b
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6)))
3.0b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)

rewrite1.7s (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
48×associate-*r/_binary64
32×frac-add_binary64
31×add-sqr-sqrt_binary64 flip3-+_binary64 flip-+_binary64
23×*-un-lft-identity_binary64
21×associate-*l*_binary64
17×times-frac_binary64
15×add-cube-cbrt_binary64
14×frac-times_binary64
10×add-log-exp_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
7×associate-*l/_binary64
6×pow1_binary64
5×difference-of-squares_binary64
4×distribute-lft-out--_binary64 distribute-rgt-in_binary64 associate-+l+_binary64 distribute-lft-in_binary64
3×cancel-sign-sub-inv_binary64 associate-*r*_binary64
2×sum-log_binary64 +-commutative_binary64 prod-exp_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 associate-/r/_binary64 associate-+r+_binary64
1×diff-log_binary64 flip3--_binary64 sub-neg_binary64 flip--_binary64 div-sub_binary64 associate--l-_binary64 pow-prod-down_binary64 div-exp_binary64 cbrt-undiv_binary64 div-inv_binary64 *-commutative_binary64
Counts
4 → 116
Calls

4 calls:

73.0ms
(+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6))) x1)))
45.0ms
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6)))
41.0ms
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))
19.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
Compiler

Compiled 23757 to 14080 computations (40.7% saved)

series6.9s (4.6%)

Error
0.2b
Counts
4 → 73
Calls

4 calls:

3.5s
(+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6))) x1)))
1.6s
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6)))
1.0s
(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))
311.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
Compiler

Compiled 19257 to 14171 computations (26.4% saved)

simplify229.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0537229895

prune2.1s (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1818189
Fresh437
Picked101
Done000
Total18611197
Error
0.1b
Counts
197 → 11
Compiler

Compiled 31807 to 18647 computations (41.4% saved)

localize47.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 3 (*.f64 x1 x1))
0.2b
(*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3))) (+.f64 (*.f64 x1 x1) 1)))
2.2b
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 x1 (*.f64 x1 -6)))
3.0b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3)

rewrite679.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
27×add-sqr-sqrt_binary64
18×*-un-lft-identity_binary64
16×associate-*r*_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64
11×pow1_binary64 times-frac_binary64
8×add-log-exp_binary64 associate-*l*_binary64
5×prod-exp_binary64 cbrt-unprod_binary64
4×pow-prod-down_binary64
3×flip3--_binary64 flip--_binary64 difference-of-squares_binary64 cancel-sign-sub-inv_binary64 unswap-sqr_binary64
2×distribute-lft-out--_binary64 flip3-+_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 associate-/r/_binary64 *-commutative_binary64
1×diff-log_binary64 sub-neg_binary64 div-sub_binary64 associate--l-_binary64 sum-log_binary64 +-commutative_binary64 div-exp_binary64 cbrt-undiv_binary64 associate-*r/_binary64 div-inv_binary64
Counts
4 → 88
Calls

4 calls:

22.0ms
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 x1 (*.f64 x1 -6)))
22.0ms
(*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3))) (+.f64 (*.f64 x1 x1) 1)))
18.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
6.0ms
(*.f64 3 (*.f64 x1 x1))
Compiler

Compiled 11464 to 6850 computations (40.2% saved)

series3.3s (2.2%)

Error
0.1b
Counts
4 → 55
Calls

4 calls:

1.6s
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 x1 (*.f64 x1 -6)))
988.0ms
(*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3))) (+.f64 (*.f64 x1 x1) 1)))
324.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 2 x2) (*.f64 3 (*.f64 x1 x1))) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
41.0ms
(*.f64 3 (*.f64 x1 x1))
Compiler

Compiled 14835 to 10449 computations (29.6% saved)

simplify108.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049398606
149398606

prune1.1s (0.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1430143
Fresh01010
Picked011
Done000
Total14311154
Error
0.1b
Counts
154 → 11
Compiler

Compiled 18639 to 11068 computations (40.6% saved)

localize61.0ms (0%)

Local error

Found 4 expressions with local error:

3.0b
(-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3)
3.0b
(-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3)
3.0b
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
5.0b
(+.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (cbrt.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (cbrt.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (cbrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6))

rewrite760.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
22×add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64
12×add-log-exp_binary64
9×cancel-sign-sub-inv_binary64
7×add-cube-cbrt_binary64
6×difference-of-squares_binary64
4×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×diff-log_binary64 flip3--_binary64 sub-neg_binary64 flip--_binary64 times-frac_binary64 distribute-lft-out--_binary64 div-sub_binary64 associate--l-_binary64
2×associate-+r-_binary64
1×sum-log_binary64 flip3-+_binary64 flip-+_binary64 +-commutative_binary64
Counts
4 → 65
Calls

4 calls:

65.0ms
(+.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (cbrt.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (cbrt.f64 (+.f64 (*.f64 x1 (*.f64 x1 4)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (cbrt.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))) (*.f64 (*.f64 x1 x1) -6))
27.0ms
(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)
20.0ms
(-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3)
20.0ms
(-.f64 (/.f64 (+.f64 (*.f64 2 x2) (-.f64 (*.f64 3 (*.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3)
Compiler

Compiled 12999 to 7603 computations (41.5% saved)

series2.1min (83.6%)

Compiler

Compiled 4556 to 3788 computations (16.9% saved)

Profiling

Loading profile data...