Details

Time bar (total: 3.3min)

analyze257.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%12.5%87.5%0
0%12.5%87.5%1
0%12.5%87.5%2
3.1%9.3%87.5%3
3.1%6.2%90.7%4
4.7%4.7%90.7%5
4.7%3.5%91.8%6
5.6%2.5%91.8%7
5.9%1.8%92.3%8
6.4%1.3%92.3%9
6.6%0.9%92.5%10
6.8%0.6%92.5%11
6.9%0.5%92.6%12
7%0.3%92.6%13
7.1%0.2%92.7%14
Compiler

Compiled 23 to 18 computations (21.7% saved)

sample24.0ms (0%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
5.0ms257×pre128true
0.0ms1×body128invalid
Compiler

Compiled 36 to 31 computations (13.9% saved)

simplify203.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
0492419
1492419

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 13 to 11 computations (15.4% saved)

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.0b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
0.0b
(*.f64 m (-.f64 1 m))
0.0b
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b
(*.f64 m (-.f64 1 m))
0.0b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)

rewrite53.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
33×add-sqr-sqrt_binary64
27×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64 cancel-sign-sub-inv_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
12×associate-*r*_binary64
10×associate-*l*_binary64
9×flip3--_binary64 flip--_binary64
8×pow1_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 difference-of-squares_binary64
6×add-log-exp_binary64 associate-*r/_binary64
5×sub-neg_binary64
4×distribute-lft-out--_binary64 frac-times_binary64
3×associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64 times-frac_binary64
2×pow-prod-down_binary64 associate-/l/_binary64 cbrt-undiv_binary64 difference-of-sqr-1_binary64 unswap-sqr_binary64 div-exp_binary64 associate-*l/_binary64 *-commutative_binary64
1×diff-log_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64
Counts
4 → 113
Calls

8 calls:

16.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
10.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
9.0ms
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
8.0ms
(*.f64 m (-.f64 1 m))
0.0ms
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)

series431.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

137.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
134.0ms
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
120.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
39.0ms
(*.f64 m (-.f64 1 m))
Compiler

Compiled 890 to 737 computations (17.2% saved)

simplify77.0ms (0%)

Algorithm
1×egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049902592
149902592

prune621.0ms (0.3%)

Pruning

68 alts after pruning (68 fresh and 0 done)

PrunedKeptTotal
New9368161
Fresh000
Picked000
Done101
Total9468162
Error
0b
Counts
162 → 68
Compiler

Compiled 3213 to 2343 computations (27.1% saved)

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 m (/.f64 v (-.f64 1 m)))
0.0b
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))
0.0b
(/.f64 v (-.f64 1 m))
0.0b
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
0.0b
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
0.0b
(/.f64 v (-.f64 1 m))
0.0b
(/.f64 m (/.f64 v (-.f64 1 m)))
0.0b
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

rewrite111.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
180×add-sqr-sqrt_binary64 times-frac_binary64
146×*-un-lft-identity_binary64
85×add-cube-cbrt_binary64
46×difference-of-squares_binary64
30×associate-/r*_binary64
19×distribute-lft-out--_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
12×flip3--_binary64 flip--_binary64
11×associate-/r/_binary64
9×cancel-sign-sub-inv_binary64
6×add-log-exp_binary64 pow1_binary64 associate-*r*_binary64 difference-of-sqr-1_binary64 associate-/l*_binary64 div-inv_binary64
4×cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-exp_binary64 frac-times_binary64
3×sub-neg_binary64
2×associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 diff-log_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
4 → 226
Calls

8 calls:

39.0ms
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))
30.0ms
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
13.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
6.0ms
(/.f64 v (-.f64 1 m))
0.0ms
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)

series452.0ms (0.2%)

Counts
4 → 57
Calls

4 calls:

137.0ms
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))
135.0ms
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
103.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
76.0ms
(/.f64 v (-.f64 1 m))
Compiler

Compiled 1091 to 885 computations (18.9% saved)

simplify98.0ms (0%)

Algorithm
1×egg-herbie
Counts
283 → 283
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049685653
149685653

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

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 m (-.f64 1 m))
0.0b
(*.f64 m (-.f64 1 m))
0.0b
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b
(+.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m)))
0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m))

