Details

Time bar (total: 13.4s)

sample200.0ms

Algorithm
intervals
Results
98.0ms88×body1280valid
50.0ms61×body640valid
11.0ms78×body80valid
6.0ms13×body320valid
6.0ms16×body160valid

simplify58.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07430
118230
265730
3272730
4500130

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize33.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.9b
(- (cos x) (cos y))

rewrite177.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:
106.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
54.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
7.0ms
(- 3.0 (sqrt 5.0))
8.0ms
(- (cos x) (cos y))

series252.0ms

Counts
4 → 10
Calls
4 calls:
124.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
79.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
49.0ms
(- (cos x) (cos y))

simplify76.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
06221094
126431002
250031002

prune566.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize40.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))))
0.3b
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.9b
(- (cos x) (cos y))

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
18×pow1 add-exp-log associate-*r/ add-cbrt-cube
14×*-un-lft-identity
10×distribute-rgt-in distribute-lft-in associate-*l* sqrt-prod
9×flip3-- pow-prod-down prod-exp flip-- cbrt-unprod
8×add-cube-cbrt sub-neg add-log-exp
7×associate-*r*
5×difference-of-squares
4×frac-times
3×distribute-lft-out--
2×diff-log associate-*l/ *-commutative
1×times-frac diff-cos
Counts
4 → 100
Calls
4 calls:
77.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
274.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
7.0ms
(- 3.0 (sqrt 5.0))
8.0ms
(- (cos x) (cos y))

series261.0ms

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

simplify79.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 1 (16.0ms)

IterNodesCost
06221310
126031087
250031087

prune589.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize45.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))))
0.3b
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
1.9b
(- (cos x) (cos y))

rewrite416.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:
57.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
76.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
269.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
8.0ms
(- (cos x) (cos y))

series369.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
84.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
125.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
51.0ms
(- (cos x) (cos y))

simplify88.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
06371601
130531361
250031361

prune758.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
0.3b
(/ (+ 2.0 (* (* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.9b
(- (cos x) (cos y))
4.1b
(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
14×*-un-lft-identity
12×add-exp-log
11×add-cbrt-cube
10×add-cube-cbrt
9×log-prod
6×pow1 associate-*r/ associate-*r* add-log-exp
4×sub-neg times-frac associate-*l* associate-/r/
3×unpow-prod-down flip3-+ rem-log-exp flip-+ associate-/l* difference-of-squares
2×cbrt-undiv unpow-prod-up distribute-rgt-in flip3-- distribute-lft-in div-exp associate-*l/ frac-add prod-exp log-pow flip-- cbrt-unprod associate-/l/ distribute-lft-out--
1×pow-to-exp log-div frac-2neg diff-log pow-prod-down pow-exp clear-num associate-/r* *-commutative div-inv diff-cos pow-sub unswap-sqr sqr-pow
Counts
4 → 91
Calls
4 calls:
54.0ms
(* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
78.0ms
(/ (+ 2.0 (* (* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
8.0ms
(- (cos x) (cos y))
7.0ms
(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

series2.4s

Counts
4 → 12
Calls
4 calls:
200.0ms
(* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
1.9s
(/ (+ 2.0 (* (* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
53.0ms
(- (cos x) (cos y))
169.0ms
(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

simplify96.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
09322425
137332057
250022049

prune689.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes199.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05977
15977

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.1s2896×body1280valid
1.2s1781×body640valid
362.0ms743×body320valid
322.0ms2222×body80valid
114.0ms358×body160valid