Details

Time bar (total: 4.6s)

analyze362.0ms (7.9%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
1714
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Symmetry

(sort x y)

Compiler

Compiled 6 to 6 computations (0% saved)

sample21.0ms (0.5%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify11.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
077
177

prune6.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 10 to 10 computations (0% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite56.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
18×*-un-lft-identity_binary64
12×times-frac_binary64
10×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×distribute-lft-out_binary64 associate-/l*_binary64
3×add-exp-log_binary64 add-cbrt-cube_binary64 associate-/r*_binary64
2×associate-/l/_binary64
1×pow1_binary64 div-exp_binary64 add-log-exp_binary64 cbrt-undiv_binary64 frac-2neg_binary64 clear-num_binary64 div-inv_binary64 flip3-+_binary64 flip-+_binary64
Counts
1 → 33
Calls

1 calls:

9.0ms
(/.f64 (+.f64 x y) 10)
Compiler

Compiled 404 to 220 computations (45.5% saved)

series86.0ms (1.9%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

79.0ms
(/.f64 (+.f64 x y) 10)
Compiler

Compiled 162 to 152 computations (6.2% saved)

simplify87.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
04998495
14998495

prune37.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New43245
Fresh000
Picked011
Done000
Total43346
Error
0.0b
Counts
46 → 3
Compiler

Compiled 434 to 240 computations (44.7% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 10 (+.f64 y x))
0.2b
(/.f64 1 (/.f64 10 (+.f64 y x)))

rewrite173.0ms (3.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
114×times-frac_binary64
94×*-un-lft-identity_binary64
62×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
22×associate-/r*_binary64
16×distribute-lft-out_binary64
15×add-exp-log_binary64
11×associate-/r/_binary64
9×add-cbrt-cube_binary64
8×div-exp_binary64
6×div-inv_binary64 associate-/l*_binary64
5×flip3-+_binary64 flip-+_binary64
4×cbrt-undiv_binary64
3×pow1_binary64
2×1-exp_binary64 rec-exp_binary64 add-log-exp_binary64 frac-2neg_binary64 clear-num_binary64
1×inv-pow_binary64 pow-flip_binary64
Counts
2 → 129
Calls

2 calls:

18.0ms
(/.f64 1 (/.f64 10 (+.f64 y x)))
10.0ms
(/.f64 10 (+.f64 y x))
Compiler

Compiled 2163 to 1375 computations (36.4% saved)

series224.0ms (4.9%)

Error
0b
Counts
2 → 36
Calls

2 calls:

100.0ms
(/.f64 10 (+.f64 y x))
84.0ms
(/.f64 1 (/.f64 10 (+.f64 y x)))
Compiler

Compiled 1122 to 968 computations (13.7% saved)

simplify102.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
050282716

prune195.0ms (4.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1641165
Fresh101
Picked101
Done011
Total1662168
Error
0b
Counts
168 → 2
Compiler

Compiled 2268 to 1327 computations (41.5% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (/.f64 10 (+.f64 x y))) (cbrt.f64 (/.f64 10 (+.f64 x y))))
0.6b
(cbrt.f64 (/.f64 10 (+.f64 x y)))
0.6b
(cbrt.f64 (/.f64 10 (+.f64 x y)))
0.6b
(cbrt.f64 (/.f64 10 (+.f64 x y)))

rewrite506.0ms (11%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
150×cbrt-prod_binary64
128×*-un-lft-identity_binary64
102×times-frac_binary64
92×add-sqr-sqrt_binary64
68×add-cube-cbrt_binary64
27×distribute-lft-out_binary64 swap-sqr_binary64
21×associate-*l*_binary64 associate-*r*_binary64
14×associate-/r/_binary64
11×pow1_binary64
9×pow1/3_binary64 unswap-sqr_binary64
7×cbrt-div_binary64 div-inv_binary64 flip3-+_binary64 flip-+_binary64
6×add-exp-log_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×pow2_binary64 pow-plus_binary64 prod-exp_binary64 cbrt-unprod_binary64 frac-times_binary64 associate-*l/_binary64 associate-*r/_binary64 *-commutative_binary64
Counts
4 → 180
Calls

4 calls:

26.0ms
(*.f64 (cbrt.f64 (/.f64 10 (+.f64 x y))) (cbrt.f64 (/.f64 10 (+.f64 x y))))
8.0ms
(cbrt.f64 (/.f64 10 (+.f64 x y)))
6.0ms
(cbrt.f64 (/.f64 10 (+.f64 x y)))
5.0ms
(cbrt.f64 (/.f64 10 (+.f64 x y)))
Compiler

Compiled 6205 to 3922 computations (36.8% saved)

series978.0ms (21.4%)

Error
0b
Counts
4 → 51
Calls

4 calls:

285.0ms
(*.f64 (cbrt.f64 (/.f64 10 (+.f64 x y))) (cbrt.f64 (/.f64 10 (+.f64 x y))))
197.0ms
(cbrt.f64 (/.f64 10 (+.f64 x y)))
188.0ms
(cbrt.f64 (/.f64 10 (+.f64 x y)))
170.0ms
(cbrt.f64 (/.f64 10 (+.f64 x y)))
Compiler

Compiled 5094 to 4323 computations (15.1% saved)

simplify108.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
231 → 231
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
052205836

prune534.0ms (11.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2310231
Fresh000
Picked011
Done011
Total2312233
Error
0b
Counts
233 → 2
Compiler

Compiled 7713 to 5120 computations (33.6% saved)

regimes191.0ms (4.2%)

Accuracy

Total 0.0b remaining (97.4%)

Threshold costs 0.0b (97.4%)

Compiler

Compiled 1380 to 1152 computations (16.5% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
077
177
Remove

(sort x y)

Compiler

Compiled 10 to 10 computations (0% saved)

end0.0ms (0%)

sample862.0ms (18.8%)

Algorithm
1×intervals
Results
176.0ms8000×body128valid
Compiler

Compiled 351 to 295 computations (16% saved)

Profiling

Loading profile data...