Details

Time bar (total: 5.3s)

analyze18.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%0.1%2
50%50%0.1%3
74.9%25%0.1%4
74.9%25%0.1%5
87.4%12.5%0.1%6
87.4%12.5%0.1%7
93.7%6.2%0.1%8
93.7%6.2%0.1%9
96.8%3.1%0.1%10
96.8%3.1%0.1%11
98.3%1.6%0.1%12
98.3%1.6%0.1%13
99.1%0.8%0.1%14
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample14.0ms (0.3%)

Algorithm
1×intervals
Results
6.0ms247×body128valid
0.0ms5×body1024valid
0.0ms2×body2048valid
0.0ms1×body512valid
0.0ms1×body256valid
Compiler

Compiled 17 to 17 computations (0% saved)

simplify107.0ms (2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
015912
115912

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 16 to 14 computations (12.5% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))

rewrite8.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×*-un-lft-identity_binary64_4852 add-log-exp_binary64_4891
1×add-exp-log_binary64_4890 +-commutative_binary64_4782 flip-+_binary64_4826 add-cube-cbrt_binary64_4887 distribute-lft-out_binary64_4803 add-cbrt-cube_binary64_4888 add-sqr-sqrt_binary64_4874 pow1_binary64_4913 flip3-+_binary64_4855 sum-log_binary64_4943
Counts
1 → 12
Calls

2 calls:

6.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))

series69.0ms (1.3%)

Counts
1 → 9
Calls

1 calls:

69.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
Compiler

Compiled 104 to 94 computations (9.6% saved)

simplify69.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
05354302

prune26.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New17421
Fresh000
Picked011
Done000
Total17522
Error
0.0b
Counts
22 → 5
Compiler

Compiled 339 to 174 computations (48.7% saved)

localize11.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))) (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.5b
(*.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))
0.6b
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.6b
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.6b
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))

rewrite50.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
36×cbrt-prod_binary64_4883
35×*-un-lft-identity_binary64_4852
23×add-sqr-sqrt_binary64_4874
18×cbrt-div_binary64_4884
15×add-cube-cbrt_binary64_4887
11×pow1_binary64_4913
9×flip-+_binary64_4826 distribute-lft-out_binary64_4803 pow1/3_binary64_4934 swap-sqr_binary64_4819 flip3-+_binary64_4855
7×associate-*l*_binary64_4793 associate-*r*_binary64_4792
6×add-exp-log_binary64_4890
4×unswap-sqr_binary64_4820 frac-times_binary64_4862 add-cbrt-cube_binary64_4888 add-log-exp_binary64_4891
2×associate-*r/_binary64_4794 pow-prod-up_binary64_4922 pow-sqr_binary64_4825 associate-*l/_binary64_4795 pow-prod-down_binary64_4923
1×cbrt-unprod_binary64_4885 pow-plus_binary64_4915 prod-exp_binary64_4901 pow2_binary64_4933 *-commutative_binary64_4783
Counts
4 → 95
Calls

8 calls:

20.0ms
(*.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))
6.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
6.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
6.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))

series1.2s (22.5%)

Counts
4 → 51
Calls

4 calls:

382.0ms
(*.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))
273.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
265.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
261.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
Compiler

Compiled 2570 to 1766 computations (31.3% saved)

simplify92.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049484211
149484211

prune258.0ms (4.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1433146
Fresh033
Picked011
Done011
Total1438151
Error
0.0b
Counts
151 → 8
Compiler

Compiled 5612 to 2967 computations (47.1% saved)

localize9.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.1b
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.1b
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.1b
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.3b
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))

