Details

Time bar (total: 3.9min)

analyze262.0ms (0.1%)

Algorithm
1×search
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
0%99.9%0.1%5
12.5%87.4%0.1%6
28.1%71.8%0.1%7
42.1%57.7%0.1%8
43.7%56.2%0.1%9
64.4%35.5%0.1%10
71.6%28.3%0.1%11
72.2%27.7%0.1%12
81.6%18.2%0.2%13
84.9%14.9%0.2%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample17.0ms (0%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
0.0ms6×body128invalid
Compiler

Compiled 25 to 20 computations (20% saved)

simplify249.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (153.0ms)

IterNodesCost
0494216
1494216

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.8b
Counts
2 → 2
Compiler

Compiled 11 to 9 computations (18.2% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

16.2b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
0.0b
(*.f64 (+.f64 t1 u) (+.f64 t1 u))
0.0b
(*.f64 (+.f64 t1 u) (+.f64 t1 u))
16.2b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))

rewrite29.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×*-un-lft-identity_binary64_78
16×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
12×flip-+_binary64_52 flip3-+_binary64_81
9×pow1_binary64_139
8×add-sqr-sqrt_binary64_100 frac-times_binary64_88 associate-/r/_binary64_24
6×add-cube-cbrt_binary64_113 swap-sqr_binary64_45 distribute-lft-out_binary64_29
5×cbrt-unprod_binary64_111 prod-exp_binary64_127
4×associate-*l*_binary64_19 cbrt-undiv_binary64_112 div-exp_binary64_129 associate-*r*_binary64_18 associate-*l/_binary64_21 associate-*r/_binary64_20
2×add-log-exp_binary64_117
1×pow2_binary64_159 distribute-lft-in_binary64_27 *-commutative_binary64_9 pow-sqr_binary64_51 distribute-rgt-in_binary64_28 frac-2neg_binary64_89 times-frac_binary64_84 div-inv_binary64_75 distribute-lft-neg-out_binary64_37 associate-/l*_binary64_23 pow-prod-up_binary64_148 associate-/r*_binary64_22 pow-prod-down_binary64_149 unswap-sqr_binary64_46 distribute-frac-neg_binary64_41 clear-num_binary64_77 pow-plus_binary64_141
Counts
2 → 70
Calls

4 calls:

13.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
10.0ms
(*.f64 (+.f64 t1 u) (+.f64 t1 u))
0.0ms
(*.f64 (+.f64 t1 u) (+.f64 t1 u))
0.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))

series276.0ms (0.1%)

Counts
2 → 36
Calls

2 calls:

187.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
88.0ms
(*.f64 (+.f64 t1 u) (+.f64 t1 u))
Compiler

Compiled 770 to 657 computations (14.7% saved)

