Details

sample454.0ms

Algorithm

intervals

Results

273.0ms	79×	body	1280	valid
94.0ms	63×	body	640	valid
25.0ms	26×	body	320	valid
23.0ms	78×	body	80	valid
7.0ms	10×	body	160	valid

simplify1.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
4	3399
3	699
2	192
1	74
0	32

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize87.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.9b	(- (cos x) (cos y))

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

151.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
83.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
7.0ms	(- 3.0 (sqrt 5.0))
12.0ms	(- (cos x) (cos y))

series430.0ms

Counts

4 → 10

Calls

4 calls:

196.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
140.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
94.0ms	(- (cos x) (cos y))

simplify1.2s

Counts

301 → 301

Iterations

Iter	Nodes
done	5001
1	2011
0	738

prune2.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize107.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
1.9b	(- (cos x) (cos y))
4.1b	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

rewrite144.0ms

Algorithm

rewrite-expression-head

Rules

144×	`prod-diff`
143×	`add-sqr-sqrt`
136×	`*-un-lft-identity`
130×	`add-cube-cbrt`
82×	`times-frac`
48×	`log-prod`
41×	`distribute-rgt-in` `unpow-prod-up` `distribute-lft-in`
10×	`sqrt-prod`
9×	`div-inv`
8×	`add-log-exp`
7×	`add-exp-log`
6×	`pow1` `add-cbrt-cube` `fma-neg` `associate-r`
5×	`sub-neg` `difference-of-squares`
4×	`expm1-log1p-u` `associate-l` `log1p-expm1-u`
3×	`unpow-prod-down` `flip3--` `rem-log-exp` `flip--` `distribute-lft-out--`
2×	`diff-log` `associate-*r/` `log-pow`
1×	`pow-to-exp` `log-div` `pow-prod-down` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `diff-cos` `pow-sub` `unswap-sqr` `sqr-pow`

Counts

4 → 237

Calls

4 calls:

68.0ms	(* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
14.0ms	(- 3.0 (sqrt 5.0))
15.0ms	(- (cos x) (cos y))
23.0ms	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

series729.0ms

Counts

4 → 10

Calls

4 calls:

338.0ms	(* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
99.0ms	(- (cos x) (cos y))
293.0ms	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

simplify915.0ms

Counts

247 → 247

Iterations

Iter	Nodes
done	5000
1	1671
0	713

prune1.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize88.0ms

Local error

Found 4 expressions with local error:

0.5b	(pow (- (cos x) (cos y)) 3)
1.0b	(- 3.0 (sqrt 5.0))
1.9b	(- (cos x) (cos y))
4.1b	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

73×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
66×	`prod-diff`
63×	`add-cube-cbrt`
48×	`log-prod`
41×	`unpow-prod-up`
27×	`times-frac`
10×	`sqrt-prod`
9×	`unpow-prod-down`
8×	`add-log-exp`
6×	`fma-neg` `cube-prod` `add-exp-log`
5×	`pow1` `add-cbrt-cube` `difference-of-squares`
4×	`expm1-log1p-u` `log1p-expm1-u` `distribute-lft-out--`
3×	`pow-unpow` `sub-neg` `flip3--` `rem-log-exp` `div-inv` `diff-cos` `flip--`
2×	`cube-div` `pow-to-exp` `diff-log` `pow-exp` `sqr-pow`
1×	`cube-mult` `log-div` `pow-pow` `unpow3` `log-pow` `pow-sub` `rem-cube-cbrt`

Counts

4 → 162

Calls

4 calls:

8.0ms	(pow (- (cos x) (cos y)) 3)
11.0ms	(- 3.0 (sqrt 5.0))
24.0ms	(- (cos x) (cos y))
18.0ms	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

series511.0ms

Counts

4 → 10

Calls

4 calls:

123.0ms	(pow (- (cos x) (cos y)) 3)
0.0ms	(- 3.0 (sqrt 5.0))
93.0ms	(- (cos x) (cos y))
295.0ms	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

simplify2.1s

Counts

172 → 172

Iterations

Iter	Nodes
done	5000
2	4825
1	1295
0	482

prune2.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize159.0ms

Local error

Found 4 expressions with local error:

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

rewrite345.0ms

Algorithm

rewrite-expression-head

Rules

61×	`add-sqr-sqrt`
60×	`prod-diff`
59×	`*-un-lft-identity`
57×	`add-cube-cbrt`
48×	`log-prod`
41×	`unpow-prod-up`
27×	`times-frac`
10×	`sqrt-prod`
8×	`add-log-exp`
6×	`unpow-prod-down` `add-exp-log`
5×	`pow1` `add-cbrt-cube`
4×	`expm1-log1p-u` `fma-neg` `log1p-expm1-u`
3×	`pow-unpow` `sub-neg` `cube-prod` `rem-log-exp` `div-inv`
2×	`cube-div` `pow-to-exp` `flip3--` `diff-log` `pow-exp` `flip--` `difference-of-squares` `sqr-pow`
1×	`cube-mult` `log-div` `pow-pow` `flip3-+` `unpow3` `log-pow` `flip-+` `distribute-lft-out--` `pow-sub` `rem-cube-cbrt`

Counts

4 → 145

Calls

4 calls:

271.0ms	(pow (+ (- (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x))) (cos y)) (* (cos y) 0)) 3)
13.0ms	(- 3.0 (sqrt 5.0))
43.0ms	(- (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x))) (cos y))
13.0ms	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

series434.0ms

Counts

4 → 10

Calls

4 calls:

124.0ms	(pow (+ (- (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x))) (cos y)) (* (cos y) 0)) 3)
0.0ms	(- 3.0 (sqrt 5.0))
82.0ms	(- (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x))) (cos y))
227.0ms	(log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0))))

simplify718.0ms

Counts

155 → 155

Iterations

Iter	Nodes
done	5000
1	1323
0	480

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

regimes258.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Iter	Nodes
done	50
1	50
0	42

end0.0ms

sample15.3s

Algorithm

intervals

Results

8.2s	2745×	body	1280	valid
4.3s	1798×	body	640	valid
1.4s	734×	body	320	valid
771.0ms	2330×	body	80	valid
245.0ms	393×	body	160	valid