Details

sample18.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	14	9
2	27	9
3	40	9
4	41	9
done	41	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: 18.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

17.5b

(/ (+ x y) (* (* x 2.0) y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 27

Calls

1 calls:

9.0ms

(/ (+ x y) (* (* x 2.0) y))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(/ (+ x y) (* (* x 2.0) y))

simplify17.7s

Counts

30 → 30

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	20	13
2	43	13
3	87	13
4	169	13
5	285	13
6	436	13
7	558	13
8	574	13
done	574	13
0	10	12
1	20	12
2	36	12
3	71	12
4	150	12
5	257	12
6	396	12
7	556	12
8	581	12
done	581	12
0	9	11
1	19	11
2	38	11
3	69	11
4	131	11
5	221	11
6	360	11
7	542	11
8	587	11
done	587	11
0	8	10
1	18	10
2	42	10
3	86	10
4	153	10
5	243	10
6	363	10
7	513	10
8	635	10
9	651	10
done	651	10
0	8	10
1	15	10
2	28	10
3	39	10
4	40	10
done	40	10
0	15	29
1	49	29
2	225	17
3	1335	17
done	5000	17
0	13	29
1	51	29
2	219	15
3	1326	15
done	5001	15
0	11	29
1	46	29
2	219	13
3	1559	11
done	5001	11
0	9	21
1	16	21
2	29	21
3	42	21
4	43	21
done	43	21
0	8	10
1	15	10
2	28	10
3	39	10
4	40	10
done	40	10
0	9	29
1	23	29
2	109	11
3	793	11
done	5000	11
0	8	10
1	15	10
2	28	10
3	39	10
4	40	10
done	40	10
0	8	10
1	15	10
2	28	10
3	39	10
4	40	10
done	40	10
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	8	13
1	17	13
2	30	13
3	42	13
4	44	13
done	44	13
0	5	6
1	6	6
done	6	6
0	7	8
1	11	8
2	13	8
done	13	8
0	5	6
1	6	6
done	6	6
0	5	5
1	10	5
2	12	5
done	12	5
0	4	5
1	5	5
done	5	5
0	5	5
1	10	5
2	12	5
done	12	5
0	4	5
1	5	5
done	5	5
0	7	7
1	15	7
2	28	7
3	39	7
4	40	7
done	40	7
0	7	9
1	14	9
2	30	9
3	49	9
4	73	9
5	86	9
done	86	9
0	6	7
1	10	7
2	12	7
done	12	7
0	8	10
1	15	10
2	31	10
3	50	10
4	74	10
5	87	10
done	87	10
0	8	10
1	15	10
2	31	10
3	50	10
4	74	10
5	87	10
done	87	10
0	7	9
1	14	9
2	30	9
3	49	9
4	73	9
5	86	9
done	86	9
0	7	9
1	14	9
2	30	9
3	49	9
4	73	9
5	86	9
done	86	9
0	11	17
1	32	15
2	108	15
3	371	15
4	793	15
5	1147	15
6	1625	15
7	2360	15
8	4834	15
done	5000	15
0	7	9
1	16	9
2	47	9
3	129	9
4	199	9
5	232	9
6	252	9
done	252	9
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7

prune57.0ms

Filtered

24 candidates to 30 candidates (-25.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	29	2	31

Merged error: 0.0b

Counts

31 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ x y) (* x 2.0))
6.9b	(/ (/ (+ x y) (* x 2.0)) y)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 77

Calls

2 calls:

8.0ms	(/ (+ x y) (* x 2.0))
10.0ms	(/ (/ (+ x y) (* x 2.0)) y)

series14.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (+ x y) (* x 2.0))
8.0ms	(/ (/ (+ x y) (* x 2.0)) y)

simplify25.8s

Counts

