Details

sample69.0ms

Algorithm

intervals

Results

36.0ms	115×	body	1280	valid
17.0ms	89×	body	640	valid
4.0ms	36×	body	320	valid
3.0ms	256×	pre	80	true
1.0ms	16×	body	160	valid

simplify11.3s

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	9	15
1	19	15
2	49	14
3	109	14
4	204	14
5	266	14
6	393	14
7	569	14
8	891	14
9	977	14
10	1028	14
11	1097	14
12	1204	14
13	1377	14
14	1597	14
15	1677	14
16	2005	14
17	2088	14
18	2543	14
19	4616	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)
5.4b	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

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

13.0ms	(* (+ n 1.0) (log (+ n 1.0)))
0.0ms	(fma (log n) n 1.0)
15.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series471.0ms

Counts

3 → 9

Calls

3 calls:

67.0ms	(* (+ n 1.0) (log (+ n 1.0)))
221.0ms	(fma (log n) n 1.0)
182.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

simplify668.0ms

Counts

78 → 78

Iterations

Useful iterations: done (665.0ms)

Iter	Nodes	Cost
0	158	1265
1	406	1129
2	1325	1050
done	5000	1045

prune185.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize10.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` `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:

3.0ms

(/ 0.16666666666666669 (* n n))

series25.0ms

Counts

1 → 3

Calls

1 calls:

25.0ms

(/ 0.16666666666666669 (* n n))

simplify4.5s

Counts

26 → 26

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	45	197
1	97	194
2	279	164
3	1008	164
4	4732	164
done	5000	164

prune63.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.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	3610×	body	1280	valid
502.0ms	2627×	body	640	valid
167.0ms	1314×	body	320	valid
72.0ms	8000×	pre	80	true
35.0ms	449×	body	160	valid