Details

Time bar (total: 5.2s)

analyze404.0ms (7.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0494638
1494638
022
122
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
Symmetry
Compiler

Compiled 23 to 18 computations (21.7% saved)

sample36.0ms (0.7%)

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

Compiled 36 to 31 computations (13.9% saved)

simplify95.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
0492419
1492419

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite119.0ms (2.3%)

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

2 calls:

18.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
Compiler

Compiled 1579 to 1104 computations (30.1% saved)

series273.0ms (5.2%)

Error
0.0b
Counts
2 → 27
Calls

2 calls:

149.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
102.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
Compiler

Compiled 879 to 654 computations (25.6% saved)

simplify66.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049671833
149671833

prune88.0ms (1.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New88391
Fresh000
Picked011
Done000
Total88492
Error
0b
Counts
92 → 4
Compiler

Compiled 1791 to 1086 computations (39.4% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite250.0ms (4.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
48×*-un-lft-identity_binary64
46×times-frac_binary64
44×add-sqr-sqrt_binary64
39×add-cube-cbrt_binary64
23×add-exp-log_binary64
22×add-log-exp_binary64
20×add-cbrt-cube_binary64
14×associate-*r*_binary64
12×unpow-prod-down_binary64 cube-prod_binary64 associate-/l*_binary64
11×pow1_binary64
9×sum-log_binary64
7×prod-exp_binary64 cbrt-unprod_binary64
6×associate-*l*_binary64 frac-add_binary64
5×div-exp_binary64 flip3-+_binary64 flip-+_binary64 associate-+l+_binary64
4×unpow3_binary64 cube-mult_binary64 sqr-pow_binary64 pow-prod-down_binary64 diff-log_binary64 frac-sub_binary64 distribute-lft-out_binary64
3×cbrt-undiv_binary64 associate-/r*_binary64 associate-*r/_binary64 cancel-sign-sub-inv_binary64
2×div-inv_binary64 unswap-sqr_binary64 *-commutative_binary64 distribute-lft-out--_binary64
1×pow-to-exp_binary64 pow-exp_binary64 frac-2neg_binary64 clear-num_binary64 flip3--_binary64 flip--_binary64 associate-+l-_binary64 sub-neg_binary64 associate--l+_binary64 +-commutative_binary64
Counts
4 → 148
Calls

4 calls:

29.0ms
(+.f64 (-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v))))) (/.f64 (pow.f64 m 3) v))
7.0ms
(*.f64 m (/.f64 m v))
7.0ms
(*.f64 2 (*.f64 m (/.f64 m v)))
6.0ms
(/.f64 (pow.f64 m 3) v)
Compiler

Compiled 4872 to 2173 computations (55.4% saved)

series432.0ms (8.2%)

Error
0b
Counts
4 → 36
Calls

4 calls:

164.0ms
(+.f64 (-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v))))) (/.f64 (pow.f64 m 3) v))
86.0ms
(*.f64 2 (*.f64 m (/.f64 m v)))
83.0ms
(/.f64 (pow.f64 m 3) v)
70.0ms
(*.f64 m (/.f64 m v))
Compiler

Compiled 1681 to 1146 computations (31.8% saved)

simplify86.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050043616

prune194.0ms (3.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1831184
Fresh112
Picked011
Done011
Total1844188
Error
0b
Counts
188 → 4
Compiler

Compiled 5018 to 2111 computations (57.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v)))))
0.0b
(+.f64 (-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v))))) (/.f64 (*.f64 m m) (/.f64 v m)))
0.2b
(*.f64 m (/.f64 m v))
1.8b
(/.f64 (*.f64 m m) (/.f64 v m))

rewrite227.0ms (4.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
42×*-un-lft-identity_binary64
41×times-frac_binary64
35×add-sqr-sqrt_binary64
34×add-log-exp_binary64
28×add-cube-cbrt_binary64
21×add-exp-log_binary64 add-cbrt-cube_binary64
13×associate-/r*_binary64 associate-*r*_binary64 sum-log_binary64
9×flip3-+_binary64 flip-+_binary64
8×diff-log_binary64 frac-sub_binary64
7×div-exp_binary64 cbrt-undiv_binary64
6×pow1_binary64 frac-add_binary64 cancel-sign-sub-inv_binary64
5×distribute-lft-out_binary64 associate-+l+_binary64
4×prod-exp_binary64 cbrt-unprod_binary64 div-inv_binary64 distribute-lft-out--_binary64
3×associate-*l*_binary64
2×unswap-sqr_binary64 flip3--_binary64 flip--_binary64 sub-neg_binary64 associate--l+_binary64
1×frac-2neg_binary64 clear-num_binary64 associate-/r/_binary64 associate-/l*_binary64 pow-prod-down_binary64 associate-*r/_binary64 *-commutative_binary64 associate-+l-_binary64 +-commutative_binary64 difference-of-squares_binary64 associate--r+_binary64
Counts
4 → 134
Calls

4 calls:

25.0ms
(+.f64 (-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v))))) (/.f64 (*.f64 m m) (/.f64 v m)))
12.0ms
(-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v)))))
7.0ms
(*.f64 m (/.f64 m v))
7.0ms
(/.f64 (*.f64 m m) (/.f64 v m))
Compiler

Compiled 5132 to 1684 computations (67.2% saved)

series529.0ms (10.1%)

Error
0b
Counts
4 → 45
Calls

4 calls:

178.0ms
(-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v)))))
169.0ms
(+.f64 (-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (*.f64 2 (*.f64 m (/.f64 m v))))) (/.f64 (*.f64 m m) (/.f64 v m)))
83.0ms
(/.f64 (*.f64 m m) (/.f64 v m))
64.0ms
(*.f64 m (/.f64 m v))
Compiler

Compiled 2023 to 1253 computations (38.1% saved)

simplify89.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
179 → 179
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
051213990

prune169.0ms (3.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1790179
Fresh011
Picked011
Done022
Total1794183
Error
0b
Counts
183 → 4
Compiler

Compiled 4993 to 1858 computations (62.8% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite99.0ms (1.9%)

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

3 calls:

10.0ms
(/.f64 (*.f64 (-.f64 m (*.f64 m m)) (-.f64 1 m)) v)
10.0ms
(*.f64 (-.f64 m (*.f64 m m)) (-.f64 1 m))
3.0ms
(-.f64 m (*.f64 m m))
Compiler

Compiled 1750 to 705 computations (59.7% saved)

series304.0ms (5.8%)

Error
0b
Counts
3 → 27
Calls

3 calls:

175.0ms
(/.f64 (*.f64 (-.f64 m (*.f64 m m)) (-.f64 1 m)) v)
74.0ms
(*.f64 (-.f64 m (*.f64 m m)) (-.f64 1 m))
38.0ms
(-.f64 m (*.f64 m m))
Compiler

Compiled 732 to 561 computations (23.4% saved)

simplify42.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050161692

prune81.0ms (1.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1090109
Fresh000
Picked011
Done033
Total1094113
Error
0b
Counts
113 → 4
Compiler

Compiled 1749 to 778 computations (55.5% saved)

regimes191.0ms (3.6%)

Accuracy

Total 0.1b remaining (96.3%)

Threshold costs 0.1b (96.3%)

Compiler

Compiled 2151 to 1692 computations (21.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03319
13319
Removed

()

end0.0ms (0%)

sample1.4s (27.1%)

Algorithm
1×intervals
Results
281.0ms8000×body128valid
169.0ms8053×pre128true
2.0ms53×body128invalid
Compiler

Compiled 743 to 585 computations (21.3% saved)

Profiling

Loading profile data...