Details

sample1.2s

Algorithm

intervals

Results

430.0ms	93×	body	2560	valid
288.0ms	116×	body	1280	valid
188.0ms	24×	body	5120	valid
134.0ms	80×	body	640	valid
43.0ms	13×	body	160	valid
23.0ms	20×	body	320	valid
20.0ms	55×	body	80	valid

simplify2.2s

Counts: 1 → 1

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.7b

localize40.0ms

Local error

Found 4 expressions with local error:

30.5b	(/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t))))
3.3b	(/ (sin k) (/ l t))
1.0b	(/ (/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t)))) (tan k))
0.5b	(/ 2 (* (/ k t) (/ k t)))

rewrite131.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×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`associate-/l/`
1×	`tan-quot`

Counts

4 → 472

Calls

4 calls:

Slowest

45.0ms	(/ (/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t)))) (tan k))
31.0ms	(/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t))))
13.0ms	(/ 2 (* (/ k t) (/ k t)))
13.0ms	(/ (sin k) (/ l t))

series638.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

335.0ms	(/ (/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t)))) (tan k))
163.0ms	(/ (/ 2 (* (/ k t) (/ k t))) (* (/ (sin k) (/ l t)) (/ t (/ l t))))
91.0ms	(/ (sin k) (/ l t))
48.0ms	(/ 2 (* (/ k t) (/ k t)))

simplify1.3s

Counts: 591 → 484

prune7.0s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 12.0b

localize78.0ms

Local error

Found 4 expressions with local error:

20.5b	(/ (/ (sqrt 2) (/ k t)) (/ t (/ l t)))
15.5b	(/ (/ (sqrt 2) (/ k t)) (/ (sin k) (/ l t)))
3.3b	(/ (sin k) (/ l t))
1.8b	(/ (/ (/ (sqrt 2) (/ k t)) (/ t (/ l t))) (tan k))

rewrite2.9s

Algorithm

rewrite-expression-head

Rules

101070×	`times-frac`
39562×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
10374×	`sqrt-prod`
3874×	`div-inv`
3826×	`associate-/l*`
774×	`associate-/r/`
128×	`add-cbrt-cube` `add-exp-log`
104×	`associate-/r*`
94×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/l/`
1×	`tan-quot`

Counts

4 → 22363

Calls

4 calls:

Slowest

169.0ms	(/ (/ (/ (sqrt 2) (/ k t)) (/ t (/ l t))) (tan k))
45.0ms	(/ (/ (sqrt 2) (/ k t)) (/ t (/ l t)))
34.0ms	(/ (/ (sqrt 2) (/ k t)) (/ (sin k) (/ l t)))
18.0ms	(/ (sin k) (/ l t))

series726.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

298.0ms	(/ (/ (/ (sqrt 2) (/ k t)) (/ t (/ l t))) (tan k))
168.0ms	(/ (/ (sqrt 2) (/ k t)) (/ (sin k) (/ l t)))
162.0ms	(/ (/ (sqrt 2) (/ k t)) (/ t (/ l t)))
98.0ms	(/ (sin k) (/ l t))

simplify4.3m

Counts: 40693 → 22375

prune4.7m

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 10.4b

localize55.0ms

Local error

Found 4 expressions with local error:

15.5b	(/ (/ (sqrt 2) (/ k t)) (/ (sin k) (/ l t)))
7.0b	(/ (/ (sqrt (sqrt 2)) k) (/ t l))
3.3b	(/ (sin k) (/ l t))
1.8b	(/ (* (/ (/ (sqrt (sqrt 2)) k) (/ t l)) (/ (/ (sqrt (sqrt 2)) (/ 1 t)) t)) (tan k))

rewrite266.0ms

Algorithm

rewrite-expression-head

Rules

16283×	`times-frac`
6583×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
2133×	`sqrt-prod`
705×	`div-inv`
247×	`add-exp-log`
181×	`add-cbrt-cube`
172×	`div-exp`
133×	`associate-/r/`
121×	`cbrt-undiv`
118×	`associate-/l*`
73×	`associate-/r*`
30×	`prod-exp`
20×	`cbrt-unprod`
5×	`rec-exp` `1-exp` `associate-/l/`
4×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`frac-times` `associate-l/` `tan-quot` `associate-r/`

Counts

4 → 4431

Calls

4 calls:

Slowest

27.0ms	(/ (* (/ (/ (sqrt (sqrt 2)) k) (/ t l)) (/ (/ (sqrt (sqrt 2)) (/ 1 t)) t)) (tan k))
16.0ms	(/ (/ (sqrt (sqrt 2)) k) (/ t l))
15.0ms	(/ (/ (sqrt 2) (/ k t)) (/ (sin k) (/ l t)))
8.0ms	(/ (sin k) (/ l t))

series527.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

226.0ms	(/ (* (/ (/ (sqrt (sqrt 2)) k) (/ t l)) (/ (/ (sqrt (sqrt 2)) (/ 1 t)) t)) (tan k))
137.0ms	(/ (/ (sqrt 2) (/ k t)) (/ (sin k) (/ l t)))
99.0ms	(/ (/ (sqrt (sqrt 2)) k) (/ t l))
66.0ms	(/ (sin k) (/ l t))

simplify14.4s

Counts: 8544 → 4443