Details

Time bar (total: 1.1s)

sample17.0ms

Algorithm
intervals
Results
6.0ms256×pre80true
3.0ms256×body80valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1253
2533
3803
4983
51073
61133
71133

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

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ a b) (+ a b))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×flip3-+ flip-+
4×frac-times
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/ associate-*l/
1×pow2 *-commutative
Counts
1 → 14
Calls
1 calls:
5.0ms
(* (+ a b) (+ a b))

series15.0ms

Counts
1 → 3
Calls
1 calls:
15.0ms
(* (+ a b) (+ a b))

simplify62.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0116110
1437106
22073106
35002106

prune28.0ms

Filtered
17 candidates to 9 candidates (52.9%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New15217
Fresh000
Picked101
Done000
Total16218

Merged error: 0b

Counts
18 → 2

localize5.0ms

Local error

Found 3 expressions with local error:

0.0b
(* b (+ a b))
0.0b
(* a (+ a b))
0.0b
(+ (* a (+ a b)) (* b (+ a b)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-*r/
9×+-commutative
8×distribute-rgt-in distribute-lft-in
7×flip3-+ flip-+
4×associate-+l+ associate-+r+ frac-add *-commutative
1×distribute-rgt-out distribute-lft-out
Counts
3 → 31
Calls
3 calls:
3.0ms
(* b (+ a b))
3.0ms
(* a (+ a b))
8.0ms
(+ (* a (+ a b)) (* b (+ a b)))

series81.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(* b (+ a b))
26.0ms
(* a (+ a b))
23.0ms
(+ (* a (+ a b)) (* b (+ a b)))

simplify35.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0211223
11008206
25002183

prune68.0ms

Filtered
40 candidates to 24 candidates (60.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New40040
Fresh011
Picked011
Done000
Total40242

Merged error: 0b

Counts
42 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* b b) (* a b))
0.0b
(+ (* a a) (- (* b b) (* a b)))
0.2b
(* (+ a b) (+ (pow a 3) (pow b 3)))
0.5b
(/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
14×flip3-+ flip-+
8×frac-times associate-/l/
6×*-commutative
4×associate-*r/ associate-*l/
3×+-commutative associate-/l*
2×distribute-rgt-in sub-neg associate-+r+ distribute-rgt-out-- distribute-lft-in associate-*r* associate-/r/ sum-cubes distribute-lft-out--
1×associate-+r- flip3-- frac-2neg clear-num flip-- div-inv
Counts
4 → 44
Calls
4 calls:
4.0ms
(- (* b b) (* a b))
9.0ms
(+ (* a a) (- (* b b) (* a b)))
6.0ms
(* (+ a b) (+ (pow a 3) (pow b 3)))
13.0ms
(/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b))))

series161.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(- (* b b) (* a b))
21.0ms
(+ (* a a) (- (* b b) (* a b)))
55.0ms
(* (+ a b) (+ (pow a 3) (pow b 3)))
55.0ms
(/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b))))

simplify51.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0333429
11572410
25002409

prune150.0ms

Filtered
56 candidates to 41 candidates (73.2%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New56056
Fresh000
Picked011
Done011
Total56258

Merged error: 0b

Counts
58 → 2

regimes28.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
0105
1105

end0.0ms

sample337.0ms

Algorithm
intervals
Results
110.0ms8000×pre80true
99.0ms8000×body80valid