rewrite51.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
34×*-un-lft-identity_binary64_4852 sqrt-prod_binary64_4868
30×add-sqr-sqrt_binary64_4874
21×pow1_binary64_4913
16×sqrt-div_binary64_4869
14×add-cube-cbrt_binary64_4887
11×swap-sqr_binary64_4819
10×pow1/2_binary64_4932 sqrt-pow1_binary64_4870
9×flip-+_binary64_4826 distribute-lft-out_binary64_4803 flip3-+_binary64_4855
7×associate-*l*_binary64_4793 associate-*r*_binary64_4792
6×add-exp-log_binary64_4890 add-cbrt-cube_binary64_4888 add-log-exp_binary64_4891
5×pow-prod-up_binary64_4922
4×unswap-sqr_binary64_4820 frac-times_binary64_4862 rem-sqrt-square_binary64_4865
3×pow-sqr_binary64_4825 pow-prod-down_binary64_4923
2×associate-*r/_binary64_4794 associate-*l/_binary64_4795
1×sqrt-unprod_binary64_4872 +-commutative_binary64_4782 cbrt-unprod_binary64_4885 pow-plus_binary64_4915 prod-exp_binary64_4901 rem-square-sqrt_binary64_4864 pow2_binary64_4933 sqr-abs_binary64_4867 sum-log_binary64_4943 *-commutative_binary64_4783
Counts
4 → 107
Calls

8 calls:

21.0ms
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))
6.0ms
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
6.0ms
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
6.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))

series328.0ms (6.2%)

Counts
4 → 36
Calls

4 calls:

100.0ms
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
93.0ms
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
68.0ms
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))
66.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
Compiler

Compiled 1117 to 814 computations (27.1% saved)

simplify63.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
051502744

prune159.0ms (3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New1412143
Fresh145
Picked011
Done022
Total1429151
Error
0.0b
Counts
151 → 9
Compiler

Compiled 3315 to 1710 computations (48.4% saved)

localize17.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.0b
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
0.3b
(*.f64 (*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (fabs.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))))
0.3b
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (fabs.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))))
0.6b
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.6b
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))

rewrite55.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
20×*-un-lft-identity_binary64_4852
16×add-sqr-sqrt_binary64_4874
14×sqrt-div_binary64_4869
13×associate-*r*_binary64_4792
12×add-cube-cbrt_binary64_4887 cbrt-prod_binary64_4883 sqrt-prod_binary64_4868
11×add-exp-log_binary64_4890 add-cbrt-cube_binary64_4888 pow1_binary64_4913
10×cbrt-div_binary64_4884 associate-*l/_binary64_4795
9×flip-+_binary64_4826 flip3-+_binary64_4855
8×associate-*l*_binary64_4793
4×frac-times_binary64_4862 cbrt-unprod_binary64_4885 distribute-lft-out_binary64_4803 add-log-exp_binary64_4891 prod-exp_binary64_4901 pow-prod-down_binary64_4923
2×unswap-sqr_binary64_4820 associate-*r/_binary64_4794 pow1/3_binary64_4934 *-commutative_binary64_4783
Counts
4 → 86
Calls

8 calls:

19.0ms
(*.f64 (*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (fabs.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))))
10.0ms
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (fabs.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))))
6.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
6.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
0.0ms
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))

series1.3s (23.9%)

Counts
4 → 48
Calls

4 calls:

531.0ms
(*.f64 (*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (fabs.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))))
274.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
265.0ms
(cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))
188.0ms
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))) (fabs.f64 (cbrt.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2)))))
Compiler

Compiled 2904 to 1998 computations (31.2% saved)

simplify92.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049645678
149645678

prune254.0ms (4.8%)

Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New1331134
Fresh145
Picked011
Done033
Total1349143
Error
0.0b
Counts
143 → 9
Compiler

Compiled 5695 to 3100 computations (45.6% saved)

simplify19.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0259846
1259846

regimes134.0ms (2.5%)

Compiler

Compiled 1628 to 1096 computations (32.7% saved)

bsearch0.0ms (0%)

regimes19.0ms (0.4%)

Compiler

Compiled 22 to 38 computations (-72.7% saved)

bsearch0.0ms (0%)

regimes19.0ms (0.4%)

Accuracy

Total 0.0b remaining (78.5%)

Threshold costs 0.0b (78.5%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch2.0ms (0%)

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02022
12022

end0.0ms (0%)

sample863.0ms (16.4%)

Algorithm
1×intervals
Results
199.0ms7714×body128valid
9.0ms86×body2048valid
8.0ms96×body1024valid
5.0ms75×body512valid
1.0ms29×body256valid
Compiler

Compiled 560 to 384 computations (31.4% saved)

Pareto

-0.46497739609327754

Profiling

Loading profile data...