Details

sample70.0ms

Algorithm

intervals

Results

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

simplify10.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	15
1	18	15
2	43	15
3	87	15
4	150	15
5	196	15
6	282	15
7	444	15
8	685	15
9	709	15
10	734	15
11	792	15
12	872	15
13	971	15
14	1103	15
15	1169	15
16	1405	15
17	1468	15
18	1811	15
19	3674	15
done	5000	15

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 63.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (+ n 1.0) (log (+ n 1.0)))
0.3b	(* n (log n))
5.3b	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

28×	`log-prod`
25×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
14×	`distribute-rgt-in` `distribute-lft-in`
9×	`pow1`
8×	`associate-r` `associate--l+`
7×	`add-exp-log` `associate-l` `add-cbrt-cube`
6×	`associate--r+`
5×	`distribute-lft-out` `add-log-exp`
2×	`pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+`

Counts

3 → 81

Calls

3 calls:

13.0ms	(* (+ n 1.0) (log (+ n 1.0)))
4.0ms	(* n (log n))
10.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

series433.0ms

Counts

3 → 9

Calls

3 calls:

63.0ms	(* (+ n 1.0) (log (+ n 1.0)))
188.0ms	(* n (log n))
182.0ms	(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

simplify2.8s

Counts

90 → 90

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	171	1210
1	410	1150
2	1231	1036
3	4962	1015
done	5000	1015

prune187.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (+ (- (+ 1.0 (/ 0.5 n)) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0)) 1.0)
0.5b	(/ 0.16666666666666669 (* n n))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

16×	`add-log-exp`
7×	`add-exp-log` `add-cbrt-cube`
6×	`add-sqr-sqrt` `*-un-lft-identity` `diff-log`
4×	`add-cube-cbrt` `sum-log`
3×	`times-frac` `associate-/l*`
2×	`pow1` `cbrt-undiv` `div-exp`
1×	`associate--l-` `associate-+l-` `sub-neg` `flip3--` `frac-2neg` `prod-exp` `associate--l+` `clear-num` `associate-/r*` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 40

Calls

2 calls:

1.1s	(- (+ (- (+ 1.0 (/ 0.5 n)) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0)) 1.0)
3.0ms	(/ 0.16666666666666669 (* n n))

series62.0ms

Counts

2 → 6

Calls

2 calls:

36.0ms	(- (+ (- (+ 1.0 (/ 0.5 n)) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0)) 1.0)
26.0ms	(/ 0.16666666666666669 (* n n))

simplify1.1s

Counts

46 → 46

Iterations

Useful iterations: 3 (379.0ms)

Iter	Nodes	Cost
0	112	737
1	259	721
2	744	642
3	3389	622
done	5000	622

prune92.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` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

3.0ms

(/ 0.16666666666666669 (* n n))

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

(/ 0.16666666666666669 (* n n))

simplify2.0s

Counts

24 → 24

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	43	185
1	94	182
2	275	152
3	1009	152
4	3807	152
done	5000	152

prune53.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	13	18
1	16	18
done	16	18

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.0s	3645×	body	1280	valid
474.0ms	2602×	body	640	valid
164.0ms	1318×	body	320	valid
79.0ms	8000×	pre	80	true
33.0ms	435×	body	160	valid