rewrite55.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
19×add-sqr-sqrt_binary64
16×*-un-lft-identity_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
13×add-cube-cbrt_binary64
10×associate-*r*_binary64
9×add-log-exp_binary64
7×flip3--_binary64 associate-*l*_binary64 flip--_binary64
6×associate-/r*_binary64 pow1_binary64 times-frac_binary64 associate-*l/_binary64
4×associate-/l/_binary64 cbrt-undiv_binary64 associate-*r/_binary64 frac-add_binary64 associate-+l+_binary64 div-exp_binary64
3×cbrt-unprod_binary64 distribute-lft-neg-in_binary64 cancel-sign-sub-inv_binary64 distribute-rgt-neg-in_binary64 prod-exp_binary64
2×distribute-rgt-neg-out_binary64 clear-num_binary64 frac-2neg_binary64 difference-of-squares_binary64 associate-/l*_binary64 div-inv_binary64 sum-log_binary64
1×pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 difference-of-sqr-1_binary64 neg-mul-1_binary64 associate-+l-_binary64 unswap-sqr_binary64 distribute-lft-out--_binary64 +-commutative_binary64 flip-+_binary64 unsub-neg_binary64 *-commutative_binary64
Counts
4 → 100
Calls

8 calls:

15.0ms
(+.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m)))
15.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m))
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.0ms
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)

series578.0ms (0.3%)

Counts
4 → 51
Calls

4 calls:

215.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m))
159.0ms
(+.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (neg.f64 m)))
104.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
99.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
Compiler

Compiled 1408 to 1088 computations (22.7% saved)

simplify79.0ms (0%)

Algorithm
1×egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050212732

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
0.0b
(*.f64 m (-.f64 1 m))
0.0b
(log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))
0.0b
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b
(*.f64 m (-.f64 1 m))
0.0b
(*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)
2.8b
(exp.f64 (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))

rewrite62.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64
24×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64
14×flip3--_binary64 flip--_binary64
13×associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
12×cancel-sign-sub-inv_binary64
11×pow1_binary64
9×associate-*l*_binary64
8×associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 exp-diff_binary64 log-div_binary64 frac-times_binary64
6×difference-of-squares_binary64
5×exp-prod_binary64
4×add-log-exp_binary64 sub-neg_binary64 associate-*l/_binary64
3×pow-prod-down_binary64 associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64 distribute-lft-out--_binary64 times-frac_binary64
2×associate-/l/_binary64 cbrt-undiv_binary64 log-pow_binary64 unswap-sqr_binary64 div-exp_binary64 *-commutative_binary64
1×log-prod_binary64 difference-of-sqr-1_binary64 rem-exp-log_binary64 clear-num_binary64 exp-sum_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64
Counts
4 → 117
Calls

8 calls:

17.0ms
(*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
15.0ms
(exp.f64 (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
8.0ms
(*.f64 m (-.f64 1 m))
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.0ms
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)

series9.1s (4.5%)

Counts
4 → 45
Calls

4 calls:

8.8s
(exp.f64 (log.f64 (*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
136.0ms
(*.f64 (-.f64 1 m) (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
96.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
41.0ms
(*.f64 m (-.f64 1 m))
Compiler

Compiled 1380 to 1156 computations (16.2% saved)

simplify84.0ms (0%)

Algorithm
1×egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
050932948

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 m (-.f64 1 m))
0.0b
(*.f64 m (-.f64 1 m))
0.0b
(+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1)
0.0b
(*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1))
0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
0.1b
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
0.3b
(*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1)))

rewrite62.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
28×frac-times_binary64
18×flip3-+_binary64 flip-+_binary64
16×associate-*r/_binary64
15×sqrt-prod_binary64
14×*-un-lft-identity_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64
11×pow1_binary64 add-cube-cbrt_binary64
10×flip3--_binary64 flip--_binary64
9×times-frac_binary64
8×associate-*l/_binary64
5×associate-*l*_binary64
4×add-log-exp_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 prod-exp_binary64
3×pow-prod-down_binary64 associate-/r*_binary64 div-inv_binary64
2×associate-/l/_binary64 pow1/2_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 div-exp_binary64 sqrt-div_binary64
1×associate-*r*_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 *-commutative_binary64
Counts
4 → 109
Calls

8 calls:

26.0ms
(*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1)))
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
5.0ms
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
5.0ms
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
0.0ms
(*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1))

