Details

Time bar (total: 10.8s)

sample175.0ms

Algorithm
intervals
Results
95.0ms84×body1280valid
32.0ms49×body640valid
11.0ms83×body80valid
10.0ms23×body320valid
5.0ms17×body160valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07430
118230
265730
3272730
4500130

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

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

rewrite91.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)))
28.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms
(- 3.0 (sqrt 5.0))
3.0ms
(- (cos x) (cos y))

series292.0ms

Counts
4 → 10
Calls
4 calls:
141.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
94.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
57.0ms
(- (cos x) (cos y))

simplify69.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
06221094
126431002
250031002

prune701.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

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

rewrite78.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:
31.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
38.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))

series265.0ms

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

simplify48.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0423920
11524826
25001825

prune590.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

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

rewrite219.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:
143.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
30.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
39.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
3.0ms
(- (cos x) (cos y))

series409.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
117.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
93.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
56.0ms
(- (cos x) (cos y))

simplify83.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
06371601
130531361
250031361

prune740.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

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

rewrite69.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:
38.0ms
(* (+ (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
18.0ms
(* (sqrt 2.0) (- (/ (sin y) 16.0)))
5.0ms
(* (sqrt 2.0) (sin x))
3.0ms
(- (cos x) (cos y))

series359.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(* (+ (* (sqrt 2.0) (sin x)) (* (sqrt 2.0) (- (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
75.0ms
(* (sqrt 2.0) (- (/ (sin y) 16.0)))
44.0ms
(* (sqrt 2.0) (sin x))
56.0ms
(- (cos x) (cos y))

simplify100.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 2 (87.0ms)

IterNodesCost
07291311
133561193
250011188

prune866.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

regimes120.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
04557
14557

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.0s2710×body1280valid
1.3s1885×body640valid
377.0ms781×body320valid
319.0ms2273×body80valid
107.0ms351×body160valid