Details

sample37.0ms

Algorithm

intervals

Results

9.0ms	54×	body	640	valid
6.0ms	144×	body	80	valid
5.0ms	33×	body	320	valid
3.0ms	14×	body	1280	valid
1.0ms	11×	body	160	valid

simplify80.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	68	15
7	86	15
8	107	15
9	117	15
done	117	15

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 7.7b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (+ x 1.0))
0.0b	(/ 1.0 (- x 1.0))
0.0b	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
1.7b	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

83×	`*-un-lft-identity`
47×	`times-frac`
43×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
14×	`distribute-lft-out--`
13×	`distribute-lft-out`
11×	`add-log-exp`
9×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
6×	`associate-/l*`
4×	`pow1` `associate-/r/`
3×	`flip3--` `frac-add` `flip--`
2×	`cbrt-undiv` `sub-neg` `associate-+l+` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `frac-sub` `flip-+` `div-inv`
1×	`+-commutative` `associate-+l-`

Counts

4 → 114

Calls

4 calls:

6.0ms	(/ 1.0 (+ x 1.0))
6.0ms	(/ 1.0 (- x 1.0))
19.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
38.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series21.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1.0 (+ x 1.0))
2.0ms	(/ 1.0 (- x 1.0))
4.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
12.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify1.6min

Counts

126 → 126

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	18
1	21	17
2	33	16
3	48	16
4	69	16
5	99	16
6	135	16
7	232	16
8	339	16
9	416	16
10	439	16
11	441	16
done	441	16
0	12	17
1	23	16
2	38	16
3	65	16
4	94	16
5	127	16
6	208	16
7	300	16
8	417	16
9	453	16
10	455	16
done	455	16
0	11	16
1	19	16
2	32	16
3	42	16
4	53	16
5	60	16
6	69	16
7	87	16
8	108	16
9	118	16
done	118	16
0	11	16
1	22	16
2	43	16
3	73	16
4	108	16
5	148	16
6	256	16
7	380	16
8	424	16
9	430	16
done	430	16
0	12	33
1	20	33
2	33	33
3	43	33
4	54	33
5	61	33
6	70	33
7	88	33
8	109	33
9	119	33
done	119	33
0	11	16
1	19	16
2	32	16
3	42	16
4	53	16
5	60	16
6	69	16
7	87	16
8	108	16
9	118	16
done	118	16
0	12	47
1	33	47
2	98	17
3	424	17
4	2459	17
done	5000	17
0	11	16
1	19	16
2	32	16
3	42	16
4	53	16
5	60	16
6	69	16
7	87	16
8	108	16
9	118	16
done	118	16
0	11	16
1	19	16
2	32	16
3	42	16
4	53	16
5	60	16
6	69	16
7	87	16
8	108	16
9	118	16
done	118	16
0	12	21
1	24	21
2	61	21
3	161	21
4	472	21
5	1341	21
done	5000	21
0	6	9
1	13	9
2	37	9
3	96	9
4	181	9
5	322	9
6	497	9
7	750	9
8	2068	9
done	5000	9
0	19	49
1	63	45
2	176	45
3	543	43
4	2254	43
done	5000	43
0	13	33
1	36	29
2	87	29
3	251	27
4	799	27
5	2141	27
6	4653	27
done	5000	27
0	14	35
1	33	35
2	76	35
3	235	25
4	843	25
5	2867	25
done	5000	25
0	9	13
1	14	13
2	29	13
3	66	13
4	146	13
5	229	13
6	299	13
7	430	13
8	712	13
9	1231	13
10	1602	13
11	2022	13
done	5001	13
0	13	19
1	35	19
2	78	19
3	217	19
4	662	19
5	2174	19
done	5000	19
0	14	47
1	33	41
2	79	41
3	217	37
4	669	37
5	2034	37
done	5000	37
0	12	31
1	26	31
2	59	31
3	162	31
4	550	31
5	1681	31
done	5001	31
0	10	15
1	19	15
2	34	15
3	50	15
4	61	15
5	71	15
6	87	15
7	114	15
8	125	15
done	125	15
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	68	15
7	86	15
8	107	15
9	117	15
done	117	15
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	68	15
7	86	15
8	107	15
9	117	15
done	117	15
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	68	15
7	86	15
8	107	15
9	117	15
done	117	15
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	68	15
7	86	15
8	107	15
9	117	15
done	117	15
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	68	15
7	86	15
8	107	15
9	117	15
done	117	15
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	59	15
6	68	15
7	86	15
8	107	15
9	117	15
done	117	15
0	8	10
1	13	10
2	15	9
done	15	9
0	8	10
1	13	10
2	15	9
done	15	9
0	7	9
1	11	9
2	14	9
done	14	9
0	9	11
1	12	10
2	14	10
3	19	10
4	22	10
5	28	10
6	32	10
7	48	10
8	54	10
9	61	10
10	70	10
11	91	10
12	112	10
13	130	10
14	135	10
15	137	10
done	137	10
0	8	10
1	11	10
2	14	10
done	14	10
0	8	10
1	14	10
2	19	10
3	22	10
4	28	10
5	32	10
6	48	10
7	52	10
8	59	10
9	68	10
10	88	10
11	109	10
12	126	10
13	131	10
14	133	10
done	133	10
0	9	21
1	12	21
2	15	21
done	15	21
0	8	10
1	11	10
2	14	10
done	14	10
0	9	29
1	13	29
2	30	11
3	89	11
4	296	11
5	1007	11
6	3400	11
done	5000	11
0	8	10
1	11	10
2	14	10
done	14	10
0	8	10
1	11	10
2	14	10
done	14	10
0	7	9
1	12	9
2	27	9
3	47	9
4	79	9
5	97	9
6	122	9
7	183	9
8	280	9
9	310	9
10	317	9
done	317	9
0	4	5
1	6	5
2	13	5
done	13	5
0	10	13
1	32	13
2	92	13
3	266	13
4	832	13
5	2761	13
done	5000	13
0	11	29
1	31	25
2	61	25
3	97	23
4	161	23
5	205	23
6	245	23
7	277	23
8	311	23
9	689	23
10	2700	23
done	5001	23
0	4	4
1	6	4
done	6	4
0	9	19
1	23	19
2	44	19
3	85	19
4	168	19
5	280	19
6	419	19
7	680	19
8	2306	19
done	5000	19
0	7	9
1	9	9
done	9	9
0	9	11
1	11	11
done	11	11
0	9	11
1	12	11
2	13	11
done	13	11
0	10	12
1	12	12
done	12	12
0	10	12
1	13	12
2	16	12
done	16	12
0	10	12
1	12	12
done	12	12
0	10	12
1	13	12
2	14	12
done	14	12
0	11	13
1	13	13
done	13	13
0	11	13
1	14	13
2	17	13
done	17	13
0	7	9
1	10	9
2	13	9
done	13	9
0	7	9
1	10	9
2	13	9
done	13	9
0	7	9
1	10	9
2	13	9
done	13	9
0	4	4
1	6	4
done	6	4
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	172	7
4	392	7
5	1164	7
6	4370	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	176	7
5	426	7
6	1521	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1285	7
6	3010	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	200	9
6	604	9
7	2436	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	12	16
1	36	14
2	86	12
3	196	12
4	414	11
5	847	11
6	2384	11
done	5001	11
0	17	23
1	48	21
2	112	17
3	226	17
4	541	17
5	1732	17
done	5001	17
0	17	23
1	48	21
2	112	17
3	226	17
4	541	17
5	1732	17
done	5001	17
0	9	11
1	20	11
2	32	9
3	57	9
4	83	9
5	137	9
6	240	9
7	283	9
8	303	9
9	321	9
10	349	9
11	409	9
12	515	9
13	583	9
14	587	9
done	587	9
0	15	21
1	41	19
2	104	15
3	283	15
4	918	15
5	3152	11
done	5001	11
0	15	21
1	41	19
2	104	15
3	283	15
4	918	15
5	3152	11
done	5001	11
0	9	12
1	23	12
2	60	10
3	114	10
4	188	10
5	293	9
6	439	9
7	811	9
8	1480	9
9	2526	9
done	5000	9
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11
0	8	11
1	20	11
2	49	11
3	76	9
4	114	9
5	169	9
6	277	9
7	477	9
8	812	9
9	1959	9
done	5000	9
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11

