Details

Time bar (total: 39.7s)

sample634.0ms

Algorithm
intervals
Results
334.0ms67×body80valid
166.0ms88×body1280valid
70.0ms62×body640valid
19.0ms26×body320valid
6.0ms13×body160valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5000
42752
3622
2177
174
032

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

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

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
16×*-un-lft-identity
12×associate-*r*
11×pow1 add-cbrt-cube add-exp-log
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:
95.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
56.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
6.0ms
(- 3.0 (sqrt 5.0))
6.0ms
(- (cos x) (cos y))

series405.0ms

Counts
4 → 10
Calls
4 calls:
201.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
111.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
93.0ms
(- (cos x) (cos y))

simplify2.0s

Counts
104 → 104
Iterations
IterNodes
done5027
22108
1652
0241

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize108.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))) (- (cos x) (cos y)))
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.1b
(- (cos x) (cos y))

rewrite625.0ms

Algorithm
rewrite-expression-head
Rules
36×associate-*r/
35×flip3-- flip--
32×frac-times
27×add-sqr-sqrt
20×pow1 add-cbrt-cube add-exp-log
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:
351.0ms
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
173.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
82.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
9.0ms
(- (cos x) (cos y))

series730.0ms

Counts
4 → 12
Calls
4 calls:
308.0ms
(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
189.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
152.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
80.0ms
(- (cos x) (cos y))

simplify3.4s

Counts
145 → 145
Iterations
IterNodes
done5000
24007
1891
0272

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

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

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
62×associate-*r/
35×flip3-- flip--
32×frac-times pow1 add-cbrt-cube add-exp-log
19×pow-prod-down prod-exp cbrt-unprod
18×add-sqr-sqrt
16×associate-*l/
15×*-un-lft-identity
13×associate-*r*
12×distribute-rgt-in distribute-lft-in
11×associate-*l*
9×sub-neg add-cube-cbrt sqrt-prod
6×add-log-exp
4×difference-of-squares
3×*-commutative distribute-lft-out--
2×diff-cos
1×times-frac diff-log
Counts
4 → 142
Calls
4 calls:
107.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
1.2s
(* (* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
302.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
6.0ms
(- (cos x) (cos y))

series821.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))
335.0ms
(* (* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
225.0ms
(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
98.0ms
(- (cos x) (cos y))

simplify3.2s

Counts
154 → 154
Iterations
IterNodes
done5000
24437
1925
0286

prune1.8s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize199.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt 2.0) (+ (/ (sin y) 16.0) (sin x))) (- (sin x) (/ (sin y) 16.0)))
0.5b
(* (sqrt 2.0) (+ (/ (sin y) 16.0) (sin x)))
0.8b
(+ (cos y) (cos x))
0.9b
(- (* (cos x) (* (cos x) (cos x))) (* (cos y) (* (cos y) (cos y))))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×*-un-lft-identity associate-*r/
11×pow1 add-cbrt-cube add-exp-log
10×associate-*r*
8×add-cube-cbrt add-log-exp
7×associate-*l*
5×distribute-rgt-in distribute-lft-in flip3-+ flip-+
4×frac-times sqr-cos flip3-- pow-prod-down prod-exp cos-mult sqrt-prod cbrt-unprod flip--
3×sub-neg
2×cube-unmult associate-*l/ associate--l+ *-commutative distribute-lft-out associate--r+ difference-of-squares unswap-sqr
1×difference-cubes +-commutative sum-log times-frac sum-cos diff-log frac-sub distribute-lft-out-- sub-div
Counts
4 → 92
Calls
4 calls:
145.0ms
(* (* (sqrt 2.0) (+ (/ (sin y) 16.0) (sin x))) (- (sin x) (/ (sin y) 16.0)))
73.0ms
(* (sqrt 2.0) (+ (/ (sin y) 16.0) (sin x)))
13.0ms
(+ (cos y) (cos x))
73.0ms
(- (* (cos x) (* (cos x) (cos x))) (* (cos y) (* (cos y) (cos y))))

series548.0ms

Counts
4 → 12
Calls
4 calls:
251.0ms
(* (* (sqrt 2.0) (+ (/ (sin y) 16.0) (sin x))) (- (sin x) (/ (sin y) 16.0)))
118.0ms
(* (sqrt 2.0) (+ (/ (sin y) 16.0) (sin x)))
55.0ms
(+ (cos y) (cos x))
124.0ms
(- (* (cos x) (* (cos x) (cos x))) (* (cos y) (* (cos y) (cos y))))

simplify1.9s

Counts
104 → 104
Iterations
IterNodes
done5001
22894
1733
0243

prune1.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

regimes432.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify22.0ms

Iterations
IterNodes
done68
168
049

end0.0ms

sample14.0s

Algorithm
intervals
Results
6.9s2737×body1280valid
4.9s1819×body640valid
768.0ms784×body320valid
730.0ms2308×body80valid
280.0ms352×body160valid