Details

sample38.0ms

Algorithm

intervals

Results

16.0ms

277×

body

valid

simplify2.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	19	11
2	38	11
3	52	11
4	80	11
5	108	11
6	152	11
7	318	11
8	1517	11
done	5000	11

prune4.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: 9.2b

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

9.0b	(/ (- x (* y z)) (- t (* a z)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
3×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
2×	`flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 32

Calls

1 calls:

7.0ms

(/ (- x (* y z)) (- t (* a z)))

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

(/ (- x (* y z)) (- t (* a z)))

simplify42.7s

Counts

35 → 35

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13
2	34	13
done	34	13
0	11	12
1	23	12
2	44	12
3	59	12
4	87	12
5	115	12
6	159	12
7	325	12
8	1526	12
done	5000	12
0	11	12
1	20	12
2	42	12
3	58	12
4	93	12
5	143	12
6	239	12
7	589	12
8	2477	12
done	5001	12
0	14	35
1	29	35
2	101	15
3	345	13
4	1290	13
done	5000	13
0	12	25
1	21	25
2	40	25
3	54	25
4	82	25
5	110	25
6	154	25
7	320	25
8	1520	25
done	5001	25
0	11	12
1	20	12
2	39	12
3	53	12
4	81	12
5	109	12
6	153	12
7	319	12
8	1518	12
done	5001	12
0	12	35
1	28	35
2	75	13
3	251	13
4	959	13
5	4268	13
done	5000	13
0	11	12
1	20	12
2	39	12
3	53	12
4	81	12
5	109	12
6	153	12
7	319	12
8	1518	12
done	5001	12
0	11	12
1	20	12
2	39	12
3	53	12
4	81	12
5	109	12
6	153	12
7	319	12
8	1518	12
done	5001	12
0	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	7	7
1	10	7
2	17	7
done	17	7
0	8	9
1	14	9
2	28	9
3	40	9
4	55	9
5	80	7
6	191	7
7	924	7
done	5000	7
0	14	27
1	26	27
2	48	27
3	54	27
done	54	27
0	12	13
1	18	13
2	31	13
done	31	13
0	13	20
1	21	20
2	36	20
3	37	20
done	37	20
0	12	13
1	18	13
2	31	13
done	31	13
0	9	15
1	16	13
2	29	13
3	34	13
done	34	13
0	11	12
1	17	12
2	30	12
done	30	12
0	13	20
1	21	20
2	34	20
done	34	20
0	12	13
1	18	13
2	31	13
done	31	13
0	12	13
1	18	13
2	31	13
done	31	13
0	12	13
1	18	13
2	31	13
done	31	13
0	8	8
1	13	6
2	22	6
done	22	6
0	11	12
1	17	12
2	30	12
done	30	12
0	9	15
1	16	15
2	23	15
done	23	15
0	11	12
1	20	12
2	39	12
3	47	12
4	63	12
5	69	12
done	69	12
0	8	8
1	13	8
2	20	8
done	20	8
0	11	12
1	20	12
2	39	12
3	47	12
4	63	12
5	69	12
done	69	12
0	2	3
1	4	1
done	4	1
0	10	11
1	19	11
2	38	11
3	52	11
4	80	11
5	108	11
6	152	11
7	318	11
8	1517	11
done	5000	11
0	7	7
1	12	7
2	19	7
done	19	7
0	10	11
1	19	11
2	38	11
3	52	11
4	80	11
5	108	11
6	152	11
7	318	11
8	1517	11
done	5000	11
0	12	19
1	23	19
2	51	19
3	82	19
4	125	19
5	151	19
6	159	19
done	159	19
0	11	12
1	20	12
2	39	12
3	47	12
4	63	12
5	69	12
done	69	12
0	7	7
1	15	5
2	30	5
3	41	5
4	67	5
5	75	5
6	81	5
done	81	5
0	11	12
1	20	12
2	39	12
3	47	12
4	63	12
5	69	12
done	69	12
0	11	12
1	20	12
2	39	12
3	47	12
4	63	12
5	69	12
done	69	12
0	10	11
1	19	11
2	38	11
3	52	11
4	80	11
5	108	11
6	152	11
7	318	11
8	1517	11
done	5000	11
0	13	15
1	38	15
2	106	15
3	323	15
4	971	15
5	3208	15
done	5000	15
0	12	17
1	31	17
2	85	17
3	193	17
4	352	17
5	655	17
6	1258	17
7	3536	17
done	5000	17
0	14	23
1	41	19
2	120	19
3	392	19
4	1194	19
5	2739	19
done	5000	19
0	10	11
1	22	11
2	56	11
3	155	11
4	295	11
5	417	11
6	523	11
7	831	11
8	1573	11
9	1773	11
10	1778	11
done	1778	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune83.0ms

Filtered

29 candidates to 35 candidates (-20.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	27	8	35
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	28	8	36

Merged error: 1.7b

Counts

36 → 8

localize12.0ms

Local error

Found 2 expressions with local error:

2.9b	(/ x (- t (* a z)))
3.6b	(/ y (- (/ t z) a))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
31×	`times-frac`
29×	`*-un-lft-identity`
21×	`add-cube-cbrt`
9×	`associate-/r*`
8×	`difference-of-squares`
6×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`associate-/r/` `distribute-lft-out--`
2×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

2 → 70

Calls

2 calls:

5.0ms	(/ x (- t (* a z)))
9.0ms	(/ y (- (/ t z) a))

series26.0ms

Counts

2 → 6

Calls

2 calls:

14.0ms	(/ x (- t (* a z)))
12.0ms	(/ y (- (/ t z) a))

simplify25.0s

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	15	9
done	15	9
0	8	8
1	13	8
2	16	8
3	17	8
done	17	8
0	8	8
1	10	8
2	11	8
done	11	8
0	11	23
1	22	23
2	67	11
3	183	9
4	448	9
5	1304	9
6	4626	9
done	5000	9
0	9	17
1	11	17
2	12	17
done	12	17
0	8	8
1	10	8
2	11	8
done	11	8
0	9	23
1	18	23
2	35	9
3	79	9
4	181	9
5	455	9
6	1218	9
7	3852	9
done	5001	9
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	2	2
done	2	2
0	6	6
1	8	6
2	12	6
3	16	6
4	17	5
done	17	5
0	11	19
1	19	19
2	29	19
3	35	19
done	35	19
0	9	9
1	11	9
2	12	9
done	12	9
0	10	12
1	14	12
2	17	12
3	18	12
done	18	12
0	9	9
1	11	9
2	12	9
done	12	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	10	8
2	11	8
done	11	8
0	11	13
1	14	13
2	16	13
3	17	13
done	17	13
0	10	10
1	12	10
2	13	10
done	13	10
0	12	14
1	15	14
2	17	14
3	18	14
done	18	14
0	11	11
1	13	11
2	14	11
done	14	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	10	8
2	11	8
done	11	8
0	10	16
1	14	16
2	15	16
done	15	16
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	10	8
2	11	8
done	11	8
0	10	10
1	11	10
done	11	10
0	10	10
1	12	10
2	13	10
done	13	10
0	11	11
1	12	11
done	12	11
0	11	11
1	13	11
2	14	11
done	14	11
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	10	8
2	11	8
done	11	8
0	9	15
1	15	15
2	16	15
done	16	15
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	10	8
2	11	8
done	11	8
0	2	3
1	4	1
done	4	1
0	7	7
1	9	7
2	10	7
done	10	7
0	9	9
1	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	10	10
1	13	10
done	13	10
0	10	10
1	12	10
2	13	10
done	13	10
0	2	3
1	4	1
done	4	1
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	7	7
1	12	7
2	17	7
3	22	7
done	22	7
0	9	15
1	13	15
2	14	15
done	14	15
0	8	8
1	10	8
2	11	8
done	11	8
0	3	3
1	5	1
done	5	1
0	9	9
1	10	9
done	10	9
0	10	10
1	11	10
done	11	10
0	3	3
1	5	1
done	5	1
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	7	7
1	12	7
2	17	7
3	22	7
done	22	7
0	10	11
1	28	11
2	68	11
3	152	11
4	389	11
5	1190	11
done	5000	11
0	9	13
1	18	13
2	33	13
3	57	13
4	95	13
5	158	13
6	232	13
7	417	13
8	1815	13
done	5000	13
0	9	9
1	14	9
2	22	9
done	22	9
0	8	8
1	14	8
2	23	8
3	24	8
done	24	8
0	8	8
1	11	8
2	18	8
done	18	8
0	11	23
1	23	23
2	74	11
3	214	9
4	626	9
5	2069	9
done	5000	9
0	9	17
1	12	17
2	19	17
done	19	17
0	8	8
1	11	8
2	18	8
done	18	8
0	9	23
1	19	23
2	42	9
3	86	9
4	192	9
5	516	9
6	1667	9
done	5000	9
0	8	8
1	11	8
2	18	8
done	18	8
0	8	8
1	11	8
2	18	8
done	18	8
0	2	2
done	2	2
0	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	11	19
1	20	19
2	36	19
3	42	19
done	42	19
0	9	9
1	12	9
2	19	9
done	19	9
0	10	12
1	15	12
2	24	12
3	25	12
done	25	12
0	9	9
1	12	9
2	19	9
done	19	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	11	8
2	18	8
done	18	8
0	10	16
1	15	16
2	22	16
done	22	16
0	9	9
1	12	9
2	19	9
done	19	9
0	9	9
1	12	9
2	19	9
done	19	9
0	9	9
1	12	9
2	19	9
done	19	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	11	8
2	18	8
done	18	8
0	9	15
1	16	15
2	23	15
done	23	15
0	8	8
1	11	8
2	18	8
done	18	8
0	8	8
1	13	8
2	20	8
done	20	8
0	8	8
1	11	8
2	18	8
done	18	8
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	12	7
2	19	7
done	19	7
0	7	7
1	13	7
2	26	7
3	34	7
4	50	7
5	56	7
done	56	7
0	9	15
1	14	15
2	21	15
done	21	15
0	8	8
1	11	8
2	18	8
done	18	8
0	3	3
1	5	1
done	5	1
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	7	7
1	13	7
2	26	7
3	34	7
4	50	7
5	56	7
done	56	7
0	10	11
1	29	11
2	84	11
3	280	11
4	705	11
5	1850	11
done	5000	11
0	9	13
1	22	13
2	54	13
3	113	13
4	162	13
5	253	13
6	363	13
7	605	13
8	2060	13
done	5000	13
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

prune122.0ms

Filtered

60 candidates to 76 candidates (-26.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	74	10	84

Merged error: 1.7b

Counts

84 → 10

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ 1 (/ (- (/ t z) a) y))
2.9b	(/ x (- t (* a z)))
3.7b	(/ (- (/ t z) a) y)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

181×	`times-frac`
165×	`add-sqr-sqrt`
117×	`*-un-lft-identity`
85×	`add-cube-cbrt`
32×	`difference-of-squares`
28×	`associate-/r*`
18×	`add-exp-log`
16×	`distribute-lft-out--`
12×	`add-cbrt-cube` `associate-/l*`
9×	`div-exp`
7×	`div-inv`
5×	`cbrt-undiv`
4×	`pow1`
3×	`frac-2neg` `clear-num` `associate-/r/` `add-log-exp`
2×	`rec-exp` `flip3--` `1-exp` `flip--` `associate-/l/`
1×	`pow-flip` `div-sub` `inv-pow`

Counts

3 → 183

Calls

3 calls:

13.0ms	(/ 1 (/ (- (/ t z) a) y))
5.0ms	(/ x (- t (* a z)))
10.0ms	(/ (- (/ t z) a) y)

series56.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(/ 1 (/ (- (/ t z) a) y))
18.0ms	(/ x (- t (* a z)))
11.0ms	(/ (- (/ t z) a) y)

simplify33.0s

Counts

192 → 192

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	15	9
done	15	9
0	8	8
1	16	8
2	23	8
3	29	8
done	29	8
0	8	8
1	13	8
2	21	8
3	28	8
4	31	8
5	37	8
6	41	8
7	57	8
8	63	8
9	74	8
10	91	8
11	120	8
12	146	8
13	161	8
14	168	8
15	174	8
done	174	8
0	11	23
1	22	23
2	70	11
3	215	9
4	635	9
5	2427	9
done	5001	9
0	9	17
1	14	17
2	19	17
3	24	17
done	24	17
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	9	23
1	21	23
2	54	9
3	191	9
4	681	9
5	2426	9
done	5000	9
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	6	6
1	8	6
2	12	6
3	16	6
4	17	5
done	17	5
0	2	2
done	2	2
0	5	5
1	7	5
2	10	5
done	10	5
0	3	3
done	3	3
0	11	19
1	19	19
2	29	19
3	35	19
done	35	19
0	9	9
1	11	9
2	12	9
done	12	9
0	10	16
1	14	16
2	17	16
3	18	16
done	18	16
0	9	9
1	11	9
2	12	9
done	12	9
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	8	8
1	10	8
2	11	8
done	11	8
0	10	12
1	14	12
2	15	12
done	15	12
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	8	8
1	12	6
2	15	6
done	15	6
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	17	7
3	22	7
done	22	7
0	11	13
1	14	13
done	14	13
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	10	10
1	11	10
done	11	10
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	9	9
1	12	7
2	14	7
done	14	7
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	12	14
1	15	14
done	15	14
0	11	11
1	16	11
2	21	11
3	26	11
done	26	11
0	11	11
1	12	11
done	12	11
0	11	11
1	16	11
2	21	11
3	26	11
done	26	11
0	10	10
1	13	8
2	15	8
done	15	8
0	10	10
1	15	10
2	20	10
3	25	10
done	25	10
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	17	7
3	22	7
done	22	7
0	3	3
1	5	3
done	5	3
0	7	7
1	9	7
2	10	7
done	10	7
0	9	11
1	16	11
2	26	11
3	37	11
4	46	11
done	46	11
0	8	8
1	13	8
2	18	8
3	23	8
done	23	8
0	7	7
1	14	5
2	21	5
3	26	5
done	26	5
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	9	7
2	10	7
done	10	7
0	9	9
1	11	9
2	12	9
done	12	9
0	10	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	11	19
1	31	17
2	73	17
3	136	15
4	212	15
5	286	15
6	333	15
7	358	15
8	363	15
done	363	15
0	7	7
1	15	7
2	20	7
3	24	7
4	26	7
5	27	7
done	27	7
0	9	9
1	14	9
2	22	9
done	22	9
0	8	8
1	14	8
2	23	8
3	24	8
done	24	8
0	8	8
1	11	8
2	18	8
done	18	8
0	11	23
1	23	23
2	74	11
3	214	9
4	626	9
5	2069	9
done	5000	9
0	9	17
1	12	17
2	19	17
done	19	17
0	8	8
1	11	8
2	18	8
done	18	8
0	9	23
1	19	23
2	42	9
3	86	9
4	192	9
5	516	9
6	1667	9
done	5000	9
0	8	8
1	11	8
2	18	8
done	18	8
0	8	8
1	11	8
2	18	8
done	18	8
0	2	2
done	2	2
0	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	11	19
1	20	19
2	36	19
3	42	19
done	42	19
0	9	9
1	12	9
2	19	9
done	19	9
0	10	12
1	15	12
2	24	12
3	25	12
done	25	12
0	9	9
1	12	9
2	19	9
done	19	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	11	8
2	18	8
done	18	8
0	10	16
1	15	16
2	22	16
done	22	16
0	9	9
1	12	9
2	19	9
done	19	9
0	9	9
1	12	9
2	19	9
done	19	9
0	9	9
1	12	9
2	19	9
done	19	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	11	8
2	18	8
done	18	8
0	9	15
1	16	15
2	23	15
done	23	15
0	8	8
1	11	8
2	18	8
done	18	8
0	8	8
1	13	8
2	20	8
done	20	8
0	8	8
1	11	8
2	18	8
done	18	8
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	12	7
2	19	7
done	19	7
0	7	7
1	13	7
2	26	7
3	34	7
4	50	7
5	56	7
done	56	7
0	9	15
1	14	15
2	21	15
done	21	15
0	8	8
1	11	8
2	18	8
done	18	8
0	3	3
1	5	1
done	5	1
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	7	7
1	13	7
2	26	7
3	34	7
4	50	7
5	56	7
done	56	7
0	10	11
1	29	11
2	84	11
3	280	11
4	705	11
5	1850	11
done	5000	11
0	9	13
1	22	13
2	54	13
3	113	13
4	162	13
5	253	13
6	363	13
7	605	13
8	2060	13
done	5000	13
0	2	2
1	5	1
done	5	1
0	10	10
1	14	10
2	19	10
3	21	10
4	22	9
done	22	9
0	9	9
1	17	9
2	24	9
3	33	9
4	35	9
5	36	9
done	36	9
0	11	11
1	19	10
2	33	10
3	52	9
4	81	9
5	107	9
6	115	9
7	129	9
done	129	9
0	10	10
1	20	9
2	33	9
3	51	9
4	77	9
5	107	9
6	116	9
7	122	9
8	139	9
done	139	9
0	12	12
1	22	11
2	31	10
3	56	9
4	85	9
5	112	9
6	121	9
7	136	9
done	136	9
0	11	11
1	23	10
2	33	9
3	55	9
4	81	9
5	111	9
6	118	9
7	124	9
8	138	9
done	138	9
0	10	10
1	23	9
2	37	9
3	56	8
4	72	8
5	110	8
6	140	8
7	145	8
8	151	8
9	168	8
done	168	8
0	10	10
1	19	10
2	29	10
3	41	8
4	49	8
5	74	8
6	145	8
7	302	8
8	832	8
9	2800	8
done	5000	8
0	15	29
1	33	25
2	105	13
3	384	11
4	1171	11
5	3654	9
done	5001	9
0	13	29
1	34	25
2	87	11
3	317	11
4	1038	9
5	3646	9
done	5000	9
0	11	21
1	20	21
2	28	21
3	34	17
done	34	17
0	10	10
1	19	10
2	27	10
3	33	8
done	33	8
0	11	29
1	27	29
2	70	11
3	264	9
4	635	9
5	1318	9
6	3309	9
done	5000	9
0	10	10
1	19	10
2	27	10
3	33	8
done	33	8
0	10	10
1	19	10
2	27	10
3	33	8
done	33	8
0	2	2
1	5	1
done	5	1
0	8	8
1	15	8
2	23	8
3	35	8
4	42	7
5	45	7
done	45	7
0	13	23
1	26	21
2	40	19
3	51	19
done	51	19
0	11	11
1	18	10
2	23	10
3	28	10
done	28	10
0	12	14
1	21	12
2	28	10
3	34	10
done	34	10
0	11	11
1	18	10
2	23	10
3	28	10
done	28	10
0	15	25
1	29	23
2	66	21
3	138	19
4	184	19
done	184	19
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	14	22
1	24	20
2	43	18
3	76	16
4	100	16
done	100	16
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	12	21
1	22	15
2	37	15
3	46	15
done	46	15
0	11	11
1	17	10
2	21	10
3	22	8
done	22	8
0	14	18
1	24	16
2	40	14
3	60	12
4	64	12
done	64	12
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	13	15
1	21	13
2	31	11
3	39	9
4	40	9
done	40	9
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	11	14
1	19	8
2	25	8
done	25	8
0	11	11
1	17	10
2	21	10
3	22	8
done	22	8
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	5	9
1	11	1
done	11	1
0	10	10
1	19	9
2	27	9
3	33	7
done	33	7
0	15	19
1	24	17
2	39	15
3	59	13
4	62	13
done	62	13
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	14	16
1	21	14
2	30	12
3	38	10
4	39	10
done	39	10
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	12	15
1	19	9
2	24	9
done	24	9
0	12	12
1	21	11
2	27	11
3	30	9
done	30	9
0	16	20
1	25	18
2	40	16
3	60	14
4	64	14
done	64	14
0	14	14
1	23	13
2	31	13
3	37	11
4	68	11
5	92	11
done	92	11
0	15	17
1	22	15
2	31	13
3	39	11
4	40	11
done	40	11
0	14	14
1	23	13
2	31	13
3	37	11
4	68	11
5	92	11
done	92	11
0	13	16
1	20	10
2	25	10
done	25	10
0	13	13
1	22	12
2	30	12
3	36	10
done	36	10
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	5	9
1	11	1
done	11	1
0	10	10
1	19	9
2	27	9
3	33	7
done	33	7
0	4	7
1	8	3
2	12	1
done	12	1
0	10	10
1	19	9
2	27	9
3	33	7
done	33	7
0	9	11
1	15	9
2	21	7
3	26	7
4	31	7
done	31	7
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	12	20
1	21	19
2	26	19
3	31	19
done	31	19
0	11	11
1	18	10
2	23	10
3	28	10
done	28	10
0	11	11
1	18	10
2	23	10
3	28	10
done	28	10
0	11	11
1	18	10
2	23	10
3	28	10
done	28	10
0	14	22
1	26	21
2	48	21
3	79	19
4	139	19
5	205	19
done	205	19
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	13	19
1	21	18
2	30	18
3	43	16
4	70	16
5	104	16
done	104	16
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	11	18
1	19	15
2	31	15
3	40	15
done	40	15
0	11	11
1	17	10
2	21	10
3	22	8
done	22	8
0	13	15
1	21	14
2	29	14
3	37	12
4	61	12
5	78	12
done	78	12
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	10	11
1	16	8
2	22	8
done	22	8
0	11	11
1	17	10
2	21	10
3	22	8
done	22	8
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	4	6
1	8	1
done	8	1
0	10	10
1	19	9
2	27	9
3	33	7
done	33	7
0	14	16
1	21	15
2	28	15
3	36	13
4	60	13
5	77	13
done	77	13
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	13	13
1	18	12
2	21	12
3	22	10
4	35	10
5	42	10
done	42	10
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	11	12
1	16	9
2	21	9
done	21	9
0	12	12
1	21	11
2	27	11
3	30	9
done	30	9
0	15	17
1	22	16
2	29	16
3	37	14
4	61	14
5	76	14
done	76	14
0	14	14
1	23	13
2	31	13
3	37	11
4	68	11
5	92	11
done	92	11
0	14	14
1	19	13
2	22	13
3	23	11
4	36	11
5	43	11
done	43	11
0	14	14
1	23	13
2	31	13
3	37	11
4	68	11
5	92	11
done	92	11
0	12	13
1	17	10
2	22	10
done	22	10
0	13	13
1	22	12
2	30	12
3	36	10
done	36	10
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	11	11
1	20	10
2	28	10
3	34	8
4	65	8
5	89	8
done	89	8
0	4	6
1	8	1
done	8	1
0	10	10
1	19	9
2	27	9
3	33	7
done	33	7
0	3	4
1	5	1
done	5	1
0	10	10
1	19	9
2	27	9
3	33	7
done	33	7
0	8	8
1	12	7
2	13	7
done	13	7
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	11	19
1	20	19
2	25	19
3	30	19
done	30	19
0	10	10
1	17	10
2	22	10
3	27	10
done	27	10
0	10	10
1	17	10
2	22	10
3	27	10
done	27	10
0	10	10
1	17	10
2	22	10
3	27	10
done	27	10
0	13	21
1	25	21
2	47	21
3	78	19
4	138	19
5	203	19
done	203	19
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	12	18
1	20	18
2	29	18
3	42	16
4	69	16
5	105	16
done	105	16
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	10	17
1	18	15
2	30	15
3	39	15
done	39	15
0	10	10
1	16	10
2	20	10
3	21	8
done	21	8
0	12	14
1	20	14
2	28	14
3	36	12
4	60	12
5	75	12
done	75	12
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	9	10
1	15	8
2	21	8
done	21	8
0	10	10
1	16	10
2	20	10
3	21	8
done	21	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	10	10
1	19	10
2	27	10
3	33	8
4	64	8
5	90	8
done	90	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	10	10
1	19	10
2	27	10
3	33	8
4	64	8
5	90	8
done	90	8
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	26	9
3	32	7
done	32	7
0	13	15
1	20	15
2	27	15
3	35	13
4	59	13
5	74	13
done	74	13
0	12	12
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	12	12
1	17	12
2	20	12
3	21	10
4	34	10
5	39	10
done	39	10
0	12	12
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	10	11
1	15	9
2	20	9
done	20	9
0	11	11
1	20	11
2	26	11
3	29	9
done	29	9
0	14	16
1	21	16
2	28	16
3	36	14
4	60	14
5	75	14
done	75	14
0	13	13
1	22	13
2	30	13
3	36	11
4	67	11
5	91	11
done	91	11
0	13	13
1	18	13
2	21	13
3	22	11
4	35	11
5	42	11
done	42	11
0	13	13
1	22	13
2	30	13
3	36	11
4	67	11
5	91	11
done	91	11
0	11	12
1	16	10
2	21	10
done	21	10
0	12	12
1	21	12
2	29	12
3	35	10
done	35	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	10	10
1	19	10
2	27	10
3	33	8
4	64	8
5	90	8
done	90	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	10	10
1	19	10
2	27	10
3	33	8
4	64	8
5	90	8
done	90	8
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	26	9
3	32	7
done	32	7
0	2	3
1	4	1
done	4	1
0	9	9
1	18	9
2	26	9
3	32	7
done	32	7
0	7	7
1	11	7
2	12	7
done	12	7
0	4	5
1	8	1
done	8	1
0	9	9
1	18	9
2	26	9
3	32	7
done	32	7
0	9	9
1	18	7
2	33	7
3	45	7
4	57	7
5	73	7
done	73	7
0	11	19
1	20	19
2	25	19
3	30	19
done	30	19
0	10	10
1	17	10
2	22	10
3	27	10
done	27	10
0	13	21
1	25	21
2	47	21
3	78	19
4	138	19
5	203	19
done	203	19
0	12	18
1	20	18
2	29	18
3	42	16
4	69	16
5	105	16
done	105	16
0	10	17
1	18	15
2	30	15
3	39	15
done	39	15
0	12	14
1	20	14
2	28	14
3	36	12
4	60	12
5	75	12
done	75	12
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	9	10
1	15	8
2	21	8
done	21	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	13	15
1	20	15
2	27	15
3	35	13
4	59	13
5	74	13
done	74	13
0	12	12
1	17	12
2	20	12
3	21	10
4	34	10
5	39	10
done	39	10
0	10	11
1	15	9
2	20	9
done	20	9
0	14	16
1	21	16
2	28	16
3	36	14
4	60	14
5	75	14
done	75	14
0	13	13
1	18	13
2	21	13
3	22	11
4	35	11
5	42	11
done	42	11
0	11	12
1	16	10
2	21	10
done	21	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	12	7
done	12	7
0	10	10
1	19	9
2	33	9
3	51	7
4	69	7
5	84	7
done	84	7
0	10	10
1	19	9
2	33	9
3	51	7
4	69	7
5	84	7
done	84	7
0	9	9
1	18	7
2	33	7
3	45	7
4	57	7
5	73	7
done	73	7
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	13	9
2	18	9
done	18	9
0	5	5
1	9	4
2	14	4
3	18	4
4	19	4
done	19	4
0	5	5
1	9	4
2	14	4
3	18	4
4	19	4
done	19	4
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

prune188.0ms

Filtered

117 candidates to 192 candidates (-64.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	190	2	192
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	191	11	202

Merged error: 1.6b

Counts

202 → 11

localize13.0ms

Local error

Found 3 expressions with local error:

0.3b	(/ 1 (- (/ t z) a))
2.9b	(/ x (- t (* a z)))
3.5b	(* y (/ 1 (- (/ t z) a)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
54×	`times-frac`
48×	`*-un-lft-identity`
33×	`add-cube-cbrt`
24×	`associate-r`
18×	`add-exp-log`
14×	`difference-of-squares`
12×	`add-cbrt-cube`
9×	`associate-/r*`
7×	`distribute-lft-out--`
6×	`pow1` `associate-/r/` `associate-/l*`
5×	`div-exp`
4×	`prod-exp`
3×	`cbrt-undiv` `flip3--` `associate-l` `flip--` `div-inv` `add-log-exp` `unswap-sqr`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `cbrt-unprod`
1×	`pow-flip` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `inv-pow`

Counts

3 → 121

Calls

3 calls:

10.0ms	(/ 1 (- (/ t z) a))
5.0ms	(/ x (- t (* a z)))
17.0ms	(* y (/ 1 (- (/ t z) a)))

series41.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(/ 1 (- (/ t z) a))
17.0ms	(/ x (- t (* a z)))
12.0ms	(* y (/ 1 (- (/ t z) a)))

simplify45.7s

Counts

130 → 130

Iterations

Useful iterations: 3 (6.0ms)

Iter	Nodes	Cost
0	9	9
1	16	9
2	20	7
3	24	7
4	33	7
5	39	7
done	39	7
0	10	10
1	14	9
2	15	9
done	15	9
0	11	11
1	18	10
2	29	9
3	38	9
4	56	9
5	81	9
6	84	9
7	93	9
8	105	9
done	105	9
0	12	12
1	21	11
2	29	9
3	46	9
4	64	9
5	90	9
6	95	9
7	104	9
8	118	9
done	118	9
0	11	11
1	20	10
2	27	9
3	38	9
4	50	9
5	82	9
6	100	9
7	107	9
8	114	9
done	114	9
0	10	10
1	20	10
2	30	8
3	39	8
4	61	8
5	78	8
6	109	8
7	115	8
8	127	8
done	127	8
0	10	10
1	19	10
2	29	8
3	43	8
4	93	8
5	205	8
6	486	8
7	1423	8
8	4990	8
done	5000	8
0	15	29
1	33	25
2	92	11
3	315	11
4	815	11
5	2157	9
done	5000	9
0	13	29
1	30	29
2	80	13
3	216	13
4	524	9
5	1242	9
6	3393	9
done	5001	9
0	11	21
1	18	21
2	22	17
3	26	17
4	35	17
5	41	17
done	41	17
0	10	10
1	17	10
2	21	8
3	25	8
4	34	8
5	40	8
done	40	8
0	11	29
1	28	29
2	83	9
3	211	9
4	461	9
5	881	9
6	2311	9
done	5000	9
0	10	10
1	17	10
2	21	8
3	25	8
4	34	8
5	40	8
done	40	8
0	10	10
1	17	10
2	21	8
3	25	8
4	34	8
5	40	8
done	40	8
0	11	11
1	16	11
2	17	11
done	17	11
0	11	11
1	16	11
2	17	11
done	17	11
0	12	12
1	19	11
2	23	11
3	27	9
4	38	9
done	38	9
0	12	12
1	19	11
2	23	11
3	27	9
4	38	9
done	38	9
0	11	11
1	18	11
2	22	9
3	37	9
4	38	9
done	38	9
0	11	11
1	18	11
2	22	9
3	37	9
4	38	9
done	38	9
0	11	19
1	18	19
2	21	19
done	21	19
0	10	10
1	15	10
2	16	10
done	16	10
0	13	21
1	26	19
2	56	17
3	90	15
4	100	15
5	103	15
done	103	15
0	12	14
1	21	12
2	32	10
3	45	8
4	46	8
done	46	8
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	13	15
1	21	13
2	31	11
3	44	9
4	45	9
done	45	9
0	14	16
1	22	14
2	32	12
3	45	10
4	46	10
done	46	10
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	12	18
1	21	17
2	33	17
3	47	15
4	72	15
5	84	15
done	84	15
0	11	11
1	18	10
2	22	10
3	26	8
4	32	8
5	33	8
done	33	8
0	5	6
1	10	3
2	15	1
done	15	1
0	12	12
1	18	11
2	21	11
3	25	9
4	31	9
5	32	9
done	32	9
0	13	13
1	19	12
2	22	12
3	26	10
4	32	10
5	33	10
done	33	10
0	5	6
1	10	3
2	15	1
done	15	1
0	11	17
1	20	17
2	31	15
3	38	15
4	58	15
5	88	15
6	91	15
done	91	15
0	10	10
1	17	10
2	21	8
3	22	8
4	27	8
5	28	8
done	28	8
0	4	5
1	9	3
2	14	1
done	14	1
0	11	11
1	17	11
2	20	9
3	21	9
4	26	9
5	27	9
done	27	9
0	12	12
1	18	12
2	21	10
3	22	10
4	27	10
5	28	10
done	28	10
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	12	13
1	35	13
2	78	11
3	170	11
4	485	11
5	1816	11
done	5000	11
0	11	15
1	25	15
2	47	13
3	87	13
4	171	13
5	357	13
6	551	13
7	851	13
8	2560	13
done	5000	13
0	10	10
1	17	10
2	21	8
3	39	8
4	49	8
5	62	8
6	71	8
7	75	8
8	77	8
done	77	8
0	10	10
1	17	10
2	21	8
3	39	8
4	49	8
5	62	8
6	71	8
7	75	8
8	77	8
done	77	8
0	9	9
1	16	9
2	20	7
3	24	7
4	33	7
5	39	7
done	39	7
0	3	3
1	6	1
done	6	1
0	9	9
1	14	9
2	22	9
done	22	9
0	8	8
1	14	8
2	23	8
3	24	8
done	24	8
0	8	8
1	11	8
2	18	8
done	18	8
0	11	23
1	23	23
2	74	11
3	214	9
4	626	9
5	2069	9
done	5000	9
0	9	17
1	12	17
2	19	17
done	19	17
0	8	8
1	11	8
2	18	8
done	18	8
0	9	23
1	19	23
2	42	9
3	86	9
4	192	9
5	516	9
6	1667	9
done	5000	9
0	8	8
1	11	8
2	18	8
done	18	8
0	8	8
1	11	8
2	18	8
done	18	8
0	2	2
done	2	2
0	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	11	19
1	20	19
2	36	19
3	42	19
done	42	19
0	9	9
1	12	9
2	19	9
done	19	9
0	10	12
1	15	12
2	24	12
3	25	12
done	25	12
0	9	9
1	12	9
2	19	9
done	19	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	11	8
2	18	8
done	18	8
0	10	16
1	15	16
2	22	16
done	22	16
0	9	9
1	12	9
2	19	9
done	19	9
0	9	9
1	12	9
2	19	9
done	19	9
0	9	9
1	12	9
2	19	9
done	19	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	11	8
2	18	8
done	18	8
0	9	15
1	16	15
2	23	15
done	23	15
0	8	8
1	11	8
2	18	8
done	18	8
0	8	8
1	13	8
2	20	8
done	20	8
0	8	8
1	11	8
2	18	8
done	18	8
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	12	7
2	19	7
done	19	7
0	7	7
1	13	7
2	26	7
3	34	7
4	50	7
5	56	7
done	56	7
0	9	15
1	14	15
2	21	15
done	21	15
0	8	8
1	11	8
2	18	8
done	18	8
0	3	3
1	5	1
done	5	1
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	7	7
1	13	7
2	26	7
3	34	7
4	50	7
5	56	7
done	56	7
0	10	11
1	29	11
2	84	11
3	280	11
4	705	11
5	1850	11
done	5000	11
0	9	13
1	22	13
2	54	13
3	113	13
4	162	13
5	253	13
6	363	13
7	605	13
8	2060	13
done	5000	13
0	2	2
1	5	1
done	5	1
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	12	7
2	17	7
3	19	7
4	25	7
5	30	7
done	30	7
0	9	9
1	15	8
2	17	7
3	23	7
4	29	7
5	34	7
done	34	7
0	8	8
1	16	7
2	18	7
3	22	7
4	24	7
5	30	7
6	35	7
done	35	7
0	8	8
1	12	8
2	13	8
done	13	8
0	11	23
1	23	19
2	48	9
3	120	9
4	324	9
5	949	9
6	2797	9
done	5001	9
0	9	17
1	13	17
2	14	17
done	14	17
0	8	8
1	12	8
2	13	8
done	13	8
0	9	23
1	20	23
2	37	9
3	80	9
4	121	9
5	229	9
6	480	9
7	1175	9
8	3118	9
done	5000	9
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	12	8
2	13	8
done	13	8
0	2	2
1	5	1
done	5	1
0	6	6
1	8	6
2	12	6
3	16	6
4	17	5
done	17	5
0	11	19
1	21	17
2	31	15
3	37	15
done	37	15
0	9	9
1	13	8
2	14	8
done	14	8
0	10	12
1	16	10
2	19	8
3	20	8
done	20	8
0	9	9
1	13	8
2	14	8
done	14	8
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	12	7
2	13	7
done	13	7
0	11	13
1	16	11
2	18	9
3	19	9
done	19	9
0	10	10
1	14	9
2	15	9
done	15	9
0	12	14
1	17	12
2	19	10
3	20	10
done	20	10
0	11	11
1	15	10
2	16	10
done	16	10
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	12	7
2	13	7
done	13	7
0	10	16
1	16	15
2	17	15
done	17	15
0	9	9
1	13	8
2	14	8
done	14	8
0	9	9
1	13	8
2	14	8
done	14	8
0	9	9
1	13	8
2	14	8
done	14	8
0	3	4
1	5	1
done	5	1
0	8	8
1	12	7
2	13	7
done	13	7
0	10	10
1	13	9
done	13	9
0	10	10
1	14	9
2	15	9
done	15	9
0	11	11
1	14	10
done	14	10
0	11	11
1	15	10
2	16	10
done	16	10
0	3	4
1	5	1
done	5	1
0	8	8
1	12	7
2	13	7
done	13	7
0	9	15
1	15	15
2	16	15
done	16	15
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	12	8
2	13	8
done	13	8
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	12	7
done	12	7
0	9	9
1	12	9
done	12	9
0	9	9
1	13	9
2	14	9
done	14	9
0	10	10
1	13	10
done	13	10
0	10	10
1	14	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	12	7
done	12	7
0	7	7
1	11	7
2	12	7
done	12	7
0	7	7
1	14	5
2	21	5
3	26	5
done	26	5
0	9	15
1	15	15
2	16	15
done	16	15
0	8	8
1	12	8
2	13	8
done	13	8
0	2	3
1	4	1
done	4	1
0	9	9
1	12	9
done	12	9
0	10	10
1	13	10
done	13	10
0	2	3
1	4	1
done	4	1
0	8	8
1	15	7
2	20	7
3	25	5
4	30	5
5	32	5
done	32	5
0	8	8
1	15	7
2	20	7
3	25	5
4	30	5
5	32	5
done	32	5
0	7	7
1	14	5
2	21	5
3	26	5
done	26	5
0	10	11
1	30	11
2	70	11
3	154	11
4	389	11
5	1194	11
done	5000	11
0	9	13
1	20	13
2	35	13
3	59	13
4	97	13
5	160	13
6	234	13
7	419	13
8	1829	13
done	5000	13
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

prune115.0ms

Filtered

83 candidates to 130 candidates (-56.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	130	11	141

Merged error: 1.6b

Counts

141 → 11

regimes512.0ms

Accuracy

71% (0.5b remaining)

Error of 1.8b against oracle of 1.3b and baseline of 3.0b

bsearch52.0ms

Steps

Iters	Range		Point
9	6.164181932243611e-75	9.145192659149947e-69	1.739404747569713e-69
9	-1.636386084638462e-73	-4.4238300919920796e-83	-2.718560291811737e-77

simplify3.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	24	55
1	32	39
done	32	39

end0.0ms

sample945.0ms

Algorithm

intervals

Results

384.0ms

8702×

body

valid

Details

sample38.0ms

simplify2.4s

prune4.0ms

localize9.0ms

rewrite8.0ms

series24.0ms

simplify42.7s

prune83.0ms

localize12.0ms

rewrite17.0ms

series26.0ms

simplify25.0s

prune122.0ms

localize13.0ms

rewrite40.0ms

series56.0ms

simplify33.0s

prune188.0ms

localize13.0ms

rewrite37.0ms

series41.0ms

simplify45.7s

prune115.0ms

regimes512.0ms

bsearch52.0ms

simplify3.0ms

end0.0ms

sample945.0ms

Profiling