Details

sample64.0ms

Algorithm

intervals

Results

32.0ms	115×	body	1280	valid
16.0ms	89×	body	640	valid
4.0ms	36×	body	320	valid
2.0ms	256×	pre	80	true
1.0ms	16×	body	160	valid

simplify5.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	15
1	18	15
2	43	15
3	87	15
4	150	15
5	196	15
6	282	15
7	444	15
8	689	15
9	713	15
10	743	15
11	801	15
12	881	15
13	1023	15
14	1155	15
15	1219	15
16	1451	15
17	1514	15
18	1867	15
19	3727	15
done	5000	15

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 63.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (+ n 1.0) (log (+ n 1.0)))
0.3b	(* n (log n))
5.4b	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

28×	`log-prod`
25×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
14×	`distribute-rgt-in` `distribute-lft-in`
9×	`pow1`
8×	`associate-r` `associate--l+`
7×	`add-exp-log` `associate-l` `add-cbrt-cube`
6×	`associate--r+`
5×	`distribute-lft-out` `add-log-exp`
2×	`pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+`

Counts

3 → 81

Calls

3 calls:

13.0ms	(* (+ n 1.0) (log (+ n 1.0)))
4.0ms	(* n (log n))
10.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

series441.0ms

Counts

3 → 9

Calls

3 calls:

68.0ms	(* (+ n 1.0) (log (+ n 1.0)))
181.0ms	(* n (log n))
192.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

simplify2.8s

Counts

90 → 90

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	171	1210
1	410	1150
2	1229	1062
3	4963	1015
done	5000	1015

prune189.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.3b	(/ 0.16666666666666669 (* n n))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

3.0ms

(/ 0.16666666666666669 (* n n))

series29.0ms

Counts

1 → 3

Calls

1 calls:

29.0ms

(/ 0.16666666666666669 (* n n))

simplify4.6s

Counts

24 → 24

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	43	185
1	94	182
2	275	152
3	1010	152
4	4711	152
done	5000	152

prune53.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	16	18
done	16	18

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.0s	3610×	body	1280	valid
496.0ms	2627×	body	640	valid
161.0ms	1314×	body	320	valid
72.0ms	8000×	pre	80	true
35.0ms	449×	body	160	valid