Details

Time bar (total: 28.0s)

sample699.0ms

Algorithm
intervals
Results
513.0ms90×body1280valid
65.0ms52×body640valid
55.0ms81×body80valid
24.0ms24×body320valid
5.0ms9×body160valid

simplify791.0ms

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

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

rewrite200.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:
112.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
54.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
21.0ms
(- 3.0 (sqrt 5.0))
9.0ms
(- (cos x) (cos y))

series362.0ms

Counts
4 → 10
Calls
4 calls:
175.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
112.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
75.0ms
(- (cos x) (cos y))

simplify1.1s

Counts
104 → 104

prune810.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize78.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.9b
(- (cos x) (cos y))
3.1b
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
14×*-un-lft-identity
9×add-log-exp
8×add-cube-cbrt
7×pow1 log-prod
6×add-exp-log sub-neg associate-*r* associate-*l* add-cbrt-cube
5×sqrt-prod difference-of-squares
4×distribute-rgt-in distribute-lft-in exp-sum
3×flip3-- log-pow flip-- distribute-lft-out--
2×diff-log associate-*r/ unswap-sqr
1×exp-prod exp-to-pow times-frac rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod diff-cos
Counts
4 → 79
Calls
4 calls:
90.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
12.0ms
(- 3.0 (sqrt 5.0))
24.0ms
(- (cos x) (cos y))
15.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

series369.0ms

Counts
4 → 10
Calls
4 calls:
120.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
61.0ms
(- (cos x) (cos y))
188.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

simplify580.0ms

Counts
89 → 89

prune731.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize66.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.9b
(- (cos x) (cos y))
3.1b
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

rewrite321.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
15×*-un-lft-identity
12×pow1 associate-*r*
11×add-exp-log add-cbrt-cube
10×associate-*r/
9×add-cube-cbrt
8×flip3-- flip--
7×sub-neg log-prod associate-*l* add-log-exp
6×distribute-rgt-in distribute-lft-in
5×difference-of-squares
4×frac-times exp-sum pow-prod-down prod-exp sqrt-prod cbrt-unprod
3×log-pow distribute-lft-out--
2×times-frac associate-*l/ *-commutative unswap-sqr
1×exp-prod exp-to-pow diff-log rem-log-exp diff-cos
Counts
4 → 97
Calls
4 calls:
181.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
103.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
16.0ms
(- (cos x) (cos y))
18.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

series590.0ms

Counts
4 → 12
Calls
4 calls:
198.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
146.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
65.0ms
(- (cos x) (cos y))
181.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

simplify1.2s

Counts
109 → 109

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize83.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.9b
(- (cos x) (cos y))
3.1b
(log (exp (* (log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))) (- (sin y) (/ (sin x) 16.0)))))
3.7b
(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

rewrite125.0ms

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

series586.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
70.0ms
(- (cos x) (cos y))
239.0ms
(log (exp (* (log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))) (- (sin y) (/ (sin x) 16.0)))))
142.0ms
(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

simplify714.0ms

Counts
94 → 94

prune977.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

regimes171.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.1s

end0.0ms

sample14.9s

Algorithm
intervals
Results
8.1s2763×body1280valid
3.9s1822×body640valid
1.4s2299×body80valid
876.0ms753×body320valid
290.0ms363×body160valid