Details

sample110.0ms

Algorithm

intervals

Results

25.0ms

483×

body

valid

simplify18.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	24	15
2	42	15
3	54	15
done	54	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: 33.3b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
20.4b	(/ (* z z) (* t t))
21.7b	(/ (* x x) (* y y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 55

Calls

3 calls:

10.0ms	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
8.0ms	(/ (* z z) (* t t))
7.0ms	(/ (* x x) (* y y))

series47.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
6.0ms	(/ (* z z) (* t t))
7.0ms	(/ (* x x) (* y y))

simplify2.1min

Counts

64 → 64

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	16	9
2	33	7
3	51	7
4	74	7
5	107	7
6	165	7
7	208	7
8	216	7
done	216	7
0	7	10
1	15	9
2	26	9
3	45	7
4	68	7
5	99	7
6	167	7
7	207	7
8	228	7
9	229	7
done	229	7
0	7	10
1	15	9
2	32	9
3	52	7
4	70	7
5	101	7
6	145	7
7	214	7
8	230	7
done	230	7
0	7	9
1	13	9
2	25	9
3	45	7
4	61	7
5	86	7
6	131	7
7	193	7
8	221	7
9	223	7
done	223	7
0	6	8
1	15	8
2	36	8
3	65	6
4	104	6
5	138	6
6	193	6
7	233	6
8	270	6
9	273	6
done	273	6
0	6	8
1	12	8
2	23	8
3	35	8
4	47	8
5	79	8
6	159	8
7	383	8
8	1699	8
done	5000	8
0	9	23
1	29	23
2	161	15
3	904	7
4	3249	7
done	5000	7
0	9	23
1	31	23
2	172	13
3	957	7
4	3309	7
done	5000	7
0	9	23
1	31	23
2	162	13
3	915	7
4	3072	7
done	5000	7
0	9	23
1	32	23
2	165	11
3	960	7
4	3177	7
done	5000	7
0	7	17
1	13	17
2	22	17
3	28	17
done	28	17
0	6	8
1	12	8
2	21	8
3	27	8
done	27	8
0	7	23
1	20	23
2	98	9
3	474	9
4	1854	5
5	4128	5
done	5000	5
0	6	8
1	12	8
2	22	4
3	28	4
done	28	4
0	6	8
1	12	8
2	22	4
3	28	4
done	28	4
0	3	4
1	6	4
done	6	4
0	3	4
1	6	4
done	6	4
0	3	3
done	3	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	7	11
1	16	9
2	33	7
3	51	7
4	74	7
5	107	7
6	165	7
7	208	7
8	216	7
done	216	7
0	7	10
1	15	9
2	26	9
3	45	7
4	68	7
5	99	7
6	167	7
7	207	7
8	228	7
9	229	7
done	229	7
0	7	10
1	15	9
2	32	9
3	52	7
4	70	7
5	101	7
6	145	7
7	214	7
8	230	7
done	230	7
0	7	9
1	13	9
2	25	9
3	45	7
4	61	7
5	86	7
6	131	7
7	193	7
8	221	7
9	223	7
done	223	7
0	6	8
1	15	8
2	36	8
3	65	6
4	104	6
5	138	6
6	193	6
7	233	6
8	270	6
9	273	6
done	273	6
0	6	8
1	12	8
2	23	8
3	35	8
4	47	8
5	79	8
6	159	8
7	383	8
8	1699	8
done	5000	8
0	9	23
1	29	23
2	161	15
3	904	7
4	3249	7
done	5000	7
0	9	23
1	31	23
2	172	13
3	957	7
4	3309	7
done	5000	7
0	9	23
1	31	23
2	162	13
3	915	7
4	3072	7
done	5000	7
0	9	23
1	32	23
2	165	11
3	960	7
4	3177	7
done	5000	7
0	7	17
1	13	17
2	22	17
3	28	17
done	28	17
0	6	8
1	12	8
2	21	8
3	27	8
done	27	8
0	7	23
1	20	23
2	98	9
3	474	9
4	1854	5
5	4128	5
done	5000	5
0	6	8
1	12	8
2	22	4
3	28	4
done	28	4
0	6	8
1	12	8
2	22	4
3	28	4
done	28	4
0	3	4
1	6	4
done	6	4
0	3	4
1	6	4
done	6	4
0	3	3
done	3	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	13	17
1	28	16
2	51	16
3	74	16
4	110	16
5	241	16
6	781	16
7	3505	16
done	5000	16
0	12	16
1	25	16
2	43	16
3	55	16
done	55	16
0	12	16
1	28	16
2	51	16
3	74	16
4	110	16
5	241	16
6	782	16
7	3512	16
done	5000	16
0	13	33
1	26	33
2	44	33
3	56	33
done	56	33
0	12	16
1	25	16
2	43	16
3	55	16
done	55	16
0	13	47
1	39	47
2	157	17
3	683	17
4	3408	17
done	5000	17
0	12	16
1	25	16
2	43	16
3	55	16
done	55	16
0	12	16
1	25	16
2	43	16
3	55	16
done	55	16
0	11	15
1	26	15
2	48	15
3	50	15
done	50	15
0	5	7
1	12	7
2	23	7
done	23	7
0	14	19
1	46	19
2	181	19
3	749	11
4	3541	11
done	5000	11
0	15	47
1	47	39
2	235	39
3	1016	31
4	3694	27
done	5000	27
0	13	31
1	38	31
2	146	31
3	519	19
4	1480	11
5	3087	11
done	5001	11
0	11	15
1	25	15
2	56	15
3	87	15
4	117	15
5	162	15
6	253	15
7	354	15
8	591	15
9	2117	15
done	5000	15
0	11	15
1	24	15
2	42	15
3	54	15
done	54	15
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15

prune123.0ms

Filtered

44 candidates to 64 candidates (-45.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	56	8	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	8	65

Merged error: 1.2b

Counts

65 → 8

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
0.3b	(* (/ x y) (/ x y))
20.4b	(/ (* z z) (* t t))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
41×	`times-frac`
31×	`add-cube-cbrt` `*-un-lft-identity`
27×	`add-exp-log` `add-cbrt-cube`
13×	`swap-sqr` `associate-r` `associate-l`
10×	`pow1`
8×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
5×	`div-inv` `add-log-exp`
4×	`unswap-sqr`
3×	`frac-add`
2×	`frac-times` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `frac-2neg` `flip3-+` `pow-plus` `pow-prod-down` `clear-num` `associate-/r` `sum-log` `pow-sqr` `-commutative` `pow-prod-up` `flip-+` `associate-/l*`

Counts

3 → 102

Calls

3 calls:

10.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
11.0ms	(* (/ x y) (/ x y))
8.0ms	(/ (* z z) (* t t))

series41.0ms

Counts

3 → 9

Calls

3 calls:

29.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
6.0ms	(* (/ x y) (/ x y))
6.0ms	(/ (* z z) (* t t))

simplify2.3min

Counts

111 → 111

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	16	9
2	33	7
3	51	7
4	74	7
5	107	7
6	165	7
7	208	7
8	216	7
done	216	7
0	7	10
1	15	9
2	26	9
3	45	7
4	68	7
5	99	7
6	167	7
7	207	7
8	228	7
9	229	7
done	229	7
0	7	10
1	15	9
2	32	9
3	52	7
4	70	7
5	101	7
6	145	7
7	214	7
8	230	7
done	230	7
0	7	9
1	13	9
2	25	9
3	45	7
4	61	7
5	86	7
6	131	7
7	193	7
8	221	7
9	223	7
done	223	7
0	6	8
1	15	8
2	36	8
3	65	6
4	104	6
5	138	6
6	193	6
7	233	6
8	270	6
9	273	6
done	273	6
0	6	8
1	12	8
2	23	8
3	35	8
4	47	8
5	79	8
6	159	8
7	383	8
8	1699	8
done	5000	8
0	9	23
1	29	23
2	161	15
3	904	7
4	3249	7
done	5000	7
0	9	23
1	31	23
2	172	13
3	957	7
4	3309	7
done	5000	7
0	9	23
1	31	23
2	162	13
3	915	7
4	3072	7
done	5000	7
0	9	23
1	32	23
2	165	11
3	960	7
4	3177	7
done	5000	7
0	7	17
1	13	17
2	22	17
3	28	17
done	28	17
0	6	8
1	12	8
2	21	8
3	27	8
done	27	8
0	7	23
1	20	23
2	98	9
3	474	9
4	1854	5
5	4128	5
done	5000	5
0	6	8
1	12	8
2	22	4
3	28	4
done	28	4
0	6	8
1	12	8
2	22	4
3	28	4
done	28	4
0	3	4
1	6	4
done	6	4
0	3	4
1	6	4
done	6	4
0	3	3
done	3	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	2	3
1	6	1
done	6	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	6	1
done	6	1
0	6	11
1	14	7
2	34	7
3	67	7
4	120	7
5	178	7
6	229	7
7	262	7
done	262	7
0	8	10
1	13	9
2	26	9
3	56	6
4	110	6
5	165	6
6	210	6
7	250	6
done	250	6
0	8	10
1	13	9
2	22	9
3	47	6
4	90	6
5	143	6
6	185	6
7	220	6
8	223	6
done	223	6
0	5	9
1	10	6
2	17	6
3	36	6
4	69	6
5	121	6
6	177	6
7	228	6
8	261	6
done	261	6
0	5	8
1	11	8
2	24	6
3	46	6
4	93	6
5	142	6
6	191	6
7	249	6
8	290	6
9	304	6
done	304	6
0	5	8
1	11	8
2	21	8
3	35	8
4	67	8
5	132	8
6	307	8
7	1398	8
done	5001	8
0	8	23
1	21	23
2	101	15
3	630	11
4	2617	5
done	5000	5
0	11	23
1	31	23
2	119	11
3	621	5
4	2520	5
done	5000	5
0	11	23
1	31	23
2	120	11
3	596	5
4	2550	5
done	5001	5
0	6	23
1	19	23
2	64	11
3	212	5
4	840	5
5	3061	5
done	5001	5
0	6	17
1	10	17
2	16	17
3	23	17
4	28	17
done	28	17
0	5	8
1	9	8
2	15	8
3	22	8
4	27	8
done	27	8
0	6	23
1	18	23
2	55	9
3	194	5
4	683	5
5	2701	5
done	5000	5
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	2	3
done	2	3
0	2	3
done	2	3
0	6	19
1	10	19
2	12	11
3	21	6
4	40	6
5	72	6
6	145	6
7	361	6
8	1288	6
done	5000	6
0	5	9
done	5	9
0	5	9
done	5	3
0	5	9
done	5	3
0	8	23
1	18	23
2	66	23
3	211	13
4	455	7
5	547	7
6	640	7
7	1028	7
8	2936	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	7	17
1	13	17
2	31	17
3	79	13
4	131	6
5	148	6
6	169	6
7	237	6
8	481	6
9	1262	6
10	4292	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	11
4	28	7
done	28	7
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	17
1	13	17
2	32	17
3	66	13
4	103	9
5	117	6
6	126	6
7	142	6
8	194	6
9	381	6
10	944	6
11	3068	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	5	9
1	9	9
2	15	9
3	22	5
4	26	5
done	26	5
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	5	9
1	9	9
2	15	9
3	22	9
4	27	5
done	27	5
0	3	7
1	9	1
done	9	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	4	1
done	4	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
done	2	3
0	4	7
1	10	7
2	16	5
3	27	5
done	27	5
0	5	9
done	5	3
0	5	9
done	5	3
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	3	3
1	6	1
done	6	1
0	6	13
1	11	13
2	19	13
3	27	13
4	36	13
5	42	13
6	47	13
7	48	13
done	48	13
0	5	8
1	8	8
2	11	8
3	13	8
4	15	8
5	16	8
done	16	8
0	9	15
1	20	15
2	61	15
3	156	15
4	359	15
5	624	15
6	697	15
7	708	15
done	708	15
0	8	12
1	15	12
2	33	12
3	76	12
4	151	12
5	219	12
6	236	12
7	242	12
done	242	12
0	8	11
1	17	9
2	43	9
3	128	9
4	230	9
5	289	9
6	300	9
7	303	9
done	303	9
0	8	12
1	15	12
2	34	12
3	75	12
4	141	12
5	201	12
6	210	12
done	210	12
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	8
1	14	6
2	27	6
3	59	6
4	85	6
5	93	6
6	96	6
7	97	6
done	97	6
0	8	11
1	17	11
2	35	9
3	103	9
4	179	9
5	255	9
6	325	9
7	371	9
done	371	9
0	7	8
1	14	8
2	23	6
3	61	6
4	75	6
5	95	6
6	121	6
7	137	6
done	137	6
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	5	5
1	10	3
2	20	3
done	20	3
0	4	5
1	7	5
2	9	5
done	9	5
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	12	17
1	27	16
2	49	16
3	78	16
4	144	16
5	347	16
6	1277	16
done	5000	16
0	11	16
1	22	16
2	37	16
3	50	16
4	55	16
done	55	16
0	11	16
1	25	16
2	45	16
3	67	16
4	105	16
5	214	16
6	648	16
7	2936	16
done	5000	16
0	12	33
1	23	33
2	38	33
3	51	33
4	56	33
done	56	33
0	11	16
1	22	16
2	37	16
3	50	16
4	55	16
done	55	16
0	12	47
1	36	47
2	135	17
3	582	17
4	2826	17
done	5000	17
0	11	16
1	22	16
2	37	16
3	50	16
4	55	16
done	55	16
0	11	16
1	22	16
2	37	16
3	50	16
4	55	16
done	55	16
0	11	15
1	26	15
2	48	15
3	50	15
done	50	15
0	5	7
1	12	7
2	23	7
done	23	7
0	11	15
1	23	15
2	48	15
3	79	15
4	114	15
5	126	15
6	135	15
7	137	15
done	137	15
0	4	5
1	7	5
2	9	5
done	9	5
0	11	15
1	23	15
2	47	15
3	79	15
4	113	15
5	128	15
6	137	15
7	139	15
done	139	15
0	4	5
1	7	5
2	9	5
done	9	5
0	13	19
1	42	19
2	148	15
3	572	11
4	2603	11
done	5000	11
0	14	47
1	44	39
2	194	33
3	773	27
4	2804	27
done	5001	27
0	12	31
1	35	31
2	119	25
3	420	15
4	1342	11
5	3116	11
done	5000	11
0	10	15
1	22	15
2	50	15
3	82	15
4	117	15
5	162	15
6	253	15
7	370	15
8	607	15
9	2160	15
done	5000	15
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15

prune167.0ms

Filtered

75 candidates to 111 candidates (-48.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	102	9	111
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	105	14	119

Merged error: 0.1b

Counts

119 → 14

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
0.3b	(* (/ z t) (/ z t))
0.3b	(* (/ x y) (/ x y))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

83×	`add-sqr-sqrt`
80×	`times-frac`
59×	`add-cube-cbrt` `*-un-lft-identity`
27×	`add-exp-log` `add-cbrt-cube`
26×	`swap-sqr` `associate-r` `associate-l`
17×	`pow1`
9×	`frac-add`
8×	`cbrt-undiv` `frac-times` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
5×	`add-log-exp`
2×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

3 → 154

Calls

3 calls:

8.0ms	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
33.0ms	(* (/ z t) (/ z t))
11.0ms	(* (/ x y) (/ x y))

series48.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(+ (* (/ x y) (/ x y)) (* (/ z t) (/ z t)))
6.0ms	(* (/ z t) (/ z t))
6.0ms	(* (/ x y) (/ x y))

simplify2.5min

Counts

163 → 163

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	6	1
done	6	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	6	1
done	6	1
0	6	11
1	14	7
2	34	7
3	67	7
4	120	7
5	178	7
6	229	7
7	262	7
done	262	7
0	8	10
1	13	9
2	26	9
3	56	6
4	110	6
5	165	6
6	210	6
7	250	6
done	250	6
0	8	10
1	13	9
2	22	9
3	47	6
4	90	6
5	143	6
6	185	6
7	220	6
8	223	6
done	223	6
0	5	9
1	10	6
2	17	6
3	36	6
4	69	6
5	121	6
6	177	6
7	228	6
8	261	6
done	261	6
0	5	8
1	11	8
2	24	6
3	46	6
4	93	6
5	142	6
6	191	6
7	249	6
8	290	6
9	304	6
done	304	6
0	5	8
1	11	8
2	21	8
3	35	8
4	67	8
5	132	8
6	307	8
7	1398	8
done	5001	8
0	8	23
1	21	23
2	101	15
3	630	11
4	2617	5
done	5000	5
0	11	23
1	31	23
2	119	11
3	621	5
4	2520	5
done	5000	5
0	11	23
1	31	23
2	120	11
3	596	5
4	2550	5
done	5001	5
0	6	23
1	19	23
2	64	11
3	212	5
4	840	5
5	3061	5
done	5001	5
0	6	17
1	10	17
2	16	17
3	23	17
4	28	17
done	28	17
0	5	8
1	9	8
2	15	8
3	22	8
4	27	8
done	27	8
0	6	23
1	18	23
2	55	9
3	194	5
4	683	5
5	2701	5
done	5000	5
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	2	3
done	2	3
0	2	3
done	2	3
0	6	19
1	10	19
2	12	11
3	21	6
4	40	6
5	72	6
6	145	6
7	361	6
8	1288	6
done	5000	6
0	5	9
done	5	9
0	5	9
done	5	3
0	5	9
done	5	3
0	8	23
1	18	23
2	66	23
3	211	13
4	455	7
5	547	7
6	640	7
7	1028	7
8	2936	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	7	17
1	13	17
2	31	17
3	79	13
4	131	6
5	148	6
6	169	6
7	237	6
8	481	6
9	1262	6
10	4292	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	11
4	28	7
done	28	7
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	17
1	13	17
2	32	17
3	66	13
4	103	9
5	117	6
6	126	6
7	142	6
8	194	6
9	381	6
10	944	6
11	3068	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	5	9
1	9	9
2	15	9
3	22	5
4	26	5
done	26	5
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	5	9
1	9	9
2	15	9
3	22	9
4	27	5
done	27	5
0	3	7
1	9	1
done	9	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	4	1
done	4	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
done	2	3
0	4	7
1	10	7
2	16	5
3	27	5
done	27	5
0	5	9
done	5	3
0	5	9
done	5	3
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	3	3
1	6	1
done	6	1
0	6	13
1	11	13
2	19	13
3	27	13
4	36	13
5	42	13
6	47	13
7	48	13
done	48	13
0	5	8
1	8	8
2	11	8
3	13	8
4	15	8
5	16	8
done	16	8
0	9	15
1	20	15
2	61	15
3	156	15
4	359	15
5	624	15
6	697	15
7	708	15
done	708	15
0	8	12
1	15	12
2	33	12
3	76	12
4	151	12
5	219	12
6	236	12
7	242	12
done	242	12
0	8	11
1	17	9
2	43	9
3	128	9
4	230	9
5	289	9
6	300	9
7	303	9
done	303	9
0	8	12
1	15	12
2	34	12
3	75	12
4	141	12
5	201	12
6	210	12
done	210	12
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	8
1	14	6
2	27	6
3	59	6
4	85	6
5	93	6
6	96	6
7	97	6
done	97	6
0	8	11
1	17	11
2	35	9
3	103	9
4	179	9
5	255	9
6	325	9
7	371	9
done	371	9
0	7	8
1	14	8
2	23	6
3	61	6
4	75	6
5	95	6
6	121	6
7	137	6
done	137	6
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	5	5
1	10	3
2	20	3
done	20	3
0	4	5
1	7	5
2	9	5
done	9	5
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	2	3
1	6	1
done	6	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	6	1
done	6	1
0	6	11
1	14	7
2	34	7
3	67	7
4	120	7
5	178	7
6	229	7
7	262	7
done	262	7
0	8	10
1	13	9
2	26	9
3	56	6
4	110	6
5	165	6
6	210	6
7	250	6
done	250	6
0	8	10
1	13	9
2	22	9
3	47	6
4	90	6
5	143	6
6	185	6
7	220	6
8	223	6
done	223	6
0	5	9
1	10	6
2	17	6
3	36	6
4	69	6
5	121	6
6	177	6
7	228	6
8	261	6
done	261	6
0	5	8
1	11	8
2	24	6
3	46	6
4	93	6
5	142	6
6	191	6
7	249	6
8	290	6
9	304	6
done	304	6
0	5	8
1	11	8
2	21	8
3	35	8
4	67	8
5	132	8
6	307	8
7	1398	8
done	5001	8
0	8	23
1	21	23
2	101	15
3	630	11
4	2617	5
done	5000	5
0	11	23
1	31	23
2	119	11
3	621	5
4	2520	5
done	5000	5
0	11	23
1	31	23
2	120	11
3	596	5
4	2550	5
done	5001	5
0	6	23
1	19	23
2	64	11
3	212	5
4	840	5
5	3061	5
done	5001	5
0	6	17
1	10	17
2	16	17
3	23	17
4	28	17
done	28	17
0	5	8
1	9	8
2	15	8
3	22	8
4	27	8
done	27	8
0	6	23
1	18	23
2	55	9
3	194	5
4	683	5
5	2701	5
done	5000	5
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	2	3
done	2	3
0	2	3
done	2	3
0	6	19
1	10	19
2	12	11
3	21	6
4	40	6
5	72	6
6	145	6
7	361	6
8	1288	6
done	5000	6
0	5	9
done	5	9
0	5	9
done	5	3
0	5	9
done	5	3
0	8	23
1	18	23
2	66	23
3	211	13
4	455	7
5	547	7
6	640	7
7	1028	7
8	2936	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	7	17
1	13	17
2	31	17
3	79	13
4	131	6
5	148	6
6	169	6
7	237	6
8	481	6
9	1262	6
10	4292	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	11
4	28	7
done	28	7
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	17
1	13	17
2	32	17
3	66	13
4	103	9
5	117	6
6	126	6
7	142	6
8	194	6
9	381	6
10	944	6
11	3068	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	5	9
1	9	9
2	15	9
3	22	5
4	26	5
done	26	5
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	5	9
1	9	9
2	15	9
3	22	9
4	27	5
done	27	5
0	3	7
1	9	1
done	9	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	4	1
done	4	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
done	2	3
0	4	7
1	10	7
2	16	5
3	27	5
done	27	5
0	5	9
done	5	3
0	5	9
done	5	3
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	3	3
1	6	1
done	6	1
0	6	13
1	11	13
2	19	13
3	27	13
4	36	13
5	42	13
6	47	13
7	48	13
done	48	13
0	5	8
1	8	8
2	11	8
3	13	8
4	15	8
5	16	8
done	16	8
0	9	15
1	20	15
2	61	15
3	156	15
4	359	15
5	624	15
6	697	15
7	708	15
done	708	15
0	8	12
1	15	12
2	33	12
3	76	12
4	151	12
5	219	12
6	236	12
7	242	12
done	242	12
0	8	11
1	17	9
2	43	9
3	128	9
4	230	9
5	289	9
6	300	9
7	303	9
done	303	9
0	8	12
1	15	12
2	34	12
3	75	12
4	141	12
5	201	12
6	210	12
done	210	12
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	8
1	14	6
2	27	6
3	59	6
4	85	6
5	93	6
6	96	6
7	97	6
done	97	6
0	8	11
1	17	11
2	35	9
3	103	9
4	179	9
5	255	9
6	325	9
7	371	9
done	371	9
0	7	8
1	14	8
2	23	6
3	61	6
4	75	6
5	95	6
6	121	6
7	137	6
done	137	6
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	5	5
1	10	3
2	20	3
done	20	3
0	4	5
1	7	5
2	9	5
done	9	5
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	11	17
1	26	16
2	46	16
3	86	16
4	185	16
5	479	16
6	1976	16
done	5001	16
0	10	16
1	19	16
2	31	16
3	45	16
4	55	16
done	55	16
0	10	16
1	22	16
2	39	16
3	60	16
4	100	16
5	200	16
6	553	16
7	2375	16
done	5001	16
0	11	33
1	20	33
2	32	33
3	46	33
4	56	33
done	56	33
0	10	16
1	19	16
2	31	16
3	45	16
4	55	16
done	55	16
0	11	47
1	33	47
2	113	17
3	485	17
4	2294	17
done	5001	17
0	10	16
1	19	16
2	31	16
3	45	16
4	55	16
done	55	16
0	10	16
1	19	16
2	31	16
3	45	16
4	55	16
done	55	16
0	11	15
1	26	15
2	48	15
3	50	15
done	50	15
0	5	7
1	12	7
2	23	7
done	23	7
0	11	15
1	23	15
2	47	15
3	79	15
4	115	15
5	135	15
6	140	15
done	140	15
0	4	5
1	7	5
2	9	5
done	9	5
0	11	15
1	23	15
2	48	15
3	78	15
4	113	15
5	133	15
6	139	15
done	139	15
0	4	5
1	7	5
2	9	5
done	9	5
0	11	15
1	23	15
2	48	15
3	79	15
4	114	15
5	126	15
6	135	15
7	137	15
done	137	15
0	4	5
1	7	5
2	9	5
done	9	5
0	11	15
1	24	15
2	51	15
3	72	15
4	92	15
5	96	15
6	97	15
done	97	15
0	3	3
1	4	3
done	4	3
0	11	15
1	24	15
2	52	15
3	72	15
4	92	15
5	96	15
6	98	15
done	98	15
0	3	3
1	4	3
done	4	3
0	11	15
1	23	15
2	47	15
3	79	15
4	113	15
5	128	15
6	137	15
7	139	15
done	139	15
0	4	5
1	7	5
2	9	5
done	9	5
0	11	15
1	24	15
2	50	15
3	74	15
4	95	15
5	99	15
6	100	15
done	100	15
0	3	3
1	4	3
done	4	3
0	11	15
1	24	15
2	51	15
3	68	15
4	89	15
5	93	15
6	95	15
done	95	15
0	3	3
1	4	3
done	4	3
0	12	19
1	38	19
2	113	11
3	380	11
4	1706	11
done	5001	11
0	13	47
1	43	39
2	165	31
3	585	27
4	2157	27
done	5001	27
0	11	31
1	32	31
2	99	19
3	287	11
4	994	11
5	2933	11
done	5001	11
0	9	15
1	22	15
2	43	15
3	84	15
4	151	15
5	251	15
6	367	15
7	604	15
8	2118	15
done	5001	15
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	6	7
1	14	7
2	41	7
3	58	7
4	73	7
5	90	7
6	130	7
7	247	7
8	661	7
9	2489	7
done	5000	7
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15
0	12	15
1	27	15
2	76	15
3	108	15
4	135	15
5	166	15
6	244	15
7	478	15
8	1303	15
9	4972	15
done	5000	15

prune211.0ms

Filtered

112 candidates to 163 candidates (-45.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	154	9	163
Fresh	5	8	13
Picked	1	0	1
Done	0	0	0
Total	160	17	177

Merged error: 0.0b

Counts

177 → 17

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t))))
22.6b	(cbrt (* (/ z t) (/ z t)))
22.6b	(cbrt (* (/ z t) (/ z t)))
22.6b	(cbrt (* (/ z t) (/ z t)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

33×	`cbrt-div`
20×	`frac-times`
14×	`associate-r/` `associate-l/`
12×	`add-sqr-sqrt`
11×	`pow1` `cbrt-prod`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 85

Calls

4 calls:

7.0ms	(* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t))))
6.0ms	(cbrt (* (/ z t) (/ z t)))
6.0ms	(cbrt (* (/ z t) (/ z t)))
6.0ms	(cbrt (* (/ z t) (/ z t)))

