Details

sample30.0ms

Algorithm

intervals

Results

13.0ms

330×

body

valid

simplify4.2s

Counts

1 → 1

Iterations

Useful iterations: 7 (318.0ms)

Iter	Nodes	Cost
0	12	13
1	22	13
2	45	13
3	97	13
4	186	13
5	302	13
6	457	13
7	676	11
8	1190	11
9	3237	11
done	5000	11

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)
0.0b	(- 0.75 (/ (- z x) y))
0.0b	(/ (- z x) y)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 65

Calls

3 calls:

13.0ms	(+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)
10.0ms	(- 0.75 (/ (- z x) y))
7.0ms	(/ (- z x) y)

series27.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(+ (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)
6.0ms	(- 0.75 (/ (- z x) y))
8.0ms	(/ (- z x) y)

simplify45.5s

Counts

74 → 74

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	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	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	9	9
1	16	8
2	26	8
3	45	8
4	77	8
5	117	8
6	187	8
7	328	8
8	406	8
9	418	8
done	418	8
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	8	8
1	18	8
2	31	8
3	52	8
4	88	8
5	139	8
6	237	8
7	375	8
8	438	8
9	448	8
done	448	8
0	9	17
1	16	17
2	24	17
3	36	17
4	53	17
5	57	17
6	65	17
7	80	17
8	108	17
9	121	17
10	123	17
done	123	17
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	9	23
1	17	23
2	39	9
3	126	9
4	563	9
5	3089	9
done	5001	9
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	10	11
1	33	11
2	78	11
3	249	11
4	964	11
5	3693	11
done	5000	11
0	11	23
1	29	17
2	64	17
3	156	17
4	441	17
5	1279	17
6	3493	17
done	5001	17
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	9	15
1	23	15
2	51	15
3	161	15
4	522	15
5	1511	15
6	4831	15
done	5000	15
0	7	7
1	13	7
2	20	7
3	30	7
4	40	7
5	49	7
6	54	7
7	63	7
8	80	7
9	103	7
10	116	7
11	118	7
12	122	7
13	125	7
done	125	7
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	14	10
2	18	10
done	18	10
0	7	7
1	14	7
2	22	7
3	34	7
4	51	7
5	55	7
6	63	7
7	78	7
8	106	7
9	119	7
10	121	7
done	121	7
0	5	5
1	7	5
2	10	5
done	10	5
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	13	13
1	26	12
2	52	12
3	108	12
4	255	12
5	546	12
6	1340	12
7	3969	12
done	5000	12
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	12	12
1	24	12
2	43	12
3	93	12
4	217	12
5	450	12
6	1078	12
7	3198	12
done	5000	12
0	13	25
1	22	25
2	36	25
3	67	25
4	136	25
5	217	25
6	352	25
7	474	25
8	701	25
9	886	25
10	944	25
11	945	25
done	945	25
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	13	35
1	35	35
2	97	13
3	369	13
4	1972	13
done	5000	13
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	14	15
1	39	15
2	91	15
3	307	15
4	1392	15
done	5000	15
0	15	35
1	40	33
2	102	33
3	351	25
4	1412	25
done	5000	25
0	13	23
1	33	23
2	77	23
3	255	23
4	1059	23
5	4471	23
done	5000	23
0	11	11
1	21	11
2	36	11
3	69	11
4	145	11
5	239	11
6	422	11
7	602	11
8	887	11
9	1017	11
10	1022	11
done	1022	11
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	45	9
6	60	9
7	80	9
8	96	9
9	104	9
10	121	9
11	125	9
done	125	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	45	9
6	60	9
7	80	9
8	96	9
9	104	9
10	121	9
11	125	9
done	125	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	45	9
6	60	9
7	80	9
8	96	9
9	104	9
10	121	9
11	125	9
done	125	9
0	10	13
1	21	13
2	45	13
3	82	11
4	126	9
5	180	9
6	256	9
7	368	9
8	419	9
9	519	9
10	672	9
11	842	9
12	1471	9
13	1887	9
14	2084	9
15	2217	9
done	2217	9
0	10	13
1	21	13
2	45	13
3	82	11
4	126	9
5	180	9
6	256	9
7	368	9
8	419	9
9	519	9
10	672	9
11	842	9
12	1471	9
13	1887	9
14	2084	9
15	2217	9
done	2217	9
0	10	13
1	21	13
2	45	13
3	82	11
4	126	9
5	180	9
6	256	9
7	368	9
8	419	9
9	519	9
10	672	9
11	842	9
12	1471	9
13	1887	9
14	2084	9
15	2217	9
done	2217	9

prune93.0ms

Filtered

55 candidates to 74 candidates (-34.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	2	75

Merged error: 0b

Counts

75 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.75 (- (/ z y) (/ x y)))
0.0b	(+ (* (- 0.75 (- (/ z y) (/ x y))) 4.0) 1.0)
0.0b	(- (/ z y) (/ x y))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
12×	`add-log-exp`
10×	`times-frac`
7×	`distribute-lft-out--`
5×	`add-cube-cbrt` `difference-of-squares`
4×	`diff-log`
3×	`pow1` `add-exp-log` `sub-neg` `add-cbrt-cube`
2×	`flip3--` `flip--` `div-inv` `associate--r+`
1×	`+-commutative` `distribute-rgt-out--` `flip3-+` `sum-log` `frac-sub` `flip-+` `sub-div` `associate--r-`

Counts

3 → 53

Calls

3 calls:

18.0ms	(- 0.75 (- (/ z y) (/ x y)))
25.0ms	(+ (* (- 0.75 (- (/ z y) (/ x y))) 4.0) 1.0)
15.0ms	(- (/ z y) (/ x y))

series22.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(- 0.75 (- (/ z y) (/ x y)))
9.0ms	(+ (* (- 0.75 (- (/ z y) (/ x y))) 4.0) 1.0)
7.0ms	(- (/ z y) (/ x y))

simplify53.4s

Counts

62 → 62

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	10	8
2	12	8
3	17	8
4	20	8
5	26	8
6	30	8
7	46	8
8	50	8
9	57	8
10	66	8
11	86	8
12	107	8
13	121	8
14	126	8
15	128	8
done	128	8
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	12	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	50	8
8	57	8
9	66	8
10	86	8
11	107	8
12	121	8
13	126	8
14	128	8
done	128	8
0	8	17
1	10	17
2	13	17
done	13	17
0	7	8
1	9	8
2	12	8
done	12	8
0	8	23
1	11	23
2	28	9
3	87	9
4	292	9
5	986	9
6	3239	9
done	5001	9
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	9	8
2	12	8
done	12	8
0	3	3
1	5	3
2	6	3
done	6	3
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	2	3
done	2	3
0	9	11
1	29	11
2	84	11
3	240	11
4	774	11
5	2602	11
done	5000	11
0	10	23
1	29	19
2	57	19
3	85	19
4	114	17
5	137	17
6	160	17
7	177	17
8	187	17
9	188	17
done	188	17
0	4	4
1	6	4
done	6	4
0	8	15
1	21	15
2	42	15
3	82	15
4	149	15
5	247	15
6	348	15
7	579	13
8	2083	13
done	5000	13
0	6	7
1	7	7
done	7	7
0	8	9
1	9	9
done	9	9
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	14	10
done	14	10
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	12	10
done	12	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	9	9
2	12	9
done	12	9
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	6	4
done	6	4
0	14	15
1	26	14
2	63	14
3	138	14
4	301	14
5	623	14
6	1549	14
done	5001	14
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	13	14
1	24	14
2	51	14
3	119	14
4	253	14
5	527	14
6	1320	14
7	4466	14
done	5000	14
0	14	29
1	22	29
2	44	29
3	87	29
4	144	29
5	225	29
6	312	29
7	479	29
8	689	29
9	837	29
10	875	29
11	882	29
12	904	25
done	904	25
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	14	41
1	35	41
2	105	15
3	437	15
4	2613	15
done	5000	15
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	15	17
1	39	17
2	99	17
3	354	17
4	1766	17
done	5000	17
0	16	41
1	40	39
2	122	39
3	502	29
4	2038	29
done	5000	29
0	14	27
1	33	27
2	97	27
3	391	27
4	1612	27
done	5000	27
0	12	13
1	21	13
2	44	13
3	91	13
4	156	13
5	261	13
6	386	13
7	620	13
8	841	13
9	908	13
10	923	13
11	930	13
12	952	11
done	952	11
0	11	12
1	15	11
2	24	10
3	40	10
4	67	10
5	108	10
6	155	10
7	296	10
8	417	10
9	450	10
done	450	10
0	10	11
1	17	10
2	29	10
3	51	10
4	89	10
5	128	10
6	246	10
7	367	10
8	409	10
9	410	10
done	410	10
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	9	10
1	18	10
2	37	10
3	66	10
4	107	10
5	181	10
6	323	10
7	399	10
8	407	10
done	407	10
0	10	21
1	16	21
2	26	21
3	43	21
4	49	21
5	57	21
6	72	21
7	100	21
8	111	21
done	111	21
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	10	29
1	17	29
2	53	11
3	215	11
4	1053	11
done	5000	11
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	11	13
1	28	13
2	65	13
3	179	13
4	613	13
5	2175	13
done	5000	13
0	12	29
1	21	21
2	48	21
3	134	21
4	429	21
5	1389	21
6	3863	21
done	5000	21
0	7	8
1	9	8
2	15	8
3	21	8
4	24	7
done	24	7
0	10	19
1	17	19
2	39	19
3	121	19
4	458	19
5	1502	19
done	5000	19
0	8	9
1	13	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	86	9
9	107	9
10	117	9
done	117	9
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	14	11
2	18	11
done	18	11
0	8	9
1	14	9
2	24	9
3	41	9
4	47	9
5	55	9
6	70	9
7	98	9
8	109	9
done	109	9
0	8	9
1	14	9
2	24	9
3	41	9
4	47	9
5	55	9
6	70	9
7	98	9
8	109	9
done	109	9
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	7	5
2	10	5
done	10	5
0	7	8
1	9	8
2	15	8
3	21	8
4	24	7
done	24	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	10	13
1	21	13
2	47	11
3	82	11
4	119	9
5	152	9
6	202	9
7	278	9
8	365	9
9	429	9
10	545	9
11	811	9
12	1449	9
13	1886	9
14	2080	9
15	2217	9
done	2217	9
0	10	13
1	21	13
2	47	11
3	82	11
4	119	9
5	152	9
6	202	9
7	278	9
8	365	9
9	429	9
10	545	9
11	811	9
12	1449	9
13	1886	9
14	2080	9
15	2217	9
done	2217	9
0	10	13
1	21	13
2	47	11
3	82	11
4	119	9
5	152	9
6	202	9
7	278	9
8	365	9
9	429	9
10	545	9
11	811	9
12	1449	9
13	1886	9
14	2080	9
15	2217	9
done	2217	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	43	9
6	58	9
7	73	9
8	88	9
9	102	9
10	117	9
11	123	9
done	123	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	43	9
6	58	9
7	73	9
8	88	9
9	102	9
10	117	9
11	123	9
done	123	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	43	9
6	58	9
7	73	9
8	88	9
9	102	9
10	117	9
11	123	9
done	123	9

prune75.0ms

Filtered

45 candidates to 62 candidates (-37.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	62	2	64

Merged error: 0b

Counts

64 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- z x) y)
0.0b	(/ (- z x) y)
0.1b	(* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0))
17.8b	(/ (- (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)) (* 1.0 1.0)) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt` `*-un-lft-identity`
43×	`pow1`
42×	`times-frac`
33×	`add-cube-cbrt`
22×	`add-exp-log` `add-cbrt-cube`
17×	`pow-prod-down`
14×	`associate-l/` `associate-/l`
12×	`difference-of-squares`
10×	`flip3--` `flip--`
9×	`associate-/r*`
8×	`prod-exp` `cbrt-unprod` `distribute-lft-out--`
6×	`associate-/l/`
4×	`frac-times` `pow-sqr` `pow-prod-up` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv`
2×	`pow-plus` `associate-*r/` `associate-/r/`
1×	`pow2` `swap-sqr` `associate-r` `associate-l` `*-commutative`

