Details

sample131.0ms

Algorithm

intervals

Results

72.0ms	118×	body	1280	valid
30.0ms	87×	body	640	valid
9.0ms	39×	body	320	valid
4.0ms	256×	pre	80	true
2.0ms	12×	body	160	valid

simplify13.6s

Counts

1 → 1

Iterations

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

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

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

35.0ms	(* (+ n 1.0) (log (+ n 1.0)))
0.0ms	(fma (log n) n 1.0)
24.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series632.0ms

Counts

3 → 9

Calls

3 calls:

77.0ms	(* (+ n 1.0) (log (+ n 1.0)))
308.0ms	(fma (log n) n 1.0)
247.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

prune274.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.3b	(/ 0.16666666666666669 (* n n))

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

13.0ms

(/ 0.16666666666666669 (* n n))

series46.0ms

Counts

1 → 3

Calls

1 calls:

46.0ms

(/ 0.16666666666666669 (* n n))

simplify4.8s

Counts

26 → 26

Iterations

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

prune121.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.0s

Algorithm

intervals

Results

2.6s	3648×	body	1280	valid
1.6s	2694×	body	640	valid
445.0ms	1237×	body	320	valid
156.0ms	8000×	pre	80	true
64.0ms	421×	body	160	valid