83 → 83

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	21	13
2	47	13
3	110	13
4	222	13
5	311	13
6	427	13
7	513	13
8	524	13
done	524	13
0	10	12
1	21	12
2	40	12
3	84	12
4	171	12
5	250	12
6	374	12
7	519	12
8	549	12
done	549	12
0	9	11
1	18	11
2	33	11
3	71	11
4	144	11
5	223	11
6	311	11
7	428	11
8	515	11
9	526	11
done	526	11
0	8	10
1	17	10
2	37	10
3	81	10
4	157	10
5	249	10
6	331	10
7	429	10
8	524	10
9	609	10
10	616	10
done	616	10
0	8	10
1	14	10
2	24	10
3	39	10
4	40	10
done	40	10
0	15	29
1	48	29
2	211	17
3	1210	17
done	5001	17
0	13	29
1	50	29
2	225	15
3	1386	13
done	5000	13
0	11	29
1	30	29
2	139	13
3	912	11
done	5000	11
0	9	21
1	15	21
2	25	21
3	40	21
4	41	21
done	41	21
0	8	10
1	14	10
2	24	10
3	39	10
4	40	10
done	40	10
0	9	29
1	22	29
2	69	11
3	381	11
4	3333	11
done	5000	11
0	8	10
1	14	10
2	24	10
3	39	10
4	40	10
done	40	10
0	8	10
1	14	10
2	24	10
3	39	10
4	40	10
done	40	10
0	7	8
1	13	8
2	25	8
3	29	8
4	47	8
5	69	7
6	79	7
7	81	7
done	81	7
0	2	2
done	2	2
0	11	23
1	21	23
2	32	23
3	38	23
done	38	23
0	9	11
1	13	11
2	15	11
done	15	11
0	10	20
1	16	20
2	20	20
3	21	20
done	21	20
0	9	11
1	13	11
2	15	11
done	15	11
0	10	19
1	18	17
2	26	17
3	31	17
done	31	17
0	8	10
1	12	10
2	14	10
done	14	10
0	10	14
1	16	14
2	18	14
done	18	14
0	9	11
1	13	11
2	15	11
done	15	11
0	9	11
1	13	11
2	15	11
done	15	11
0	9	11
1	13	11
2	15	11
done	15	11
0	9	10
1	15	8
2	19	8
done	19	8
0	8	10
1	12	10
2	14	10
done	14	10
0	9	17
1	16	17
2	32	17
3	68	17
4	109	17
5	119	17
done	119	17
0	8	9
1	11	9
2	14	9
done	14	9
0	8	14
1	13	14
2	24	14
3	37	14
4	47	14
done	47	14
0	8	9
1	11	9
2	14	9
done	14	9
0	8	13
1	15	11
2	30	11
3	43	11
4	58	11
5	63	11
done	63	11
0	7	8
1	10	8
2	13	8
done	13	8
0	8	12
1	13	12
2	19	12
3	25	12
done	25	12
0	8	9
1	11	9
2	14	9
done	14	9
0	7	9
1	10	9
2	13	9
done	13	9
0	8	9
1	11	9
2	14	9
done	14	9
0	7	8
1	12	6
2	19	6
done	19	6
0	7	8
1	10	8
2	13	8
done	13	8
0	7	9
1	13	9
2	19	9
3	25	9
done	25	9
0	7	8
1	10	8
2	13	8
done	13	8
0	6	6
1	10	6
2	13	6
done	13	6
0	7	8
1	10	8
2	13	8
done	13	8
0	4	5
1	8	3
2	15	3
done	15	3
0	6	7
1	9	7
2	12	7
done	12	7
0	7	9
1	13	9
2	19	9
3	25	9
done	25	9
0	7	8
1	10	8
2	13	8
done	13	8
0	6	6
1	10	6
2	13	6
done	13	6
0	7	8
1	10	8
2	13	8
done	13	8
0	4	5
1	8	3
2	15	3
done	15	3
0	6	7
1	9	7
2	12	7
done	12	7
0	5	7
1	9	7
done	9	7
0	8	10
1	14	10
2	24	10
3	39	10
4	41	10
done	41	10
0	4	4
1	6	4
done	6	4
0	8	10
1	14	10
2	24	10
3	39	10
4	41	10
done	41	10
0	2	3
1	4	1
done	4	1
0	7	9
1	13	9
2	23	9
3	38	9
4	39	9
done	39	9
0	6	9
1	9	9
done	9	9
0	8	8
1	15	8
2	25	8
3	40	8
4	41	8
done	41	8
0	5	6
1	6	6
done	6	6
0	8	8
1	15	8
2	25	8
3	40	8
4	41	8
done	41	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	7
1	14	7
2	24	7
3	39	7
4	40	7
done	40	7
0	3	3
1	5	3
done	5	3
0	7	9
1	13	9
2	24	9
3	39	9
4	47	9
5	63	9
6	74	9
7	84	9
done	84	9
0	9	13
1	17	13
2	32	13
3	64	13
4	87	13
5	92	13
done	92	13
0	8	10
1	14	10
2	24	10
3	39	10
4	41	10
done	41	10
0	8	9
1	16	7
2	30	7
3	58	7
done	58	7
0	8	10
1	12	10
2	14	10
done	14	10
0	8	10
1	12	10
2	14	10
done	14	10
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	9
1	13	9
2	24	9
3	39	9
4	47	9
5	63	9
6	74	9
7	84	9
done	84	9
0	7	7
1	14	7
2	25	5
3	40	5
4	72	5
5	133	5
6	157	5
done	157	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	60	10
6	79	10
7	95	10
8	100	10
done	100	10
0	8	9
1	15	9
2	22	9
3	30	9
4	39	9
5	51	9
6	70	9
7	96	9
8	106	9
done	106	9
0	7	8
1	14	8
2	24	8
3	36	8
4	49	8
5	59	8
6	75	8
7	94	8
8	110	8
9	115	8
done	115	8
0	7	8
1	11	8
2	13	8
done	13	8
0	12	23
1	40	23
2	157	13
3	638	13
4	2546	11
done	5000	11
0	10	23
1	42	23
2	173	11
3	784	9
4	2979	9
done	5000	9
0	8	17
1	12	17
2	14	17
done	14	17
0	7	8
1	11	8
2	13	8
done	13	8
0	8	23
1	19	23
2	83	9
3	435	9
4	1745	9
done	5001	9
0	7	8
1	11	8
2	13	8
done	13	8
0	7	8
1	11	8
2	13	8
done	13	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	9	4
2	11	4
done	11	4
0	6	11
1	9	11
2	11	11
3	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	5	6
1	6	6
done	6	6
0	6	6
1	7	6
done	7	6
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	5	5
1	10	5
2	12	5
done	12	5
0	6	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	4	5
1	5	5
done	5	5
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	6	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	6	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	10	15
1	28	13
2	84	13
3	201	13
4	363	13
5	493	13
6	717	13
7	1014	13
8	1988	13
9	3756	13
done	5000	13
0	6	7
1	12	7
2	29	7
3	54	7
4	70	7
5	86	7
done	86	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7