series410.0ms (0.2%)

Counts
4 → 28
Calls

4 calls:

172.0ms
(*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 (-.f64 1 m) (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1)))
109.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
65.0ms
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
64.0ms
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
Compiler

Compiled 1648 to 1331 computations (19.2% saved)

simplify87.0ms (0%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
050233440

prune11.5s (5.8%)

Pruning

319 alts after pruning (316 fresh and 3 done)

PrunedKeptTotal
New461272733
Fresh194463
Picked000
Done235
Total482319801
Error
0b
Counts
801 → 319
Compiler

Compiled 21062 to 14839 computations (29.5% saved)

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (-.f64 1 m))
0.0b
(/.f64 m (/.f64 v (-.f64 1 m)))
0.0b
(/.f64 v (-.f64 1 m))
0.0b
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
0.0b
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
0.0b
(/.f64 v (-.f64 1 m))
0.0b
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (-.f64 1 m))
0.0b
(/.f64 m (/.f64 v (-.f64 1 m)))

rewrite107.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
171×times-frac_binary64
156×add-sqr-sqrt_binary64
140×*-un-lft-identity_binary64
84×add-cube-cbrt_binary64
40×difference-of-squares_binary64
30×associate-/r*_binary64
18×add-exp-log_binary64 distribute-lft-out--_binary64
16×add-cbrt-cube_binary64
12×flip3--_binary64 flip--_binary64
11×associate-/r/_binary64
9×pow1_binary64 cancel-sign-sub-inv_binary64
8×associate-*r/_binary64
6×add-log-exp_binary64 associate-*r*_binary64 associate-/l*_binary64 div-inv_binary64
5×prod-exp_binary64
4×cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-exp_binary64 frac-times_binary64
3×pow-prod-down_binary64 sub-neg_binary64 cbrt-unprod_binary64 difference-of-sqr-1_binary64
2×clear-num_binary64 frac-2neg_binary64 associate-*l/_binary64
1×diff-log_binary64 1-exp_binary64 associate-*l*_binary64 *-commutative_binary64
Counts
4 → 217
Calls

8 calls:

38.0ms
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (-.f64 1 m))
30.0ms
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
10.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
6.0ms
(/.f64 v (-.f64 1 m))
0.0ms
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)

series447.0ms (0.2%)

Counts
4 → 57
Calls

4 calls:

137.0ms
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
129.0ms
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (-.f64 1 m))
102.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
78.0ms
(/.f64 v (-.f64 1 m))
Compiler

Compiled 1199 to 993 computations (17.2% saved)

simplify116.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
274 → 274
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049645422
149645422

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

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

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (-.f64 (/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v) 1) (-.f64 1 m))
0.0b
(+.f64 m (pow.f64 m 3/2))
0.0b
(-.f64 (sqrt.f64 1) (sqrt.f64 m))
0.0b
(-.f64 (/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v) 1)
0.0b
(+.f64 m (pow.f64 m 3/2))
0.0b
(*.f64 (-.f64 (/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v) 1) (-.f64 1 m))
0.1b
(/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v)
0.1b
(*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m)))

rewrite74.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64
32×*-un-lft-identity_binary64
18×cancel-sign-sub-inv_binary64
17×associate-*r*_binary64
16×add-cube-cbrt_binary64
15×sqrt-prod_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
12×flip3--_binary64 flip--_binary64 frac-times_binary64
11×distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64
10×difference-of-squares_binary64
8×associate-/l/_binary64 pow1_binary64
7×flip3-+_binary64 flip-+_binary64
6×add-log-exp_binary64 associate-*r/_binary64 associate-*l/_binary64
4×sub-neg_binary64 distribute-lft-out--_binary64
3×associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64 times-frac_binary64
2×pow-prod-down_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-exp_binary64 *-commutative_binary64
1×difference-of-sqr-1_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 131
Calls

8 calls:

26.0ms
(*.f64 (-.f64 (/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v) 1) (-.f64 1 m))
15.0ms
(*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m)))
15.0ms
(/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v)
5.0ms
(+.f64 m (pow.f64 m 3/2))
0.0ms
(-.f64 (/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v) 1)

series422.0ms (0.2%)

Counts
4 → 29
Calls

4 calls:

