Details

Time bar (total: 3.6s)

sample18.0ms

Algorithm
intervals
Results
7.0ms333×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1183
2183

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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x y) (* z t))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
1×sub-neg flip3-- flip--
Counts
1 → 4
Calls
1 calls:
4.0ms
(- (* x y) (* z t))

series39.0ms

Counts
1 → 3
Calls
1 calls:
39.0ms
(- (* x y) (* z t))

simplify104.0ms

Algorithm
egg-herbie
Counts
7 → 7
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06734
119334
252934
397234
4201434
5500134

prune19.0ms

Filtered
7 candidates to 5 candidates (71.4%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New617
Fresh000
Picked011
Done000
Total628

Merged error: 0.0b

Counts
8 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

1.2b
(+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
1.7b
(* (* z t) (+ (* z t) (* x y)))
2.5b
(- (pow (* x y) 3) (pow (* z t) 3))
34.9b
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
5×+-commutative
4×distribute-rgt-in associate-+l+ distribute-lft-in sqr-pow
3×flip3-+ flip-+
2×difference-cubes flip3-- associate-*r/ associate-*l* associate-/r/ *-commutative flip-- associate-/l/ associate-/l* difference-of-squares
1×sub-neg frac-2neg div-sub clear-num div-inv
Counts
4 → 32
Calls
4 calls:
12.0ms
(+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
7.0ms
(* (* z t) (+ (* z t) (* x y)))
6.0ms
(- (pow (* x y) 3) (pow (* z t) 3))
18.0ms
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))

series485.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
54.0ms
(* (* z t) (+ (* z t) (* x y)))
206.0ms
(- (pow (* x y) 3) (pow (* z t) 3))
139.0ms
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))))

simplify54.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0281418
11233409
25001409

prune129.0ms

Filtered
44 candidates to 34 candidates (77.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New43144
Fresh000
Picked101
Done011
Total44246

Merged error: 0.0b

Counts
46 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

2.5b
(- (pow (* x y) 3) (pow (* z t) 3))
3.2b
(* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y))))
10.7b
(/ (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))) (- (* z t) (* x y)))
34.9b
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (/ (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))) (- (* z t) (* x y))) (* (* x y) (* x y))))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
12×*-commutative
10×associate-/l* difference-of-squares
8×associate-*r*
5×flip3-- flip--
4×associate-*r/ associate-*l* associate-/r/ associate-/l/ sqr-pow
3×sub-neg
2×difference-cubes distribute-rgt-in frac-2neg distribute-lft-in clear-num div-inv
1×flip3-+ div-sub flip-+
Counts
4 → 44
Calls
4 calls:
6.0ms
(- (pow (* x y) 3) (pow (* z t) 3))
14.0ms
(* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y))))
24.0ms
(/ (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))) (- (* z t) (* x y)))
31.0ms
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (/ (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))) (- (* z t) (* x y))) (* (* x y) (* x y))))

series667.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(- (pow (* x y) 3) (pow (* z t) 3))
135.0ms
(* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y))))
136.0ms
(/ (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))) (- (* z t) (* x y)))
189.0ms
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (/ (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))) (- (* z t) (* x y))) (* (* x y) (* x y))))

simplify74.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
0358614
11743592
25002586

prune159.0ms

Filtered
56 candidates to 39 candidates (69.6%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New55156
Fresh000
Picked101
Done011
Total56258

Merged error: 0.0b

Counts
58 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

2.5b
(- (pow (* x y) 3) (pow (* z t) 3))
3.2b
(* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y))))
10.8b
(/ (- (* z t) (* x y)) (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))))
34.9b
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (/ 1 (/ (- (* z t) (* x y)) (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))))) (* (* x y) (* x y))))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
12×*-commutative
10×difference-of-squares
8×associate-*r* associate-/r*
5×flip3-- flip--
4×associate-*r/ associate-*l* associate-/r/ associate-/l/ sqr-pow
3×sub-neg
2×difference-cubes distribute-rgt-in frac-2neg distribute-lft-in div-sub clear-num div-inv associate-/l*
1×flip3-+ flip-+
Counts
4 → 45
Calls
4 calls:
6.0ms
(- (pow (* x y) 3) (pow (* z t) 3))
14.0ms
(* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y))))
23.0ms
(/ (- (* z t) (* x y)) (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))))
34.0ms
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (/ 1 (/ (- (* z t) (* x y)) (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))))) (* (* x y) (* x y))))

series743.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(- (pow (* x y) 3) (pow (* z t) 3))
263.0ms
(* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y))))
85.0ms
(/ (- (* z t) (* x y)) (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))))
185.0ms
(/ (- (pow (* x y) 3) (pow (* z t) 3)) (+ (/ 1 (/ (- (* z t) (* x y)) (* (* z t) (- (* (* z t) (* z t)) (* (* x y) (* x y)))))) (* (* x y) (* x y))))

simplify68.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
0355652
11704642
25001634

prune197.0ms

Filtered
57 candidates to 42 candidates (73.7%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New57057
Fresh000
Picked011
Done011
Total57259

Merged error: 0.0b

Counts
59 → 2

regimes121.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
093
193

end0.0ms

sample467.0ms

Algorithm
intervals
Results
221.0ms10449×body80valid