simplify83.0ms (0%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049561669
149561669

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

1.7b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
0.0b
(/.f64 v (+.f64 t1 u))
0.0b
(/.f64 v (+.f64 t1 u))
1.7b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

rewrite43.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
223×times-frac_binary64_84
181×add-sqr-sqrt_binary64_100
174×*-un-lft-identity_binary64_78
86×add-cube-cbrt_binary64_113
38×difference-of-squares_binary64_47
25×distribute-lft-out_binary64_29
21×associate-/l*_binary64_23
19×distribute-lft-out--_binary64_30
18×associate-/r/_binary64_24
10×associate-/r*_binary64_22
9×add-cbrt-cube_binary64_114 div-inv_binary64_75 add-exp-log_binary64_116
8×flip-+_binary64_52 flip3-+_binary64_81
4×cbrt-undiv_binary64_112 div-exp_binary64_129
2×add-log-exp_binary64_117 frac-2neg_binary64_89 clear-num_binary64_77 pow1_binary64_139
1×flip3--_binary64_82 flip--_binary64_53 associate-/l/_binary64_25
Counts
2 → 182
Calls

4 calls:

17.0ms
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
5.0ms
(/.f64 v (+.f64 t1 u))
0.0ms
(/.f64 v (+.f64 t1 u))
0.0ms
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

series277.0ms (0.1%)

Counts
2 → 36
Calls

2 calls:

184.0ms
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
92.0ms
(/.f64 v (+.f64 t1 u))
Compiler

Compiled 824 to 668 computations (18.9% saved)

simplify95.0ms (0%)

Algorithm
1×egg-herbie
Counts
218 → 218
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050536245

prune2.1s (0.9%)

Pruning

145 alts after pruning (143 fresh and 2 done)

PrunedKeptTotal
New181143324
Fresh000
Picked000
Done022
Total181145326
Error
0b
Counts
326 → 145
Compiler

Compiled 7633 to 3555 computations (53.4% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
0.2b
(/.f64 (cbrt.f64 v) (+.f64 t1 u))
0.2b
(*.f64 (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
0.1b
(/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
1.3b
(/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

rewrite55.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
22×add-sqr-sqrt_binary64_100
18×cbrt-div_binary64_110 cbrt-prod_binary64_109
16×add-exp-log_binary64_116
13×*-un-lft-identity_binary64_78
9×flip3--_binary64_82 flip--_binary64_53
8×add-cbrt-cube_binary64_114 associate-/r/_binary64_24
7×add-cube-cbrt_binary64_113
6×difference-of-squares_binary64_47
4×add-log-exp_binary64_117 cbrt-unprod_binary64_111 cbrt-undiv_binary64_112 prod-exp_binary64_127 div-exp_binary64_129 times-frac_binary64_84 frac-times_binary64_88 pow1_binary64_139
3×distribute-lft-out--_binary64_30 pow1/3_binary64_160
2×associate-*l/_binary64_21 associate-*r/_binary64_20
1×frac-2neg_binary64_89 div-inv_binary64_75 associate-/l*_binary64_23 associate-/r*_binary64_22 clear-num_binary64_77
Counts
4 → 77
Calls

8 calls:

22.0ms
(/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
8.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
0.0ms
(/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))

series1.0s (0.4%)

Counts
4 → 63
Calls

4 calls:

538.0ms
(/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
165.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
154.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
154.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
Compiler

Compiled 4047 to 3089 computations (23.7% saved)

simplify94.0ms (0%)

Algorithm
1×egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049813343
149813343

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

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

4.1b
(+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1))))
3.3b
(*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1))
0.1b
(pow.f64 (/.f64 u t1) 3)
0.1b
(*.f64 u (/.f64 u t1))
5.4b
(*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u))
7.1b
(/.f64 v (*.f64 t1 t1))
11.2b
(/.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))) (-.f64 -1 (/.f64 u t1)))
12.3b
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))

rewrite97.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
54×add-sqr-sqrt_binary64_100
49×*-un-lft-identity_binary64_78
36×times-frac_binary64_84
30×frac-sub_binary64_87
25×add-cube-cbrt_binary64_113
24×frac-times_binary64_88 associate-*r/_binary64_20
20×add-cbrt-cube_binary64_114 cube-div_binary64_107 add-exp-log_binary64_116
19×associate-/l/_binary64_25
17×frac-add_binary64_86 flip3--_binary64_82 flip--_binary64_53 associate-*l/_binary64_21
13×cancel-sign-sub-inv_binary64_44
10×difference-of-squares_binary64_47
8×distribute-lft-in_binary64_27 distribute-rgt-in_binary64_28 associate--l+_binary64_15
7×associate-*l*_binary64_19 associate-/l*_binary64_23 associate-/r*_binary64_22 distribute-lft-out_binary64_29
6×add-log-exp_binary64_117 pow1_binary64_139
5×cbrt-unprod_binary64_111 cbrt-undiv_binary64_112 prod-exp_binary64_127 div-exp_binary64_129 distribute-lft-out--_binary64_30 sub-neg_binary64_71
3×div-inv_binary64_75 associate-*r*_binary64_18
2×frac-2neg_binary64_89 unswap-sqr_binary64_46 associate-/r/_binary64_24 clear-num_binary64_77
1×*-commutative_binary64_9 associate-+r-_binary64_12 flip-+_binary64_52 diff-log_binary64_170 pow-prod-down_binary64_149 div-sub_binary64_83 flip3-+_binary64_81
Counts
4 → 164
Calls

8 calls:

32.0ms
(/.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))) (-.f64 -1 (/.f64 u t1)))
16.0ms
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
14.0ms
(*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u))
8.0ms
(/.f64 v (*.f64 t1 t1))
0.0ms
(*.f64 u (/.f64 u t1))

series1.3s (0.5%)

Counts
4 → 57
Calls

4 calls:

466.0ms
(/.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))) (-.f64 -1 (/.f64 u t1)))
432.0ms
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
287.0ms
(*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u))
67.0ms
(/.f64 v (*.f64 t1 t1))
Compiler

Compiled 2529 to 1791 computations (29.2% saved)

simplify111.0ms (0%)

Algorithm
1×egg-herbie
Counts
221 → 221
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049948585
149948585

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

22.7b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3))
16.2b
(/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2))
0.2b
(pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3)
0.0b
(pow.f64 (+.f64 t1 u) 2)
0.0b
(pow.f64 (+.f64 t1 u) 2)
0.2b
(pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3)
16.2b
(/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2))
22.7b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3))

