Details

Time bar (total: 3.3s)

analyze63.0ms (1.9%)

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
12.5%87.4%0.1%4
31.2%68.7%0.1%5
43.7%56.2%0.1%6
56.2%40.6%3.2%7
64%29.7%6.3%8
71%20.3%8.7%9
75.3%15.2%9.5%10
79%10.1%10.8%11
81.3%7.7%11%12
83.2%5%11.8%13
84.4%3.8%11.8%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample17.0ms (0.5%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify108.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
025610
125610

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
0.0b
(*.f64 (+.f64 x 1) y)
0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
0.0b
(*.f64 (+.f64 x 1) y)

rewrite16.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64_7921 add-sqr-sqrt_binary64_7943
5×add-cube-cbrt_binary64_7956
4×add-log-exp_binary64_7960 add-cbrt-cube_binary64_7957 associate-*l*_binary64_7862 pow1_binary64_7982 add-exp-log_binary64_7959
3×associate-*r*_binary64_7861 cancel-sign-sub-inv_binary64_7887
2×associate-*l/_binary64_7864
1×flip3--_binary64_7925 diff-log_binary64_8013 distribute-lft-out_binary64_7872 unswap-sqr_binary64_7889 prod-exp_binary64_7970 sub-neg_binary64_7914 cbrt-unprod_binary64_7954 *-commutative_binary64_7852 flip3-+_binary64_7924 flip--_binary64_7896 flip-+_binary64_7895 pow-prod-down_binary64_7992
Counts
2 → 35
Calls

4 calls:

7.0ms
(*.f64 (+.f64 x 1) y)
7.0ms
(-.f64 (*.f64 (+.f64 x 1) y) x)
0.0ms
(*.f64 (+.f64 x 1) y)
0.0ms
(-.f64 (*.f64 (+.f64 x 1) y) x)

series128.0ms (3.8%)

Counts
2 → 21
Calls

2 calls:

72.0ms
(-.f64 (*.f64 (+.f64 x 1) y) x)
56.0ms
(*.f64 (+.f64 x 1) y)
Compiler

Compiled 207 to 165 computations (20.3% saved)

simplify91.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
04937541
14937541

prune39.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New55156
Fresh000
Picked011
Done000
Total55257
Error
0b
Counts
57 → 2
Compiler

Compiled 578 to 353 computations (38.9% saved)

localize10.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (+.f64 x 1) y)
0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
0.5b
(*.f64 (cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x)) (cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x)))
0.6b
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
0.6b
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
0.6b
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))

rewrite49.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_7952
23×add-sqr-sqrt_binary64_7943
18×cbrt-div_binary64_7953
15×add-cube-cbrt_binary64_7956 *-un-lft-identity_binary64_7921
11×pow1_binary64_7982
9×flip3--_binary64_7925 pow1/3_binary64_8003 flip--_binary64_7896
6×associate-*r*_binary64_7861 associate-*l*_binary64_7862 add-exp-log_binary64_7959 swap-sqr_binary64_7888
4×add-log-exp_binary64_7960 frac-times_binary64_7931 add-cbrt-cube_binary64_7957 unswap-sqr_binary64_7889
2×associate-*r/_binary64_7863 associate-*l/_binary64_7864 pow-prod-up_binary64_7991 pow-sqr_binary64_7894 pow-prod-down_binary64_7992
1×pow2_binary64_8002 prod-exp_binary64_7970 cbrt-unprod_binary64_7954 pow-plus_binary64_7984 *-commutative_binary64_7852
Counts
4 → 87
Calls

8 calls:

17.0ms
(*.f64 (cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x)) (cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x)))
8.0ms
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
6.0ms
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
6.0ms
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
0.0ms
(-.f64 (*.f64 (+.f64 x 1) y) x)

series1.5s (43.9%)

Counts
4 → 65
Calls

4 calls:

729.0ms
(*.f64 (cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x)) (cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x)))
247.0ms
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
245.0ms
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
239.0ms
(cbrt.f64 (-.f64 (*.f64 (+.f64 x 1) y) x))
Compiler

Compiled 6277 to 5175 computations (17.6% saved)

simplify82.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
049666850
149666850

prune394.0ms (11.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1520152
Fresh000
Picked011
Done011
Total1522154
Error
0b
Counts
154 → 2
Compiler

Compiled 7005 to 4850 computations (30.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
035101
135101

regimes55.0ms (1.6%)

Compiler

Compiled 231 to 218 computations (5.6% saved)

bsearch0.0ms (0%)

regimes55.0ms (1.7%)

Compiler

Compiled 42 to 60 computations (-42.9% saved)

bsearch23.0ms (0.7%)

Steps
ItersRangePoint
7
0.0002266696413758011
0.010888442510755748
0.010719471473792059
9
-1137843880.770242
-8711.181044275361
-8847.151629077207
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes23.0ms (0.7%)

Compiler

Compiled 22 to 42 computations (-90.9% saved)

bsearch0.0ms (0%)

regimes46.0ms (1.4%)

Compiler

Compiled 16 to 36 computations (-125% saved)

bsearch17.0ms (0.5%)

Steps
ItersRangePoint
9
1.1939249135599882e-16
4.2435112898356884e-10
2.0191668924404321e-16
4
-6.780726789477935e-05
-4.239915924447437e-05
-4.308734839534673e-05
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes19.0ms (0.6%)

Compiler

Compiled 12 to 30 computations (-150% saved)

bsearch0.0ms (0%)

regimes16.0ms (0.5%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch0.0ms (0%)

regimes16.0ms (0.5%)

Accuracy

Total 0.0b remaining (20.6%)

Threshold costs 0.0b (20.6%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch4.0ms (0.1%)

Compiler

Compiled 46 to 41 computations (10.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04159
14159

end0.0ms (0%)

sample581.0ms (17.5%)

Algorithm
1×intervals
Results
186.0ms7998×body128valid
2.0ms72×body128invalid
0.0ms1×body512valid
0.0ms1×body256valid
Compiler

Compiled 121 to 114 computations (5.8% saved)

Pareto

0.6796901563680019

Profiling

Loading profile data...