Details

sample1.2s

Algorithm

intervals

Results

333.0ms	74×	body	2560	valid
328.0ms	113×	body	1280	valid
304.0ms	33×	body	5120	valid
116.0ms	69×	body	640	valid
46.0ms	39×	body	320	valid
24.0ms	61×	body	80	valid
16.0ms	17×	body	160	valid

simplify4.9s

Counts

1 → 1

Iterations

Iter	Nodes
4	7081
3	997
2	172
1	49
0	19

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.2b

localize38.0ms

Local error

Found 4 expressions with local error:

8.4b	(/ (* (* (/ k t) t) (* (/ k t) t)) l)
11.0b	(/ (/ 2 (/ t l)) (* (/ (* (* (/ k t) t) (* (/ k t) t)) l) (* (sin k) (tan k))))
13.4b	(* (/ k t) t)
13.4b	(* (/ k t) t)

rewrite277.0ms

Algorithm

rewrite-expression-head

Rules

589×	`add-cbrt-cube` `add-exp-log`
252×	`cbrt-undiv` `div-exp`
250×	`prod-exp` `cbrt-unprod`
199×	`times-frac`
102×	`add-sqr-sqrt`
92×	`*-un-lft-identity` `add-cube-cbrt`
45×	`associate-/l*`
26×	`associate-l`
12×	`div-inv`
8×	`pow1` `associate-*l/`
6×	`associate-r`
5×	`associate-/r/`
4×	`associate-/r` `associate-r/` `add-log-exp` `unswap-sqr` `associate-/l/`
2×	`frac-times` `clear-num` `frac-2neg` `pow-prod-down` `tan-quot` `*-commutative`

Counts

4 → 345

Calls

4 calls:

59.0ms	(/ (* (* (/ k t) t) (* (/ k t) t)) l)
168.0ms	(/ (/ 2 (/ t l)) (* (/ (* (* (/ k t) t) (* (/ k t) t)) l) (* (sin k) (tan k))))
16.0ms	(* (/ k t) t)
16.0ms	(* (/ k t) t)

series404.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(/ (* (* (/ k t) t) (* (/ k t) t)) l)
372.0ms	(/ (/ 2 (/ t l)) (* (/ (* (* (/ k t) t) (* (/ k t) t)) l) (* (sin k) (tan k))))
7.0ms	(* (/ k t) t)
7.0ms	(* (/ k t) t)

simplify4.6s

Counts

357 → 357

Iterations

Iter	Nodes
2	10495
1	1951
0	613

prune4.9s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ l (tan k))
0.3b	(/ (/ 2 t) (sin k))
1.4b	(* (/ (/ 2 t) (sin k)) (/ l (tan k)))
5.1b	(/ (/ (/ k 1) (/ l (/ k 1))) (* (/ (/ 2 t) (sin k)) (/ l (tan k))))

rewrite182.0ms

Algorithm

rewrite-expression-head

Rules

4397×	`times-frac`
1645×	`add-sqr-sqrt`
1624×	`*-un-lft-identity` `add-cube-cbrt`
605×	`add-exp-log`
593×	`associate-/l*`
466×	`div-exp`
340×	`add-cbrt-cube`
230×	`cbrt-undiv`
206×	`div-inv`
84×	`prod-exp`
49×	`1-exp`
48×	`cbrt-unprod`
43×	`associate-l`
33×	`associate-/r/`
14×	`associate-r`
7×	`associate-/r*`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
3×	`clear-num` `frac-2neg`
2×	`frac-times` `associate-l/` `tan-quot` `associate-r/` `associate-/l/`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 1494

Calls

4 calls:

4.0ms	(/ l (tan k))
14.0ms	(/ (/ 2 t) (sin k))
41.0ms	(* (/ (/ 2 t) (sin k)) (/ l (tan k)))
28.0ms	(/ (/ (/ k 1) (/ l (/ k 1))) (* (/ (/ 2 t) (sin k)) (/ l (tan k))))

