Details

Time bar (total: 38.6s)

sample334.0ms

Algorithm
intervals
Results
137.0ms76×body1280valid
76.0ms90×body80valid
64.0ms61×body640valid
12.0ms18×body320valid
10.0ms11×body160valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03250
17450
218150
365350
4266450
done500050

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize43.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.0b
(- (cos x) (cos y))

rewrite256.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:
169.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
58.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
7.0ms
(- 3.0 (sqrt 5.0))
17.0ms
(- (cos x) (cos y))

series375.0ms

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

simplify1.3s

Counts
104 → 104
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02381837
16221770
221871621
done50021619

prune873.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite810.0ms

Algorithm
rewrite-expression-head
Rules
36×associate-*r/
35×flip3-- flip--
32×frac-times
27×add-sqr-sqrt
20×pow1 add-exp-log add-cbrt-cube
18×associate-*r*
17×*-un-lft-identity
16×associate-*l/
10×pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt
8×associate-*l*
7×sub-neg
6×distribute-rgt-in distribute-lft-in add-log-exp difference-of-squares
4×sqrt-prod distribute-lft-out--
3×*-commutative
2×times-frac diff-cos unswap-sqr
1×diff-log
Counts
4 → 133
Calls
4 calls:
478.0ms
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
194.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
121.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
10.0ms
(- (cos x) (cos y))

series737.0ms

Counts
4 → 12
Calls
4 calls:
334.0ms
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
185.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
115.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
103.0ms
(- (cos x) (cos y))

simplify2.4s

Counts
145 → 145
Iterations

Useful iterations: 2 (743.0ms)

IterNodesCost
02684154
18453986
242333669
done50003669

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize62.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)))
0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
2.1b
(+ (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (cos x)) (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos y))))

rewrite758.0ms

Algorithm
rewrite-expression-head
Rules
162×associate-*l/
140×associate-*r/
104×flip3-- flip--
68×frac-times
64×frac-add
34×add-sqr-sqrt
18×associate-*r*
17×*-un-lft-identity
13×pow1 add-exp-log associate-*l* add-cbrt-cube
11×add-cube-cbrt
8×sqrt-prod
6×distribute-rgt-in sub-neg distribute-lft-in add-log-exp difference-of-squares
5×pow-prod-down prod-exp cbrt-unprod
4×unswap-sqr
3×times-frac *-commutative distribute-lft-out--
2×distribute-rgt-neg-out
1×+-commutative flip3-+ unsub-neg sum-log flip-+ distribute-lft-out
Counts
4 → 173
Calls
4 calls:
133.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
71.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
72.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
451.0ms
(+ (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (cos x)) (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos y))))

series1.4s

Counts
4 → 12
Calls
4 calls:
194.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
142.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
127.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
960.0ms
(+ (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (cos x)) (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos y))))

simplify1.1s

Counts
185 → 185
Iterations

Useful iterations: done (1.1s)

IterNodesCost
048212976
1183911338
done500011138

prune2.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize89.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2.0)
1.0b
(cbrt 2.0)
1.0b
(cbrt 2.0)
5.1b
(+ (* (* (* (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (cos x)) (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos y))))

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
176×associate-*r/
160×associate-*l/
96×flip3-- flip--
64×frac-times frac-add
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
2×distribute-rgt-neg-out
1×+-commutative flip3-+ unsub-neg sum-log flip-+
Counts
4 → 110
Calls
4 calls:
2.0ms
(cbrt 2.0)
2.0ms
(cbrt 2.0)
2.0ms
(cbrt 2.0)
2.2s
(+ (* (* (* (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (cos x)) (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos y))))

series1.3s

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 2.0)
0.0ms
(cbrt 2.0)
0.0ms
(cbrt 2.0)
1.3s
(+ (* (* (* (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (cos x)) (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos y))))

simplify1.1s

Counts
116 → 116
Iterations

Useful iterations: done (1.1s)

IterNodesCost
040711854
1164410329
done500010216

prune2.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

regimes276.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify34.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04583
16283
26683
37383
47983
done7983

end0.0ms

sample15.3s

Algorithm
intervals
Results
8.3s2725×body1280valid
3.3s1816×body640valid
1.6s760×body320valid
1.3s2343×body80valid
265.0ms356×body160valid