Counts

4 → 154

Calls

4 calls:

7.0ms	(/ (- z x) y)
7.0ms	(/ (- z x) y)
27.0ms	(* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0))
51.0ms	(/ (- (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)) (* 1.0 1.0)) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))

series90.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (- z x) y)
8.0ms	(/ (- z x) y)
29.0ms	(* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0))
46.0ms	(/ (- (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)) (* 1.0 1.0)) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0))

simplify2.8min

Counts

166 → 166

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	37
1	40	37
2	92	37
3	302	37
4	1265	14
done	5002	14
0	16	36
1	43	36
2	110	36
3	380	14
4	1577	12
done	5001	12
0	16	36
1	40	36
2	106	36
3	369	14
4	1570	12
done	5002	12
0	19	107
1	49	107
2	176	39
3	1015	15
done	5001	15
0	17	73
1	41	73
2	104	73
3	365	29
4	1548	25
done	5002	25
0	16	36
1	40	36
2	103	36
3	364	14
4	1549	12
done	5001	12
0	17	107
1	48	107
2	145	37
3	732	15
done	5002	15
0	16	36
1	40	36
2	103	36
3	364	14
4	1549	12
done	5001	12
0	16	36
1	40	36
2	103	36
3	364	14
4	1549	12
done	5001	12
0	14	24
1	34	24
2	85	24
3	301	24
4	1366	23
done	5000	23
0	12	12
1	22	12
2	40	12
3	84	12
4	204	11
5	435	11
6	910	11
7	1106	11
8	1267	11
done	1267	11
0	13	31
1	32	31
2	88	31
3	325	23
4	1217	23
5	4605	23
done	5000	23
0	13	15
1	25	15
2	45	15
3	87	15
4	176	15
5	340	15
6	706	15
7	1200	15
8	1934	15
9	2486	15
10	2677	15
11	2679	15
done	2679	15
0	19	75
1	46	75
2	104	75
3	313	75
4	1268	75
done	5000	75
0	17	37
1	38	37
2	87	37
3	291	37
4	1245	37
done	5000	37
0	18	62
1	41	62
2	92	62
3	297	62
4	1250	62
done	5001	62
0	17	37
1	38	37
2	87	37
3	291	37
4	1245	37
done	5000	37
0	17	51
1	41	49
2	91	49
3	274	49
4	1078	49
5	4484	49
done	5000	49
0	16	36
1	37	36
2	86	36
3	290	36
4	1248	36
done	5000	36
0	18	50
1	41	50
2	90	50
3	294	50
4	1247	50
done	5000	50
0	17	37
1	38	37
2	87	37
3	291	37
4	1245	37
done	5000	37
0	17	37
1	38	37
2	87	37
3	291	37
4	1245	37
done	5000	37
0	17	37
1	38	37
2	87	37
3	291	37
4	1245	37
done	5000	37
0	16	26
1	38	24
2	84	24
3	262	24
4	1066	24
5	4480	24
done	5000	24
0	16	36
1	37	36
2	86	36
3	290	36
4	1248	36
done	5000	36
0	15	27
1	29	27
2	44	27
3	77	27
4	153	27
5	247	27
6	430	27
7	610	27
8	892	27
9	1009	27
10	1014	27
done	1014	27
0	16	36
1	40	36
2	103	36
3	347	36
4	1453	36
done	5000	36
0	14	14
1	26	14
2	41	14
3	74	14
4	150	14
5	244	14
6	427	14
7	607	14
8	891	14
9	1014	14
10	1019	14
done	1019	14
0	16	36
1	40	36
2	103	36
3	347	36
4	1453	36
done	5000	36
0	2	3
1	4	1
done	4	1
0	15	35
1	39	35
2	102	35
3	363	13
4	1547	11
done	5000	11
0	15	37
1	28	37
2	43	37
3	80	37
4	165	37
5	283	37
6	573	37
7	1003	37
8	1998	37
9	3387	37
10	4545	37
11	4931	37
12	4956	37
done	4956	37
0	13	24
1	26	24
2	47	24
3	89	24
4	207	24
5	427	24
6	850	24
7	1355	24
8	2059	24
9	2574	24
10	2734	24
11	2735	24
done	2735	24
0	14	24
1	25	24
2	40	24
3	77	24
4	162	24
5	276	24
6	539	24
7	843	24
8	1461	24
9	2082	24
10	2543	24
11	2752	24
12	2785	24
done	2785	24
0	13	24
1	26	24
2	47	24
3	89	24
4	207	24
5	427	24
6	850	24
7	1355	24
8	2059	24
9	2574	24
10	2734	24
11	2735	24
done	2735	24
0	13	13
1	24	11
2	40	11
3	71	11
4	140	11
5	225	11
6	382	11
7	591	11
8	1035	11
9	1536	11
10	1789	11
11	1850	11
done	1850	11
0	12	23
1	26	1
2	47	1
3	93	1
4	217	1
5	441	1
6	993	1
7	3037	1
done	5000	1
0	13	13
1	25	13
2	40	13
3	73	13
4	149	13
5	243	13
6	426	13
7	606	13
8	888	13
9	1008	13
10	1013	13
done	1013	13
0	15	35
1	39	35
2	106	35
3	356	35
4	1471	13
done	5000	13
0	17	49
1	43	49
2	129	49
3	454	49
4	1822	49
done	5000	49
0	16	36
1	40	36
2	103	36
3	347	36
4	1453	36
done	5000	36
0	15	25
1	40	23
2	100	23
3	328	23
4	1330	23
done	5001	23
0	16	36
1	40	36
2	95	36
3	306	36
4	1301	36
done	5000	36
0	16	36
1	40	36
2	95	36
3	306	36
4	1301	36
done	5000	36
0	15	35
1	39	35
2	106	35
3	356	35
4	1471	13
done	5000	13
0	12	23
1	26	1
2	47	1
3	93	1
4	217	1
5	441	1
6	993	1
7	3037	1
done	5000	1
0	18	39
1	57	39
2	161	39
3	613	39
4	3446	39
done	5001	39
0	14	47
1	38	1
2	113	1
3	437	1
4	1918	1
done	5001	1
0	19	83
1	64	79
2	247	61
3	1325	51
done	5000	51
0	15	35
1	40	35
2	117	35
3	496	35
4	2583	35
done	5000	35
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	10	19
1	25	19
2	62	19
3	217	19
4	866	19
5	3227	19
done	5000	19
0	10	19
1	25	19
2	62	19
3	217	19
4	866	19
5	3227	19
done	5000	19
0	10	19
1	25	19
2	62	19
3	217	19
4	866	19
5	3227	19
done	5000	19
0	10	19
1	25	19
2	62	19
3	217	19
4	866	19
5	3227	19
done	5000	19
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	12	23
1	26	13
2	51	13
3	66	13
4	83	13
5	88	13
6	96	13
7	111	13
8	139	13
9	152	13
10	154	13
done	154	13
0	14	22
1	26	21
2	48	21
3	85	12
4	152	12
5	217	12
6	290	12
7	361	12
8	480	12
9	567	12
10	614	12
11	647	12
12	673	12
13	675	12
done	675	12
0	14	22
1	26	21
2	48	21
3	85	12
4	152	12
5	217	12
6	291	12
7	362	12
8	481	12
9	568	12
10	615	12
11	648	12
12	676	12
13	678	12
done	678	12
0	11	21
1	24	12
2	50	12
3	86	12
4	149	12
5	214	12
6	289	12
7	360	12
8	479	12
9	566	12
10	613	12
11	646	12
12	670	12
13	672	12
done	672	12
0	11	20
1	28	20
2	78	12
3	257	12
4	908	12
5	3274	12
done	5001	12
0	11	20
1	28	20
2	78	20
3	283	20
4	1109	20
5	4201	20
done	5000	20
0	14	59
1	35	59
2	145	27
3	749	13
done	5000	13
0	17	59
1	45	59
2	181	23
3	1049	11
done	5002	11
0	17	59
1	45	59
2	183	23
3	1039	11
done	5001	11
0	12	59
1	36	59
2	157	23
3	884	11
done	5000	11
0	12	41
1	27	41
2	64	41
3	219	41
4	868	41
5	3231	41
done	5000	41
0	11	20
1	26	20
2	63	20
3	218	20
4	867	20
5	3224	20
done	5000	20
0	12	59
1	35	59
2	141	21
3	825	11
done	5001	11
0	11	20
1	27	10
2	64	10
3	219	10
4	869	10
5	3229	10
done	5000	10
0	11	20
1	27	10
2	64	10
3	219	10
4	869	10
5	3229	10
done	5000	10
0	13	27
1	44	27
2	118	27
3	527	27
4	3768	27
done	5000	27
0	12	47
1	36	35
2	116	35
3	492	35
4	2441	35
done	5000	35
0	17	31
1	54	31
2	160	31
3	683	31
4	4293	31
done	5001	31
0	13	31
1	38	25
2	121	25
3	393	25
4	1526	25
done	5000	25
0	17	31
1	54	31
2	160	31
3	706	31
done	5001	31
0	13	31
1	38	25
2	117	25
3	346	25
4	1333	25
done	5000	25
0	12	35
1	34	35
2	106	35
3	524	35
4	3461	35
done	5000	35
0	8	15
1	20	15
2	44	15
3	112	15
4	391	15
5	1507	15
6	4961	15
done	5000	15
0	8	15
1	15	15
2	29	15
3	80	15
4	267	15
5	917	15
6	3925	15
done	5000	15
0	2	3
done	2	3
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	10	17
1	19	17
2	42	17
3	118	17
4	439	17
5	1581	17
done	5001	17
0	10	11
1	19	11
2	36	11
3	83	11
4	177	11
5	324	11
6	519	11
7	736	11
8	1038	11
9	1309	11
10	1440	11
11	1449	11
done	1449	11
0	15	23
1	47	23
2	129	23
3	538	23
4	3258	23
done	5000	23
0	14	27
1	36	27
2	110	27
3	490	27
4	2619	27
done	5000	27
0	15	23
1	47	23
2	129	23
3	512	23
4	2764	23
done	5000	23
0	14	27
1	36	27
2	110	27
3	479	27
4	2528	27
done	5001	27
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	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	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	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	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	10	13
1	21	13
2	45	13
3	82	11
4	126	9
5	180	9
6	256	9
7	368	9
8	419	9
9	519	9
10	672	9
11	842	9
12	1471	9
13	1887	9
14	2084	9
15	2217	9
done	2217	9
0	10	13
1	21	13
2	45	13
3	82	11
4	126	9
5	180	9
6	256	9
7	368	9
8	419	9
9	519	9
10	672	9
11	842	9
12	1471	9
13	1887	9
14	2084	9
15	2217	9
done	2217	9
0	10	13
1	21	13
2	45	13
3	82	11
4	126	9
5	180	9
6	256	9
7	368	9
8	419	9
9	519	9
10	672	9
11	842	9
12	1471	9
13	1887	9
14	2084	9
15	2217	9
done	2217	9
0	18	29
1	48	27
2	169	27
3	380	25
4	792	23
5	1260	23
6	1770	23
7	2774	23
8	4083	23
done	5001	23
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune266.0ms

Filtered

116 candidates to 166 candidates (-43.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	166	2	168

Merged error: 0b

Counts

168 → 2

regimes122.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	13
1	14	13
done	14	13

end0.0ms

sample844.0ms

Algorithm

intervals

Results

416.0ms

10179×

body

valid

Details

sample30.0ms

simplify4.2s

prune8.0ms

localize9.0ms

rewrite33.0ms

series27.0ms

simplify45.5s

prune93.0ms

localize9.0ms

rewrite60.0ms

series22.0ms

simplify53.4s

prune75.0ms

localize14.0ms

rewrite99.0ms

series90.0ms

simplify2.8min

prune266.0ms

regimes122.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample844.0ms

Profiling