Details

sample72.0ms

Algorithm

intervals

Results

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

simplify13.0s

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	269	14
6	396	14
7	568	14
8	879	14
9	965	14
10	1002	14
11	1071	14
12	1158	14
13	1287	14
14	1499	14
15	1581	14
16	1907	14
17	1990	14
18	2445	14
19	4487	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.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))

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

18.0ms	(* (+ n 1.0) (log (+ n 1.0)))
0.0ms	(fma (log n) n 1.0)
10.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series484.0ms

Counts

3 → 9

Calls

3 calls:

69.0ms	(* (+ n 1.0) (log (+ n 1.0)))
227.0ms	(fma (log n) n 1.0)
188.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

simplify514.0ms

Counts

78 → 78

Iterations

Useful iterations: done (512.0ms)

Iter	Nodes	Cost
0	158	1265
1	403	1129
2	1317	1022
done	5001	1017

prune179.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

series25.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

(/ 0.16666666666666669 (* n n))

simplify2.4s

Counts

26 → 26

Iterations

Useful iterations: 2 (31.0ms)

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

prune58.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	3645×	body	1280	valid
493.0ms	2602×	body	640	valid
170.0ms	1318×	body	320	valid
76.0ms	8000×	pre	80	true
34.0ms	435×	body	160	valid