prune103.0ms

Filtered

66 candidates to 83 candidates (-25.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	83	2	85

Merged error: 0b

Counts

85 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 0.5 (/ y x)) 0.5)
0.0b	(* 0.5 (/ y x))
6.9b	(/ (+ (* 0.5 (/ y x)) 0.5) y)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `add-log-exp`
3×	`associate-l` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `flip3-+` `div-exp` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative`

Counts

3 → 72

Calls

3 calls:

6.0ms	(+ (* 0.5 (/ y x)) 0.5)
7.0ms	(* 0.5 (/ y x))
10.0ms	(/ (+ (* 0.5 (/ y x)) 0.5) y)

series16.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (* 0.5 (/ y x)) 0.5)
4.0ms	(* 0.5 (/ y x))
8.0ms	(/ (+ (* 0.5 (/ y x)) 0.5) y)

simplify1.6min

Counts

81 → 81

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	15	11
2	22	11
3	33	11
4	47	11
5	54	11
6	57	11
7	63	11
8	72	11
9	85	11
10	103	11
11	119	11
12	126	11
13	143	11
14	145	11
done	145	11
0	8	10
1	15	10
2	23	10
3	37	10
4	57	10
5	74	10
6	94	10
7	107	10
8	160	10
9	301	10
10	575	8
11	1030	8
12	2993	8
done	5000	8
0	8	10
1	12	10
2	18	10
3	28	10
4	39	10
5	44	10
6	61	10
7	82	10
8	161	10
9	362	10
10	792	8
11	2326	8
done	5000	8
0	11	29
1	36	29
2	124	13
3	450	11
4	2143	11
done	5000	11
0	9	21
1	13	21
2	19	21
3	29	21
4	40	21
5	43	21
6	52	21
7	57	21
8	95	21
9	192	21
10	316	17
11	676	17
12	2540	17
done	5000	17
0	8	10
1	12	10
2	18	10
3	28	10
4	39	10
5	42	10
6	51	10
7	56	10
8	94	10
9	189	10
10	319	8
11	675	8
12	2419	8
done	5000	8
0	9	29
1	20	29
2	58	11
3	180	11
4	751	11
5	3928	11
done	5000	11
0	8	10
1	12	10
2	18	10
3	28	10
4	39	10
5	42	10
6	51	10
7	56	10
8	94	10
9	189	10
10	319	8
11	675	8
12	2419	8
done	5000	8
0	8	10
1	12	10
2	18	10
3	28	10
4	39	10
5	42	10
6	51	10
7	56	10
8	94	10
9	189	10
10	319	8
11	675	8
12	2419	8
done	5000	8
0	7	8
1	14	8
2	29	8
3	50	8
4	73	8
5	92	7
6	94	7
7	155	7
8	326	7
9	414	7
10	448	7
11	456	7
done	456	7
0	2	2
done	2	2
0	11	23
1	21	23
2	36	23
3	50	23
4	57	23
done	57	23
0	9	11
1	13	11
2	19	11
3	27	11
4	34	11
done	34	11
0	10	20
1	16	20
2	24	20
3	33	20
4	40	20
done	40	20
0	9	11
1	13	11
2	19	11
3	27	11
4	34	11
done	34	11
0	10	19
1	18	17
2	29	17
3	40	17
4	47	17
done	47	17
0	8	10
1	12	10
2	18	10
3	26	10
4	33	10
done	33	10
0	10	14
1	16	14
2	22	14
3	30	14
4	37	14
done	37	14
0	9	11
1	13	11
2	19	11
3	27	11
4	34	11
done	34	11
0	9	11
1	13	11
2	19	11
3	27	11
4	34	11
done	34	11
0	9	11
1	13	11
2	19	11
3	27	11
4	34	11
done	34	11
0	9	10
1	15	8
2	22	8
3	28	8
4	35	8
done	35	8
0	8	10
1	12	10
2	18	10
3	26	10
4	33	10
done	33	10
0	5	7
1	9	7
done	9	7
0	8	10
1	12	10
2	18	10
3	28	10
4	39	10
5	42	10
6	51	10
7	56	10
8	94	10
9	192	10
10	301	10
11	490	10
12	594	10
done	594	10
0	4	4
1	6	4
done	6	4
0	8	10
1	12	10
2	18	10
3	28	10
4	39	10
5	42	10
6	51	10
7	56	10
8	94	10
9	192	10
10	301	10
11	490	10
12	594	10
done	594	10
0	2	3
1	4	1
done	4	1
0	7	9
1	11	9
2	17	9
3	27	9
4	38	9
5	41	9
6	50	9
7	55	9
8	93	9
9	190	9
10	316	7
11	684	7
12	2660	7
done	5001	7
0	3	3
1	5	3
done	5	3
0	7	9
1	11	9
2	17	9
3	27	9
4	36	9
done	36	9
0	9	13
1	15	13
2	21	13
3	36	13
4	56	13
5	67	13
6	87	13
7	98	13
8	190	13
9	491	13
10	963	13
11	1355	13
12	1398	13
done	1398	13
0	8	10
1	12	10
2	18	10
3	28	10
4	39	10
5	42	10
6	51	10
7	56	10
8	94	10
9	192	10
10	301	10
11	490	10
12	594	10
done	594	10
0	8	9
1	14	7
2	21	7
3	29	7
4	42	7
5	51	7
6	64	7
done	64	7
0	8	10
1	12	10
2	18	10
3	26	10
4	33	10
done	33	10
0	8	10
1	12	10
2	18	10
3	26	10
4	33	10
done	33	10
0	7	9
1	11	9
2	17	9
3	27	9
4	36	9
done	36	9
0	11	25
1	34	23
2	108	21
3	300	19
4	805	17
5	1879	17
6	3791	17
done	5000	17
0	7	9
1	13	9
2	23	9
3	40	9
4	57	9
5	69	9
6	72	9
done	72	9
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	20	8
3	29	8
4	35	8
5	45	8
6	52	8
7	64	8
8	87	8
9	101	8
10	107	8
done	107	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	35	6
4	55	6
5	69	6
6	81	6
7	99	6
8	115	6
9	122	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	34	6
4	67	6
5	148	6
6	360	6
7	1389	6
done	5000	6
0	11	17
1	26	17
2	104	11
3	444	9
4	1700	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	225	9
4	778	7
5	2424	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	270	7
4	827	7
5	2540	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	8	10
1	13	10
2	23	10
3	38	10
4	51	10
5	53	10
done	53	10
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	8	10
1	13	10
2	24	10
3	38	10
4	50	10
done	50	10
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
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	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	3	3
1	4	3
done	4	3
0	8	9
1	15	8
2	29	8
3	56	8
4	121	8
5	271	8
6	682	8
7	2247	8
done	5000	8
0	7	8
1	11	8
2	17	8
3	28	8
4	36	8
done	36	8
0	7	8
1	14	8
2	24	8
3	42	8
4	79	8
5	153	8
6	345	8
7	890	8
8	2971	8
done	5000	8
0	8	17
1	12	17
2	18	17
3	26	17
4	33	17
done	33	17
0	7	8
1	11	8
2	17	8
3	25	8
4	32	8
done	32	8
0	8	23
1	25	23
2	83	9
3	302	9
4	1252	9
done	5000	9
0	7	8
1	11	8
2	17	8
3	25	8
4	32	8
done	32	8
0	7	8
1	11	8
2	17	8
3	25	8
4	32	8
done	32	8
0	9	11
1	28	11
2	83	11
3	311	11
4	1188	11
done	5000	11
0	10	23
1	26	21
2	78	19
3	191	17
4	482	15
5	1176	15
6	2673	15
7	4921	15
done	5000	15
0	8	15
1	22	15
2	64	13
3	144	13
4	351	13
5	774	13
6	1251	13
7	2333	13
done	5000	13
0	6	7
1	11	7
2	15	7
3	19	7
4	20	7
done	20	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7

prune100.0ms

Filtered

64 candidates to 81 candidates (-26.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	81	2	83

Merged error: 0b

Counts

83 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ x y) y)
9.3b	(* (/ 1 (* x 2.0)) (/ (+ x y) y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
35×	`*-un-lft-identity`
28×	`times-frac`
26×	`add-sqr-sqrt`
25×	`add-cbrt-cube`
21×	`add-cube-cbrt`
20×	`prod-exp`
16×	`div-exp` `associate-r`
8×	`cbrt-undiv` `cbrt-unprod`
7×	`associate-l` `distribute-lft-out`
4×	`pow1` `rec-exp` `1-exp` `associate-/l*`
3×	`associate-/r*` `div-inv`
2×	`associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-times` `frac-2neg` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `flip-+`

Counts

2 → 90

Calls

2 calls:

6.0ms	(/ (+ x y) y)
15.0ms	(* (/ 1 (* x 2.0)) (/ (+ x y) y))

series13.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (+ x y) y)
8.0ms	(* (/ 1 (* x 2.0)) (/ (+ x y) y))

simplify2.2min

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	20	11
2	51	9
3	184	9
4	503	9
5	1161	9
6	4363	9
done	5001	9
0	12	14
1	22	14
2	38	13
3	91	13
4	178	13
5	335	13
6	499	13
7	523	13
8	524	13
done	524	13
0	11	13
1	20	13
2	33	12
3	73	12
4	162	12
5	298	12
6	438	12
7	468	12
8	469	12
done	469	12
0	11	13
1	21	13
2	33	12
3	65	12
4	141	12
5	265	12
6	381	12
7	486	12
8	500	12
done	500	12
0	10	12
1	19	12
2	30	11
3	57	11
4	129	11
5	239	11
6	324	11
7	486	11
8	507	11
9	508	11
done	508	11
0	13	15
1	26	14
2	70	13
3	225	13
4	719	13
5	1145	13
6	1249	13
done	1249	13
0	12	14
1	24	13
2	62	12
3	185	12
4	567	12
5	978	12
6	1067	12
done	1067	12
0	12	14
1	26	13
2	59	12
3	182	12
4	606	12
5	1087	12
6	1216	12
7	1223	12
done	1223	12
0	11	13
1	24	12
2	53	11
3	155	11
4	497	11
5	962	11
6	1074	11
7	1081	11
done	1081	11
0	14	16
1	29	15
2	69	14
3	231	13
4	724	13
5	1149	13
6	1254	13
done	1254	13
0	13	15
1	27	14
2	60	13
3	186	12
4	560	12
5	967	12
6	1054	12
done	1054	12
0	13	15
1	29	14
2	60	13
3	187	12
4	612	12
5	1102	12
6	1228	12
7	1235	12
done	1235	12
0	12	14
1	27	13
2	53	12
3	154	11
4	491	11
5	959	11
6	1074	11
7	1081	11
done	1081	11
0	12	14
1	27	13
2	50	12
3	135	12
4	421	12
5	919	12
6	1040	12
7	1046	12
done	1046	12
0	11	13
1	25	12
2	45	11
3	112	11
4	337	11
5	848	11
6	1169	11
7	1177	11
done	1177	11
0	10	12
1	24	12
2	69	10
3	245	10
4	736	10
5	1897	10
done	5000	10
0	10	12
1	23	12
2	60	10
3	215	10
4	600	10
5	1501	10
done	5001	10
0	19	35
1	62	31
2	244	17
3	1889	15
done	5001	15
0	17	35
1	46	31
2	181	15
3	1098	15
done	5001	15
0	17	35
1	64	31
2	245	15
3	1855	13
done	5000	13
0	15	35
1	48	31
2	182	13
3	1112	13
done	5001	13
0	15	35
1	54	35
2	221	17
3	1345	15
done	5001	15
0	13	35
1	38	35
2	157	15
3	874	15
done	5000	13
0	11	25
1	22	25
2	53	21
3	186	21
4	502	21
5	1166	21
6	4392	21
done	5000	21
0	10	12
1	21	12
2	52	10
3	185	10
4	501	10
5	1172	10
6	4347	10
done	5001	10
0	11	35
1	32	35
2	146	11
3	1023	11
done	5000	11
0	10	12
1	21	12
2	52	10
3	185	10
4	501	10
5	1172	10
6	4347	10
done	5001	10
0	10	12
1	21	12
2	52	10
3	185	10
4	501	10
5	1172	10
6	4347	10
done	5001	10
0	5	5
1	15	3
2	25	3
done	25	3
0	5	5
1	9	5
2	15	5
done	15	5
0	11	13
1	18	13
2	20	13
done	20	13
0	11	13
1	18	13
2	20	13
done	20	13
0	12	14
1	21	14
2	26	14
3	30	14
4	31	14
done	31	14
0	12	14
1	21	14
2	26	14
3	30	14
4	31	14
done	31	14
0	11	19
1	22	19
2	44	17
3	133	17
4	266	17
5	282	17
done	282	17
0	10	12
1	19	12
2	34	10
3	79	10
4	155	10
5	166	10
done	166	10
0	13	21
1	30	21
2	85	19
3	385	19
4	1304	19
5	2636	19
6	2879	19
done	2879	19
0	12	18
1	25	18
2	57	16
3	234	16
4	689	16
5	1095	16
6	1211	16
done	1211	16
0	11	17
1	24	15
2	62	13
3	290	13
4	715	13
5	792	13
done	792	13
0	12	16
1	25	16
2	58	14
3	218	14
4	637	14
5	1254	14
6	1367	14
done	1367	14
0	11	13
1	22	13
2	45	11
3	146	11
4	364	11
5	555	11
6	592	11
done	592	11
0	10	12
1	21	10
2	46	8
3	146	8
4	373	8
5	409	8
done	409	8
0	10	13
1	22	13
2	54	11
3	174	11
4	430	11
5	476	11
done	476	11
0	9	10
1	19	10
2	42	8
3	114	8
4	223	8
5	227	8
done	227	8
0	7	9
1	17	5
2	29	5
3	62	5
4	101	5
5	102	5
done	102	5
0	10	13
1	22	13
2	54	11
3	174	11
4	430	11
5	476	11
done	476	11
0	9	10
1	19	10
2	42	8
3	114	8
4	223	8
5	227	8
done	227	8
0	7	9
1	17	5
2	29	5
3	62	5
4	101	5
5	102	5
done	102	5
0	6	7
1	14	5
2	20	5
3	30	5
4	42	5
5	49	5
done	49	5
0	8	9
1	23	9
2	59	7
3	166	7
4	395	7
5	1027	7
6	4163	7
done	5000	7
0	10	12
1	19	12
2	32	12
3	36	12
4	45	12
5	47	12
6	53	12
7	56	12
8	62	12
9	64	12
10	246	12
11	1547	12
done	5000	12
0	10	12
1	19	12
2	32	12
3	36	12
4	45	12
5	47	12
6	53	12
7	56	12
8	62	12
9	64	12
10	246	12
11	1547	12
done	5000	12
0	9	10
1	17	9
2	34	9
3	63	7
4	154	7
5	244	7
6	280	7
7	483	7
8	1876	7
done	5000	7
0	9	10
1	17	9
2	34	9
3	63	7
4	154	7
5	244	7
6	280	7
7	483	7
8	1876	7
done	5000	7
0	8	9
1	16	9
2	33	7
3	84	7
4	166	7
5	237	7
6	278	7
7	486	7
8	1922	7
done	5001	7
0	9	11
1	20	11
2	51	9
3	184	9
4	503	9
5	1161	9
6	4363	9
done	5001	9
0	9	11
1	20	11
2	51	9
3	184	9
4	503	9
5	1161	9
6	4363	9
done	5001	9
0	8	9
1	23	9
2	59	7
3	166	7
4	395	7
5	1027	7
6	4163	7
done	5000	7
0	6	7
1	12	5
2	30	5
3	44	5
4	62	5
5	74	5
done	74	5
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	232	7
4	615	7
5	1682	7
6	4439	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	46	7
3	118	7
4	293	7
5	584	7
6	1235	7
done	5001	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
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	12
1	10	12
2	12	12
3	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	5	6
1	6	6
done	6	6
0	7	10
1	10	10
done	10	10
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	6	6
1	9	4
2	11	4
done	11	4
0	5	6
1	6	6
done	6	6
0	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
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	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
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	3	3
1	5	3
done	5	3
0	4	5
1	5	5
done	5	5
0	6	9
1	9	9
done	9	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	3
2	10	3
done	10	3
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	4	5
1	5	5
done	5	5
0	8	13
1	23	11
2	48	11
3	89	11
4	135	11
5	184	11
6	245	11
7	327	11
8	587	11
9	1096	11
10	3564	11
done	5000	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	9	11
1	19	9
2	26	7
3	28	7
4	38	7
5	45	7
6	49	7
done	49	7
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5

prune92.0ms

Filtered

68 candidates to 96 candidates (-41.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	96	2	98

Merged error: 0b

Counts

98 → 2

regimes86.0ms

Accuracy

91.7% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 8.2b

bsearch29.0ms

Steps

Iters	Range		Point
9	7.353954193652902e+36	2.4738553751462813e+42	7.449449770643119e+36
6	-1.457848026021657e+114	-2.34826462259375e+113	-2.38022921643026e+113

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	39
1	30	29
done	30	29

end0.0ms

sample510.0ms

Algorithm

intervals

Results

264.0ms

8001×

body

valid

Details

sample18.0ms

simplify22.0ms

prune3.0ms

localize6.0ms

rewrite11.0ms

series8.0ms

simplify17.7s

prune57.0ms

localize6.0ms

rewrite21.0ms

series14.0ms

simplify25.8s

prune103.0ms

localize6.0ms

rewrite26.0ms

series16.0ms

simplify1.6min

prune100.0ms

localize8.0ms

rewrite26.0ms

series13.0ms

simplify2.2min

prune92.0ms

regimes86.0ms

bsearch29.0ms

simplify2.0ms

end0.0ms

sample510.0ms

Profiling