rewrite50.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
54×unpow-prod-down_binary64_157
45×times-frac_binary64_84
38×*-un-lft-identity_binary64_78
32×add-exp-log_binary64_116 cbrt-prod_binary64_109
26×cube-prod_binary64_106
24×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113
15×add-cbrt-cube_binary64_114
12×pow-exp_binary64_146 div-exp_binary64_129
9×sqr-pow_binary64_50 associate-/r*_binary64_22
7×unpow2_binary64_143 distribute-lft-out_binary64_29
6×pow-to-exp_binary64_147 prod-exp_binary64_127 pow-unpow_binary64_155 pow1_binary64_139
5×div-inv_binary64_75
4×add-log-exp_binary64_117 cbrt-undiv_binary64_112
3×rem-cube-cbrt_binary64_101
2×cube-mult_binary64_108 cbrt-unprod_binary64_111 cube-div_binary64_107 distribute-lft-neg-out_binary64_37 pow-pow_binary64_150 distribute-frac-neg_binary64_41 unpow3_binary64_144
1×cbrt-div_binary64_110 rem-cbrt-cube_binary64_102 pow1/3_binary64_160 frac-2neg_binary64_89 cube-neg_binary64_105 associate-/l*_binary64_23 clear-num_binary64_77
Counts
4 → 152
Calls

8 calls:

12.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2))
10.0ms
(pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3)
8.0ms
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3))
5.0ms
(pow.f64 (+.f64 t1 u) 2)
0.0ms
(pow.f64 (+.f64 t1 u) 2)

series813.0ms (0.3%)

Counts
4 → 66
Calls

4 calls:

306.0ms
(pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3)
229.0ms
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2)) 3))
189.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (pow.f64 (+.f64 t1 u) 2))
89.0ms
(pow.f64 (+.f64 t1 u) 2)
Compiler

Compiled 2009 to 1766 computations (12.1% saved)

simplify74.0ms (0%)

Algorithm
1×egg-herbie
Counts
218 → 218
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050034124

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b
(/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (sqrt.f64 v) (cbrt.f64 (+.f64 t1 u))))
0.2b
(/.f64 (sqrt.f64 v) (cbrt.f64 (+.f64 t1 u)))
0.1b
(/.f64 (sqrt.f64 v) (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u))))
0.1b
(/.f64 (/.f64 (sqrt.f64 v) (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (sqrt.f64 v) (cbrt.f64 (+.f64 t1 u)))))
0.5b
(*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))
0.5b
(cbrt.f64 (+.f64 t1 u))
0.5b
(cbrt.f64 (+.f64 t1 u))
0.5b
(cbrt.f64 (+.f64 t1 u))

rewrite34.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
36×cbrt-prod_binary64_109
35×*-un-lft-identity_binary64_78
23×add-sqr-sqrt_binary64_100
18×cbrt-div_binary64_110
15×add-cube-cbrt_binary64_113
11×pow1_binary64_139
9×flip-+_binary64_52 swap-sqr_binary64_45 pow1/3_binary64_160 distribute-lft-out_binary64_29 flip3-+_binary64_81
7×associate-*l*_binary64_19 associate-*r*_binary64_18
6×add-exp-log_binary64_116
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 frac-times_binary64_88 unswap-sqr_binary64_46
2×pow-sqr_binary64_51 pow-prod-up_binary64_148 associate-*l/_binary64_21 pow-prod-down_binary64_149 associate-*r/_binary64_20
1×pow2_binary64_159 *-commutative_binary64_9 cbrt-unprod_binary64_111 prod-exp_binary64_127 pow-plus_binary64_141
Counts
4 → 95
Calls

8 calls:

12.0ms
(*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))
3.0ms
(cbrt.f64 (+.f64 t1 u))
3.0ms
(cbrt.f64 (+.f64 t1 u))
3.0ms
(cbrt.f64 (+.f64 t1 u))
0.0ms
(/.f64 (sqrt.f64 v) (cbrt.f64 (+.f64 t1 u)))

series509.0ms (0.2%)

Counts
4 → 60
Calls

4 calls:

154.0ms
(*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))
120.0ms
(cbrt.f64 (+.f64 t1 u))
119.0ms
(cbrt.f64 (+.f64 t1 u))
117.0ms
(cbrt.f64 (+.f64 t1 u))
Compiler

Compiled 3012 to 2241 computations (25.6% saved)

simplify83.0ms (0%)

Algorithm
1×egg-herbie
Counts
155 → 155
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
049052586
149052586

