Details

sample68.0ms

Algorithm

intervals

Results

37.0ms	131×	body	1280	valid
15.0ms	82×	body	640	valid
4.0ms	32×	body	320	valid
3.0ms	256×	pre	80	true
1.0ms	11×	body	160	valid

simplify4.8s

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	975	15
14	1109	15
15	1173	15
16	1407	15
17	1470	15
18	1819	15
19	3683	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.2b	(* (+ n 1.0) (log (+ n 1.0)))
0.2b	(* n (log n))
4.6b	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

rewrite31.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))
11.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

series452.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(* (+ n 1.0) (log (+ n 1.0)))
184.0ms	(* n (log n))
195.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

simplify2.6s

Counts

90 → 90

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	171	1210
1	410	1150
2	1230	1036
3	4965	1015
done	5000	1015

prune182.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

series26.0ms

Counts

1 → 3

Calls

1 calls:

26.0ms

(/ 0.16666666666666669 (* n n))

simplify3.2s

Counts

24 → 24

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	43	185
1	94	182
2	275	152
3	1009	152
4	3808	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.1s	3641×	body	1280	valid
493.0ms	2635×	body	640	valid
167.0ms	1306×	body	320	valid
77.0ms	8000×	pre	80	true
32.0ms	418×	body	160	valid