173.0ms
(/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v)
149.0ms
(*.f64 (-.f64 (/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m))) v) 1) (-.f64 1 m))
64.0ms
(+.f64 m (pow.f64 m 3/2))
36.0ms
(*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 (sqrt.f64 1) (sqrt.f64 m)))
Compiler

Compiled 869 to 716 computations (17.6% saved)

simplify86.0ms (0%)

Algorithm
1×egg-herbie
Counts
160 → 160
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
052133718

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (-.f64 1 m))
0.0b
(sqrt.f64 (-.f64 1 m))
0.0b
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b
(sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.3b
(*.f64 (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))))

rewrite99.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
218×sqrt-div_binary64
136×frac-times_binary64
111×flip3--_binary64 flip--_binary64
60×pow1_binary64
48×associate-*r/_binary64
44×associate-*l/_binary64
35×pow-prod-down_binary64
26×add-exp-log_binary64 add-cbrt-cube_binary64
17×pow1/2_binary64 sqrt-pow1_binary64
14×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64
10×cbrt-unprod_binary64 prod-exp_binary64
9×add-cube-cbrt_binary64
8×pow-prod-up_binary64
7×sqrt-prod_binary64
6×associate-/r*_binary64 times-frac_binary64 pow-sqr_binary64
5×sqrt-unprod_binary64
4×associate-/l/_binary64 add-log-exp_binary64 cbrt-undiv_binary64 div-exp_binary64
2×pow-plus_binary64 clear-num_binary64 frac-2neg_binary64 difference-of-squares_binary64 associate-/l*_binary64 div-inv_binary64
1×swap-sqr_binary64 associate-*r*_binary64 rem-square-sqrt_binary64 difference-of-sqr-1_binary64 associate-*l*_binary64 rem-sqrt-square_binary64 distribute-lft-out--_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 189
Calls

8 calls:

40.0ms
(*.f64 (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))))
9.0ms
(sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.0ms
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)

series419.0ms (0.2%)

Counts
4 → 39
Calls

4 calls:

142.0ms
(*.f64 (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))) (*.f64 (sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)) (sqrt.f64 (-.f64 1 m))))
111.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
109.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
57.0ms
(sqrt.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
Compiler

Compiled 1665 to 1352 computations (18.8% saved)

simplify126.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
228 → 228
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049698595
149698595

prune21.0s (10.6%)

Pruning

513 alts after pruning (506 fresh and 7 done)

PrunedKeptTotal
New424238662
Fresh43268311
Picked000
Done178
Total468513981
Error
0b
Counts
981 → 513
Compiler

Compiled 27183 to 19833 computations (27% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)) (-.f64 1 m))
0.0b
(/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1)))
0.0b
(/.f64 (neg.f64 v) (+.f64 m -1))
0.0b
(-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)
0.0b
(-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)
0.0b
(/.f64 (neg.f64 v) (+.f64 m -1))
0.0b
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)) (-.f64 1 m))
0.0b
(/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1)))

rewrite208.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
427×times-frac_binary64
308×*-un-lft-identity_binary64
273×add-sqr-sqrt_binary64
198×add-cube-cbrt_binary64
78×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
61×associate-/r*_binary64
51×distribute-lft-out_binary64 difference-of-sqr--1_binary64
26×neg-mul-1_binary64
18×add-exp-log_binary64
16×add-cbrt-cube_binary64
13×associate-/l*_binary64
11×associate-/r/_binary64
9×pow1_binary64 cancel-sign-sub-inv_binary64
8×associate-*r/_binary64 difference-of-squares_binary64
7×flip3--_binary64 flip--_binary64
6×add-log-exp_binary64 associate-*r*_binary64 div-inv_binary64
5×flip3-+_binary64 prod-exp_binary64 flip-+_binary64
4×cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-exp_binary64 frac-times_binary64
3×pow-prod-down_binary64 sub-neg_binary64 cbrt-unprod_binary64 difference-of-sqr-1_binary64
2×clear-num_binary64 frac-2neg_binary64 distribute-lft-out--_binary64 associate-*l/_binary64
1×diff-log_binary64 1-exp_binary64 neg-sub0_binary64 associate-*l*_binary64 div-sub_binary64 distribute-frac-neg_binary64 *-commutative_binary64
Counts
4 → 385
Calls

8 calls:

70.0ms
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)) (-.f64 1 m))
66.0ms
(-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)
16.0ms
(/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1)))
7.0ms
(/.f64 (neg.f64 v) (+.f64 m -1))
0.0ms
(-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)

series483.0ms (0.2%)

Counts
4 → 57
Calls

4 calls:

139.0ms
(-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)
136.0ms
(*.f64 (*.f64 1 (-.f64 (/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1))) 1)) (-.f64 1 m))
129.0ms
(/.f64 m (/.f64 (neg.f64 v) (+.f64 m -1)))
79.0ms
(/.f64 (neg.f64 v) (+.f64 m -1))
Compiler

Compiled 1215 to 1009 computations (17% saved)

simplify138.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
442 → 442
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049769879
149769879

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 m (/.f64 m v))
0.0b
(+.f64 -1 (+.f64 m (/.f64 m v)))
0.0b
(+.f64 -1 (+.f64 m (/.f64 m v)))
0.0b
(+.f64 m (/.f64 m v))

rewrite15.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×*-un-lft-identity_binary64 add-log-exp_binary64
4×distribute-lft-out_binary64 sum-log_binary64
2×flip3-+_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64 +-commutative_binary64 flip-+_binary64
1×associate-+r+_binary64
Counts
2 → 27
Calls

4 calls:

8.0ms
(+.f64 -1 (+.f64 m (/.f64 m v)))
6.0ms
(+.f64 m (/.f64 m v))
0.0ms
(+.f64 -1 (+.f64 m (/.f64 m v)))
0.0ms
(+.f64 m (/.f64 m v))

series137.0ms (0.1%)

Counts
2 → 21
Calls

2 calls:

76.0ms
(+.f64 -1 (+.f64 m (/.f64 m v)))
61.0ms
(+.f64 m (/.f64 m v))
Compiler

Compiled 215 to 203 computations (5.6% saved)

simplify55.0ms (0%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05052489

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 v (-.f64 1 m))
0.0b
(sqrt.f64 (-.f64 1 m))
0.0b
(sqrt.f64 (-.f64 1 m))
0.0b
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)
0.0b
(/.f64 v (-.f64 1 m))
0.0b
(*.f64 (*.f64 (sqrt.f64 (-.f64 1 m)) (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (sqrt.f64 (-.f64 1 m)))
0.0b
(*.f64 (sqrt.f64 (-.f64 1 m)) (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1))
0.0b
(/.f64 m (/.f64 v (-.f64 1 m)))

rewrite131.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
171×times-frac_binary64
166×add-sqr-sqrt_binary64
146×*-un-lft-identity_binary64
87×add-cube-cbrt_binary64
42×difference-of-squares_binary64 sqrt-div_binary64
38×flip3--_binary64 flip--_binary64
32×frac-times_binary64
30×associate-/r*_binary64
22×associate-*r*_binary64
19×distribute-lft-out--_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64
16×associate-*l/_binary64
13×sqrt-prod_binary64
11×pow1_binary64 associate-/r/_binary64
10×associate-*r/_binary64 associate-*l*_binary64
6×cancel-sign-sub-inv_binary64 associate-/l*_binary64 div-inv_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 prod-exp_binary64 div-exp_binary64
3×difference-of-sqr-1_binary64
2×sub-neg_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 256
Calls

8 calls:

46.0ms
(*.f64 (*.f64 (sqrt.f64 (-.f64 1 m)) (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (sqrt.f64 (-.f64 1 m)))
38.0ms
(*.f64 (sqrt.f64 (-.f64 1 m)) (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1))
11.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
7.0ms
(/.f64 v (-.f64 1 m))
0.0ms
(-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)

series473.0ms (0.2%)

Counts
4 → 48
Calls

4 calls:

149.0ms
(*.f64 (sqrt.f64 (-.f64 1 m)) (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1))
141.0ms
(*.f64 (*.f64 (sqrt.f64 (-.f64 1 m)) (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1)) (sqrt.f64 (-.f64 1 m)))
118.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
65.0ms
(/.f64 v (-.f64 1 m))
Compiler

Compiled 1273 to 1044 computations (18% saved)

simplify106.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
304 → 304
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
051637087

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 m (-.f64 1 m))
0.0b
(*.f64 m (-.f64 1 m))
0.0b
(*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1))
0.0b
(log.f64 (/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))))
0.3b
(*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v))
0.4b
(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
2.8b
(exp.f64 (log.f64 (/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))))
15.9b
(/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))

