Details

Time bar (total: 6.0s)

analyze275.0ms (4.6%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03726
13726
022
122
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
Symmetry

(sort x y)

Compiler

Compiled 10 to 8 computations (20% saved)

sample92.0ms (1.5%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 2579 to 2577 computations (0.1% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03713
13713

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
16.0b
Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

15.5b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

rewrite41.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×add-exp-log_binary64_12051 add-cbrt-cube_binary64_12049
7×*-un-lft-identity_binary64_12013
4×times-frac_binary64_12019 associate-/l*_binary64_11958
3×prod-exp_binary64_12062 div-exp_binary64_12064 add-cube-cbrt_binary64_12048 cbrt-undiv_binary64_12047 cbrt-unprod_binary64_12046 add-sqr-sqrt_binary64_12035
2×distribute-lft-out_binary64_11964 associate-/l/_binary64_11960
1×pow1_binary64_12074 add-log-exp_binary64_12052 frac-2neg_binary64_12024 clear-num_binary64_12012 div-inv_binary64_12010 flip3-+_binary64_12016 flip-+_binary64_11987 associate-/r*_binary64_11957
Counts
1 → 27
Calls

1 calls:

9.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 454 to 218 computations (52% saved)

series198.0ms (3.3%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

189.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify41.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
05367505

prune38.0ms (0.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New35439
Fresh000
Picked101
Done000
Total36440
Error
0b
Counts
40 → 4
Compiler

Compiled 473 to 244 computations (48.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite31.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
11×*-un-lft-identity_binary64_12013
6×times-frac_binary64_12019
5×distribute-lft-out_binary64_11964
3×add-log-exp_binary64_12052 add-cube-cbrt_binary64_12048 add-sqr-sqrt_binary64_12035
2×div-inv_binary64_12010
1×sum-log_binary64_12104 pow1_binary64_12074 add-exp-log_binary64_12051 add-cbrt-cube_binary64_12049 frac-add_binary64_12021 flip3-+_binary64_12016 flip-+_binary64_11987 +-commutative_binary64_11943
Counts
1 → 17
Calls

1 calls:

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

Compiled 249 to 195 computations (21.7% saved)

series156.0ms (2.6%)

Error
0b
Counts
1 → 12
Calls

1 calls:

149.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify86.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
05160328

prune23.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New29029
Fresh033
Picked011
Done000
Total29433
Error
0b
Counts
33 → 4
Compiler

Compiled 320 to 238 computations (25.6% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite268.0ms (4.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
227×times-frac_binary64_12019
130×*-un-lft-identity_binary64_12013
86×add-cube-cbrt_binary64_12048 add-sqr-sqrt_binary64_12035
61×add-exp-log_binary64_12051
40×associate-/r*_binary64_11957
35×div-exp_binary64_12064 add-cbrt-cube_binary64_12049
22×distribute-lft-out_binary64_11964
18×cbrt-undiv_binary64_12047
13×div-inv_binary64_12010
8×prod-exp_binary64_12062 associate-/l*_binary64_11958
6×associate-/r/_binary64_11959
5×1-exp_binary64_12057 rec-exp_binary64_12063
4×pow1_binary64_12074 cbrt-unprod_binary64_12046
3×add-log-exp_binary64_12052 frac-2neg_binary64_12024 clear-num_binary64_12012
2×associate-/l/_binary64_11960
1×flip3-+_binary64_12016 flip-+_binary64_11987 inv-pow_binary64_12098 pow-flip_binary64_12087
Counts
3 → 205
Calls

3 calls:

12.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
8.0ms
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))
5.0ms
(/.f64 (+.f64 x y) y)
Compiler

Compiled 4218 to 1917 computations (54.6% saved)

series473.0ms (7.8%)

Error
0b
Counts
3 → 48
Calls

3 calls:

177.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
155.0ms
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))
99.0ms
(/.f64 (+.f64 x y) y)
Compiler

Compiled 1416 to 1212 computations (14.4% saved)

simplify100.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
253 → 253
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049904571
149904571

prune223.0ms (3.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2512253
Fresh202
Picked101
Done011
Total2543257
Error
0b
Counts
257 → 3
Compiler

Compiled 4076 to 1720 computations (57.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite137.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
50×times-frac_binary64_12019
35×*-un-lft-identity_binary64_12013
28×add-exp-log_binary64_12051
23×add-cube-cbrt_binary64_12048 add-sqr-sqrt_binary64_12035
16×add-cbrt-cube_binary64_12049
14×div-exp_binary64_12064 associate-/r*_binary64_11957
11×associate-/r/_binary64_11959
7×cbrt-undiv_binary64_12047
6×distribute-lft-out_binary64_11964 div-inv_binary64_12010
5×flip3-+_binary64_12016 flip-+_binary64_11987
4×prod-exp_binary64_12062 associate-/l*_binary64_11958
3×pow1_binary64_12074 1-exp_binary64_12057 rec-exp_binary64_12063
2×add-log-exp_binary64_12052 cbrt-unprod_binary64_12046 frac-2neg_binary64_12024 clear-num_binary64_12012
1×inv-pow_binary64_12098 pow-flip_binary64_12087
Counts
2 → 93
Calls

2 calls:

11.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (+.f64 1 (/.f64 x y))))
9.0ms
(/.f64 (*.f64 x 2) (+.f64 1 (/.f64 x y)))
Compiler

Compiled 1956 to 1316 computations (32.7% saved)

series348.0ms (5.8%)

Error
0b
Counts
2 → 36
Calls

2 calls:

171.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (+.f64 1 (/.f64 x y))))
143.0ms
(/.f64 (*.f64 x 2) (+.f64 1 (/.f64 x y)))
Compiler

Compiled 1122 to 968 computations (13.7% saved)

simplify89.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049792391
149792391

prune117.0ms (1.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1290129
Fresh011
Picked011
Done011
Total1293132
Error
0b
Counts
132 → 3
Compiler

Compiled 2021 to 1266 computations (37.4% saved)

regimes152.0ms (2.5%)

Accuracy

Total 0.0b remaining (99.1%)

Threshold costs 0.0b (99.1%)

Compiler

Compiled 1296 to 950 computations (26.7% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01416
11416
Remove

(sort x y)

Compiler

Compiled 22 to 22 computations (0% saved)

end0.0ms (0%)

sample3.1s (51.3%)

Algorithm
1×intervals
Results
215.0ms8000×body128valid
Compiler

Compiled 80416 to 80313 computations (0.1% saved)

Profiling

Loading profile data...