Details

sample66.0ms

Algorithm

intervals

Results

33.0ms	116×	body	1280	valid
16.0ms	87×	body	640	valid
5.0ms	42×	body	320	valid
2.0ms	256×	pre	80	true
1.0ms	11×	body	160	valid

simplify10.4s

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	685	15
9	709	15
10	734	15
11	792	15
12	872	15
13	971	15
14	1103	15
15	1169	15
16	1405	15
17	1468	15
18	1811	15
19	3674	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))
4.1b	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

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

14.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)))

series435.0ms

Counts

3 → 9

Calls

3 calls:

68.0ms	(* (+ n 1.0) (log (+ n 1.0)))
179.0ms	(* n (log n))
187.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

simplify2.6s

Counts

90 → 90

Iterations

Useful iterations: 3 (1.2s)

Iter	Nodes	Cost
0	171	1210
1	410	1150
2	1231	1036
3	4962	1015
done	5000	1015

prune195.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.6b	(/ 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))

simplify2.0s

Counts

24 → 24

Iterations

Useful iterations: 2 (25.0ms)

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

prune55.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.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	3633×	body	1280	valid
494.0ms	2639×	body	640	valid
164.0ms	1339×	body	320	valid
70.0ms	8000×	pre	80	true
30.0ms	389×	body	160	valid