rewrite141.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
51×add-exp-log_binary64 add-cbrt-cube_binary64
24×add-sqr-sqrt_binary64 times-frac_binary64
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64
17×cbrt-unprod_binary64 prod-exp_binary64
16×cbrt-undiv_binary64 associate-/r/_binary64 div-exp_binary64
15×log-prod_binary64 exp-sum_binary64
13×pow1_binary64
12×frac-add_binary64
9×frac-times_binary64
8×flip3-+_binary64 associate-/l/_binary64 div-inv_binary64 flip-+_binary64
7×swap-sqr_binary64 associate-*r*_binary64 associate-*r/_binary64 associate-*l*_binary64 unpow-prod-down_binary64 cube-prod_binary64 associate-*l/_binary64
6×flip3--_binary64 flip--_binary64
4×add-log-exp_binary64 exp-prod_binary64
3×pow-unpow_binary64 associate-/r*_binary64 rem-cube-cbrt_binary64 pow-exp_binary64
1×pow-to-exp_binary64 pow-prod-down_binary64 pow-prod-up_binary64 pow-pow_binary64 log-pow_binary64 sqr-pow_binary64 pow-plus_binary64 cube-div_binary64 rem-exp-log_binary64 exp-diff_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 pow-sqr_binary64 log-div_binary64 pow2_binary64 unpow3_binary64 *-commutative_binary64 cube-mult_binary64
Counts
4 → 157
Calls

8 calls:

47.0ms
(exp.f64 (log.f64 (/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))))
41.0ms
(/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
16.0ms
(*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v))
9.0ms
(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
0.0ms
(log.f64 (/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)))))

series11.3s (5.7%)

Counts
4 → 57
Calls

4 calls:

10.2s
(exp.f64 (log.f64 (/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))))
771.0ms
(/.f64 (*.f64 (-.f64 1 m) (-.f64 (pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3) 1)) (+.f64 (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v)) (+.f64 (*.f64 1 1) (*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))))
231.0ms
(*.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (/.f64 (*.f64 m (-.f64 1 m)) v))
174.0ms
(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
Compiler

Compiled 6540 to 5214 computations (20.3% saved)

simplify121.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
051918638

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(-.f64 1 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
0.0b
(+.f64 m (*.f64 m m))
0.0b
(+.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3))
0.0b
(+.f64 1 (+.f64 m (*.f64 m m)))
0.1b
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
0.1b
(*.f64 (+.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)) (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1) (-.f64 1 (pow.f64 m 3))))
0.5b
(pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)
6.3b
(/.f64 (*.f64 (+.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)) (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1) (-.f64 1 (pow.f64 m 3)))) (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (-.f64 1 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 1 (+.f64 m (*.f64 m m)))))

rewrite157.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
64×frac-times_binary64
52×distribute-lft-in_binary64 distribute-rgt-in_binary64
48×cancel-sign-sub-inv_binary64
44×flip3-+_binary64 flip-+_binary64
31×add-exp-log_binary64 add-cbrt-cube_binary64
30×associate-*r/_binary64
28×*-un-lft-identity_binary64
27×add-sqr-sqrt_binary64
26×associate-/l/_binary64 add-cube-cbrt_binary64
22×unpow-prod-down_binary64 cube-prod_binary64
21×flip3--_binary64 flip--_binary64 sqrt-prod_binary64
20×associate-*l/_binary64
14×associate-/r/_binary64
12×pow1_binary64 cbrt-unprod_binary64 prod-exp_binary64
10×times-frac_binary64
6×cbrt-undiv_binary64 frac-add_binary64 div-exp_binary64
5×sqr-pow_binary64 unpow3_binary64 cube-mult_binary64
4×add-log-exp_binary64 sub-neg_binary64 associate-*l*_binary64 div-inv_binary64
3×pow-prod-down_binary64 pow-unpow_binary64 pow-pow_binary64
2×pow1/2_binary64 sqrt-pow1_binary64 sqrt-div_binary64
1×pow-to-exp_binary64 associate-/r*_binary64 sqrt-pow2_binary64 distribute-lft-out_binary64 associate-*r*_binary64 cube-div_binary64 rem-sqrt-square_binary64 clear-num_binary64 rem-cube-cbrt_binary64 frac-2neg_binary64 associate-/l*_binary64 pow-exp_binary64 *-commutative_binary64
Counts
4 → 221
Calls

