Details

Time bar (total: 4.0s)

analyze36.0ms (0.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
25%74.9%0.1%4
37.5%62.4%0.1%5
59.3%40.6%0.1%6
76.5%23.4%0.1%7
82%18%0.1%8
87.8%12.1%0.1%9
90.7%9.2%0.1%10
93.8%6.1%0.1%11
95.3%4.6%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample19.0ms (0.5%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify207.0ms (5.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
078210
178210

prune3.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 10 computations (28.6% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite71.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
34×*-un-lft-identity_binary64_21902
22×add-sqr-sqrt_binary64_21924
20×times-frac_binary64_21908
12×add-cube-cbrt_binary64_21937
6×distribute-lft-out_binary64_21853
5×difference-of-squares_binary64_21871 distribute-lft-out--_binary64_21854 associate-/l*_binary64_21847
4×associate-/r*_binary64_21846
3×add-exp-log_binary64_21940 add-cbrt-cube_binary64_21938
2×associate-/l/_binary64_21849 associate-/r/_binary64_21848
1×pow1_binary64_21963 div-exp_binary64_21953 add-log-exp_binary64_21941 cbrt-undiv_binary64_21936 frac-2neg_binary64_21913 div-sub_binary64_21907 clear-num_binary64_21901 div-inv_binary64_21899 flip3--_binary64_21906 flip--_binary64_21877 flip3-+_binary64_21905 flip-+_binary64_21876
Counts
1 → 46
Calls

1 calls:

14.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
Compiler

Compiled 725 to 165 computations (77.2% saved)

series84.0ms (2.1%)

Error
0.0b
Counts
1 → 18
Calls

1 calls:

71.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
Compiler

Compiled 411 to 349 computations (15.1% saved)

simplify74.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
061991014

prune53.0ms (1.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New58664
Fresh000
Picked011
Done000
Total58765
Error
0b
Counts
65 → 7
Compiler

Compiled 910 to 266 computations (70.8% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(cbrt.f64 (/.f64 (-.f64 x y) (+.f64 x y)))
0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
0.0b
(/.f64 (-.f64 x y) (+.f64 x y))

rewrite272.0ms (6.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
131×*-un-lft-identity_binary64_21902
85×add-sqr-sqrt_binary64_21924
80×times-frac_binary64_21908
47×add-cube-cbrt_binary64_21937
26×cbrt-prod_binary64_21933
23×distribute-lft-out_binary64_21853
19×difference-of-squares_binary64_21871 distribute-lft-out--_binary64_21854
15×associate-/l*_binary64_21847
12×associate-/r*_binary64_21846
10×add-exp-log_binary64_21940 add-cbrt-cube_binary64_21938
8×associate-/r/_binary64_21848
6×associate-/l/_binary64_21849
4×pow1_binary64_21963 add-log-exp_binary64_21941 div-inv_binary64_21899 flip3-+_binary64_21905 flip-+_binary64_21876
3×div-exp_binary64_21953 cbrt-undiv_binary64_21936 frac-2neg_binary64_21913 div-sub_binary64_21907 clear-num_binary64_21901 flip3--_binary64_21906 flip--_binary64_21877
1×pow1/3_binary64_21984 cbrt-div_binary64_21934
Counts
4 → 173
Calls

4 calls:

19.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
17.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
16.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
7.0ms
(cbrt.f64 (/.f64 (-.f64 x y) (+.f64 x y)))
Compiler

Compiled 6072 to 798 computations (86.9% saved)

series404.0ms (10.1%)

Error
0b
Counts
4 → 66
Calls

4 calls:

91.0ms
(cbrt.f64 (/.f64 (-.f64 x y) (+.f64 x y)))
84.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
81.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
77.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
Compiler

Compiled 4256 to 2003 computations (52.9% saved)

simplify127.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
057724053

prune244.0ms (6.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New2390239
Fresh055
Picked011
Done011
Total2397246
Error
0b
Counts
246 → 7
Compiler

Compiled 7707 to 1119 computations (85.5% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (-.f64 x y))
0.6b
(cbrt.f64 (+.f64 x y))
0.6b
(cbrt.f64 (+.f64 x y))
0.6b
(cbrt.f64 (+.f64 x y))

rewrite81.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
17×cbrt-prod_binary64_21933
16×*-un-lft-identity_binary64_21902
10×add-sqr-sqrt_binary64_21924
8×add-cube-cbrt_binary64_21937 cbrt-div_binary64_21934
4×pow1/3_binary64_21984 pow1_binary64_21963 add-log-exp_binary64_21941 add-exp-log_binary64_21940 add-cbrt-cube_binary64_21938
3×flip3-+_binary64_21905 flip-+_binary64_21876 distribute-lft-out_binary64_21853
1×flip3--_binary64_21906 flip--_binary64_21877 difference-of-squares_binary64_21871 distribute-lft-out--_binary64_21854
Counts
4 → 57
Calls

4 calls:

3.0ms
(cbrt.f64 (-.f64 x y))
3.0ms
(cbrt.f64 (+.f64 x y))
3.0ms
(cbrt.f64 (+.f64 x y))
3.0ms
(cbrt.f64 (+.f64 x y))
Compiler

Compiled 2026 to 280 computations (86.2% saved)

series595.0ms (14.8%)

Error
0b
Counts
4 → 46
Calls

4 calls:

168.0ms
(cbrt.f64 (+.f64 x y))
133.0ms
(cbrt.f64 (+.f64 x y))
128.0ms
(cbrt.f64 (+.f64 x y))
104.0ms
(cbrt.f64 (-.f64 x y))
Compiler

Compiled 4808 to 2469 computations (48.6% saved)

simplify110.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
048771318
148771318

prune129.0ms (3.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1030103
Fresh044
Picked011
Done022
Total1037110
Error
0b
Counts
110 → 7
Compiler

Compiled 3589 to 608 computations (83.1% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.1b
(*.f64 (/.f64 y x) (-.f64 (*.f64 2 (/.f64 y x)) 2))

rewrite67.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
16×add-sqr-sqrt_binary64_21924
13×associate-*l*_binary64_21843
11×add-cube-cbrt_binary64_21937 *-un-lft-identity_binary64_21902
10×times-frac_binary64_21908
6×add-exp-log_binary64_21940 add-cbrt-cube_binary64_21938 cancel-sign-sub-inv_binary64_21868
4×distribute-rgt-in_binary64_21852 distribute-lft-in_binary64_21851
3×pow1_binary64_21963 associate-*r*_binary64_21842
2×prod-exp_binary64_21951 cbrt-unprod_binary64_21935 flip3--_binary64_21906 frac-times_binary64_21912 flip--_binary64_21877 unswap-sqr_binary64_21870 sub-neg_binary64_21895 associate-*r/_binary64_21844
1×pow-prod-down_binary64_21973 div-exp_binary64_21953 add-log-exp_binary64_21941 cbrt-undiv_binary64_21936 associate-*l/_binary64_21845 div-inv_binary64_21899 *-commutative_binary64_21833
Counts
1 → 44
Calls

1 calls:

12.0ms
(*.f64 (/.f64 y x) (-.f64 (*.f64 2 (/.f64 y x)) 2))
Compiler

Compiled 1023 to 582 computations (43.1% saved)

series202.0ms (5%)

Error
0b
Counts
1 → 12
Calls

1 calls:

193.0ms
(*.f64 (/.f64 y x) (-.f64 (*.f64 2 (/.f64 y x)) 2))
Compiler

Compiled 414 to 348 computations (15.9% saved)

simplify73.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
050731048

prune47.0ms (1.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New56056
Fresh033
Picked011
Done033
Total56763
Error
0b
Counts
63 → 7
Compiler

Compiled 1026 to 567 computations (44.7% saved)

regimes120.0ms (3%)

Accuracy

Total 0.0b remaining (95.8%)

Threshold costs 0.0b (95.8%)

Compiler

Compiled 1248 to 702 computations (43.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01710
11710

end0.0ms (0%)

sample955.0ms (23.8%)

Algorithm
1×intervals
Results
229.0ms8000×body128valid
Compiler

Compiled 436 to 247 computations (43.3% saved)

Profiling

Loading profile data...