Details

sample327.0ms

Algorithm

intervals

Results

195.0ms	91×	body	1280	valid
63.0ms	61×	body	640	valid
17.0ms	77×	body	80	valid
15.0ms	21×	body	320	valid
3.0ms	6×	body	160	valid

simplify748.0ms

Counts: 1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite146.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
30×	`*-un-lft-identity`
28×	`associate-l`
20×	`times-frac`
18×	`add-cube-cbrt`
11×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
9×	`associate-r`
8×	`pow1` `sqrt-prod` `add-log-exp`
6×	`distribute-lft-out--`
4×	`sub-neg` `unswap-sqr`
3×	`flip3--` `prod-exp` `flip--` `cbrt-unprod`
2×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `associate-r/` `pow-prod-down` `-commutative`
1×	`cbrt-undiv` `div-exp` `associate-*l/` `div-inv` `diff-cos`

Counts

4 → 102

Calls

4 calls:

55.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
68.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
9.0ms	(- 3.0 (sqrt 5.0))
8.0ms	(- (cos x) (cos y))

series280.0ms

Counts

4 → 10

Calls

4 calls:

94.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
102.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
84.0ms	(- (cos x) (cos y))

simplify906.0ms

Counts: 112 → 112

prune858.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.2b

localize82.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.5b	(+ (cos y) (cos x))
1.0b	(- 3.0 (sqrt 5.0))
1.9b	(- (pow (cos x) 3) (pow (cos y) 3))

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
20×	`difference-of-squares`
12×	`unpow-prod-down` `cube-prod`
10×	`add-log-exp`
8×	`sqr-pow`
7×	`add-cube-cbrt` `distribute-lft-out--`
6×	`pow1` `add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`sqrt-prod`
4×	`sub-neg`
3×	`flip3--` `flip--`
2×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `associate-*r/` `unswap-sqr`
1×	`difference-cubes` `+-commutative` `flip3-+` `times-frac` `sum-cos` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out`

Counts

4 → 93

Calls

4 calls:

58.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
14.0ms	(+ (cos y) (cos x))
9.0ms	(- 3.0 (sqrt 5.0))
31.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

series283.0ms

Counts

4 → 10

Calls

4 calls:

106.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
63.0ms	(+ (cos y) (cos x))
0.0ms	(- 3.0 (sqrt 5.0))
114.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

simplify697.0ms

Counts: 103 → 103

prune933.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.2b

localize76.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (cos y) (cos x)))
0.6b	(cbrt (+ (cos y) (cos x)))
1.0b	(- 3.0 (sqrt 5.0))
1.9b	(- (pow (cos x) 3) (pow (cos y) 3))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
18×	`difference-of-squares`
12×	`unpow-prod-down` `cube-prod`
10×	`cbrt-prod`
8×	`add-log-exp` `sqr-pow`
6×	`add-cube-cbrt` `distribute-lft-out--`
4×	`pow1` `add-exp-log` `cbrt-div` `add-cbrt-cube`
2×	`sub-neg` `flip3--` `flip3-+` `sum-cos` `pow1/3` `diff-log` `flip--` `flip-+` `distribute-lft-out`
1×	`difference-cubes` `sqrt-prod`

Counts

4 → 79

Calls

4 calls:

7.0ms	(cbrt (+ (cos y) (cos x)))
7.0ms	(cbrt (+ (cos y) (cos x)))
14.0ms	(- 3.0 (sqrt 5.0))
34.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

series371.0ms

Counts

4 → 10

Calls

4 calls:

118.0ms	(cbrt (+ (cos y) (cos x)))
138.0ms	(cbrt (+ (cos y) (cos x)))
0.0ms	(- 3.0 (sqrt 5.0))
115.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

simplify1.3s

Counts: 89 → 89

prune1.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.2b

localize69.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
2.2b	(- (cos x) (cos y))
3.9b	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

rewrite138.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:

110.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
7.0ms	(- 3.0 (sqrt 5.0))
8.0ms	(- (cos x) (cos y))
8.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

series317.0ms

Counts

4 → 10

Calls

4 calls:

139.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
61.0ms	(- (cos x) (cos y))
117.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

simplify1.5s

Counts: 89 → 89

prune1.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.2b

regimes393.0ms

Accuracy

0.5% (0.3b remaining)

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

bsearch0.0ms

simplify1.1s

end0.0ms

sample14.9s

Algorithm

intervals

Results

8.3s	2808×	body	1280	valid
3.9s	1793×	body	640	valid
1.1s	724×	body	320	valid
842.0ms	2342×	body	80	valid
308.0ms	333×	body	160	valid