prune17.8s (7.6%)

Pruning

411 alts after pruning (405 fresh and 6 done)

PrunedKeptTotal
New458276734
Fresh9129138
Picked000
Done167
Total468411879
Error
0b
Counts
879 → 411
Compiler

Compiled 30438 to 14305 computations (53% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 (/.f64 (cbrt.f64 v) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))) (/.f64 (cbrt.f64 v) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
0.2b
(/.f64 (cbrt.f64 v) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
0.2b
(/.f64 (cbrt.f64 v) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
0.1b
(/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
0.5b
(cbrt.f64 v)
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

rewrite30.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64_100
21×cbrt-prod_binary64_109
14×*-un-lft-identity_binary64_78
8×add-cube-cbrt_binary64_113
6×cbrt-div_binary64_110 difference-of-squares_binary64_47
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 pow1/3_binary64_160 add-exp-log_binary64_116 pow1_binary64_139
3×distribute-lft-out--_binary64_30 flip3--_binary64_82 times-frac_binary64_84 flip--_binary64_53
Counts
4 → 59
Calls

8 calls:

7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
1.0ms
(cbrt.f64 v)
0.0ms
(/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))

series530.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

154.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
154.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
145.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
77.0ms
(cbrt.f64 v)
Compiler

Compiled 3154 to 2305 computations (26.9% saved)

simplify97.0ms (0%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
049371950
149371950

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

22.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 t1 t1))
22.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 t1 t1))

rewrite9.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
4×cbrt-unprod_binary64_111 cbrt-undiv_binary64_112 prod-exp_binary64_127 div-exp_binary64_129
1×add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 add-cube-cbrt_binary64_113 frac-2neg_binary64_89 times-frac_binary64_84 div-inv_binary64_75 distribute-lft-neg-out_binary64_37 associate-/l*_binary64_23 associate-/r*_binary64_22 distribute-frac-neg_binary64_41 clear-num_binary64_77 *-un-lft-identity_binary64_78 pow1_binary64_139
Counts
1 → 22
Calls

2 calls:

7.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 t1 t1))
0.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 t1 t1))

series55.0ms (0%)

Counts
1 → 6
Calls

1 calls:

55.0ms
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 t1 t1))
Compiler

Compiled 60 to 72 computations (-20% saved)

simplify46.0ms (0%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05021213

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

3.3b
(*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1))
0.5b
(*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))
0.1b
(pow.f64 (/.f64 u t1) 3)
0.1b
(*.f64 u (/.f64 u t1))
10.1b
(*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u)))
11.2b
(/.f64 (+.f64 (/.f64 v t1) (-.f64 (/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))) (-.f64 -1 (/.f64 u t1)))
12.3b
(-.f64 (/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
22.0b
(/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u))

rewrite303.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
56×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
49×add-sqr-sqrt_binary64_100
48×*-un-lft-identity_binary64_78
35×times-frac_binary64_84
24×add-cube-cbrt_binary64_113
22×cbrt-unprod_binary64_111 prod-exp_binary64_127
16×distribute-lft-in_binary64_27 cbrt-undiv_binary64_112 div-exp_binary64_129 distribute-rgt-in_binary64_28
14×associate-*r/_binary64_20
13×cancel-sign-sub-inv_binary64_44
12×associate-/l/_binary64_25
10×difference-of-squares_binary64_47
9×associate-/r*_binary64_22 pow1_binary64_139
7×associate-*l*_binary64_19 flip3--_binary64_82 flip--_binary64_53 distribute-lft-out_binary64_29
6×add-log-exp_binary64_117 frac-sub_binary64_87 frac-times_binary64_88
5×frac-add_binary64_86 distribute-lft-out--_binary64_30 associate-/l*_binary64_23 sub-neg_binary64_71
4×cube-div_binary64_107 associate-*l/_binary64_21 associate-/r/_binary64_24
3×div-inv_binary64_75 pow-prod-down_binary64_149
2×flip-+_binary64_52 frac-2neg_binary64_89 clear-num_binary64_77 flip3-+_binary64_81
1×*-commutative_binary64_9 associate-+r-_binary64_12 diff-log_binary64_170 associate-*r*_binary64_18 div-sub_binary64_83
Counts
4 → 160
Calls

8 calls:

77.0ms
(/.f64 (+.f64 (/.f64 v t1) (-.f64 (/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))) (-.f64 -1 (/.f64 u t1)))
68.0ms
(-.f64 (/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
66.0ms
(/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u))
57.0ms
(*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u)))
0.0ms
(*.f64 u (/.f64 u t1))