prune226.0ms

Filtered

95 candidates to 126 candidates (-32.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	124	3	127

Merged error: 0.1b

Counts

127 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* 1.0 x) (* (+ x 1.0) 2.0))
0.0b	(* (- x 1.0) (+ x 1.0))
0.0b	(* x (* (- x 1.0) (+ x 1.0)))
16.3b	(+ (* (- (* 1.0 x) (* (+ x 1.0) 2.0)) (- x 1.0)) (* (* (+ x 1.0) x) 1.0))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

40×	`associate-*l/`
19×	`flip3--` `flip--`
16×	`frac-times` `associate-*r/` `frac-add`
15×	`flip3-+` `flip-+`
11×	`pow1` `add-exp-log` `add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube`
8×	`associate-l` `add-log-exp`
7×	`distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in`
5×	`associate-r`
4×	`associate-+l+` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`sub-neg`
2×	`*-commutative`
1×	`+-commutative` `diff-log` `sum-log` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 104

Calls

4 calls:

4.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
10.0ms	(* (- x 1.0) (+ x 1.0))
12.0ms	(* x (* (- x 1.0) (+ x 1.0)))
13.0ms	(+ (* (- (* 1.0 x) (* (+ x 1.0) 2.0)) (- x 1.0)) (* (* (+ x 1.0) x) 1.0))

series26.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
7.0ms	(* (- x 1.0) (+ x 1.0))
9.0ms	(* x (* (- x 1.0) (+ x 1.0)))
5.0ms	(+ (* (- (* 1.0 x) (* (+ x 1.0) 2.0)) (- x 1.0)) (* (* (+ x 1.0) x) 1.0))

simplify5.5min

Counts

