Details

Time bar (total: 3.6s)

sample53.0ms

Algorithm
intervals
Results
36.0ms699×body80valid

simplify73.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05114
115514
243014
3119514
4252614
5500114

prune3.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.2b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
0.1b
(* (* a a) (- 1.0 a))
0.3b
(pow (+ (* a a) (* b b)) 2.0)
0.4b
(* (* b b) (+ 3.0 a))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
28×associate-+r+
22×distribute-rgt-in distribute-lft-in
9×+-commutative
8×associate-+l+
6×sub-neg
4×associate-*r/ associate-*l* *-commutative
2×flip3-+ flip-+
1×pow-to-exp flip3-- flip-- sqr-pow
Counts
4 → 43
Calls
4 calls:
15.0ms
(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
5.0ms
(* (* a a) (- 1.0 a))
4.0ms
(pow (+ (* a a) (* b b)) 2.0)
5.0ms
(* (* b b) (+ 3.0 a))

series302.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
56.0ms
(* (* a a) (- 1.0 a))
103.0ms
(pow (+ (* a a) (* b b)) 2.0)
32.0ms
(* (* b b) (+ 3.0 a))

simplify146.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0327406
11084403
24577402
35001402

prune149.0ms

Filtered
55 candidates to 38 candidates (69.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New51455
Fresh000
Picked011
Done000
Total51556

Merged error: 0.0b

Counts
56 → 5

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 2 (* (pow a 2) (pow b 2)))
1.8b
(* (pow a 2) (pow b 2))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×associate-*r*
12×unpow2 sqr-pow
8×unswap-sqr
4×associate-*l*
3×*-commutative
2×pow-to-exp
1×pow-prod-down prod-exp
Counts
2 → 22
Calls
2 calls:
9.0ms
(* 2 (* (pow a 2) (pow b 2)))
5.0ms
(* (pow a 2) (pow b 2))

series67.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(* 2 (* (pow a 2) (pow b 2)))
31.0ms
(* (pow a 2) (pow b 2))

simplify36.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07762
118162
282062
3500162

prune79.0ms

Filtered
28 candidates to 19 candidates (67.9%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New28028
Fresh033
Picked011
Done011
Total28533

Merged error: 0.0b

Counts
33 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
0.1b
(* (* a a) (- 1.0 a))
0.4b
(pow (/ 1 a) -4.0)
0.4b
(* (* b b) (+ 3.0 a))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
22×distribute-rgt-in distribute-lft-in
18×associate-*r/
8×+-commutative associate-+l+ associate-+r+
6×sub-neg
5×*-commutative
4×flip3-+ associate-*l* frac-add flip-+
3×flip3-- flip--
1×pow-to-exp unpow-prod-down pow-pow div-inv inv-pow sqr-pow
Counts
4 → 49
Calls
4 calls:
13.0ms
(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
5.0ms
(* (* a a) (- 1.0 a))
2.0ms
(pow (/ 1 a) -4.0)
5.0ms
(* (* b b) (+ 3.0 a))

series328.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
58.0ms
(* (* a a) (- 1.0 a))
174.0ms
(pow (/ 1 a) -4.0)
37.0ms
(* (* b b) (+ 3.0 a))

simplify51.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0422434
11641429
25002427

prune142.0ms

Filtered
61 candidates to 32 candidates (52.5%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New60161
Fresh022
Picked101
Done022
Total61566

Merged error: 0.0b

Counts
66 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (pow a 4.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) 1.0)
0.0b
(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
0.1b
(* (* a a) (- 1.0 a))
0.4b
(* (* b b) (+ 3.0 a))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
40×distribute-rgt-in distribute-lft-in
36×associate-+r+
22×associate--l+
18×associate-*r/
16×associate-+l+
15×+-commutative
11×sub-neg
5×*-commutative
4×flip3-- flip3-+ associate-*l* frac-add flip-- flip-+
Counts
4 → 71
Calls
4 calls:
14.0ms
(- (+ (pow a 4.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) 1.0)
12.0ms
(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
5.0ms
(* (* a a) (- 1.0 a))
8.0ms
(* (* b b) (+ 3.0 a))

series214.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(- (+ (pow a 4.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) 1.0)
62.0ms
(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
49.0ms
(* (* a a) (- 1.0 a))
36.0ms
(* (* b b) (+ 3.0 a))

simplify54.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0470653
11818646
25002646

prune173.0ms

Filtered
83 candidates to 49 candidates (59.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New82183
Fresh022
Picked101
Done022
Total83588

Merged error: 0b

Counts
88 → 5

regimes143.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02514
12514

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.1s20696×body80valid