Details

Time bar (total: 33.7s)

sample424.0ms

Algorithm
intervals
Results
251.0ms88×body1280valid
80.0ms62×body640valid
27.0ms26×body320valid
18.0ms67×body80valid
7.0ms13×body160valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5000
43399
3699
2192
174
032

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
36×*-un-lft-identity
28×add-cube-cbrt
27×prod-diff
14×sqrt-prod
12×associate-*l*
11×pow1 add-cbrt-cube add-exp-log
10×associate-*l/
9×flip3-- flip--
8×add-log-exp
7×associate-*r*
6×fma-neg difference-of-squares
4×expm1-log1p-u frac-times pow-prod-down prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out--
2×sub-neg diff-log associate-*r/ *-commutative diff-cos unswap-sqr
1×times-frac
Counts
4 → 127
Calls
4 calls:
73.0ms
(* (- (cos x) (cos y)) (* (- (sin y) (/ (sin x) 16.0)) (sqrt 2.0)))
72.0ms
(* (- (sin y) (/ (sin x) 16.0)) (sqrt 2.0))
13.0ms
(- 3.0 (sqrt 5.0))
11.0ms
(- (cos x) (cos y))

series360.0ms

Counts
4 → 10
Calls
4 calls:
166.0ms
(* (- (cos x) (cos y)) (* (- (sin y) (/ (sin x) 16.0)) (sqrt 2.0)))
128.0ms
(* (- (sin y) (/ (sin x) 16.0)) (sqrt 2.0))
0.0ms
(- 3.0 (sqrt 5.0))
66.0ms
(- (cos x) (cos y))

simplify1.6s

Counts
137 → 137
Iterations
IterNodes
done5000
22695
1651
0270

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize82.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- (sin y) (/ (sin x) 16.0)))
0.6b
(cbrt (- (sin y) (/ (sin x) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.1b
(- (cos x) (cos y))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
34×*-un-lft-identity
27×prod-diff
26×add-cube-cbrt
12×cbrt-prod
10×sqrt-prod
8×add-log-exp
7×difference-of-squares
6×fma-neg
4×expm1-log1p-u pow1 cbrt-div flip3-- add-cbrt-cube add-exp-log log1p-expm1-u flip-- distribute-lft-out--
2×sub-neg times-frac pow1/3 diff-log
1×diff-cos
Counts
4 → 103
Calls
4 calls:
9.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
9.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
7.0ms
(- 3.0 (sqrt 5.0))
7.0ms
(- (cos x) (cos y))

series452.0ms

Counts
4 → 10
Calls
4 calls:
164.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
223.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
64.0ms
(- (cos x) (cos y))

simplify1.3s

Counts
113 → 113
Iterations
IterNodes
done5000
21411
1474
0224

prune1.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize195.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- (sin y) (/ (sin x) 16.0)))
0.6b
(cbrt (- (sin y) (/ (sin x) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.1b
(- (cos x) (cos y))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
34×*-un-lft-identity
27×prod-diff
26×add-cube-cbrt
12×cbrt-prod
10×sqrt-prod
8×add-log-exp
7×difference-of-squares
6×fma-neg
4×expm1-log1p-u pow1 cbrt-div flip3-- add-cbrt-cube add-exp-log log1p-expm1-u flip-- distribute-lft-out--
2×sub-neg times-frac pow1/3 diff-log
1×diff-cos
Counts
4 → 103
Calls
4 calls:
9.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
13.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
13.0ms
(- 3.0 (sqrt 5.0))
10.0ms
(- (cos x) (cos y))

series512.0ms

Counts
4 → 10
Calls
4 calls:
177.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
256.0ms
(cbrt (- (sin y) (/ (sin x) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
79.0ms
(- (cos x) (cos y))

simplify1.5s

Counts
113 → 113
Iterations
IterNodes
done5000
21411
1470
0221

prune1.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

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

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
184×add-sqr-sqrt
183×prod-diff
172×*-un-lft-identity
164×add-cube-cbrt
110×times-frac
82×distribute-rgt-in distribute-lft-in
14×sqrt-prod
12×associate-*r* div-inv
11×pow1 add-cbrt-cube add-exp-log
10×associate-*r/
9×flip3-- flip--
8×add-log-exp
7×associate-*l* difference-of-squares
6×sub-neg fma-neg
4×expm1-log1p-u frac-times pow-prod-down prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out--
2×diff-log associate-*l/ *-commutative unswap-sqr
1×diff-cos
Counts
4 → 291
Calls
4 calls:
154.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
77.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
13.0ms
(- 3.0 (sqrt 5.0))
13.0ms
(- (cos x) (cos y))

series426.0ms

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

simplify2.1s

Counts
301 → 301
Iterations
IterNodes
done5001
12011
0738

prune3.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes446.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations
IterNodes
done31
131
029

end0.0ms

sample13.5s

Algorithm
intervals
Results
8.0s2737×body1280valid
3.4s1819×body640valid
855.0ms784×body320valid
622.0ms2308×body80valid
231.0ms352×body160valid