Details

sample857.0ms

Algorithm

intervals

Results

229.0ms	129×	body	1280	valid
205.0ms	73×	body	2560	valid
194.0ms	29×	body	5120	valid
106.0ms	85×	body	640	valid
82.0ms	45×	body	320	valid
14.0ms	53×	body	80	valid
6.0ms	12×	body	160	valid

simplify2.1s

Counts: 1 → 1

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.5b

localize52.0ms

Local error

Found 4 expressions with local error:

31.4b	(/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t))))
2.9b	(/ (sin k) (/ l t))
0.4b	(/ (/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t)))) (tan k))
0.4b	(/ 2 (* (/ k t) (/ k t)))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

913×	`add-cbrt-cube` `add-exp-log`
589×	`cbrt-undiv` `div-exp`
197×	`times-frac`
192×	`prod-exp` `cbrt-unprod`
82×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
38×	`associate-/r/`
33×	`associate-/l*`
18×	`associate-/r*` `div-inv`
12×	`frac-times` `associate-l/` `associate-r/`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
2×	`associate-/l/`
1×	`tan-quot`

Counts

4 → 464

Calls

4 calls:

Slowest

38.0ms	(/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t))))
33.0ms	(/ (/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t)))) (tan k))
10.0ms	(/ 2 (* (/ k t) (/ k t)))
9.0ms	(/ (sin k) (/ l t))

series666.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

315.0ms	(/ (/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t)))) (tan k))
206.0ms	(/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t))))
82.0ms	(/ (sin k) (/ l t))
63.0ms	(/ 2 (* (/ k t) (/ k t)))

simplify1.2s

Counts: 476 → 476

prune7.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 9.8b

localize79.0ms

Local error

Found 4 expressions with local error:

23.1b	(/ (/ 2 (/ k t)) (/ t (/ l t)))
15.8b	(/ (/ 1 (/ k t)) (/ (sin k) (/ l t)))
2.9b	(/ (sin k) (/ l t))
0.6b	(/ 2 (/ k t))

rewrite464.0ms

Algorithm

rewrite-expression-head

Rules

15902×	`times-frac`
6388×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
732×	`div-inv`
184×	`associate-/r/`
128×	`add-exp-log`
114×	`associate-/r*`
96×	`div-exp`
94×	`associate-/l*`
86×	`add-cbrt-cube`
60×	`cbrt-undiv`
6×	`rec-exp` `1-exp`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
2×	`associate-/l/`

Counts

4 → 4264

Calls

4 calls:

Slowest

30.0ms	(/ (/ 1 (/ k t)) (/ (sin k) (/ l t)))
28.0ms	(/ (sin k) (/ l t))
27.0ms	(/ (/ 2 (/ k t)) (/ t (/ l t)))
11.0ms	(/ 2 (/ k t))

series286.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

104.0ms	(/ (/ 1 (/ k t)) (/ (sin k) (/ l t)))
102.0ms	(/ (sin k) (/ l t))
50.0ms	(/ (/ 2 (/ k t)) (/ t (/ l t)))
30.0ms	(/ 2 (/ k t))

simplify22.9s

Counts: 4276 → 4276

prune1.3m

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 7.1b

localize80.0ms

Local error

Found 4 expressions with local error:

17.0b	(/ (/ 2 (/ k t)) (/ t l))
15.8b	(/ (/ 1 (/ k t)) (/ (sin k) (/ l t)))
5.2b	(/ (/ (/ 2 (/ k t)) (/ t l)) t)
2.9b	(/ (sin k) (/ l t))

rewrite477.0ms

Algorithm

rewrite-expression-head

Rules

18887×	`times-frac`
7635×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
857×	`div-inv`
668×	`associate-/l*`
163×	`associate-/r/`
137×	`add-exp-log`
103×	`div-exp`
95×	`add-cbrt-cube`
73×	`associate-/r*`
67×	`cbrt-undiv`
6×	`rec-exp` `1-exp`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
3×	`associate-/l/`

Counts

4 → 5129

Calls

4 calls:

Slowest

32.0ms	(/ (/ (/ 2 (/ k t)) (/ t l)) t)
30.0ms	(/ (/ 1 (/ k t)) (/ (sin k) (/ l t)))
23.0ms	(/ (/ 2 (/ k t)) (/ t l))
15.0ms	(/ (sin k) (/ l t))

series277.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

115.0ms	(/ (/ 1 (/ k t)) (/ (sin k) (/ l t)))
109.0ms	(/ (sin k) (/ l t))
31.0ms	(/ (/ (/ 2 (/ k t)) (/ t l)) t)
22.0ms	(/ (/ 2 (/ k t)) (/ t l))

simplify1.1m

Counts: 5141 → 5141

prune1.3m

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 7.0b

localize37.0ms

Local error

Found 4 expressions with local error:

17.0b	(/ (/ 2 (/ k t)) (/ t l))
10.5b	(/ t (* (/ (sin k) l) t))
5.2b	(/ (/ (/ 2 (/ k t)) (/ t l)) t)
0.6b	(/ 2 (/ k t))

rewrite205.0ms

Algorithm

rewrite-expression-head

Rules

11014×	`times-frac`
4487×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
627×	`associate-/l*`
497×	`div-inv`
73×	`associate-/r/`
68×	`add-cbrt-cube` `add-exp-log`
44×	`cbrt-undiv` `div-exp`
30×	`associate-/r*`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
2×	`prod-exp` `cbrt-unprod` `associate-/l/`
1×	`associate-*l/`

Counts

4 → 3087

Calls

4 calls:

Slowest

21.0ms	(/ (/ (/ 2 (/ k t)) (/ t l)) t)
16.0ms	(/ t (* (/ (sin k) l) t))
11.0ms	(/ (/ 2 (/ k t)) (/ t l))
5.0ms	(/ 2 (/ k t))

series134.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

73.0ms	(/ t (* (/ (sin k) l) t))
28.0ms	(/ (/ (/ 2 (/ k t)) (/ t l)) t)
17.0ms	(/ (/ 2 (/ k t)) (/ t l))
17.0ms	(/ 2 (/ k t))

simplify8.4s

Counts: 3099 → 3099

prune35.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.0b

regimes379.0ms

Accuracy

0% (0.9b remaining)

Error of 4.2b against oracle of 3.3b and baseline of 4.2b

bsearch3.0ms

end0.0ms

sample25.8s

Algorithm

intervals

Results

7.8s	4017×	body	1280	valid
6.9s	2238×	body	2560	valid
5.6s	947×	body	5120	valid
3.6s	2505×	body	640	valid
831.0ms	1020×	body	320	valid
578.0ms	2129×	body	80	valid
245.0ms	471×	body	160	valid