Details

Time bar (total: 8.6s)

sample183.0ms

Algorithm
intervals
Results
95.0ms91×body1280valid
42.0ms57×body640valid
11.0ms23×body320valid
10.0ms73×body80valid
4.0ms12×body160valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07430
118230
265730
3272730
4500130

prune6.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.5b

Counts
2 → 1

localize39.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.3b
(- (cos x) (cos y))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r/
9×flip3-- flip--
6×sub-neg
4×distribute-rgt-in frac-times distribute-lft-in
3×*-commutative
2×associate-*l* associate-*l/
1×diff-cos
Counts
4 → 31
Calls
4 calls:
7.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
4.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
2.0ms
(- 3.0 (sqrt 5.0))
3.0ms
(- (cos x) (cos y))

series286.0ms

Counts
4 → 10
Calls
4 calls:
143.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
87.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
56.0ms
(- (cos x) (cos y))

simplify42.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0415488
11342488
25002487

prune236.0ms

Filtered
41 candidates to 28 candidates (68.3%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New35641
Fresh000
Picked101
Done000
Total36642

Merged error: 0.4b

Counts
42 → 6

localize44.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.6b
(+ (cos y) (cos x))
1.0b
(- 3.0 (sqrt 5.0))
1.0b
(- (pow (cos x) 3) (pow (cos y) 3))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
4×sub-neg
3×flip3-- flip--
2×distribute-rgt-in distribute-lft-in associate-*r/ sqr-pow
1×difference-cubes +-commutative flip3-+ sum-cos *-commutative flip-+ difference-of-squares
Counts
4 → 21
Calls
4 calls:
4.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
3.0ms
(+ (cos y) (cos x))
2.0ms
(- 3.0 (sqrt 5.0))
4.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

series214.0ms

Counts
4 → 10
Calls
4 calls:
89.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
40.0ms
(+ (cos y) (cos x))
0.0ms
(- 3.0 (sqrt 5.0))
85.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

simplify111.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0322252
1926251
23282248
35001248

prune221.0ms

Filtered
31 candidates to 20 candidates (64.5%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New29231
Fresh145
Picked101
Done000
Total31637

Merged error: 0.4b

Counts
37 → 6

localize40.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
0.3b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.3b
(- (cos x) (cos y))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r/
9×flip3-- flip--
7×associate-*l/
5×sub-neg
4×distribute-rgt-in frac-times distribute-lft-in *-commutative
3×associate-*l*
2×associate-/l/
1×frac-2neg clear-num div-inv diff-cos
Counts
4 → 34
Calls
4 calls:
5.0ms
(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
8.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
4.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
3.0ms
(- (cos x) (cos y))

series365.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
132.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
87.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
55.0ms
(- (cos x) (cos y))

simplify46.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0423492
11491492
25002490

prune341.0ms

Filtered
46 candidates to 34 candidates (73.9%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New42446
Fresh235
Picked101
Done000
Total45752

Merged error: 0.3b

Counts
52 → 7

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.6b
(/ (* (cos x) (+ 5.0 (- (* 1.0 1.0)))) (* 2.0 (+ (sqrt 5.0) 1.0)))
1.3b
(- (cos x) (cos y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
14×associate-*r/
9×*-commutative
8×flip3-- flip--
5×sub-neg
4×distribute-rgt-in frac-times distribute-lft-in times-frac
2×flip3-+ associate-*l* associate-*l/ associate-/r* associate-/r/ flip-+ associate-/l/ associate-/l*
1×frac-2neg clear-num div-inv diff-cos
Counts
4 → 42
Calls
4 calls:
7.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
5.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
9.0ms
(/ (* (cos x) (+ 5.0 (- (* 1.0 1.0)))) (* 2.0 (+ (sqrt 5.0) 1.0)))
3.0ms
(- (cos x) (cos y))

series415.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
98.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
124.0ms
(/ (* (cos x) (+ 5.0 (- (* 1.0 1.0)))) (* 2.0 (+ (sqrt 5.0) 1.0)))
56.0ms
(- (cos x) (cos y))

simplify52.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0501589
11792570
25002569

prune377.0ms

Filtered
54 candidates to 42 candidates (77.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New48654
Fresh336
Picked101
Done000
Total52961

Merged error: 0.3b

Counts
61 → 9

regimes178.0ms

Accuracy

0% (0.1b remaining)

Error of 0.4b against oracle of 0.3b and baseline of 0.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05738
15738

end0.0ms

sample5.2s

Algorithm
intervals
Results
3.0s2781×body1280valid
1.3s1840×body640valid
360.0ms756×body320valid
319.0ms2310×body80valid
103.0ms313×body160valid