Details

Time bar (total: 8.6s)

sample173.0ms

Algorithm
intervals
Results
89.0ms83×body1280valid
38.0ms59×body640valid
12.0ms27×body320valid
10.0ms72×body80valid
4.0ms15×body160valid

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
07430
119327
270427
3299427
4500127

prune33.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

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
4×sub-neg
3×flip3-- flip--
2×distribute-rgt-in distribute-lft-in associate-*r/
1×frac-2neg clear-num *-commutative div-inv diff-cos
Counts
4 → 19
Calls
4 calls:
2.0ms
(/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.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))

series1.0s

Counts
4 → 10
Calls
4 calls:
855.0ms
(/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0)))
93.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
55.0ms
(- (cos x) (cos y))

simplify131.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 3 (125.0ms)

IterNodesCost
0444381
11314377
24735375
35001372

prune175.0ms

Filtered
29 candidates to 19 candidates (65.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New23629
Fresh011
Picked101
Done000
Total24731

Merged error: 0.2b

Counts
31 → 7

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.0ms

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

series175.0ms

Counts
4 → 10
Calls
4 calls:
72.0ms
(* (sqrt 2.0) (- (/ (sin y) 16.0)))
48.0ms
(* (sqrt 2.0) (sin x))
0.0ms
(- 3.0 (sqrt 5.0))
54.0ms
(- (cos x) (cos y))

simplify72.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 3 (69.0ms)

IterNodesCost
0233138
1609133
22296131
35001128

prune182.0ms

Filtered
28 candidates to 20 candidates (71.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New27128
Fresh156
Picked101
Done000
Total29635

Merged error: 0.2b

Counts
35 → 6

localize40.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 2.0) (sin x))
0.5b
(+ (cos x) (cos y))
1.0b
(- 3.0 (sqrt 5.0))
1.7b
(- (pow (cos x) 3) (pow (cos y) 3))

rewrite14.0ms

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

series170.0ms

Counts
4 → 10
Calls
4 calls:
44.0ms
(* (sqrt 2.0) (sin x))
42.0ms
(+ (cos x) (cos y))
0.0ms
(- 3.0 (sqrt 5.0))
84.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

simplify92.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 3 (88.0ms)

IterNodesCost
0304269
1897243
23331235
35001233

prune222.0ms

Filtered
31 candidates to 19 candidates (61.3%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New30131
Fresh145
Picked101
Done000
Total32537

Merged error: 0.2b

Counts
37 → 5

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

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

series258.0ms

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

simplify93.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 3 (88.0ms)

IterNodesCost
0331387
11074384
24337383
35001381

prune247.0ms

Filtered
40 candidates to 27 candidates (67.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New39140
Fresh044
Picked101
Done000
Total40545

Merged error: 0.2b

Counts
45 → 5

regimes187.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04234
14634
24734
34734

end0.0ms

sample5.1s

Algorithm
intervals
Results
2.9s2737×body1280valid
1.2s1835×body640valid
371.0ms752×body320valid
325.0ms2348×body80valid
96.0ms328×body160valid