Details

Time bar (total: 11.2s)

sample179.0ms

Algorithm
intervals
Results
98.0ms84×body1280valid
34.0ms49×body640valid
11.0ms83×body80valid
11.0ms23×body320valid
5.0ms17×body160valid

simplify51.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07430
118230
265730
3272730
4500130

prune6.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize35.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))
2.1b
(- (cos x) (cos y))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
16×*-un-lft-identity
12×associate-*r*
11×pow1 add-exp-log add-cbrt-cube
10×associate-*r/
9×flip3-- flip--
8×add-cube-cbrt add-log-exp
7×associate-*l* difference-of-squares
6×sub-neg
5×sqrt-prod
4×distribute-rgt-in frac-times distribute-lft-in pow-prod-down prod-exp cbrt-unprod distribute-lft-out--
2×times-frac diff-log associate-*l/ *-commutative unswap-sqr
1×diff-cos
Counts
4 → 94
Calls
4 calls:
54.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
27.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
3.0ms
(- 3.0 (sqrt 5.0))
3.0ms
(- (cos x) (cos y))

series297.0ms

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

simplify67.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
06221094
126431002
250031002

prune577.0ms

Filtered
104 candidates to 70 candidates (67.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×sqrt-prod
18×associate-*l*
17×*-un-lft-identity
11×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
10×distribute-rgt-in distribute-lft-in
8×sub-neg add-log-exp
7×associate-*r*
6×associate-*r/
5×difference-of-squares
4×flip3-- pow-prod-down prod-exp flip-- cbrt-unprod
3×distribute-lft-out-- unswap-sqr
2×diff-log *-commutative
1×times-frac diff-cos
Counts
4 → 99
Calls
4 calls:
42.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
50.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
3.0ms
(- 3.0 (sqrt 5.0))
3.0ms
(- (cos x) (cos y))

series290.0ms

Counts
4 → 10
Calls
4 calls:
134.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
97.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
0.0ms
(- 3.0 (sqrt 5.0))
59.0ms
(- (cos x) (cos y))

simplify50.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0423920
11524826
25001825

prune573.0ms

Filtered
109 candidates to 69 candidates (63.3%)
Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
0.3b
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
0.3b
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
2.1b
(- (cos x) (cos y))

rewrite234.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
21×sqrt-prod
20×pow1 add-exp-log associate-*r/ add-cbrt-cube
19×associate-*l*
18×*-un-lft-identity
13×associate-*r*
12×distribute-rgt-in add-cube-cbrt distribute-lft-in
10×pow-prod-down prod-exp cbrt-unprod
9×sub-neg flip3-- flip--
6×add-log-exp
5×difference-of-squares
4×frac-times
3×*-commutative distribute-lft-out-- unswap-sqr
2×times-frac associate-*l/
1×diff-log diff-cos
Counts
4 → 120
Calls
4 calls:
160.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
31.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
34.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
3.0ms
(- (cos x) (cos y))

series426.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
130.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
98.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
55.0ms
(- (cos x) (cos y))

simplify77.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
06371601
130531361
250031361

prune763.0ms

Filtered
132 candidates to 84 candidates (63.6%)
Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (+ (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (- (/ (sin y) 16.0)))
0.4b
(* (sqrt 2.0) (sin x))
2.1b
(- (cos x) (cos y))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
39×associate-*r*
30×*-un-lft-identity
26×add-cube-cbrt
19×times-frac
16×associate-*l*
13×distribute-lft-neg-in distribute-rgt-neg-in
10×pow1 add-exp-log add-cbrt-cube
8×sqrt-prod
6×add-log-exp
5×unswap-sqr
4×frac-times flip3-- flip--
3×sub-neg flip3-+ associate-*r/ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ difference-of-squares
2×distribute-rgt-in distribute-lft-in associate-*l/ div-inv distribute-lft-out--
1×neg-mul-1 diff-log distribute-rgt-neg-out diff-cos distribute-neg-frac distribute-lft-out
Counts
4 → 122
Calls
4 calls:
35.0ms
(* (+ (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
20.0ms
(* (sqrt 2.0) (- (/ (sin y) 16.0)))
5.0ms
(* (sqrt 2.0) (sin x))
3.0ms
(- (cos x) (cos y))

series363.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(* (+ (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
77.0ms
(* (sqrt 2.0) (- (/ (sin y) 16.0)))
46.0ms
(* (sqrt 2.0) (sin x))
58.0ms
(- (cos x) (cos y))

simplify87.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
07291311
133561193
250011188

prune991.0ms

Filtered
134 candidates to 101 candidates (75.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

regimes114.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04557
14557

end0.0ms

sample5.6s

Algorithm
intervals
Results
3.1s2710×body1280valid
1.4s1885×body640valid
402.0ms781×body320valid
353.0ms2273×body80valid
125.0ms351×body160valid