Details

sample72.0ms

Algorithm

intervals

Results

36.0ms	128×	body	1280	valid
15.0ms	82×	body	640	valid
8.0ms	256×	pre	80	true
3.0ms	28×	body	320	valid
1.0ms	18×	body	160	valid

simplify22.0s

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	9	15
1	19	15
2	49	14
3	111	14
4	220	14
5	306	14
6	433	14
7	629	14
8	1141	14
9	1287	14
10	1326	14
11	1517	14
12	1700	14
13	2037	14
14	2524	14
15	2618	14
16	3244	14
17	3445	14
18	3995	14
done	5001	14

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 62.0b

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

rewrite25.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)
9.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series436.0ms

Counts

3 → 9

Calls

3 calls:

58.0ms	(* (+ n 1.0) (log (+ n 1.0)))
209.0ms	(fma (log n) n 1.0)
168.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

simplify690.0ms

Counts

78 → 78

Iterations

Useful iterations: done (688.0ms)

Iter	Nodes	Cost
0	158	1265
1	421	1129
2	1555	1022
done	5000	1017

prune161.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

(/ 0.16666666666666669 (* n n))

simplify89.0ms

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	45	197
1	99	194
2	299	164