Details

sample79.0ms

Algorithm

intervals

Results

40.0ms	118×	body	1280	valid
19.0ms	84×	body	640	valid
7.0ms	45×	body	320	valid
3.0ms	256×	pre	80	true
1.0ms	9×	body	160	valid

simplify14.0s

Counts

1 → 1

Iterations

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

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

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

58.0ms	(* (+ n 1.0) (log (+ n 1.0)))
1.0ms	(fma (log n) n 1.0)
44.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0))

series750.0ms

Counts

3 → 9

Calls

3 calls:

110.0ms	(* (+ n 1.0) (log (+ n 1.0)))
378.0ms	(fma (log n) n 1.0)
263.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:

1.0b	(/ 0.16666666666666669 (* n n))

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

15.0ms

(/ 0.16666666666666669 (* n n))

series51.0ms

Counts

1 → 3

Calls

1 calls:

51.0ms

(/ 0.16666666666666669 (* n n))

simplify4.5s

Counts

26 → 26

Iterations

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

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

sample5.1s

Algorithm

intervals

Results

2.5s	3621×	body	1280	valid
1.7s	2615×	body	640	valid
337.0ms	1356×	body	320	valid
211.0ms	8000×	pre	80	true
63.0ms	408×	body	160	valid