8 calls:

58.0ms
(/.f64 (*.f64 (+.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)) (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1) (-.f64 1 (pow.f64 m 3)))) (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (-.f64 1 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 1 (+.f64 m (*.f64 m m)))))
38.0ms
(*.f64 (+.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)) (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1) (-.f64 1 (pow.f64 m 3))))
8.0ms
(pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)
6.0ms
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
0.0ms
(+.f64 1 (+.f64 m (*.f64 m m)))

series2.3s (1.2%)

Counts
4 → 25
Calls

4 calls:

1.8s
(/.f64 (*.f64 (+.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)) (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1) (-.f64 1 (pow.f64 m 3)))) (*.f64 (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) (-.f64 1 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))) (+.f64 1 (+.f64 m (*.f64 m m)))))
305.0ms
(*.f64 (+.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)) (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) -1) (-.f64 1 (pow.f64 m 3))))
149.0ms
(pow.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 3)
78.0ms
(sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
Compiler

Compiled 5649 to 4264 computations (24.5% saved)

simplify135.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
0574214424

prune1.2min (35.1%)

Pruning

894 alts after pruning (883 fresh and 11 done)

PrunedKeptTotal
New8164381254
Fresh56445501
Picked000
Done11112
Total8738941767
Error
0b
Counts
1767 → 894
Compiler

Compiled 32393 to 21719 computations (33% saved)

simplify1.2s (0.6%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
0578083869

regimes13.7s (6.9%)

Compiler

Compiled 161523 to 123719 computations (23.4% saved)

bsearch0.0ms (0%)

regimes134.0ms (0.1%)

Compiler

Compiled 612 to 542 computations (11.4% saved)

bsearch15.0ms (0%)

Steps
ItersRangePoint
6
5.15074072913521e-10
6.674279582097138e-09
6.567017411048897e-09
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes131.0ms (0.1%)

Compiler

Compiled 586 to 522 computations (10.9% saved)

bsearch14.0ms (0%)

Steps
ItersRangePoint
7
1.1636508732825288e-22
1.9435443233727858e-21
1.9167553917159296e-21
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes76.0ms (0%)

Compiler

Compiled 290 to 278 computations (4.1% saved)

bsearch12.0ms (0%)

Steps
ItersRangePoint
7
1.1636508732825288e-22
1.9435443233727858e-21
1.9167553917159296e-21
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes67.0ms (0%)

Compiler

Compiled 246 to 244 computations (0.8% saved)

bsearch12.0ms (0%)

Steps
ItersRangePoint
6
0.598189373168002
3.9995371525165773
1.4447632799732713
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes53.0ms (0%)

Compiler

Compiled 226 to 228 computations (-0.9% saved)

bsearch0.0ms (0%)

regimes30.0ms (0%)

Compiler

Compiled 66 to 88 computations (-33.3% saved)

bsearch0.0ms (0%)

regimes81.0ms (0%)

Compiler

Compiled 56 to 78 computations (-39.3% saved)

bsearch38.0ms (0%)

Steps
ItersRangePoint
6
6.094905419592031e-141
2.9295565537012005e-140
1.7266281413804802e-140
9
1.378552005915843e-156
5.3888873917921686e-148
1.0933772138230144e-151
6
8.969519740598286e-181
4.345986035047233e-180
4.141189497662956e-180
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes21.0ms (0%)

Compiler

Compiled 22 to 42 computations (-90.9% saved)

bsearch0.0ms (0%)

regimes15.0ms (0%)

Accuracy

Total 0.1b remaining (100%)

Threshold costs 0.1b (100%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch11.0ms (0%)

Compiler

Compiled 140 to 108 computations (22.9% saved)

simplify17.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
0558197
1558197

end0.0ms (0%)

sample50.2s (25.2%)

Algorithm
1×intervals
Results
275.0ms8000×body128valid
159.0ms8071×pre128true
2.0ms71×body128invalid
Compiler

Compiled 54232 to 41542 computations (23.4% saved)

Pareto

0.27067252482874476

Profiling

Loading profile data...