Details

sample144.0ms

Algorithm

intervals

Results

78.0ms	108×	body	1280	valid
37.0ms	96×	body	640	valid
11.0ms	44×	body	320	valid
5.0ms	256×	pre	80	true
1.0ms	8×	body	160	valid

simplify14.5s

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

localize11.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (+ n 1.0) (log (+ n 1.0)))
0.2b	(fma (log n) n 1.0)
3.9b	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

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

42.0ms	(* (+ n 1.0) (log (+ n 1.0)))
0.0ms	(fma (log n) n 1.0)
29.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series715.0ms

Counts

3 → 9

Calls

3 calls:

104.0ms	(* (+ n 1.0) (log (+ n 1.0)))
346.0ms	(fma (log n) n 1.0)
265.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

simplify1.9s

Counts

78 → 78

Iterations

Useful iterations: done (1.9s)

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

prune197.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 1 expressions with local error:

0.9b	(/ 0.16666666666666669 (* n n))

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

16.0ms

(/ 0.16666666666666669 (* n n))

series44.0ms

Counts

1 → 3

Calls

1 calls:

43.0ms

(/ 0.16666666666666669 (* n n))

simplify3.6s

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

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

end0.0ms

sample4.6s

Algorithm

intervals

Results

2.7s	3671×	body	1280	valid
1.2s	2661×	body	640	valid
297.0ms	1249×	body	320	valid
167.0ms	8000×	pre	80	true
61.0ms	419×	body	160	valid