116 → 116

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	23
1	32	22
2	91	22
3	266	22
4	895	22
5	3231	22
done	5000	22
0	13	22
1	25	22
2	62	22
3	162	22
4	475	22
5	1344	22
done	5001	22
0	13	22
1	28	22
2	76	22
3	220	22
4	724	22
5	2508	22
done	5000	22
0	14	45
1	26	45
2	63	45
3	163	45
4	484	45
5	1349	45
done	5001	45
0	13	22
1	25	22
2	62	22
3	162	22
4	475	22
5	1344	22
done	5001	22
0	14	65
1	39	65
2	148	23
3	793	23
done	5000	23
0	13	22
1	25	22
2	62	22
3	162	22
4	475	22
5	1344	22
done	5001	22
0	13	22
1	25	22
2	62	22
3	162	22
4	475	22
5	1344	22
done	5001	22
0	33	87
1	123	77
2	487	77
3	2570	75
done	5000	75
0	20	53
1	72	43
2	287	43
3	1736	43
done	5001	43
0	32	79
1	114	71
2	447	71
3	2394	69
done	5001	69
0	19	45
1	61	37
2	230	37
3	1219	37
done	5001	37
0	31	79
1	119	71
2	451	71
3	2188	71
done	5001	71
0	18	45
1	66	37
2	259	37
3	1219	37
done	5001	37
0	26	71
1	96	65
2	379	65
3	1875	57
done	5000	57
0	14	37
1	54	31
2	196	31
3	782	31
4	3485	31
done	5001	31
0	29	73
1	99	69
2	359	69
3	1752	59
done	5000	59
0	16	33
1	46	29
2	177	29
3	977	29
done	5000	29
0	28	65
1	90	63
2	318	63
3	1542	53
done	5001	53
0	15	25
1	35	23
2	120	23
3	560	23
4	2401	23
done	5000	23
0	27	65
1	95	63
2	317	63
3	1555	53
done	5000	53
0	14	25
1	40	23
2	147	23
3	610	23
4	3090	23
done	5000	23
0	21	57
1	66	57
2	243	57
3	1238	47
done	5001	39
0	10	17
1	26	17
2	84	17
3	280	17
4	1047	17
5	4518	17
done	5000	17
0	25	53
1	71	49
2	226	49
3	1009	49
done	5000	49
0	10	23
1	30	19
2	108	19
3	454	19
4	1548	19
done	5000	19
0	24	45
1	62	43
2	187	43
3	831	43
4	4444	39
done	5000	39
0	9	15
1	19	13
2	48	13
3	151	13
4	354	13
5	960	13
6	2290	13
7	4865	9
done	5000	9
0	23	45
1	67	43
2	207	43
3	904	43
done	5000	39
0	9	15
1	25	13
2	79	13
3	204	13
4	507	13
5	1339	13
6	2791	11
done	5000	11
0	17	37
1	38	37
2	132	37
3	587	29
4	2668	29
done	5001	29
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	30	71
1	107	63
2	385	63
3	1731	61
done	5000	61
0	17	41
1	56	33
2	204	33
3	900	33
4	4498	33
done	5000	33
0	25	63
1	86	57
2	315	57
3	1428	55
done	5000	55
0	13	33
1	44	27
2	141	27
3	468	27
4	1677	27
done	5000	27
0	26	57
1	83	55
2	269	55
3	1161	45
done	5000	45
0	13	21
1	30	19
2	92	19
3	312	19
4	1199	19
5	4701	19
done	5000	19
0	20	49
1	56	49
2	197	49
3	841	39
4	4355	35
done	5001	35
0	9	13
1	16	13
2	39	13
3	100	13
4	301	13
5	737	13
6	1851	13
7	3792	13
done	5001	13
0	15	25
1	46	25
2	167	25
3	778	25
4	3931	25
done	5001	25
0	16	65
1	53	57
2	220	57
3	1071	51
done	5000	51
0	14	43
1	44	43
2	172	43
3	815	43
4	3778	43
done	5000	43
0	12	21
1	25	21
2	71	21
3	208	21
4	600	21
5	1756	21
done	5000	21
0	12	20
1	24	20
2	58	19
3	148	17
4	376	17
5	940	13
6	1962	13
7	3510	11
done	5000	11
0	12	20
1	24	20
2	58	19
3	148	17
4	376	17
5	940	13
6	1962	13
7	3510	11
done	5000	11
0	12	20
1	24	20
2	64	19
3	164	17
4	434	17
5	1062	13
6	2093	11
done	5000	11
0	12	20
1	24	20
2	64	19
3	164	17
4	434	17
5	1062	13
6	2093	11
done	5000	11
0	6	9
1	18	9
2	52	9
3	117	9
4	221	9
5	383	9
6	584	9
7	900	9
8	2951	9
done	5000	9
0	6	9
1	18	9
2	52	9
3	117	9
4	221	9
5	383	9
6	584	9
7	900	9
8	2951	9
done	5000	9
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	8	11
1	22	11
2	46	11
3	72	11
4	117	11
5	183	11
6	277	11
7	456	11
8	1454	11
9	4447	11
done	5000	11
0	7	10
1	22	10
2	63	10
3	138	10
4	246	10
5	407	10
6	612	10
7	925	10
8	2983	10
done	5000	10
0	7	10
1	21	10
2	63	10
3	163	10
4	389	10
5	969	10
6	2766	10
done	5000	10
0	12	29
1	40	29
2	178	15
3	909	15
done	5000	15
0	10	29
1	36	29
2	181	13
3	1091	13
done	5000	13
0	8	21
1	20	21
2	54	21
3	119	21
4	224	21
5	386	21
6	586	21
7	902	21
8	2959	21
done	5001	21
0	7	10
1	19	10
2	53	10
3	116	10
4	219	10
5	376	10
6	573	10
7	889	10
8	2943	10
done	5001	10
0	8	29
1	30	29
2	145	11
3	863	11
done	5000	11
0	7	10
1	19	10
2	53	10
3	116	10
4	219	10
5	376	10
6	573	10
7	889	10
8	2943	10
done	5001	10
0	7	10
1	19	10
2	53	10
3	116	10
4	219	10
5	376	10
6	573	10
7	889	10
8	2943	10
done	5001	10
0	5	7
1	9	7
2	17	7
3	34	7
4	49	7
5	65	7
6	71	7
7	81	7
8	102	7
9	162	7
10	367	7
11	1296	7
done	5001	7
0	5	7
1	11	7
2	27	7
3	50	7
4	65	7
5	69	7
done	69	7
0	5	7
1	11	7
2	23	7
3	37	7
4	52	7
5	64	7
6	74	7
7	97	7
8	158	7
9	372	7
10	1304	7
done	5001	7
0	5	7
1	11	7
2	28	7
3	49	7
4	56	7
5	62	7
done	62	7
0	5	7
1	11	7
2	17	7
3	34	7
4	49	7
5	65	7
6	71	7
7	81	7
8	102	7
9	162	7
10	367	7
11	1296	7
done	5001	7
0	5	7
1	11	7
2	22	7
3	44	7
4	59	7
5	67	7
done	67	7
0	5	7
1	9	7
2	17	7
3	34	7
4	49	7
5	65	7
6	71	7
7	81	7
8	102	7
9	162	7
10	367	7
11	1296	7
done	5001	7
0	5	7
1	11	7
2	22	7
3	44	7
4	59	7
5	67	7
done	67	7
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	7	10
1	20	10
2	65	10
3	147	10
4	257	10
5	424	10
6	648	10
7	1004	10
8	3207	10
done	5001	10
0	7	10
1	20	10
2	65	10
3	147	10
4	257	10
5	424	10
6	648	10
7	1004	10
8	3207	10
done	5001	10
0	6	9
1	18	9
2	52	9
3	117	9
4	221	9
5	383	9
6	584	9
7	900	9
8	2951	9
done	5000	9
0	9	17
1	35	17
2	123	17
3	540	17
4	2449	17
done	5000	17
0	11	17
1	33	17
2	96	17
3	397	17
4	2033	17
done	5001	17
0	11	17
1	38	17
2	133	17
3	574	17
4	2319	17
done	5000	17
0	7	17
1	15	17
2	53	17
3	238	17
4	999	17
5	3728	17
done	5000	17
0	9	13
1	35	13
2	108	13
3	335	13
4	907	13
5	2595	13
done	5000	13
0	8	13
1	18	13
2	60	13
3	217	13
4	655	13
5	1938	13
done	5000	13
0	9	13
1	34	13
2	92	13
3	311	13
4	1087	13
5	4040	13
done	5000	13
0	8	13
1	22	13
2	73	13
3	228	13
4	577	13
5	1547	13
done	5000	13
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	6	8
1	19	8
2	39	8
3	61	8
4	105	8
5	171	8
6	265	8
7	444	8
8	1439	8
9	4384	8
done	5000	8
0	6	8
1	18	8
2	51	8
3	100	8
4	223	8
5	538	8
6	1939	8
done	5001	8
0	9	23
1	31	23
2	125	11
3	506	11
4	2366	9
done	5000	9
0	7	17
1	17	17
2	36	17
3	58	17
4	102	17
5	169	17
6	263	17
7	442	17
8	1435	17
9	4403	17
done	5000	17
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	7	23
1	27	23
2	131	9
3	616	9
4	2982	9
done	5000	9
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	8	15
1	31	15
2	95	15
3	379	15
4	1512	15
done	5000	15
0	10	23
1	30	19
2	108	19
3	454	19
4	1548	19
done	5000	19
0	10	15
1	29	15
2	72	15
3	249	15
4	1241	15
done	5001	15
0	9	15
1	19	13
2	48	13
3	151	13
4	354	13
5	960	13
6	2290	13
7	4865	9
done	5000	9
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	25	13
2	79	13
3	204	13
4	507	13
5	1339	13
6	2791	11
done	5000	11
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	7	9
1	11	9
2	12	9
done	12	9
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	7	13
1	13	13
2	22	13
3	39	13
4	53	13
5	63	13
done	63	13
0	6	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	8
1	16	8
2	18	8
done	18	8
0	6	8
1	16	8
2	18	8
done	18	8
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	17	9
2	37	9
3	64	9
4	110	9
5	157	9
6	227	9
7	408	9
8	644	9
9	711	9
10	715	9
done	715	9
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	8	11
1	31	11
2	84	11
3	221	11
4	495	11
5	1314	11
6	4649	11
done	5000	11
0	7	11
1	14	11
2	40	11
3	132	11
4	356	11
5	923	11
6	3936	11
done	5000	11
0	8	11
1	31	11
2	72	11
3	238	11
4	697	11
5	2328	11
done	5001	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	9	11
1	18	10
2	41	10
3	84	10
4	243	10
5	843	10
done	5001	10
0	8	10
1	13	10
2	28	10
3	48	10
4	80	10
5	96	10
6	121	10
7	182	10
8	279	10
9	309	10
10	316	10
done	316	10
0	8	10
1	16	10
2	41	10
3	89	10
4	219	10
5	697	10
6	3399	10
done	5001	10
0	9	21
1	14	21
2	29	21
3	49	21
4	81	21
5	97	21
6	122	21
7	183	21
8	280	21
9	310	21
10	317	21
done	317	21
0	8	10
1	13	10
2	28	10
3	48	10
4	80	10
5	96	10
6	121	10
7	182	10
8	279	10
9	309	10
10	316	10
done	316	10
0	9	29
1	15	29
2	44	11
3	155	11
4	736	11
5	3570	11
done	5000	11
0	8	10
1	13	10
2	28	10
3	48	10
4	80	10
5	96	10
6	121	10
7	182	10
8	279	10
9	309	10
10	316	10
done	316	10
0	8	10
1	13	10
2	28	10
3	48	10
4	80	10
5	96	10
6	121	10
7	182	10
8	279	10
9	309	10
10	316	10
done	316	10
0	10	13
1	34	13
2	126	13
3	488	13
4	1671	13
done	5000	13
0	11	29
1	39	23
2	115	23
3	277	23
4	661	23
5	1710	23
6	4144	23
done	5001	23
0	6	6
1	12	6
2	26	6
3	48	6
4	50	6
done	50	6
0	9	19
1	31	19
2	96	19
3	267	19
4	743	19
5	1898	19
done	5000	19
0	7	9
1	11	9
2	19	9
3	27	9
4	35	9
5	39	9
done	39	9
0	6	6
1	12	6
2	26	6
3	48	6
4	50	6
done	50	6
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	6	7
1	17	7
2	32	7
3	46	7
4	70	7
5	131	7
6	351	7
7	1278	7
done	5000	7
0	6	7
1	17	7
2	32	7
3	46	7
4	70	7
5	131	7
6	351	7
7	1278	7
done	5000	7
0	6	7
1	17	7
2	32	7
3	46	7
4	70	7
5	131	7
6	351	7
7	1278	7
done	5000	7
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6

