Details

Time bar (total: 12.3s)

sample13.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify44.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0174
1284
2434
3564
4724
51334
62144
72654
82974
92974

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) (- 2.0 (+ x y)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
40×add-sqr-sqrt
30×times-frac
19×distribute-lft-out--
14×add-cube-cbrt
13×difference-of-squares
6×associate-/r* distribute-lft-out
5×associate-/l*
3×add-exp-log add-cbrt-cube
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv expm1-log1p-u frac-2neg div-sub div-exp clear-num log1p-expm1-u div-inv add-log-exp
Counts
1 → 60
Calls
1 calls:
10.0ms
(/ (- x y) (- 2.0 (+ x y)))

series64.0ms

Counts
1 → 3
Calls
1 calls:
64.0ms
(/ (- x y) (- 2.0 (+ x y)))

simplify222.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0281498
1871475
24258474
35001474

prune96.0ms

Filtered
63 candidates to 40 candidates (63.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New59463
Fresh000
Picked101
Done000
Total60464

Merged error: 0b

Counts
64 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (- 2.0 (+ x y)))
0.0b
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
0.0b
(/ x (- 2.0 (+ x y)))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
1568×*-un-lft-identity
946×times-frac
945×add-sqr-sqrt
576×prod-diff
567×add-cube-cbrt
399×distribute-lft-out--
193×distribute-lft-out
187×difference-of-squares
186×associate-/r*
144×frac-sub
106×associate-/r/
78×associate-/l*
54×flip3-- flip--
53×div-inv
28×frac-2neg
26×clear-num
24×fma-neg
20×sub-div
7×add-exp-log add-cbrt-cube
5×add-log-exp
3×pow1 expm1-log1p-u distribute-rgt-out-- log1p-expm1-u
2×cbrt-undiv div-exp
1×sub-neg diff-log
Counts
3 → 884
Calls
3 calls:
7.0ms
(/ y (- 2.0 (+ x y)))
69.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
8.0ms
(/ x (- 2.0 (+ x y)))

series206.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(/ y (- 2.0 (+ x y)))
82.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
62.0ms
(/ x (- 2.0 (+ x y)))

simplify310.0ms

Algorithm
egg-herbie
Counts
893 → 893
Iterations

Useful iterations: 1 (84.0ms)

IterNodesCost
0222926787
1500120833

prune8.0s

Filtered
893 candidates to 334 candidates (37.4%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New8912893
Fresh213
Picked011
Done000
Total8934897

Merged error: 0b

Counts
897 → 4

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) (- 2.0 (+ x y)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
40×add-sqr-sqrt
30×times-frac
19×distribute-lft-out--
14×add-cube-cbrt
13×difference-of-squares
6×associate-/r* distribute-lft-out
5×associate-/l*
3×add-exp-log add-cbrt-cube
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv expm1-log1p-u frac-2neg div-sub div-exp clear-num log1p-expm1-u div-inv add-log-exp
Counts
1 → 60
Calls
1 calls:
12.0ms
(/ (- x y) (- 2.0 (+ x y)))

series69.0ms

Counts
1 → 3
Calls
1 calls:
69.0ms
(/ (- x y) (- 2.0 (+ x y)))

simplify251.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0281498
1871475
24258474
35001474

prune107.0ms

Filtered
63 candidates to 40 candidates (63.5%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New63063
Fresh022
Picked011
Done011
Total63467

Merged error: 0b

Counts
67 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (- 2.0 (+ x y)))
0.0b
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
0.0b
(/ x (- 2.0 (+ x y)))
3.3b
(log1p (- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y)))))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
1569×*-un-lft-identity
946×add-sqr-sqrt times-frac
576×prod-diff
568×add-cube-cbrt
399×distribute-lft-out--
193×distribute-lft-out
187×difference-of-squares
186×associate-/r*
144×frac-sub
106×associate-/r/
78×associate-/l*
54×flip3-- flip--
53×div-inv
28×frac-2neg
26×clear-num
24×fma-neg
20×sub-div
8×add-exp-log add-cbrt-cube
6×add-log-exp
5×expm1-log1p-u
4×pow1 log1p-expm1-u
3×distribute-rgt-out--
2×cbrt-undiv div-exp
1×sub-neg log1p-udef diff-log log1p-expm1
Counts
4 → 895
Calls
4 calls:
8.0ms
(/ y (- 2.0 (+ x y)))
65.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
8.0ms
(/ x (- 2.0 (+ x y)))
1.0ms
(log1p (- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y)))))

series386.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(/ y (- 2.0 (+ x y)))
92.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
57.0ms
(/ x (- 2.0 (+ x y)))
169.0ms
(log1p (- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y)))))

simplify344.0ms

Algorithm
egg-herbie
Counts
907 → 907
Iterations

Useful iterations: 1 (100.0ms)

IterNodesCost
0230626931
1500120957

prune1.4s

Filtered
907 candidates to 346 candidates (38.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New9061907
Fresh101
Picked011
Done022
Total9074911

Merged error: 0b

Counts
911 → 4

regimes56.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
097
197

end0.0ms

sample308.0ms

Algorithm
intervals
Results
176.0ms7998×body80valid
0.0ms1×body1280valid
0.0ms1×body320valid