Details

Time bar (total: 2.4s)

analyze169.0ms (7.1%)

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
0%99.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample20.0ms (0.8%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify363.0ms (15.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (214.0ms)

IterNodesCost
0524810

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 23 to 21 computations (8.7% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite13.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64_9967
3×add-log-exp_binary64_10006
2×times-frac_binary64_9973 distribute-lft-out_binary64_9918
1×add-sqr-sqrt_binary64_9989 add-cbrt-cube_binary64_10003 flip3-+_binary64_9970 flip-+_binary64_9941 add-cube-cbrt_binary64_10002 add-exp-log_binary64_10005 +-commutative_binary64_9897 sum-log_binary64_10058 frac-add_binary64_9975 pow1_binary64_10028
Counts
1 → 14
Calls

1 calls:

12.0ms
(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

series28.0ms (1.2%)

Counts
1 → 3
Calls

1 calls:

28.0ms
(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

simplify144.0ms (6%)

Algorithm
1×egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
04854239
14854239

prune19.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New16117
Fresh011
Picked011
Done000
Total16319
Error
0.0b
Counts
19 → 3
Compiler

Compiled 231 to 175 computations (24.2% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite18.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
10×add-cbrt-cube_binary64_10003 add-exp-log_binary64_10005
7×add-sqr-sqrt_binary64_9989 *-un-lft-identity_binary64_9967
5×times-frac_binary64_9973 associate-/l*_binary64_9912
3×div-exp_binary64_10018 prod-exp_binary64_10016 cbrt-undiv_binary64_10001 cbrt-unprod_binary64_10000 add-cube-cbrt_binary64_10002
2×associate-/l/_binary64_9914 difference-of-squares_binary64_9936 distribute-lft-out--_binary64_9919
1×flip--_binary64_9942 flip3--_binary64_9971 add-log-exp_binary64_10006 div-sub_binary64_9972 div-inv_binary64_9964 associate-/r*_binary64_9911 pow1_binary64_10028 frac-2neg_binary64_9978 clear-num_binary64_9966
Counts
1 → 30
Calls

1 calls:

13.0ms
(/.f64 (-.f64 x y) (*.f64 (*.f64 x 2) y))

series63.0ms (2.7%)

Counts
1 → 3
Calls

1 calls:

63.0ms
(/.f64 (-.f64 x y) (*.f64 (*.f64 x 2) y))

simplify56.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05374460

prune23.0ms (1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New32133
Fresh101
Picked011
Done011
Total33336
Error
0b
Counts
36 → 3
Compiler

Compiled 412 to 235 computations (43% saved)

localize10.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (-.f64 x y) y)
0.0b
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y)))
6.8b
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y))

rewrite56.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Rules
272×times-frac_binary64_9973
140×add-sqr-sqrt_binary64_9989 *-un-lft-identity_binary64_9967
96×add-cube-cbrt_binary64_10002
61×add-exp-log_binary64_10005
46×associate-/r*_binary64_9911
35×div-exp_binary64_10018 add-cbrt-cube_binary64_10003
22×difference-of-squares_binary64_9936 distribute-lft-out--_binary64_9919
18×cbrt-undiv_binary64_10001
13×div-inv_binary64_9964
9×associate-/l*_binary64_9912
8×prod-exp_binary64_10016
6×associate-/r/_binary64_9913
5×1-exp_binary64_10011 rec-exp_binary64_10017
4×cbrt-unprod_binary64_10000 pow1_binary64_10028
3×add-log-exp_binary64_10006 frac-2neg_binary64_9978 clear-num_binary64_9966
2×associate-/l/_binary64_9914
1×flip--_binary64_9942 flip3--_binary64_9971 inv-pow_binary64_10052 div-sub_binary64_9972 pow-flip_binary64_10041
Counts
3 → 228
Calls

3 calls:

13.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y)))
9.0ms
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y))
6.0ms
(/.f64 (-.f64 x y) y)

series168.0ms (7.1%)

Counts
3 → 9
Calls

3 calls:

81.0ms
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y))
60.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y)))
27.0ms
(/.f64 (-.f64 x y) y)

simplify175.0ms (7.4%)

Algorithm
1×egg-herbie
Counts
237 → 237
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
049434638
149434638

prune287.0ms (12.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2370237
Fresh000
Picked011
Done022
Total2373240
Error
0b
Counts
240 → 3
Compiler

Compiled 4090 to 1587 computations (61.2% saved)

regimes59.0ms (2.5%)

Accuracy

Total 0.0b remaining (80.8%)

Threshold costs 0.0b (80.8%)

Compiler

Compiled 187 to 157 computations (16% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0910
1910

end0.0ms (0%)

sample689.0ms (28.9%)

Algorithm
1×intervals
Results
310.0ms8000×body128valid
Compiler

Compiled 79 to 69 computations (12.7% saved)

Profiling

Loading profile data...