series799.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(/ l (tan k))
87.0ms	(/ (/ 2 t) (sin k))
276.0ms	(* (/ (/ 2 t) (sin k)) (/ l (tan k)))
295.0ms	(/ (/ (/ k 1) (/ l (/ k 1))) (* (/ (/ 2 t) (sin k)) (/ l (tan k))))

simplify24.9s

Counts

1506 → 1506

Iterations

Iter	Nodes
1	11978
0	3192

prune20.9s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (* (/ (/ (/ k 1) l) (/ (/ 2 t) (sin k))) (/ (/ k 1) (/ l (tan k)))))
0.2b	(/ l (tan k))
0.3b	(/ (/ 2 t) (sin k))
4.5b	(/ (/ (/ k 1) l) (/ (/ 2 t) (sin k)))

rewrite263.0ms

Algorithm

rewrite-expression-head

Rules

7744×	`times-frac`
3136×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
1885×	`add-exp-log`
1553×	`div-exp`
414×	`add-cbrt-cube`
360×	`div-inv`
297×	`cbrt-undiv`
273×	`prod-exp`
236×	`1-exp`
92×	`rec-exp`
62×	`associate-/l*`
50×	`associate-/r*` `cbrt-unprod`
7×	`pow1`
5×	`associate-/r/`
4×	`clear-num` `frac-2neg` `add-log-exp`
2×	`pow-flip` `associate-/l/`
1×	`frac-times` `pow-prod-down` `associate-l/` `tan-quot` `associate-r/` `inv-pow`

Counts

4 → 2416

Calls

4 calls:

83.0ms	(/ 1 (* (/ (/ (/ k 1) l) (/ (/ 2 t) (sin k))) (/ (/ k 1) (/ l (tan k)))))
5.0ms	(/ l (tan k))
7.0ms	(/ (/ 2 t) (sin k))
19.0ms	(/ (/ (/ k 1) l) (/ (/ 2 t) (sin k)))

series524.0ms

Counts

4 → 12

Calls

4 calls:

192.0ms	(/ 1 (* (/ (/ (/ k 1) l) (/ (/ 2 t) (sin k))) (/ (/ k 1) (/ l (tan k)))))
142.0ms	(/ l (tan k))
53.0ms	(/ (/ 2 t) (sin k))
136.0ms	(/ (/ (/ k 1) l) (/ (/ 2 t) (sin k)))

simplify39.4s

Counts

2428 → 2428

Iterations

Iter	Nodes
1	14392
0	4291

prune36.6s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ l (tan k))
0.3b	(/ 1 (/ (/ (/ k 1) l) (/ (/ 2 t) (sin k))))
0.3b	(/ (/ 2 t) (sin k))
4.5b	(/ (/ (/ k 1) l) (/ (/ 2 t) (sin k)))

rewrite881.0ms

Algorithm

rewrite-expression-head

Rules

43403×	`times-frac`
17033×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
1903×	`associate-/r*`
1740×	`div-inv`
219×	`add-exp-log`
186×	`div-exp`
94×	`add-cbrt-cube`
68×	`cbrt-undiv`
62×	`associate-/l*`
25×	`1-exp`
13×	`rec-exp`
7×	`associate-/r/`
5×	`pow1`
4×	`clear-num` `frac-2neg` `add-log-exp`
2×	`associate-/l/`
1×	`tan-quot` `pow-flip` `inv-pow`

Counts

4 → 9547

Calls

4 calls:

4.0ms	(/ l (tan k))
44.0ms	(/ 1 (/ (/ (/ k 1) l) (/ (/ 2 t) (sin k))))
7.0ms	(/ (/ 2 t) (sin k))
15.0ms	(/ (/ (/ k 1) l) (/ (/ 2 t) (sin k)))

series496.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(/ l (tan k))
106.0ms	(/ 1 (/ (/ (/ k 1) l) (/ (/ 2 t) (sin k))))
69.0ms	(/ (/ 2 t) (sin k))
151.0ms	(/ (/ (/ k 1) l) (/ (/ 2 t) (sin k)))

simplify7.6m

Iterations

Iter	Nodes
0	13808