prune296.0ms

Filtered

96 candidates to 116 candidates (-20.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	115	4	119

Merged error: 0.1b

Counts

119 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- x 1.0) (+ x 1.0))
0.0b	(* x (* (- x 1.0) (+ x 1.0)))
0.1b	(/ 2.0 (* x (* (- x 1.0) (+ x 1.0))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

22×	`associate-*r/`
19×	`add-exp-log` `add-cbrt-cube`
12×	`add-sqr-sqrt` `frac-times` `*-un-lft-identity`
10×	`pow1`
9×	`flip3--` `flip3-+` `flip--` `flip-+`
8×	`add-cube-cbrt` `associate-l` `associate-/r/`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-*l/`
5×	`distribute-rgt-in` `distribute-lft-in` `associate-r`
4×	`pow-prod-down`
3×	`cbrt-undiv` `times-frac` `div-exp` `associate-/l*` `add-log-exp`
2×	`*-commutative`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 92

Calls

3 calls:

10.0ms	(* (- x 1.0) (+ x 1.0))
11.0ms	(* x (* (- x 1.0) (+ x 1.0)))
13.0ms	(/ 2.0 (* x (* (- x 1.0) (+ x 1.0))))

series23.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (- x 1.0) (+ x 1.0))
9.0ms	(* x (* (- x 1.0) (+ x 1.0)))
6.0ms	(/ 2.0 (* x (* (- x 1.0) (+ x 1.0))))

simplify5.4min

Counts

101 → 101

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	15
1	23	15
2	48	15
3	88	15
4	160	15
5	283	15
6	499	15
7	620	15
8	634	15
done	634	15
0	11	14
1	29	14
2	64	14
3	120	14
4	238	14
5	415	14
6	713	14
7	1021	14
8	2033	14
done	5000	14
0	10	13
1	27	13
2	74	13
3	169	13
4	333	13
5	576	13
6	910	13
7	1496	13
8	3611	13
done	5000	13
0	9	12
1	26	12
2	79	12
3	182	12
4	344	12
5	595	12
6	923	12
7	1450	12
8	3640	12
done	5000	12
0	9	12
1	23	12
2	65	12
3	136	12
4	244	12
5	406	12
6	609	12
7	925	12
8	2986	12
done	5000	12
0	16	35
1	52	35
2	261	19
3	1766	19
done	5001	19
0	14	35
1	48	35
2	260	17
3	1923	17
done	5000	17
0	12	35
1	42	35
2	234	15
3	1891	13
done	5001	13
0	10	25
1	24	25
2	66	25
3	137	25
4	245	25
5	408	25
6	610	25
7	925	25
8	2988	25
done	5000	25
0	9	12
1	23	12
2	65	12
3	136	12
4	244	12
5	406	12
6	609	12
7	925	12
8	2986	12
done	5000	12
0	10	35
1	31	35
2	130	13
3	791	13
done	5001	13
0	9	12
1	23	12
2	65	12
3	136	12
4	244	12
5	406	12
6	609	12
7	925	12
8	2986	12
done	5000	12
0	9	12
1	23	12
2	65	12
3	136	12
4	244	12
5	406	12
6	609	12
7	925	12
8	2986	12
done	5000	12
0	2	2
done	2	2
0	7	10
1	23	10
2	80	10
3	254	10
4	572	9
5	979	9
6	1744	9
7	2741	9
done	5000	9
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	8	10
1	20	10
2	41	10
3	63	10
4	108	10
5	174	10
6	268	10
7	447	10
8	1438	10
9	4401	10
done	5001	10
0	4	4
done	4	4
0	8	10
1	20	10
2	41	10
3	63	10
4	108	10
5	174	10
6	268	10
7	447	10
8	1438	10
9	4401	10
done	5001	10
0	3	3
1	5	3
done	5	3
0	7	9
1	19	9
2	40	9
3	62	9
4	105	9
5	171	9
6	265	9
7	444	9
8	1442	9
9	4429	9
done	5000	9
0	8	11
1	24	11
2	66	11
3	137	11
4	245	11
5	408	11
6	607	11
7	920	11
8	2977	11
done	5000	11
0	8	11
1	22	11
2	65	11
3	166	11
4	376	11
5	729	11
6	1266	11
7	2101	11
done	5000	11
0	3	3
done	3	3
0	9	12
1	23	12
2	66	12
3	167	12
4	379	12
5	728	12
6	1267	12
7	2095	12
done	5000	12
0	9	12
1	23	12
2	66	12
3	167	12
4	379	12
5	728	12
6	1267	12
7	2095	12
done	5000	12
0	8	11
1	22	11
2	65	11
3	166	11
4	376	11
5	729	11
6	1266	11
7	2101	11
done	5000	11
0	11	19
1	39	19
2	135	19
3	568	19
4	2436	19
done	5000	19
0	13	19
1	37	19
2	108	19
3	438	19
4	2139	19
done	5001	19
0	13	19
1	42	19
2	145	19
3	613	19
4	2335	19
done	5000	19
0	9	19
1	19	19
2	63	19
3	275	19
4	1084	19
5	3826	19
done	5000	19
0	11	15
1	39	15
2	120	15
3	359	15
4	918	15
5	2678	15
done	5000	15
0	10	15
1	22	15
2	72	15
3	248	15
4	708	15
5	1985	15
done	5001	15
0	11	15
1	38	15
2	104	15
3	333	15
4	1125	15
5	4030	15
done	5000	15
0	10	15
1	26	15
2	85	15
3	260	15
4	630	15
5	1607	15
done	5000	15
0	6	9
1	18	9
2	52	9
3	117	9
4	221	9
5	383	9
6	584	9
7	900	9
8	2951	9
done	5000	9
0	6	9
1	18	9
2	52	9
3	117	9
4	221	9
5	383	9
6	584	9
7	900	9
8	2951	9
done	5000	9
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	8	11
1	22	11
2	46	11
3	72	11
4	117	11
5	183	11
6	277	11
7	456	11
8	1454	11
9	4447	11
done	5000	11
0	7	10
1	22	10
2	63	10
3	138	10
4	246	10
5	407	10
6	612	10
7	925	10
8	2983	10
done	5000	10
0	7	10
1	21	10
2	63	10
3	163	10
4	389	10
5	969	10
6	2766	10
done	5000	10
0	12	29
1	40	29
2	178	15
3	909	15
done	5000	15
0	10	29
1	36	29
2	181	13
3	1091	13
done	5000	13
0	8	21
1	20	21
2	54	21
3	119	21
4	224	21
5	386	21
6	586	21
7	902	21
8	2959	21
done	5001	21
0	7	10
1	19	10
2	53	10
3	116	10
4	219	10
5	376	10
6	573	10
7	889	10
8	2943	10
done	5001	10
0	8	29
1	30	29
2	145	11
3	863	11
done	5000	11
0	7	10
1	19	10
2	53	10
3	116	10
4	219	10
5	376	10
6	573	10
7	889	10
8	2943	10
done	5001	10
0	7	10
1	19	10
2	53	10
3	116	10
4	219	10
5	376	10
6	573	10
7	889	10
8	2943	10
done	5001	10
0	5	7
1	9	7
2	17	7
3	34	7
4	49	7
5	65	7
6	71	7
7	81	7
8	102	7
9	162	7
10	367	7
11	1296	7
done	5001	7
0	5	7
1	11	7
2	27	7
3	50	7
4	65	7
5	69	7
done	69	7
0	5	7
1	11	7
2	23	7
3	37	7
4	52	7
5	64	7
6	74	7
7	97	7
8	158	7
9	372	7
10	1304	7
done	5001	7
0	5	7
1	11	7
2	28	7
3	49	7
4	56	7
5	62	7
done	62	7
0	5	7
1	11	7
2	17	7
3	34	7
4	49	7
5	65	7
6	71	7
7	81	7
8	102	7
9	162	7
10	367	7
11	1296	7
done	5001	7
0	5	7
1	11	7
2	22	7
3	44	7
4	59	7
5	67	7
done	67	7
0	5	7
1	9	7
2	17	7
3	34	7
4	49	7
5	65	7
6	71	7
7	81	7
8	102	7
9	162	7
10	367	7
11	1296	7
done	5001	7
0	5	7
1	11	7
2	22	7
3	44	7
4	59	7
5	67	7
done	67	7
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	7	10
1	20	10
2	65	10
3	147	10
4	257	10
5	424	10
6	648	10
7	1004	10
8	3207	10
done	5001	10
0	7	10
1	20	10
2	65	10
3	147	10
4	257	10
5	424	10
6	648	10
7	1004	10
8	3207	10
done	5001	10
0	6	9
1	18	9
2	52	9
3	117	9
4	221	9
5	383	9
6	584	9
7	900	9
8	2951	9
done	5000	9
0	9	17
1	35	17
2	123	17
3	540	17
4	2449	17
done	5000	17
0	11	17
1	33	17
2	96	17
3	397	17
4	2033	17
done	5001	17
0	11	17
1	38	17
2	133	17
3	574	17
4	2319	17
done	5000	17
0	7	17
1	15	17
2	53	17
3	238	17
4	999	17
5	3728	17
done	5000	17
0	9	13
1	35	13
2	108	13
3	335	13
4	907	13
5	2595	13
done	5000	13
0	8	13
1	18	13
2	60	13
3	217	13
4	655	13
5	1938	13
done	5000	13
0	9	13
1	34	13
2	92	13
3	311	13
4	1087	13
5	4040	13
done	5000	13
0	8	13
1	22	13
2	73	13
3	228	13
4	577	13
5	1547	13
done	5000	13
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	6	8
1	19	8
2	39	8
3	61	8
4	105	8
5	171	8
6	265	8
7	444	8
8	1439	8
9	4384	8
done	5000	8
0	6	8
1	18	8
2	51	8
3	100	8
4	223	8
5	538	8
6	1939	8
done	5001	8
0	9	23
1	31	23
2	125	11
3	506	11
4	2366	9
done	5000	9
0	7	17
1	17	17
2	36	17
3	58	17
4	102	17
5	169	17
6	263	17
7	442	17
8	1435	17
9	4403	17
done	5000	17
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	7	23
1	27	23
2	131	9
3	616	9
4	2982	9
done	5000	9
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	8	15
1	31	15
2	95	15
3	379	15
4	1512	15
done	5000	15
0	10	23
1	30	19
2	108	19
3	454	19
4	1548	19
done	5000	19
0	10	15
1	29	15
2	72	15
3	249	15
4	1241	15
done	5001	15
0	9	15
1	19	13
2	48	13
3	151	13
4	354	13
5	960	13
6	2290	13
7	4865	9
done	5000	9
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	25	13
2	79	13
3	204	13
4	507	13
5	1339	13
6	2791	11
done	5000	11
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	7	9
1	11	9
2	12	9
done	12	9
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	7	13
1	13	13
2	22	13
3	39	13
4	53	13
5	63	13
done	63	13
0	6	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	8
1	16	8
2	18	8
done	18	8
0	6	8
1	16	8
2	18	8
done	18	8
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	17	9
2	37	9
3	64	9
4	110	9
5	157	9
6	227	9
7	408	9
8	644	9
9	711	9
10	715	9
done	715	9
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	8	11
1	31	11
2	84	11
3	221	11
4	495	11
5	1314	11
6	4649	11
done	5000	11
0	7	11
1	14	11
2	40	11
3	132	11
4	356	11
5	923	11
6	3936	11
done	5000	11
0	8	11
1	31	11
2	72	11
3	238	11
4	697	11
5	2328	11
done	5001	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	12	16
1	36	14
2	86	12
3	196	12
4	414	11
5	847	11
6	2384	11
done	5001	11
0	17	23
1	48	21
2	112	17
3	226	17
4	541	17
5	1732	17
done	5001	17
0	17	23
1	48	21
2	112	17
3	226	17
4	541	17
5	1732	17
done	5001	17
0	6	7
1	17	7
2	32	7
3	46	7
4	70	7
5	131	7
6	351	7
7	1278	7
done	5000	7
0	6	7
1	17	7
2	32	7
3	46	7
4	70	7
5	131	7
6	351	7
7	1278	7
done	5000	7
0	6	7
1	17	7
2	32	7
3	46	7
4	70	7
5	131	7
6	351	7
7	1278	7
done	5000	7
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5

prune165.0ms

Filtered

85 candidates to 101 candidates (-18.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	97	4	101
Fresh	2	0	2
Picked	1	0	1
Done	0	1	1
Total	100	5	105

Merged error: 0b

Counts

105 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- x 1.0) (+ x 1.0))
0.1b	(* (/ 1 x) (/ 2.0 (* (- x 1.0) (+ x 1.0))))
0.2b	(/ 2.0 (* (- x 1.0) (+ x 1.0)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
31×	`add-cbrt-cube`
27×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
19×	`associate-r`
18×	`associate-l` `prod-exp`
17×	`times-frac`
16×	`add-cube-cbrt` `div-exp` `associate-/r/`
13×	`frac-times`
10×	`cbrt-unprod`
9×	`cbrt-undiv` `flip3--` `flip3-+` `flip--` `flip-+`
7×	`pow1` `associate-r/` `associate-l/`
4×	`unswap-sqr`
3×	`rec-exp` `1-exp` `div-inv` `associate-/l*` `add-log-exp`
2×	`pow-prod-down` `*-commutative`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `associate-/r*` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 121

Calls

3 calls:

9.0ms	(* (- x 1.0) (+ x 1.0))
18.0ms	(* (/ 1 x) (/ 2.0 (* (- x 1.0) (+ x 1.0))))
10.0ms	(/ 2.0 (* (- x 1.0) (+ x 1.0)))

series18.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (- x 1.0) (+ x 1.0))
6.0ms	(* (/ 1 x) (/ 2.0 (* (- x 1.0) (+ x 1.0))))
5.0ms	(/ 2.0 (* (- x 1.0) (+ x 1.0)))

simplify7.6min

Counts

130 → 130

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	18	12
2	28	12
3	38	12
4	50	12
5	66	12
6	85	12
7	101	12
8	106	12
done	106	12
0	9	11
1	24	11
2	50	11
3	80	11
4	135	11
5	213	11
6	326	11
7	531	11
8	1537	11
9	4502	11
done	5000	11
0	8	10
1	23	10
2	52	10
3	86	10
4	143	10
5	220	10
6	330	10
7	528	10
8	1543	10
9	4527	10
done	5001	10
0	8	10
1	20	10
2	41	10
3	63	10
4	108	10
5	174	10
6	268	10
7	447	10
8	1439	10
9	4431	10
done	5000	10
0	13	29
1	43	29
2	200	15
3	945	15
4	4205	13
done	5000	13
0	11	29
1	39	29
2	216	13
3	1190	11
done	5001	11
0	9	21
1	21	21
2	42	21
3	64	21
4	107	21
5	173	21
6	267	21
7	446	21
8	1440	21
9	4420	21
done	5000	21
0	8	10
1	20	10
2	41	10
3	63	10
4	108	10
5	174	10
6	268	10
7	447	10
8	1439	10
9	4431	10
done	5000	10
0	9	29
1	28	29
2	95	11
3	372	11
4	1554	11
done	5000	11
0	8	10
1	20	10
2	41	10
3	63	10
4	108	10
5	174	10
6	268	10
7	447	10
8	1439	10
9	4431	10
done	5000	10
0	8	10
1	20	10
2	41	10
3	63	10
4	108	10
5	174	10
6	268	10
7	447	10
8	1439	10
9	4431	10
done	5000	10
0	2	2
done	2	2
0	6	8
1	20	8
2	57	8
3	127	8
4	233	7
5	408	7
6	680	7
7	1221	7
8	3342	7
done	5000	7
0	7	9
1	11	9
2	17	9
3	20	9
4	22	9
done	22	9
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	7	9
1	21	9
2	42	9
3	64	9
4	107	9
5	173	9
6	266	9
7	445	9
8	1438	9
9	4383	9
done	5000	9
0	7	9
1	19	9
2	45	9
3	85	9
4	166	9
5	291	9
6	520	9
7	865	9
8	2643	9
done	5000	9
0	5	5
1	7	5
2	8	5
done	8	5
0	8	10
1	20	10
2	46	10
3	86	10
4	167	10
5	292	10
6	521	10
7	867	10
8	2642	10
done	5000	10
0	8	10
1	20	10
2	46	10
3	86	10
4	167	10
5	292	10
6	521	10
7	867	10
8	2642	10
done	5000	10
0	7	9
1	19	9
2	45	9
3	85	9
4	166	9
5	291	9
6	520	9
7	865	9
8	2643	9
done	5000	9
0	10	17
1	35	17
2	101	17
3	394	17
4	1534	17
done	5000	17
0	12	17
1	33	17
2	80	17
3	269	17
4	1292	17
done	5002	17
0	12	17
1	38	17
2	113	17
3	421	17
4	1414	17
5	4851	17
done	5000	17
0	8	17
1	15	17
2	39	17
3	143	17
4	526	17
5	1542	17
done	5000	17
0	10	13
1	35	13
2	90	13
3	228	13
4	493	13
5	1315	13
6	4627	13
done	5000	13
0	9	13
1	18	13
2	48	13
3	145	13
4	364	13
5	933	13
6	3903	13
done	5000	13
0	10	13
1	35	13
2	78	13
3	248	13
4	709	13
5	2376	13
done	5000	13
0	9	13
1	23	13
2	61	13
3	158	13
4	347	13
5	945	13
6	4197	13
done	5000	13
0	10	13
1	29	13
2	73	11
3	192	11
4	516	11
5	1039	11
6	1820	11
7	3278	11
done	5000	11
0	13	16
1	24	16
2	49	15
3	105	15
4	200	15
5	305	15
6	431	15
7	508	15
8	519	15
done	519	15
0	12	15
1	30	15
2	65	14
3	125	14
4	252	14
5	410	14
6	660	14
7	943	14
8	1955	14
9	4971	14
done	5000	14
0	11	14
1	27	14
2	61	13
3	120	13
4	238	13
5	379	13
6	574	13
7	877	13
8	1955	13
9	4983	13
done	5000	13
0	14	17
1	29	16
2	73	15
3	209	15
4	667	15
5	1116	15
6	1182	15
done	1182	15
0	13	16
1	35	15
2	87	14
3	206	14
4	600	14
5	1261	14
6	1478	14
7	1657	14
8	2623	14
done	5000	14
0	12	15
1	32	14
2	80	13
3	184	13
4	505	13
5	1071	13
6	1334	13
7	1513	13
8	2487	13
done	5000	13
0	15	18
1	32	17
2	74	16
3	211	15
4	662	15
5	1102	15
6	1174	15
done	1174	15
0	14	17
1	38	16
2	88	15
3	213	14
4	599	14
5	1252	14
6	1458	14
7	1637	14
8	2599	14
done	5001	14
0	13	16
1	35	15
2	80	14
3	185	13
4	494	13
5	1060	13
6	1325	13
7	1504	13
8	2472	13
done	5000	13
0	14	17
1	31	16
2	63	15
3	170	15
4	498	15
5	985	15
6	1095	15
done	1095	15
0	13	16
1	37	15
2	79	14
3	177	14
4	475	14
5	1043	14
6	1240	14
7	1420	14
8	2381	14
done	5000	14
0	12	15
1	34	14
2	73	13
3	158	13
4	400	13
5	917	13
6	1447	13
7	1696	13
8	2665	13
done	5000	13
0	11	14
1	33	14
2	91	12
3	253	12
4	744	12
5	1798	12
6	3048	12
7	4690	12
done	5001	12
0	11	14
1	32	14
2	82	12
3	227	12
4	708	12
5	1813	12
6	4742	12
done	5000	12
0	20	41
1	65	37
2	299	19
3	2271	19
done	5001	19
0	18	41
1	61	37
2	310	17
3	2473	15
done	5001	15
0	16	41
1	50	37
2	173	15
3	1027	15
done	5000	15
0	18	41
1	62	41
2	299	21
3	1950	21
done	5000	21
0	16	41
1	58	41
2	310	19
3	2214	17
done	5000	17
0	14	41
1	47	41
2	173	17
3	867	17
done	5000	15
0	12	29
1	31	29
2	75	25
3	193	25
4	518	25
5	1042	25
6	1843	25
7	3295	25
done	5000	25
0	11	14
1	30	14
2	74	12
3	192	12
4	516	12
5	1037	12
6	1820	12
7	3280	12
done	5001	12
0	12	41
1	41	41
2	168	13
3	996	13
done	5000	13
0	11	14
1	30	14
2	74	12
3	192	12
4	516	12
5	1037	12
6	1820	12
7	3280	12
done	5001	12
0	11	14
1	30	14
2	74	12
3	192	12
4	516	12
5	1037	12
6	1820	12
7	3280	12
done	5001	12
0	3	3
1	6	1
done	6	1
0	6	9
1	18	9
2	52	9
3	117	9
4	221	9
5	383	9
6	584	9
7	900	9
8	2951	9
done	5000	9
0	12	15
1	27	15
2	48	15
3	70	15
4	117	15
5	186	15
6	279	15
7	458	15
8	1450	15
9	4426	15
done	5000	15
0	12	15
1	27	15
2	48	15
3	70	15
4	117	15
5	186	15
6	279	15
7	458	15
8	1450	15
9	4426	15
done	5000	15
0	13	16
1	30	15
2	54	15
3	78	13
4	139	13
5	208	13
6	301	13
7	480	13
8	1478	13
9	4447	13
done	5000	13
0	13	16
1	30	15
2	54	15
3	78	13
4	139	13
5	208	13
6	301	13
7	480	13
8	1478	13
9	4447	13
done	5000	13
0	12	15
1	29	15
2	53	13
3	88	13
4	139	13
5	207	13
6	300	13
7	479	13
8	1476	13
9	4465	13
done	5001	13
0	12	15
1	29	15
2	53	13
3	88	13
4	139	13
5	207	13
6	300	13
7	479	13
8	1476	13
9	4465	13
done	5001	13
0	12	25
1	31	25
2	60	23
3	110	23
4	171	23
5	238	23
6	331	23
7	510	23
8	1504	23
9	4463	23
done	5001	23
0	11	14
1	28	14
2	52	12
3	87	12
4	138	12
5	207	12
6	300	12
7	479	12
8	1479	12
9	4453	12
done	5000	12
0	10	13
1	21	13
2	43	11
3	123	11
4	291	11
5	437	11
6	520	11
7	604	11
8	715	11
9	756	11
done	756	11
0	9	10
1	18	10
2	28	8
3	69	8
4	143	8
5	218	8
6	259	8
7	308	8
8	360	8
9	392	8
done	392	8
0	7	9
1	16	9
2	26	7
3	47	7
4	76	7
5	83	7
6	88	7
7	98	7
8	115	7
9	127	7
done	127	7
0	4	5
1	9	3
done	9	3
0	5	5
1	10	5
2	13	3
done	13	3
0	13	21
1	45	21
2	134	19
3	536	19
4	2094	19
done	5000	19
0	15	21
1	43	21
2	113	19
3	468	19
4	2246	19
done	5001	19
0	15	21
1	48	21
2	146	19
3	594	19
4	2185	19
done	5001	19
0	11	21
1	25	21
2	68	19
3	323	19
4	1328	19
5	4320	19
done	5001	19
0	13	17
1	45	17
2	123	15
3	359	15
4	902	15
5	2632	15
done	5000	15
0	12	17
1	28	17
2	81	15
3	307	15
4	938	15
5	2806	15
done	5000	15
0	13	17
1	45	17
2	111	15
3	385	15
4	1276	15
done	5000	15
0	12	17
1	33	17
2	94	15
3	315	15
4	966	15
5	2887	15
done	5000	15
0	11	14
1	28	14
2	64	14
3	111	14
4	188	14
5	311	14
6	536	14
7	951	14
8	2793	14
done	5001	14
0	11	14
1	28	14
2	64	14
3	111	14
4	188	14
5	311	14
6	536	14
7	951	14
8	2793	14
done	5001	14
0	12	15
1	31	14
2	75	14
3	161	12
4	465	12
5	1020	12
6	1889	12
7	3850	12
done	5000	12
0	12	15
1	31	14
2	75	14
3	161	12
4	465	12
5	1020	12
6	1889	12
7	3850	12
done	5000	12
0	11	14
1	30	13
2	74	13
3	157	11
4	453	11
5	993	11
6	1818	11
7	3272	11
done	5000	11
0	12	15
1	31	14
2	75	14
3	161	12
4	465	12
5	1020	12
6	1889	12
7	3850	12
done	5000	12
0	12	15
1	31	14
2	75	14
3	161	12
4	465	12
5	1020	12
6	1889	12
7	3850	12
done	5000	12
0	11	14
1	30	13
2	74	13
3	157	11
4	453	11
5	993	11
6	1818	11
7	3272	11
done	5000	11
0	11	14
1	30	14
2	74	12
3	195	12
4	523	12
5	1075	12
6	1932	12
7	3883	12
done	5001	12
0	11	14
1	30	14
2	74	12
3	195	12
4	523	12
5	1075	12
6	1932	12
7	3883	12
done	5001	12
0	10	13
1	29	13
2	73	11
3	192	11
4	516	11
5	1039	11
6	1820	11
7	3278	11
done	5000	11
0	10	13
1	29	13
2	73	11
3	192	11
4	516	11
5	1039	11
6	1820	11
7	3278	11
done	5000	11
0	10	13
1	29	13
2	73	11
3	192	11
4	516	11
5	1039	11
6	1820	11
7	3278	11
done	5000	11
0	5	5
1	10	5
2	13	3
done	13	3
0	9	11
1	26	9
2	69	9
3	115	9
4	201	9
5	359	9
6	594	9
7	1049	9
8	2764	9
done	5000	9
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	6	8
1	19	8
2	39	8
3	61	8
4	105	8
5	171	8
6	265	8
7	444	8
8	1439	8
9	4384	8
done	5000	8
0	6	8
1	18	8
2	51	8
3	100	8
4	223	8
5	538	8
6	1939	8
done	5001	8
0	9	23
1	31	23
2	125	11
3	506	11
4	2366	9
done	5000	9
0	7	17
1	17	17
2	36	17
3	58	17
4	102	17
5	169	17
6	263	17
7	442	17
8	1435	17
9	4403	17
done	5000	17
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	7	23
1	27	23
2	131	9
3	616	9
4	2982	9
done	5000	9
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	8	15
1	31	15
2	95	15
3	379	15
4	1512	15
done	5000	15
0	10	23
1	30	19
2	108	19
3	454	19
4	1548	19
done	5000	19
0	10	15
1	29	15
2	72	15
3	249	15
4	1241	15
done	5001	15
0	9	15
1	19	13
2	48	13
3	151	13
4	354	13
5	960	13
6	2290	13
7	4865	9
done	5000	9
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	25	13
2	79	13
3	204	13
4	507	13
5	1339	13
6	2791	11
done	5000	11
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	7	9
1	11	9
2	12	9
done	12	9
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	7	13
1	13	13
2	22	13
3	39	13
4	53	13
5	63	13
done	63	13
0	6	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	8
1	16	8
2	18	8
done	18	8
0	6	8
1	16	8
2	18	8
done	18	8
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	17	9
2	37	9
3	64	9
4	110	9
5	157	9
6	227	9
7	408	9
8	644	9
9	711	9
10	715	9
done	715	9
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	8	11
1	31	11
2	84	11
3	221	11
4	495	11
5	1314	11
6	4649	11
done	5000	11
0	7	11
1	14	11
2	40	11
3	132	11
4	356	11
5	923	11
6	3936	11
done	5000	11
0	8	11
1	31	11
2	72	11
3	238	11
4	697	11
5	2328	11
done	5001	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	11	14
1	30	12
2	83	12
3	176	12
4	331	12
5	563	11
6	887	11
7	1769	11
done	5000	11
0	17	23
1	43	21
2	108	17
3	298	17
4	1259	17
done	5000	17
0	17	23
1	43	21
2	108	17
3	298	17
4	1259	17
done	5000	17
0	12	16
1	36	14
2	86	12
3	196	12
4	414	11
5	847	11
6	2384	11
done	5001	11
0	17	23
1	48	21
2	112	17
3	226	17
4	541	17
5	1732	17
done	5001	17
0	17	23
1	48	21
2	112	17
3	226	17
4	541	17
5	1732	17
done	5001	17
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5

prune183.0ms

Filtered

104 candidates to 130 candidates (-25.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	2	3
Picked	0	1	1
Done	1	0	1
Total	131	4	135

Merged error: 0b

Counts

135 → 4

regimes32.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	15	13
done	15	13

end0.0ms

sample848.0ms

Algorithm

intervals

Results

283.0ms	1853×	body	640	valid
167.0ms	4155×	body	80	valid
111.0ms	965×	body	320	valid
110.0ms	575×	body	1280	valid
34.0ms	454×	body	160	valid

Details

sample37.0ms

simplify80.0ms

prune3.0ms

localize10.0ms

rewrite74.0ms

series21.0ms

simplify1.6min

prune226.0ms

localize16.0ms

rewrite45.0ms

series26.0ms

simplify5.5min

prune296.0ms

localize12.0ms

rewrite38.0ms

series23.0ms

simplify5.4min

prune165.0ms

localize9.0ms

rewrite43.0ms

series18.0ms

simplify7.6min

prune183.0ms

regimes32.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample848.0ms

Profiling