series98.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t))))
22.0ms	(cbrt (* (/ z t) (/ z t)))
22.0ms	(cbrt (* (/ z t) (/ z t)))
29.0ms	(cbrt (* (/ z t) (/ z t)))

simplify1.0min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	4	4
done	4	4
0	4	4
done	4	4
0	3	4
done	3	4
0	3	4
done	3	4
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	7	19
1	11	19
2	17	19
3	24	19
4	29	19
done	29	19
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	7	26
1	12	26
2	20	10
3	32	7
4	43	7
5	53	7
6	74	7
7	138	7
8	347	7
9	1269	7
done	5000	7
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	4	4
done	4	4
0	4	4
done	4	4
0	3	4
done	3	4
0	3	4
done	3	4
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	7	19
1	11	19
2	17	19
3	24	19
4	29	19
done	29	19
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	7	26
1	12	26
2	20	10
3	32	7
4	43	7
5	53	7
6	74	7
7	138	7
8	347	7
9	1269	7
done	5000	7
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	4	4
done	4	4
0	4	4
done	4	4
0	3	4
done	3	4
0	3	4
done	3	4
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	7	19
1	11	19
2	17	19
3	24	19
4	29	19
done	29	19
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	7	26
1	12	26
2	20	10
3	32	7
4	43	7
5	53	7
6	74	7
7	138	7
8	347	7
9	1269	7
done	5000	7
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	5	15
1	13	15
2	37	9
3	103	5
4	297	5
5	621	5
6	1367	5
7	4915	5
done	5000	5
0	6	17
1	10	17
2	16	17
3	23	17
4	28	17
done	28	17
0	2	3
1	6	1
done	6	1
0	7	19
1	13	11
2	20	11
3	27	11
4	32	11
done	32	11
0	7	18
1	13	18
2	21	11
3	29	11
4	34	11
done	34	11
0	7	18
1	13	18
2	23	18
3	35	18
4	58	18
5	98	18
6	205	18
7	580	18
8	2273	18
done	5000	18
0	5	15
1	13	15
2	37	9
3	103	5
4	297	5
5	621	5
6	1367	5
7	4915	5
done	5000	5
0	8	37
1	12	37
2	18	37
3	25	37
4	30	37
done	30	37
0	7	18
1	11	18
2	17	18
3	24	18
4	29	18
done	29	18
0	8	53
1	20	53
2	33	19
3	54	10
4	164	10
5	556	9
6	1599	5
7	4942	5
done	5000	5
0	7	18
1	12	9
2	18	9
3	25	9
4	30	9
done	30	9
0	7	18
1	12	9
2	18	9
3	25	9
4	30	9
done	30	9
0	4	9
done	4	9
0	4	9
done	4	9
0	8	11
1	11	11
2	13	11
done	13	11
0	5	7
1	6	7
done	6	7
0	8	11
1	11	11
2	13	11
done	13	11
0	5	7
1	6	7
done	6	7
0	8	11
1	11	11
2	13	11
done	13	11
0	5	7
1	6	7
done	6	7
0	6	13
1	9	13
2	11	13
done	11	13
0	3	5
done	3	5
0	8	13
1	11	13
2	13	13
done	13	13
0	3	5
done	3	5
0	8	11
1	11	11
2	13	11
done	13	11
0	5	7
1	6	7
done	6	7
0	8	13
1	11	13
2	13	13
done	13	13
0	3	5
done	3	5
0	6	13
1	9	13
2	11	13
done	11	13
0	3	5
done	3	5
0	5	9
done	5	9
0	5	9
done	5	9
0	8	39
1	16	39
2	26	21
3	42	11
4	62	11
5	88	11
6	164	11
7	379	11
8	1281	11
done	5000	11
0	7	19
1	11	19
2	17	19
3	24	19
4	29	19
done	29	19
0	7	19
1	11	8
2	18	8
3	25	8
4	30	8
done	30	8
0	7	19
1	11	8
2	18	8
3	25	8
4	30	8
done	30	8
0	2	3
1	4	1
done	4	1
0	6	17
1	10	17
2	16	17
3	23	17
4	28	17
done	28	17
0	5	9
done	5	9
0	5	9
done	5	9
0	8	14
1	13	14
2	19	14
3	26	14
4	31	14
done	31	14
0	8	14
1	13	14
2	19	14
3	26	14
4	31	14
done	31	14
0	8	14
1	13	14
2	19	14
3	26	14
4	31	14
done	31	14
0	8	14
1	13	14
2	19	14
3	26	14
4	31	14
done	31	14
0	7	19
1	11	8
2	18	8
3	25	8
4	30	8
done	30	8
0	7	19
1	11	8
2	18	8
3	25	8
4	30	8
done	30	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	13
1	12	13
2	18	13
3	25	13
4	30	13
done	30	13
0	8	28
1	15	28
2	23	28
3	30	28
4	35	28
done	35	28
0	7	18
1	12	18
2	18	18
3	25	18
4	30	18
done	30	18
0	7	10
1	14	8
2	23	8
3	30	8
4	35	8
done	35	8
0	7	13
1	12	13
2	18	13
3	25	13
4	30	13
done	30	13
0	7	18
1	12	18
2	18	18
3	25	18
4	30	18
done	30	18
0	7	18
1	12	18
2	18	18
3	25	18
4	30	18
done	30	18
0	6	17
1	10	17
2	16	17
3	23	17
4	28	17
done	28	17
0	8	13
1	13	13
2	18	13
3	25	13
4	30	13
done	30	13
0	8	15
1	13	15
2	20	15
3	28	15
4	30	15
done	30	15
0	8	15
1	13	15
2	20	15
3	28	15
4	30	15
done	30	15
0	8	13
1	13	13
2	18	13
3	25	13
4	30	13
done	30	13
0	8	15
1	13	15
2	20	15
3	28	15
4	30	15
done	30	15
0	8	15
1	13	15
2	20	15
3	28	15
4	30	15
done	30	15
0	14	15
1	26	14
2	57	12
3	135	9
4	277	7
5	616	7
6	1929	5
done	5001	5
0	16	19
1	34	16
2	75	14
3	187	10
4	463	8
5	1048	7
6	3103	5
done	5000	5
0	17	19
1	34	18
2	69	16
3	168	13
4	456	11
5	1420	11
6	4857	8
done	5000	8
0	14	15
1	26	14
2	57	12
3	135	9
4	277	7
5	616	7
6	1929	5
done	5001	5
0	16	19
1	34	16
2	75	14
3	187	10
4	463	8
5	1048	7
6	3103	5
done	5000	5
0	17	19
1	34	18
2	69	16
3	168	13
4	456	11
5	1420	11
6	4857	8
done	5000	8
0	14	15
1	26	14
2	57	12
3	135	9
4	277	7
5	616	7
6	1929	5
done	5001	5
0	16	19
1	34	16
2	75	14
3	187	10
4	463	8
5	1048	7
6	3103	5
done	5000	5
0	17	19
1	34	18
2	69	16
3	168	13
4	456	11
5	1420	11
6	4857	8
done	5000	8
0	14	15
1	26	14
2	58	12
3	136	9
4	277	7
5	565	7
6	1761	5
done	5000	5
0	16	19
1	34	16
2	76	14
3	188	10
4	459	8
5	996	7
6	2801	5
done	5000	5
0	17	19
1	34	18
2	70	16
3	169	13
4	454	11
5	1359	11
6	4232	8
done	5000	8

prune99.0ms

Filtered

76 candidates to 97 candidates (-27.6%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	96	18	114

Merged error: 0b

Counts

114 → 18

regimes1.4s

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample1.6s

Algorithm

intervals

Results

789.0ms

15369×

body

valid

Details

sample110.0ms

simplify18.0ms

prune3.0ms

localize10.0ms

rewrite26.0ms

series47.0ms

simplify2.1min

prune123.0ms

localize10.0ms

rewrite38.0ms

series41.0ms

simplify2.3min

prune167.0ms

localize8.0ms

rewrite60.0ms

series48.0ms

simplify2.5min

prune211.0ms

localize13.0ms

rewrite27.0ms

series98.0ms

simplify1.0min

prune99.0ms

regimes1.4s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.6s

Profiling