series2.6s (1.1%)

Counts
4 → 66
Calls

4 calls:

794.0ms
(-.f64 (/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
731.0ms
(/.f64 (+.f64 (/.f64 v t1) (-.f64 (/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))) (-.f64 -1 (/.f64 u t1)))
605.0ms
(/.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u))) (+.f64 (*.f64 u (/.f64 u t1)) u))
471.0ms
(*.f64 (/.f64 v (*.f64 t1 t1)) (*.f64 u (-.f64 (/.f64 (/.f64 (pow.f64 u 3) t1) t1) u)))
Compiler

Compiled 3499 to 2423 computations (30.8% saved)

simplify136.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
226 → 226
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
0507611069

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(pow.f64 (/.f64 u t1) 3)
0.1b
(*.f64 u (/.f64 u t1))
0.1b
(*.f64 u (/.f64 u t1))
0.1b
(/.f64 (sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1))))) (/.f64 (-.f64 -1 (/.f64 u t1)) (sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))))
11.5b
(sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))
11.5b
(sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))
12.3b
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
12.3b
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))

rewrite116.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
60×frac-sub_binary64_87
44×frac-times_binary64_88 associate-*r/_binary64_20
40×cube-div_binary64_107
38×sqrt-div_binary64_95
34×frac-add_binary64_86
32×associate-*l/_binary64_21
28×flip3--_binary64_82 flip--_binary64_53
16×associate--l+_binary64_15
14×cancel-sign-sub-inv_binary64_44 *-un-lft-identity_binary64_78
12×add-sqr-sqrt_binary64_100
10×add-cube-cbrt_binary64_113
8×sqrt-prod_binary64_94 distribute-lft-in_binary64_27 add-log-exp_binary64_117 distribute-rgt-in_binary64_28
6×sub-neg_binary64_71 pow1_binary64_139
4×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
2×sqrt-pow1_binary64_96 flip-+_binary64_52 rem-sqrt-square_binary64_91 diff-log_binary64_170 distribute-lft-out_binary64_29 pow1/2_binary64_158 flip3-+_binary64_81
Counts
4 → 136
Calls

8 calls:

28.0ms
(sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))
22.0ms
(sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))
16.0ms
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
16.0ms
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
0.0ms
(/.f64 (sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1))))) (/.f64 (-.f64 -1 (/.f64 u t1)) (sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))))

series1.4s (0.6%)

Counts
4 → 56
Calls

4 calls:

456.0ms
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
443.0ms
(-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))
255.0ms
(sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))
252.0ms
(sqrt.f64 (+.f64 (/.f64 v t1) (-.f64 (*.f64 (/.f64 v (*.f64 t1 t1)) (-.f64 (*.f64 u (/.f64 u t1)) u)) (*.f64 (pow.f64 (/.f64 u t1) 3) (/.f64 v t1)))))
Compiler

Compiled 6012 to 3738 computations (37.8% saved)

simplify125.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
0522710966

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (sqrt.f64 (+.f64 t1 u)))
0.0b
(/.f64 (/.f64 (cbrt.f64 v) (sqrt.f64 (+.f64 t1 u))) (sqrt.f64 (-.f64 -1 (/.f64 u t1))))
0.0b
(/.f64 (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (sqrt.f64 (+.f64 t1 u))) (sqrt.f64 (-.f64 -1 (/.f64 u t1))))
0.0b
(*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (sqrt.f64 (+.f64 t1 u))) (sqrt.f64 (-.f64 -1 (/.f64 u t1)))) (/.f64 (/.f64 (cbrt.f64 v) (sqrt.f64 (+.f64 t1 u))) (sqrt.f64 (-.f64 -1 (/.f64 u t1)))))
0.5b
(cbrt.f64 v)
0.5b
(cbrt.f64 v)
3.5b
(sqrt.f64 (-.f64 -1 (/.f64 u t1)))
3.5b
(sqrt.f64 (-.f64 -1 (/.f64 u t1)))

rewrite23.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_100
12×sqrt-prod_binary64_94 *-un-lft-identity_binary64_78
8×add-cube-cbrt_binary64_113
6×cbrt-prod_binary64_109 pow1_binary64_139
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 add-exp-log_binary64_116 sqrt-div_binary64_95 difference-of-squares_binary64_47
2×sqrt-pow1_binary64_96 rem-sqrt-square_binary64_91 distribute-lft-out--_binary64_30 flip3--_binary64_82 pow1/3_binary64_160 times-frac_binary64_84 flip--_binary64_53 pow1/2_binary64_158
Counts
4 → 58
Calls

8 calls:

7.0ms
(sqrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(sqrt.f64 (-.f64 -1 (/.f64 u t1)))
1.0ms
(cbrt.f64 v)
1.0ms
(cbrt.f64 v)
0.0ms
(*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (sqrt.f64 (+.f64 t1 u))) (sqrt.f64 (-.f64 -1 (/.f64 u t1)))) (/.f64 (/.f64 (cbrt.f64 v) (sqrt.f64 (+.f64 t1 u))) (sqrt.f64 (-.f64 -1 (/.f64 u t1)))))

series249.0ms (0.1%)

Counts
4 → 18
Calls

4 calls:

84.0ms
(cbrt.f64 v)
78.0ms
(cbrt.f64 v)
46.0ms
(sqrt.f64 (-.f64 -1 (/.f64 u t1)))
41.0ms
(sqrt.f64 (-.f64 -1 (/.f64 u t1)))
Compiler

Compiled 1238 to 800 computations (35.4% saved)

simplify68.0ms (0%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04999742
14999742

prune38.4s (16.4%)

Pruning

595 alts after pruning (584 fresh and 11 done)

PrunedKeptTotal
New429200629
Fresh16384400
Picked000
Done01111
Total4455951040
Error
0b
Counts
1040 → 595
Compiler

Compiled 51807 to 23548 computations (54.5% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 (/.f64 (cbrt.f64 v) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))) (/.f64 (cbrt.f64 v) (pow.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) 1))) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
0.2b
(/.f64 (cbrt.f64 v) (pow.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) 1))
0.2b
(/.f64 (cbrt.f64 v) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
0.1b
(/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
0.5b
(cbrt.f64 v)
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

rewrite31.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64_100
21×cbrt-prod_binary64_109
14×*-un-lft-identity_binary64_78
8×add-cube-cbrt_binary64_113
6×cbrt-div_binary64_110 difference-of-squares_binary64_47
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 pow1/3_binary64_160 add-exp-log_binary64_116 pow1_binary64_139
3×distribute-lft-out--_binary64_30 flip3--_binary64_82 times-frac_binary64_84 flip--_binary64_53
Counts
4 → 59
Calls

8 calls:

9.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
1.0ms
(cbrt.f64 v)
0.0ms
(/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))

series562.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

162.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
157.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
155.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
87.0ms
(cbrt.f64 v)
Compiler

Compiled 3280 to 2431 computations (25.9% saved)

simplify96.0ms (0%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
049371950
149371950

localize4.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b
(cbrt.f64 (+.f64 t1 u))
0.5b
(*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))
0.3b
(/.f64 (/.f64 v (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (cbrt.f64 (+.f64 t1 u)))
0.3b
(/.f64 v (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u))))
0.5b
(cbrt.f64 (+.f64 t1 u))
0.5b
(cbrt.f64 (+.f64 t1 u))
0.5b
(cbrt.f64 (+.f64 t1 u))
1.7b
(/.f64 (/.f64 (/.f64 v (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

rewrite285.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
1660×times-frac_binary64_84
994×add-sqr-sqrt_binary64_100
874×*-un-lft-identity_binary64_78
608×cbrt-div_binary64_110
434×add-cube-cbrt_binary64_113
432×cbrt-prod_binary64_109
408×associate-/r/_binary64_24
304×flip-+_binary64_52 flip3-+_binary64_81
224×difference-of-squares_binary64_47
196×frac-times_binary64_88
112×distribute-lft-out--_binary64_30
111×associate-/l*_binary64_23
108×distribute-lft-out_binary64_29
98×associate-*l/_binary64_21 associate-*r/_binary64_20
57×div-inv_binary64_75
18×add-exp-log_binary64_116
13×add-cbrt-cube_binary64_114
9×cbrt-undiv_binary64_112 div-exp_binary64_129
6×associate-/r*_binary64_22
4×add-log-exp_binary64_117 pow1_binary64_139
3×pow1/3_binary64_160
1×cbrt-unprod_binary64_111 prod-exp_binary64_127 flip3--_binary64_82 frac-2neg_binary64_89 flip--_binary64_53 clear-num_binary64_77 associate-/l/_binary64_25
Counts
4 → 846
Calls

8 calls:

59.0ms
(/.f64 (/.f64 (/.f64 v (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))
3.0ms
(cbrt.f64 (+.f64 t1 u))
3.0ms
(cbrt.f64 (+.f64 t1 u))
3.0ms
(cbrt.f64 (+.f64 t1 u))
0.0ms
(/.f64 v (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u))))

series533.0ms (0.2%)

Counts
4 → 60
Calls

4 calls:

188.0ms
(/.f64 (/.f64 (/.f64 v (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))
116.0ms
(cbrt.f64 (+.f64 t1 u))
115.0ms
(cbrt.f64 (+.f64 t1 u))
113.0ms
(cbrt.f64 (+.f64 t1 u))
Compiler

Compiled 2426 to 1859 computations (23.4% saved)

simplify714.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
906 → 906
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
0505855246

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

1.8b
(+.f64 (*.f64 t1 t1) (*.f64 u (-.f64 u t1)))
1.4b
(/.f64 v (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
0.2b
(*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))
0.0b
(*.f64 u (-.f64 u t1))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
8.4b
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
35.4b
(*.f64 (/.f64 (/.f64 v (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (+.f64 (pow.f64 t1 3) (pow.f64 u 3))) (/.f64 (+.f64 (*.f64 t1 t1) (*.f64 u (-.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))

rewrite216.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
219×*-un-lft-identity_binary64_78
210×times-frac_binary64_84
141×associate-*l*_binary64_19
117×add-sqr-sqrt_binary64_100
116×cbrt-div_binary64_110
76×associate-/r/_binary64_24
75×distribute-lft-out_binary64_29
60×unpow-prod-down_binary64_157 cube-prod_binary64_106
58×flip3--_binary64_82 flip--_binary64_53
57×add-cube-cbrt_binary64_113
39×cbrt-prod_binary64_109
37×frac-times_binary64_88
36×add-exp-log_binary64_116
33×associate-*r*_binary64_18
28×add-cbrt-cube_binary64_114
19×associate-*l/_binary64_21 associate-*r/_binary64_20
15×sum-cubes_binary64_79
14×cbrt-undiv_binary64_112 div-exp_binary64_129
12×difference-of-squares_binary64_47
11×div-inv_binary64_75
10×cbrt-unprod_binary64_111 prod-exp_binary64_127
9×unswap-sqr_binary64_46
6×distribute-lft-out--_binary64_30 pow1_binary64_139
4×add-log-exp_binary64_117
3×pow1/3_binary64_160
1×*-commutative_binary64_9 flip-+_binary64_52 pow-prod-down_binary64_149 flip3-+_binary64_81
Counts
4 → 259
Calls

8 calls:

137.0ms
(*.f64 (/.f64 (/.f64 v (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (+.f64 (pow.f64 t1 3) (pow.f64 u 3))) (/.f64 (+.f64 (*.f64 t1 t1) (*.f64 u (-.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
7.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
0.0ms
(*.f64 u (-.f64 u t1))

series1.3s (0.6%)

Counts
4 → 63
Calls

4 calls:

827.0ms
(*.f64 (/.f64 (/.f64 v (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (+.f64 (pow.f64 t1 3) (pow.f64 u 3))) (/.f64 (+.f64 (*.f64 t1 t1) (*.f64 u (-.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
168.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
161.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
159.0ms
(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
Compiler

Compiled 4061 to 3126 computations (23% saved)

simplify182.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
322 → 322
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
0499814912
1499814912

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 t1 u))) 5) (cbrt.f64 (cbrt.f64 (+.f64 t1 u))))
0.2b
(/.f64 (sqrt.f64 v) (cbrt.f64 (+.f64 t1 u)))
0.1b
(/.f64 (sqrt.f64 v) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 t1 u))) 5) (cbrt.f64 (cbrt.f64 (+.f64 t1 u)))))
0.1b
(/.f64 (/.f64 (sqrt.f64 v) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 t1 u))) 5) (cbrt.f64 (cbrt.f64 (+.f64 t1 u))))) (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (sqrt.f64 v) (cbrt.f64 (+.f64 t1 u)))))
0.5b
(cbrt.f64 (+.f64 t1 u))
0.5b
(cbrt.f64 (+.f64 t1 u))
0.5b
(cbrt.f64 (+.f64 t1 u))
1.1b
(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 t1 u))) 5)

rewrite23.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
23×cbrt-prod_binary64_109
19×*-un-lft-identity_binary64_78
11×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113
10×unpow-prod-down_binary64_157
6×cbrt-div_binary64_110
5×add-exp-log_binary64_116 pow1_binary64_139
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 pow1/3_binary64_160 distribute-lft-out_binary64_29
3×flip-+_binary64_52 pow-unpow_binary64_155 flip3-+_binary64_81
2×pow-pow_binary64_150
1×pow-exp_binary64_146 pow-to-exp_binary64_147 sqr-pow_binary64_50
Counts
4 → 67
Calls

8 calls:

6.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 t1 u))) 5)
3.0ms
(cbrt.f64 (+.f64 t1 u))
3.0ms
(cbrt.f64 (+.f64 t1 u))
3.0ms
(cbrt.f64 (+.f64 t1 u))
0.0ms
(/.f64 (/.f64 (sqrt.f64 v) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 t1 u))) 5) (cbrt.f64 (cbrt.f64 (+.f64 t1 u))))) (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (sqrt.f64 v) (cbrt.f64 (+.f64 t1 u)))))

