Details

Time bar (total: 11.4s)

sample235.0ms

Algorithm
intervals
Results
118.0ms88×body1280valid
56.0ms65×body640valid
17.0ms67×body80valid
16.0ms26×body320valid
5.0ms10×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.5b

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

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

series273.0ms

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

simplify74.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (16.0ms)

IterNodesCost
06221094
126431002
250031002

prune561.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

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

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

series281.0ms

Counts
4 → 10
Calls
4 calls:
88.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
135.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))
58.0ms
(- (cos x) (cos y))

simplify69.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
06221310
126031087
250031087

prune611.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize44.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (cos y) 3)
0.5b
(+ (cos y) (cos x))
1.0b
(- 3.0 (sqrt 5.0))
1.5b
(- (pow (cos x) 3) (pow (cos y) 3))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
21×*-un-lft-identity
18×difference-of-squares
15×unpow-prod-down cube-prod
10×add-log-exp
9×sqr-pow
7×add-cube-cbrt
6×distribute-lft-out--
5×pow1 add-exp-log add-cbrt-cube
3×pow-unpow
2×sub-neg flip3-- diff-log flip--
1×difference-cubes +-commutative cube-mult pow-to-exp pow-pow flip3-+ sum-cos unpow3 pow-exp sum-log sqrt-prod flip-+ distribute-lft-out rem-cube-cbrt
Counts
4 → 85
Calls
4 calls:
3.0ms
(pow (cos y) 3)
3.0ms
(+ (cos y) (cos x))
3.0ms
(- 3.0 (sqrt 5.0))
15.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

series147.0ms

Counts
4 → 10
Calls
4 calls:
27.0ms
(pow (cos y) 3)
37.0ms
(+ (cos y) (cos x))
0.0ms
(- 3.0 (sqrt 5.0))
83.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

simplify50.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0422647
11505615
25002594

prune613.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize78.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)))
1.0b
(- 3.0 (sqrt 5.0))
1.9b
(- (cos x) (cos y))
1.9b
(log (exp (- (cos x) (cos y))))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
15×*-un-lft-identity
14×pow1 associate-*r/
13×add-exp-log add-cbrt-cube
8×flip3-- flip-- add-log-exp
7×add-cube-cbrt log-pow
6×exp-prod associate-*r* pow-prod-down prod-exp cbrt-unprod difference-of-squares
5×sub-neg log-prod
4×frac-times distribute-lft-out--
2×distribute-rgt-in distribute-lft-in diff-log exp-sum associate-*l/ diff-cos
1×log-div times-frac exp-diff rem-log-exp associate-*l* sqrt-prod *-commutative
Counts
4 → 87
Calls
4 calls:
139.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
6.0ms
(- 3.0 (sqrt 5.0))
5.0ms
(- (cos x) (cos y))
13.0ms
(log (exp (- (cos x) (cos y))))

series250.0ms

Counts
4 → 10
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)))
0.0ms
(- 3.0 (sqrt 5.0))
51.0ms
(- (cos x) (cos y))
57.0ms
(log (exp (- (cos x) (cos y))))

simplify73.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 1 (16.0ms)

IterNodesCost
06281085
12622906
25001906

prune573.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

regimes190.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
04030
14030

end0.0ms

sample6.7s

Algorithm
intervals
Results
3.6s2764×body1280valid
1.6s1829×body640valid
595.0ms2328×body80valid
483.0ms743×body320valid
151.0ms336×body160valid