Details

sample155.0ms

Algorithm

intervals

Results

94.0ms	134×	body	1280	valid
28.0ms	67×	body	640	valid
11.0ms	42×	body	320	valid
5.0ms	256×	pre	80	true
2.0ms	13×	body	160	valid

simplify15.9s

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 62.0b

localize24.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)
4.6b	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

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

37.0ms	(* (+ n 1.0) (log (+ n 1.0)))
0.0ms	(fma (log n) n 1.0)
23.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series841.0ms

Counts

3 → 9

Calls

3 calls:

117.0ms	(* (+ n 1.0) (log (+ n 1.0)))
444.0ms	(fma (log n) n 1.0)
279.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

simplify1.7s

Counts

78 → 78

Iterations

Useful iterations: done (1.7s)

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

prune273.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 1 expressions with local error:

0.5b	(/ 0.16666666666666669 (* n n))

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

series46.0ms

Counts

1 → 3

Calls

1 calls:

46.0ms

(/ 0.16666666666666669 (* n n))

simplify4.2s

Counts

26 → 26

Iterations

Useful iterations: 2 (56.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

prune74.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

sample5.1s

Algorithm

intervals

Results

3.0s	3669×	body	1280	valid
1.3s	2599×	body	640	valid
354.0ms	1300×	body	320	valid
128.0ms	8000×	pre	80	true
65.0ms	432×	body	160	valid