Details

Time bar (total: 8.5s)

sample188.0ms

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

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
07430
119327
270427
3299427
4500127

prune17.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 2

localize34.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))

series267.0ms

Counts
4 → 10
Calls
4 calls:
129.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
85.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
53.0ms
(- (cos x) (cos y))

simplify39.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0432488
11429482
25001479

prune252.0ms

Filtered
41 candidates to 28 candidates (68.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New34741
Fresh011
Picked101
Done000
Total35843

Merged error: 0.3b

Counts
43 → 8

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

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

series200.0ms

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

simplify98.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 3 (93.0ms)

IterNodesCost
0355324
11052296
23871289
35001287

prune266.0ms

Filtered
37 candidates to 24 candidates (64.9%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New35237
Fresh257
Picked011
Done000
Total37845

Merged error: 0.3b

Counts
45 → 8

localize55.0ms

Local error

Found 4 expressions with local error:

0.6b
(pow (cos x) 6)
0.6b
(+ (cos x) (cos y))
0.9b
(- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3))
1.0b
(- 3.0 (sqrt 5.0))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
27×sqr-pow
22×unpow-prod-down
18×unpow3
16×prod-diff
4×fma-neg difference-of-squares
2×sub-neg flip3-- flip--
1×difference-cubes +-commutative pow-to-exp flip3-+ sum-cos flip-+
Counts
4 → 39
Calls
4 calls:
2.0ms
(pow (cos x) 6)
3.0ms
(+ (cos x) (cos y))
7.0ms
(- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3))
2.0ms
(- 3.0 (sqrt 5.0))

series201.0ms

Counts
4 → 10
Calls
4 calls:
44.0ms
(pow (cos x) 6)
37.0ms
(+ (cos x) (cos y))
120.0ms
(- (pow (pow (cos x) 3) 3) (pow (pow (cos y) 3) 3))
0.0ms
(- 3.0 (sqrt 5.0))

simplify46.0ms

Algorithm
egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0421738
11388521
25002518

prune365.0ms

Filtered
49 candidates to 27 candidates (55.1%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New47249
Fresh246
Picked011
Done101
Total50757

Merged error: 0.3b

Counts
57 → 7

localize57.0ms

Local error

Found 4 expressions with local error:

0.6b
(pow (cos x) 6)
0.6b
(+ (cos x) (cos y))
1.0b
(- 3.0 (sqrt 5.0))
1.0b
(- (pow (cos x) 3) (pow (cos y) 3))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
8×sqr-pow
5×unpow3
4×prod-diff
2×sub-neg flip3-- fma-neg flip--
1×difference-cubes +-commutative pow-to-exp flip3-+ sum-cos flip-+ difference-of-squares
Counts
4 → 22
Calls
4 calls:
2.0ms
(pow (cos x) 6)
3.0ms
(+ (cos x) (cos y))
2.0ms
(- 3.0 (sqrt 5.0))
5.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

series168.0ms

Counts
4 → 10
Calls
4 calls:
39.0ms
(pow (cos x) 6)
42.0ms
(+ (cos x) (cos y))
0.0ms
(- 3.0 (sqrt 5.0))
87.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

simplify144.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 3 (139.0ms)

IterNodesCost
0314289
1978257
24269251
35001250

prune236.0ms

Filtered
32 candidates to 21 candidates (65.6%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New31132
Fresh145
Picked101
Done011
Total33639

Merged error: 0.3b

Counts
39 → 6

regimes134.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05966
15966

end0.0ms

sample5.6s

Algorithm
intervals
Results
3.0s2781×body1280valid
1.5s1840×body640valid
385.0ms756×body320valid
358.0ms2310×body80valid
107.0ms313×body160valid