Details

sample83.0ms

Algorithm

intervals

Results

44.0ms	121×	body	1280	valid
19.0ms	90×	body	640	valid
6.0ms	38×	body	320	valid
3.0ms	256×	pre	80	true
1.0ms	7×	body	160	valid

simplify10.8s

Counts

1 → 1

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	9	15
1	19	15
2	49	14
3	131	14
4	226	14
5	305	14
6	432	14
7	601	14
8	901	14
9	1007	14
10	1044	14
11	1083	14
12	1149	14
13	1251	14
14	1479	14
15	1559	14
16	1891	14
17	1982	14
18	2419	14
19	4969	14
done	5000	14

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 62.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (+ n 1.0) (log (+ n 1.0)))
0.3b	(fma (log n) n 1.0)
3.4b	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`log-prod`
12×	`add-sqr-sqrt`
10×	`add-cube-cbrt`
8×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
6×	`pow1`
5×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out` `add-log-exp`
4×	`associate-r` `associate-l`
3×	`expm1-log1p-u` `prod-diff` `log1p-expm1-u`
2×	`associate-*l/` `fma-udef`
1×	`sub-neg` `flip3--` `flip3-+` `fma-neg` `diff-log` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `associate--r+` `unswap-sqr`

Counts

3 → 69

Calls

3 calls:

27.0ms	(* (+ n 1.0) (log (+ n 1.0)))
0.0ms	(fma (log n) n 1.0)
25.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series474.0ms

Counts

3 → 9

Calls

3 calls:

64.0ms	(* (+ n 1.0) (log (+ n 1.0)))
231.0ms	(fma (log n) n 1.0)
179.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

simplify1.2s

Counts

78 → 78

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	158	1265
1	410	1129
2	1366	1037
done	5001	1017

prune183.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.4b	(/ 0.16666666666666669 (* n n))

rewrite8.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` `expm1-log1p-u` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `log1p-expm1-u` `div-inv` `add-log-exp`

Counts

1 → 23

Calls

1 calls:

8.0ms

(/ 0.16666666666666669 (* n n))

series26.0ms

Counts

1 → 3

Calls

1 calls:

26.0ms

(/ 0.16666666666666669 (* n n))

simplify3.2s

Counts

26 → 26

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	45	197
1	93	194
2	234	164
3	538	164
4	924	164
5	2410	164
done	5000	164

prune60.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	11	14
done	11	14

end0.0ms

sample2.0s

Algorithm

intervals

Results

1.1s	3697×	body	1280	valid
484.0ms	2600×	body	640	valid
163.0ms	1289×	body	320	valid
75.0ms	8000×	pre	80	true
32.0ms	414×	body	160	valid