Details

sample24.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify113.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	15	9
2	35	9
3	70	9
4	120	9
5	151	9
6	166	9
7	171	9
done	171	9

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: 17.9b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

17.4b

(/ (* (* x 2.0) y) (- x y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 29

Calls

1 calls:

10.0ms

(/ (* (* x 2.0) y) (- x y))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(/ (* (* x 2.0) y) (- x y))

simplify17.2s

Counts

32 → 32

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	21	13
2	43	13
3	80	13
4	105	13
5	140	13
6	203	13
7	383	13
8	460	13
9	552	13
10	618	13
done	618	13
0	10	12
1	21	12
2	36	12
3	70	12
4	105	12
5	139	12
6	204	12
7	385	12
8	462	12
9	558	12
10	629	12
done	629	12
0	9	11
1	20	11
2	39	11
3	70	11
4	119	11
5	144	11
6	179	11
7	244	11
8	424	11
9	501	11
10	598	11
11	668	11
done	668	11
0	8	10
1	19	10
2	50	10
3	120	10
4	252	10
5	370	10
6	474	10
7	597	10
8	663	10
9	733	10
10	804	10
done	804	10
0	8	10
1	16	10
2	36	10
3	73	10
4	137	10
5	202	10
6	316	10
7	604	10
8	1304	10
9	3248	10
done	5000	10
0	15	29
1	38	29
2	201	17
3	1373	17
done	5000	17
0	13	29
1	40	29
2	198	15
3	1438	15
done	5000	15
0	11	29
1	35	29
2	199	13
3	1656	11
done	5000	11
0	9	21
1	17	21
2	37	21
3	72	21
4	122	21
5	153	21
6	168	21
7	173	21
done	173	21
0	8	10
1	16	10
2	36	10
3	71	10
4	121	10
5	152	10
6	167	10
7	172	10
done	172	10
0	9	29
1	24	29
2	87	11
3	483	11
4	3548	11
done	5000	11
0	8	10
1	16	10
2	36	10
3	71	10
4	121	10
5	152	10
6	167	10
7	172	10
done	172	10
0	8	10
1	16	10
2	36	10
3	71	10
4	121	10
5	152	10
6	167	10
7	172	10
done	172	10
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	13
1	18	13
2	33	13
3	46	13
4	50	13
done	50	13
0	5	6
1	7	6
2	8	6
done	8	6
0	7	8
1	12	8
2	17	8
3	20	8
4	21	8
done	21	8
0	5	6
1	7	6
2	8	6
done	8	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	4	5
1	6	5
2	7	5
done	7	5
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	6	7
1	8	7
2	9	7
done	9	7
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
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	7	9
1	18	9
2	47	9
3	104	9
4	148	9
5	172	9
6	187	9
7	192	9
done	192	9
0	9	15
1	22	15
2	58	15
3	131	15
4	234	15
5	274	15
done	274	15
0	8	10
1	16	10
2	33	10
3	52	10
4	76	10
5	89	10
done	89	10
0	7	7
1	15	5
2	35	5
3	71	5
4	136	5
5	176	5
done	176	5
0	9	11
1	16	11
2	32	11
3	51	11
4	75	11
5	88	11
done	88	11
0	7	7
1	15	5
2	35	5
3	71	5
4	136	5
5	176	5
done	176	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	10	13
1	31	13
2	72	13
3	187	13
4	629	13
5	2439	13
done	5000	13
0	9	13
1	20	13
2	58	13
3	184	13
4	477	13
5	825	11
6	1706	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune68.0ms

Filtered

26 candidates to 32 candidates (-23.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	25	7	32
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	8	33

Merged error: 0.0b

Counts

33 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- x y))
8.6b	(* (* x 2.0) (/ y (- x y)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`times-frac`
21×	`add-cube-cbrt` `associate-r`
16×	`add-exp-log` `add-cbrt-cube`
7×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`prod-exp` `cbrt-unprod`
5×	`associate-/r*`
4×	`associate-/r/`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*`
2×	`flip3--` `flip--` `div-inv` `add-log-exp`
1×	`frac-2neg` `associate-r/` `associate-l` `clear-num` `-commutative`

Counts

2 → 78

Calls

2 calls:

6.0ms	(/ y (- x y))
12.0ms	(* (* x 2.0) (/ y (- x y)))

series16.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ y (- x y))
10.0ms	(* (* x 2.0) (/ y (- x y)))

simplify40.7s

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	15	9
2	30	9
3	51	9
4	90	9
5	125	9
6	143	9
7	158	9
8	162	9
done	162	9
0	7	9
1	15	9
2	30	9
3	51	9
4	90	9
5	125	9
6	143	9
7	158	9
8	162	9
done	162	9
0	11	13
1	21	13
2	41	13
3	78	13
4	107	13
5	159	13
6	279	13
7	374	13
8	513	13
9	591	13
10	594	13
done	594	13
0	10	12
1	19	12
2	34	12
3	62	12
4	105	12
5	156	12
6	262	12
7	338	12
8	458	12
9	606	12
10	614	12
done	614	12
0	10	12
1	21	12
2	36	12
3	72	12
4	110	12
5	157	12
6	276	12
7	364	12
8	505	12
9	597	12
10	600	12
done	600	12
0	9	11
1	19	11
2	31	11
3	57	11
4	100	11
5	148	11
6	255	11
7	324	11
8	441	11
9	591	11
10	603	11
done	603	11
0	8	10
1	19	10
2	46	10
3	94	10
4	192	10
5	312	10
6	425	10
7	622	10
8	705	10
9	805	10
10	871	10
done	871	10
0	8	10
1	18	10
2	44	10
3	89	10
4	204	10
5	451	10
6	1056	10
7	3028	10
done	5000	10
0	15	29
1	38	29
2	169	17
3	1016	15
done	5001	15
0	13	29
1	34	29
2	124	15
3	560	15
4	2985	13
done	5000	13
0	13	29
1	40	29
2	173	15
3	998	13
done	5000	13
0	11	29
1	36	29
2	128	13
3	586	13
4	3180	11
done	5000	11
0	9	21
1	17	21
2	32	21
3	53	21
4	92	21
5	127	21
6	145	21
7	160	21
8	164	21
done	164	21
0	8	10
1	16	10
2	31	10
3	52	10
4	91	10
5	126	10
6	144	10
7	159	10
8	163	10
done	163	10
0	9	29
1	27	29
2	128	11
3	750	11
4	3827	11
done	5000	11
0	8	10
1	16	10
2	31	10
3	52	10
4	91	10
5	126	10
6	144	10
7	159	10
8	163	10
done	163	10
0	8	10
1	16	10
2	31	10
3	52	10
4	91	10
5	126	10
6	144	10
7	159	10
8	163	10
done	163	10
0	9	17
1	17	17
2	31	17
3	41	17
done	41	17
0	8	10
1	14	10
2	21	10
done	21	10
0	11	19
1	25	19
2	72	19
3	190	19
4	421	19
5	635	19
6	658	19
done	658	19
0	10	14
1	20	14
2	44	14
3	97	14
4	167	14
5	202	14
6	210	14
done	210	14
0	9	11
1	19	9
2	48	9
3	135	9
4	297	9
5	459	9
done	459	9
0	11	15
1	20	15
2	43	15
3	94	15
4	164	15
5	199	15
6	206	15
done	206	15
0	9	11
1	19	9
2	48	9
3	135	9
4	297	9
5	459	9
done	459	9
0	10	16
1	20	16
2	45	16
3	102	16
4	183	16
5	240	16
6	249	16
done	249	16
0	9	11
1	17	11
2	32	11
3	50	11
4	70	11
5	78	11
6	80	11
done	80	11
0	8	8
1	16	6
2	32	6
3	62	6
4	118	6
5	171	6
done	171	6
0	9	12
1	16	12
2	30	12
3	48	12
4	68	12
5	76	12
6	79	12
done	79	12
0	8	8
1	16	6
2	32	6
3	62	6
4	118	6
5	171	6
done	171	6
0	10	15
1	22	15
2	46	13
3	141	13
4	213	13
5	254	13
6	273	13
done	273	13
0	9	10
1	19	10
2	34	8
3	83	8
4	92	8
5	97	8
6	99	8
done	99	8
0	6	7
1	14	5
2	27	3
3	51	3
4	77	3
5	96	3
6	97	3
done	97	3
0	10	11
1	19	11
2	33	9
3	84	9
4	95	9
5	101	9
6	103	9
done	103	9
0	6	7
1	14	5
2	27	3
3	51	3
4	77	3
5	96	3
6	97	3
done	97	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	5	5
1	9	5
2	15	5
done	15	5
0	10	13
1	31	13
2	67	13
3	143	13
4	429	13
5	1657	13
done	5001	13
0	9	13
1	20	13
2	48	13
3	137	13
4	337	13
5	629	13
6	1000	9
7	3037	9
done	5000	9
0	6	7
1	11	7
2	15	7
3	22	7
4	30	7
5	35	7
6	37	7
done	37	7
0	5	5
1	9	5
2	15	5
done	15	5
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	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune98.0ms

Filtered

60 candidates to 84 candidates (-40.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	82	10	92

Merged error: 0b

Counts

92 → 10

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- x y))
0.2b	(* y (/ 1 (- x y)))
8.6b	(* (* x 2.0) (* y (/ 1 (- x y))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-exp-log`
44×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
32×	`times-frac`
31×	`add-cbrt-cube`
27×	`prod-exp`
23×	`add-cube-cbrt`
22×	`associate-r`
18×	`pow1`
15×	`cbrt-unprod`
9×	`pow-prod-down`
8×	`div-exp`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r*`
4×	`cbrt-undiv` `rec-exp` `1-exp` `associate-r/` `associate-l*` `associate-/r/`
3×	`associate-/l*` `add-log-exp` `unswap-sqr`
2×	`flip3--` `un-div-inv` `*-commutative` `flip--` `div-inv`
1×	`pow-flip` `frac-2neg` `clear-num` `inv-pow`

Counts

3 → 117

Calls

3 calls:

10.0ms	(/ 1 (- x y))
12.0ms	(* y (/ 1 (- x y)))
13.0ms	(* (* x 2.0) (* y (/ 1 (- x y))))

series21.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ 1 (- x y))
7.0ms	(* y (/ 1 (- x y)))
10.0ms	(* (* x 2.0) (* y (/ 1 (- x y))))

simplify1.3min

Counts

126 → 126

Iterations

Useful iterations: 3 (6.0ms)

Iter	Nodes	Cost
0	9	11
1	22	11
2	53	9
3	104	9
4	208	9
5	328	9
6	382	9
7	431	9
8	482	9
9	517	9
10	519	9
done	519	9
0	9	11
1	22	11
2	53	9
3	104	9
4	208	9
5	328	9
6	382	9
7	431	9
8	482	9
9	517	9
10	519	9
done	519	9
0	9	11
1	22	11
2	53	9
3	104	9
4	208	9
5	328	9
6	382	9
7	431	9
8	482	9
9	517	9
10	519	9
done	519	9
0	9	11
1	22	11
2	53	9
3	104	9
4	208	9
5	328	9
6	382	9
7	431	9
8	482	9
9	517	9
10	519	9
done	519	9
0	12	14
1	22	13
2	46	13
3	82	13
4	114	13
5	172	13
6	310	13
7	422	13
8	524	13
9	592	13
10	594	13
done	594	13
0	13	15
1	26	14
2	66	13
3	160	13
4	364	13
5	647	13
6	1138	13
7	1233	13
8	1370	13
done	1370	13
0	14	16
1	29	15
2	65	13
3	167	13
4	373	13
5	651	13
6	1133	13
7	1228	13
8	1353	13
done	1353	13
0	13	15
1	28	14
2	57	13
3	139	13
4	287	13
5	530	13
6	1051	13
7	1168	13
8	1304	13
done	1304	13
0	12	14
1	26	14
2	48	12
3	94	12
4	199	12
5	393	12
6	789	12
7	957	12
8	1061	12
done	1061	12
0	11	13
1	22	12
2	39	12
3	75	12
4	110	12
5	161	12
6	294	12
7	409	12
8	520	12
9	587	12
10	590	12
done	590	12
0	12	14
1	26	13
2	58	12
3	136	12
4	330	12
5	649	12
6	1163	12
7	1307	12
8	1440	12
done	1440	12
0	13	15
1	29	14
2	57	12
3	144	12
4	335	12
5	655	12
6	1170	12
7	1306	12
8	1422	12
done	1422	12
0	12	14
1	28	13
2	51	12
3	119	12
4	258	12
5	531	12
6	990	12
7	1279	12
8	1380	12
done	1380	12
0	11	13
1	26	13
2	45	11
3	85	11
4	183	11
5	357	11
6	703	11
7	1014	11
8	1110	11
done	1110	11
0	10	12
1	26	12
2	72	10
3	165	10
4	355	10
5	640	10
6	1022	10
7	1719	10
8	1928	10
9	2104	10
10	2105	10
done	2105	10
0	10	12
1	25	12
2	69	10
3	167	10
4	420	10
5	986	10
6	2581	10
done	5001	10
0	19	35
1	49	31
2	191	17
3	1106	17
done	5000	17
0	17	35
1	46	35
2	179	19
3	943	19
done	5000	19
0	15	35
1	44	35
2	180	15
3	987	15
done	5001	15
0	17	35
1	51	31
2	195	15
3	1077	15
done	5001	15
0	15	35
1	48	35
2	183	17
3	956	17
done	5000	17
0	13	35
1	46	35
2	184	13
3	977	13
done	5000	13
0	11	25
1	24	25
2	55	21
3	110	21
4	214	21
5	333	21
6	383	21
7	431	21
8	490	21
9	529	21
10	531	21
done	531	21
0	10	12
1	23	12
2	54	10
3	105	10
4	201	10
5	316	10
6	370	10
7	419	10
8	470	10
9	499	10
10	501	10
done	501	10
0	11	35
1	34	35
2	175	11
3	1128	11
done	5000	11
0	10	12
1	23	12
2	54	10
3	105	10
4	201	10
5	316	10
6	370	10
7	419	10
8	470	10
9	499	10
10	501	10
done	501	10
0	10	12
1	23	12
2	54	10
3	105	10
4	201	10
5	316	10
6	370	10
7	419	10
8	470	10
9	499	10
10	501	10
done	501	10
0	5	5
1	9	5
2	15	5
done	15	5
0	8	9
1	18	9
2	34	7
3	49	7
4	81	7
5	92	7
6	105	7
7	111	7
8	115	7
9	122	7
done	122	7
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	5
2	29	5
3	50	5
4	72	5
done	72	5
0	6	7
1	13	7
2	17	5
3	21	5
4	28	5
5	29	5
done	29	5
0	7	8
1	11	7
2	12	7
done	12	7
0	8	9
1	15	8
2	26	7
3	35	7
4	53	7
5	79	7
6	84	7
7	93	7
8	104	7
done	104	7
0	9	10
1	18	9
2	26	7
3	43	7
4	61	7
5	87	7
6	90	7
7	99	7
8	114	7
done	114	7
0	8	9
1	17	8
2	24	7
3	35	7
4	47	7
5	79	7
6	98	7
7	105	7
8	117	7
done	117	7
0	7	8
1	17	8
2	27	6
3	36	6
4	56	6
5	68	6
6	98	6
7	104	6
8	115	6
done	115	6
0	7	8
1	16	8
2	26	6
3	40	6
4	88	6
5	185	6
6	449	6
7	1349	6
8	4676	6
done	5000	6
0	12	23
1	30	19
2	89	9
3	313	9
4	779	9
5	2088	7
done	5000	7
0	10	23
1	27	23
2	77	11
3	216	11
4	529	7
5	1239	7
6	3143	7
done	5000	7
0	8	17
1	15	17
2	19	13
3	23	13
4	30	13
5	31	13
done	31	13
0	7	8
1	14	8
2	18	6
3	22	6
4	29	6
5	30	6
done	30	6
0	8	23
1	25	23
2	80	7
3	208	7
4	456	7
5	843	7
6	2052	7
done	5000	7
0	7	8
1	14	8
2	18	6
3	22	6
4	29	6
5	30	6
done	30	6
0	7	8
1	14	8
2	18	6
3	22	6
4	29	6
5	30	6
done	30	6
0	8	9
1	13	9
2	14	9
done	14	9
0	8	9
1	13	9
2	14	9
done	14	9
0	9	10
1	16	9
2	20	9
3	24	7
4	35	7
done	35	7
0	9	10
1	16	9
2	20	9
3	24	7
4	35	7
done	35	7
0	8	9
1	15	9
2	19	7
3	34	7
4	35	7
done	35	7
0	8	9
1	15	9
2	19	7
3	34	7
4	35	7
done	35	7
0	8	15
1	15	15
2	18	15
done	18	15
0	7	8
1	12	8
2	13	8
done	13	8
0	10	17
1	23	15
2	53	13
3	89	11
4	99	11
5	102	11
done	102	11
0	9	12
1	18	10
2	29	8
3	42	6
4	43	6
done	43	6
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	10	13
1	18	11
2	28	9
3	41	7
4	42	7
done	42	7
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	9	14
1	18	13
2	30	13
3	43	11
4	68	11
5	80	11
6	82	11
done	82	11
0	8	9
1	15	8
2	19	8
3	23	6
4	29	6
5	30	6
done	30	6
0	5	6
1	10	3
2	15	1
done	15	1
0	9	10
1	15	9
2	18	9
3	22	7
4	28	7
5	29	7
done	29	7
0	5	6
1	10	3
2	15	1
done	15	1
0	8	13
1	17	13
2	28	11
3	36	11
4	54	11
5	85	11
6	88	11
done	88	11
0	7	8
1	14	8
2	18	6
3	19	6
4	24	6
5	25	6
done	25	6
0	4	5
1	9	3
2	14	1
done	14	1
0	8	9
1	14	9
2	17	7
3	18	7
4	23	7
5	24	7
done	24	7
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	11
1	29	11
2	54	9
3	98	9
4	234	9
5	779	9
6	3606	9
done	5001	9
0	8	11
1	18	11
2	34	9
3	67	9
4	130	9
5	252	9
6	415	9
7	680	9
8	2282	9
done	5000	9
0	7	8
1	14	8
2	18	6
3	36	6
4	42	6
5	46	6
6	49	6
7	51	6
8	53	6
done	53	6
0	7	8
1	14	8
2	18	6
3	36	6
4	42	6
5	46	6
6	49	6
7	51	6
8	53	6
done	53	6
0	6	7
1	13	7
2	17	5
3	21	5
4	28	5
5	29	5
done	29	5
0	3	3
1	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	10	5
2	15	5
3	17	5
4	23	5
5	28	5
done	28	5
0	7	7
1	13	6
2	15	5
3	21	5
4	27	5
5	32	5
done	32	5
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	6	6
1	10	6
2	11	6
done	11	6
0	9	17
1	21	13
2	46	7
3	112	7
4	275	7
5	740	7
6	2085	7
done	5000	7
0	7	13
1	11	13
2	12	13
done	12	13
0	6	6
1	10	6
2	11	6
done	11	6
0	7	17
1	18	17
2	35	7
3	78	7
4	115	7
5	198	7
6	378	7
7	954	7
8	2476	7
done	5000	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	19	13
2	29	11
3	35	11
done	35	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	10
1	14	8
2	17	6
3	18	6
done	18	6
0	7	7
1	11	6
2	12	6
done	12	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	12	7
2	13	7
done	13	7
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	12
1	14	11
2	15	11
done	15	11
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	25	9
2	47	9
3	83	9
4	175	9
5	519	9
6	2307	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune131.0ms

Filtered

75 candidates to 126 candidates (-68.0%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	126	10	136

Merged error: 0b

Counts

136 → 10

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) y)
9.2b	(/ (* x 2.0) (/ (- x y) y))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 96

Calls

2 calls:

7.0ms	(/ (- x y) y)
10.0ms	(/ (* x 2.0) (/ (- x y) y))

series20.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (- x y) y)
15.0ms	(/ (* x 2.0) (/ (- x y) y))

simplify28.1s

Counts

102 → 102

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	11	13
1	22	13
2	43	13
3	83	13
4	127	13
5	198	13
6	321	13
7	463	13
8	487	13
done	487	13
0	10	12
1	23	12
2	41	12
3	67	12
4	119	12
5	179	12
6	272	12
7	396	12
8	502	12
9	507	12
done	507	12
0	10	12
1	22	12
2	38	12
3	74	12
4	119	12
5	175	12
6	274	12
7	437	12
8	486	12
9	488	12
done	488	12
0	9	11
1	23	11
2	38	11
3	63	11
4	106	11
5	154	11
6	225	11
7	349	11
8	494	11
9	518	11
done	518	11
0	8	10
1	21	10
2	55	10
3	121	10
4	225	10
5	363	10
6	458	10
7	586	10
8	671	10
9	769	10
done	769	10
0	8	10
1	18	10
2	41	10
3	86	10
4	145	10
5	240	10
6	450	10
7	979	10
8	2449	10
done	5000	10
0	15	29
1	37	29
2	193	17
3	1343	15
done	5000	15
0	13	29
1	39	29
2	178	15
3	1037	15
done	5000	15
0	13	29
1	39	29
2	190	15
3	1384	13
done	5000	13
0	11	29
1	41	29
2	185	13
3	1173	11
done	5000	11
0	9	21
1	19	21
2	40	21
3	77	21
4	115	21
5	143	21
6	156	21
7	167	21
8	171	21
done	171	21
0	8	10
1	18	10
2	39	10
3	76	10
4	114	10
5	143	10
6	156	10
7	167	10
8	171	10
done	171	10
0	9	29
1	26	29
2	103	11
3	536	11
4	4054	11
done	5000	11
0	8	10
1	18	10
2	39	10
3	76	10
4	114	10
5	143	10
6	156	10
7	167	10
8	171	10
done	171	10
0	8	10
1	18	10
2	39	10
3	76	10
4	114	10
5	143	10
6	156	10
7	167	10
8	171	10
done	171	10
0	4	4
1	9	4
2	11	4
done	11	4
0	5	6
1	12	6
2	20	6
3	28	6
4	33	5
5	36	5
done	36	5
0	7	15
1	14	15
2	19	15
3	22	15
done	22	15
0	7	8
1	12	8
2	17	8
3	20	8
done	20	8
0	6	8
1	11	8
2	16	8
3	19	8
done	19	8
0	7	8
1	12	8
2	17	8
3	20	8
done	20	8
0	9	17
1	19	17
2	41	17
3	72	17
4	98	17
5	131	17
6	156	17
7	166	17
8	167	17
done	167	17
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	8	14
1	14	14
2	23	14
3	36	14
4	44	14
5	50	14
6	53	14
done	53	14
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	8	13
1	16	11
2	30	11
3	57	11
4	63	11
5	72	11
6	87	11
7	90	11
done	90	11
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	8	12
1	14	12
2	22	12
3	30	12
4	34	12
5	43	12
6	49	12
7	54	12
done	54	12
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	7	9
1	11	9
2	15	9
3	16	9
4	18	9
5	20	9
6	21	9
done	21	9
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	7	8
1	13	6
2	20	6
3	25	6
done	25	6
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	4	5
1	8	3
2	13	1
done	13	1
0	6	7
1	13	7
2	21	7
3	25	7
4	27	7
5	32	7
6	35	7
7	37	7
done	37	7
0	9	13
1	14	13
2	21	13
3	29	13
4	33	13
5	42	13
6	48	13
7	53	13
8	54	13
done	54	13
0	9	10
1	16	10
2	22	10
3	25	10
4	27	10
5	32	10
6	35	10
7	37	10
done	37	10
0	7	10
1	10	10
2	13	10
3	14	10
4	16	10
5	18	10
6	19	10
done	19	10
0	8	10
1	15	10
2	23	9
3	27	9
4	29	9
5	34	9
6	37	9
7	39	9
done	39	9
0	8	9
1	13	7
2	19	7
3	24	7
done	24	7
0	8	9
1	15	9
2	21	9
3	24	9
4	26	9
5	31	9
6	34	9
7	36	9
done	36	9
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	4	5
1	8	3
2	13	1
done	13	1
0	6	7
1	13	7
2	21	7
3	25	7
4	27	7
5	32	7
6	35	7
7	37	7
done	37	7
0	3	3
1	5	1
done	5	1
0	6	7
1	13	7
2	21	7
3	25	7
4	27	7
5	32	7
6	35	7
7	37	7
done	37	7
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	6	7
1	15	7
2	21	7
3	23	5
done	23	5
0	7	9
1	17	9
2	41	9
3	85	9
4	127	9
5	163	9
6	182	9
7	191	9
8	194	9
done	194	9
0	9	17
1	22	17
2	41	17
3	57	17
4	61	17
done	61	17
0	8	10
1	16	10
2	25	10
3	31	10
4	32	10
done	32	10
0	11	19
1	24	19
2	69	19
3	196	19
4	413	19
5	603	19
6	660	19
7	673	19
8	674	19
done	674	19
0	10	16
1	19	16
2	44	16
3	114	16
4	204	16
5	250	16
6	257	16
7	259	16
done	259	16
0	10	15
1	21	13
2	50	13
3	149	13
4	191	13
5	232	13
6	262	13
7	271	13
done	271	13
0	10	14
1	19	14
2	39	14
3	81	14
4	149	14
5	196	14
6	210	14
7	223	14
8	224	14
done	224	14
0	9	11
1	16	11
2	30	11
3	50	11
4	73	11
5	82	11
6	85	11
7	87	11
done	87	11
0	9	10
1	18	8
2	33	8
3	62	8
4	68	8
5	74	8
6	86	8
7	93	8
done	93	8
0	9	11
1	18	11
2	37	9
3	108	9
4	307	9
5	421	9
6	485	9
done	485	9
0	8	8
1	15	8
2	28	6
3	71	6
4	159	6
5	175	6
done	175	6
0	6	7
1	13	5
2	24	3
3	55	3
4	98	3
5	110	3
6	132	3
done	132	3
0	11	15
1	19	15
2	38	15
3	80	15
4	148	15
5	194	15
6	208	15
7	221	15
8	222	15
done	222	15
0	9	12
1	15	12
2	28	12
3	48	12
4	71	12
5	79	12
6	82	12
7	84	12
done	84	12
0	10	11
1	18	9
2	32	9
3	61	9
4	68	9
5	74	9
6	86	9
7	94	9
done	94	9
0	9	11
1	18	11
2	37	9
3	108	9
4	307	9
5	421	9
6	485	9
done	485	9
0	8	8
1	15	8
2	28	6
3	71	6
4	159	6
5	175	6
done	175	6
0	6	7
1	13	5
2	24	3
3	55	3
4	98	3
5	110	3
6	132	3
done	132	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	6	7
1	11	7
2	19	7
3	27	7
4	33	7
5	37	7
done	37	7
0	6	7
1	13	7
2	27	7
3	39	7
4	45	7
5	50	7
done	50	7
0	6	7
1	11	7
2	19	7
3	27	7
4	33	7
5	37	7
done	37	7
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	13	6
2	20	6
3	24	6
done	24	6
0	5	6
1	10	6
2	18	6
3	24	6
4	25	6
done	25	6
0	8	17
1	19	17
2	67	9
3	204	7
4	561	7
5	2165	7
done	5000	7
0	6	13
1	11	13
2	16	13
3	19	13
done	19	13
0	5	6
1	10	6
2	15	6
3	18	6
done	18	6
0	6	17
1	18	17
2	51	7
3	178	7
4	590	7
5	1871	7
done	5000	7
0	5	6
1	10	6
2	15	6
3	18	6
done	18	6
0	5	6
1	10	6
2	15	6
3	18	6
done	18	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	2	3
1	3	1
2	5	1
done	5	1
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	12
1	11	12
2	14	12
3	15	12
done	15	12
0	6	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	5	6
1	7	6
2	8	6
done	8	6
0	7	10
1	11	10
2	12	10
done	12	10
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	6	6
1	10	4
2	13	4
done	13	4
0	5	6
1	7	6
2	8	6
done	8	6
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	8	11
1	11	11
done	11	11
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	7	8
done	7	8
0	6	8
1	11	8
2	16	7
3	19	7
done	19	7
0	7	7
1	10	5
2	12	5
done	12	5
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	7	5
done	7	5
0	6	9
1	13	9
2	21	9
3	26	9
4	29	9
done	29	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	5
1	12	3
2	17	3
done	17	3
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	4	5
1	6	5
2	7	5
done	7	5
0	6	7
1	8	7
2	9	7
done	9	7
0	4	5
1	6	5
2	7	5
done	7	5
0	8	13
1	22	11
2	46	11
3	67	11
4	75	11
5	83	11
6	93	11
7	116	11
8	177	11
9	385	11
10	1316	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	10	5
2	11	5
done	11	5
0	5	5
1	10	5
2	11	5
done	11	5
0	5	5
1	10	5
2	11	5
done	11	5

prune96.0ms

Filtered

77 candidates to 102 candidates (-32.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	6	0	6
Picked	1	0	1
Done	1	2	3
Total	108	4	112

Merged error: 0b

Counts

112 → 4

regimes101.0ms

Accuracy

94.1% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 7.3b

bsearch26.0ms

Steps

Iters	Range		Point
5	1.6445225602136907e-14	4.6483899746145734e-14	3.269767603649269e-14
8	-9.408497984883987e+110	-2.7191370994431132e+107	-2.7527150854776866e+107

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	35
1	23	27
done	23	27

end0.0ms

sample515.0ms

Algorithm

intervals

Results

261.0ms

8000×

body

valid

Details

sample24.0ms

simplify113.0ms

prune3.0ms

localize6.0ms

rewrite11.0ms

series10.0ms

simplify17.2s

prune68.0ms

localize6.0ms

rewrite22.0ms

series16.0ms

simplify40.7s

prune98.0ms

localize8.0ms

rewrite40.0ms

series21.0ms

simplify1.3min

prune131.0ms

localize6.0ms

rewrite22.0ms

series20.0ms

simplify28.1s

prune96.0ms

regimes101.0ms

bsearch26.0ms

simplify2.0ms

end0.0ms

sample515.0ms

Profiling