series644.0ms (0.3%)

Counts
4 → 56
Calls

4 calls:

271.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 t1 u))) 5)
129.0ms
(cbrt.f64 (+.f64 t1 u))
122.0ms
(cbrt.f64 (+.f64 t1 u))
122.0ms
(cbrt.f64 (+.f64 t1 u))
Compiler

Compiled 3250 to 2416 computations (25.7% saved)

simplify120.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
049092106
149092106

prune2.0min (51.9%)

Pruning

1115 alts after pruning (1099 fresh and 16 done)

PrunedKeptTotal
New9125461458
Fresh26553579
Picked000
Done01616
Total93811152053
Error
0b
Counts
2053 → 1115
Compiler

Compiled 43528 to 15117 computations (65.3% saved)

simplify2.3s (1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
06095133969

regimes25.2s (10.7%)

Compiler

Compiled 341444 to 192369 computations (43.7% saved)

bsearch0.0ms (0%)

regimes6.9s (3%)

Compiler

Compiled 88384 to 52273 computations (40.9% saved)

bsearch0.0ms (0%)

regimes123.0ms (0.1%)

Compiler

Compiled 492 to 486 computations (1.2% saved)

bsearch42.0ms (0%)

Steps
ItersRangePoint
9
6.874340797596115e+22
1.220994979435285e+29
6.950789600209744e+22
9
-1.818412907709646e-64
-5.681326333996005e-70
-1.737242143157435e-64
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes114.0ms (0%)

Compiler

Compiled 456 to 462 computations (-1.3% saved)

bsearch41.0ms (0%)

Steps
ItersRangePoint
10
1.5508879072954879e-58
8.482178912352406e-40
1.1362545126051708e-48
9
-1654219563011058.8
-432152514.3385081
-10303651311.653145
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes85.0ms (0%)

Compiler

Compiled 423 to 435 computations (-2.8% saved)

bsearch0.0ms (0%)

regimes154.0ms (0.1%)

Compiler

Compiled 390 to 408 computations (-4.6% saved)

bsearch30.0ms (0%)

Steps
ItersRangePoint
9
8.76403206362324e-94
3.1608562949131326e-88
2.4074142908948672e-88
6
-1.4462091503173888e-61
-1.205332669541192e-62
-2.1707149799920522e-62
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes118.0ms (0.1%)

Compiler

Compiled 303 to 330 computations (-8.9% saved)

bsearch31.0ms (0%)

Steps
ItersRangePoint
9
8.76403206362324e-94
3.1608562949131326e-88
1.6836386552267967e-88
6
-1.4462091503173888e-61
-1.205332669541192e-62
-1.0282724227098508e-61
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes163.0ms (0.1%)

Compiler

Compiled 276 to 306 computations (-10.9% saved)

bsearch22.0ms (0%)

Steps
ItersRangePoint
5
5.881764231636636e-14
1.8597139959716397e-13
1.0290132617001842e-13
6
-1.4462091503173888e-61
-1.205332669541192e-62
-1.3362258009469842e-61
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes111.0ms (0%)

Compiler

Compiled 132 to 180 computations (-36.4% saved)

bsearch22.0ms (0%)

Steps
ItersRangePoint
5
5.881764231636636e-14
1.8597139959716397e-13
8.868078299142098e-14
6
-1.4462091503173888e-61
-1.205332669541192e-62
-3.49051517243691e-62
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes105.0ms (0%)

Compiler

Compiled 84 to 138 computations (-64.3% saved)

bsearch32.0ms (0%)

Steps
ItersRangePoint
8
1780443861.2644646
41324520204108.9
36336741716895.27
9
-1.707165123091987e-48
-1.3225770158753741e-53
-1.6844723681960045e-48
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes25.0ms (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch14.0ms (0%)

Compiler

Compiled 273 to 172 computations (37% saved)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0204345
1204345

end0.0ms (0%)

sample2.5s (1.1%)

Algorithm
1×intervals
Results
276.0ms8000×body128valid
8.0ms250×body128invalid
Compiler

Compiled 85806 to 48415 computations (43.6% saved)

Profiling

Loading profile data...