Details

Time bar (total: 10.2s)

sample229.0ms

Algorithm
intervals
Results
122.0ms84×body1280valid
46.0ms49×body640valid
15.0ms83×body80valid
14.0ms23×body320valid
7.0ms17×body160valid

simplify76.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07430
118230
265730
3272730
4500130

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

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

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

series291.0ms

Counts
4 → 10
Calls
4 calls:
135.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
91.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
64.0ms
(- (cos x) (cos y))

simplify72.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
06221094
126431002
250031002

prune547.0ms

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

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

series270.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0423920
11524826
25001825

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

rewrite60.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:
24.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
13.0ms
(* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))
15.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
4.0ms
(- (cos x) (cos y))

series406.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
124.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))))
52.0ms
(- (cos x) (cos y))

simplify87.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (16.0ms)

IterNodesCost
06371601
130531361
250031361

prune732.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.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.6b
(pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)
2.1b
(- (cos x) (cos y))
7.7b
(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
13×*-un-lft-identity
9×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
8×cbrt-prod
6×associate-*r/ associate-*r* associate-*l* add-log-exp
4×cube-div flip3-- sqrt-prod flip--
3×sub-neg pow-unpow difference-of-squares
2×distribute-rgt-in cube-mult unpow-prod-down cbrt-div pow-pow distribute-lft-in unpow3 cube-prod pow-prod-down pow-exp prod-exp cbrt-unprod distribute-lft-out-- rem-cube-cbrt unswap-sqr sqr-pow
1×pow-to-exp times-frac pow1/3 diff-log *-commutative rem-cbrt-cube diff-cos
Counts
4 → 89
Calls
4 calls:
11.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
14.0ms
(pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)
4.0ms
(- (cos x) (cos y))
3.0ms
(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

series402.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
165.0ms
(pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)
53.0ms
(- (cos x) (cos y))
94.0ms
(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

simplify54.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0411834
11726806
25002805

prune605.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

regimes117.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04557
14557

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.9s2710×body1280valid
1.3s1885×body640valid
366.0ms781×body320valid
318.0ms2273×body80valid
106.0ms351×body160valid