Details

Time bar (total: 3.3s)

sample17.0ms

Algorithm
intervals
Results
7.0ms324×body80valid

simplify30.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0134
1204
2344
3494
4574
5694
6904
71274
81764
93044
104394
114494
124494

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 2 expressions with local error:

0.0b
(* (- 1.0 x) y)
0.0b
(+ (* (- 1.0 x) y) (* x z))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-*l/
1×+-commutative flip3-- flip3-+ *-commutative flip-- flip-+
Counts
2 → 6
Calls
2 calls:
3.0ms
(* (- 1.0 x) y)
5.0ms
(+ (* (- 1.0 x) y) (* x z))

series63.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(* (- 1.0 x) y)
35.0ms
(+ (* (- 1.0 x) y) (* x z))

simplify169.0ms

Algorithm
egg-herbie
Counts
12 → 12
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
09657
134657
2137756
3491856
4500256

prune20.0ms

Filtered
12 candidates to 7 candidates (58.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New10212
Fresh000
Picked011
Done000
Total10313

Merged error: 0.0b

Counts
13 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* 1.0 x))
0.0b
(+ (/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* x z))
2.9b
(* (- (pow 1.0 3) (pow x 3)) y)
11.3b
(/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
6×*-commutative
4×associate-*l* associate-*l/ associate-/l* sqr-pow
3×flip3-+ flip-+
2×difference-cubes +-commutative distribute-rgt-out flip3-- associate-/r/ flip-- associate-/l/ distribute-lft-out difference-of-squares
1×frac-2neg clear-num div-inv
Counts
4 → 26
Calls
4 calls:
4.0ms
(+ (* x x) (* 1.0 x))
13.0ms
(+ (/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* x z))
5.0ms
(* (- (pow 1.0 3) (pow x 3)) y)
11.0ms
(/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series283.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ (* x x) (* 1.0 x))
116.0ms
(+ (/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* x z))
38.0ms
(* (- (pow 1.0 3) (pow x 3)) y)
77.0ms
(/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify39.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0284272
11038266
25001262

prune104.0ms

Filtered
38 candidates to 29 candidates (76.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New37138
Fresh011
Picked011
Done011
Total37441

Merged error: 0.0b

Counts
41 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ y (+ (* x (+ x 1.0)) (* 1.0 1.0)))
5.3b
(* (/ y (+ (* x (+ x 1.0)) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
10.0b
(* (* (/ y (+ (* x (+ x 1.0)) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
12.2b
(/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
148×frac-times
54×clear-num
53×flip3-- flip--
50×frac-2neg
44×associate-*l/
34×associate-/l/ associate-/l* sqr-pow
30×associate-*r/
17×difference-cubes difference-of-squares
14×associate-*l*
12×associate-/r/
6×associate-*r* div-inv
4×un-div-inv
3×flip3-+ *-commutative flip-+
2×distribute-rgt-in sub-neg distribute-lft-in
1×div-sub
Counts
4 → 165
Calls
4 calls:
6.0ms
(/ y (+ (* x (+ x 1.0)) (* 1.0 1.0)))
18.0ms
(* (/ y (+ (* x (+ x 1.0)) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
27.0ms
(* (* (/ y (+ (* x (+ x 1.0)) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
10.0ms
(/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series449.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(/ y (+ (* x (+ x 1.0)) (* 1.0 1.0)))
169.0ms
(* (/ y (+ (* x (+ x 1.0)) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
147.0ms
(* (* (/ y (+ (* x (+ x 1.0)) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
59.0ms
(/ (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify72.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
014473744
150013627

prune773.0ms

Filtered
177 candidates to 160 candidates (90.4%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1770177
Fresh011
Picked011
Done022
Total1774181

Merged error: 0.0b

Counts
181 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (- 1.0 x) y) (* (- 1.0 x) y))
0.2b
(* (* x z) (* x z))
3.1b
(- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))
28.3b
(/ (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
18×*-commutative
14×associate-*l/
9×flip3-- flip--
8×difference-of-squares
4×frac-times swap-sqr associate-*r* associate-*l* associate-/l*
2×pow2 associate-*r/ associate-/r/ associate-/l/
1×sub-neg frac-2neg div-sub clear-num div-inv
Counts
4 → 44
Calls
4 calls:
7.0ms
(* (* (- 1.0 x) y) (* (- 1.0 x) y))
4.0ms
(* (* x z) (* x z))
14.0ms
(- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))
21.0ms
(/ (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)))

series326.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (* (- 1.0 x) y) (* (- 1.0 x) y))
35.0ms
(* (* x z) (* x z))
105.0ms
(- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))
153.0ms
(/ (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)))

simplify56.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0314409
11401390
25001380

prune114.0ms

Filtered
56 candidates to 36 candidates (64.3%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New56056
Fresh000
Picked011
Done033
Total56460

Merged error: 0.0b

Counts
60 → 4

regimes84.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0114
1114

end0.0ms

sample434.0ms

Algorithm
intervals
Results
230.0ms10106×body80valid