Details

sample25.0ms

Algorithm

intervals

Results

8.0ms

267×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	17	7
done	17	7

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

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- y (* z t))
3.2b	(/ x (- y (* z t)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

3.0ms	(- y (* z t))
5.0ms	(/ x (- y (* z t)))

series21.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(- y (* z t))
13.0ms	(/ x (- y (* z t)))

simplify29.9s

Counts

47 → 47

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	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	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune103.0ms

Filtered

38 candidates to 47 candidates (-23.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	37	10	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	11	48

Merged error: 3.1b

Counts

48 → 11

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- y (* z t))
0.3b	(/ 1 (- y (* z t)))
3.2b	(* x (/ 1 (- y (* z t))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
20×	`*-un-lft-identity` `times-frac`
19×	`add-cube-cbrt`
16×	`add-exp-log`
15×	`associate-r`
10×	`add-cbrt-cube`
6×	`pow1`
5×	`add-log-exp`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`flip3--` `associate-l` `associate-/r` `flip--` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `cbrt-unprod` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

3 → 83

Calls

3 calls:

3.0ms	(- y (* z t))
6.0ms	(/ 1 (- y (* z t)))
10.0ms	(* x (/ 1 (- y (* z t))))

series39.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify54.7s

Counts

92 → 92

Iterations

Useful iterations: 3 (6.0ms)

Iter	Nodes	Cost
0	9	9
1	17	9
2	27	7
3	31	7
4	42	7
5	54	7
6	80	7
7	88	7
8	94	7
done	94	7
0	10	10
1	15	9
2	22	9
done	22	9
0	11	11
1	19	10
2	36	9
3	45	9
4	63	9
5	88	9
6	93	9
7	102	9
8	116	9
done	116	9
0	12	12
1	22	11
2	36	9
3	53	9
4	71	9
5	97	9
6	100	9
7	109	9
8	127	9
done	127	9
0	11	11
1	21	10
2	34	9
3	45	9
4	57	9
5	89	9
6	108	9
7	115	9
8	125	9
done	125	9
0	10	10
1	21	10
2	37	8
3	46	8
4	70	8
5	93	8
6	150	8
7	166	8
8	186	8
done	186	8
0	10	10
1	20	10
2	36	8
3	50	8
4	102	8
5	228	8
6	563	8
7	1644	8
done	5000	8
0	15	29
1	34	25
2	99	11
3	348	11
4	1018	11
5	3046	9
done	5001	9
0	13	29
1	31	29
2	87	13
3	225	13
4	551	9
5	1409	9
6	4792	9
done	5000	9
0	11	21
1	19	21
2	29	17
3	33	17
4	44	17
5	56	17
6	82	17
7	90	17
8	96	17
done	96	17
0	10	10
1	18	10
2	28	8
3	32	8
4	43	8
5	55	8
6	81	8
7	89	8
8	95	8
done	95	8
0	11	29
1	29	29
2	90	9
3	216	9
4	463	9
5	1005	9
6	3710	9
done	5000	9
0	10	10
1	18	10
2	28	8
3	32	8
4	43	8
5	55	8
6	81	8
7	89	8
8	95	8
done	95	8
0	10	10
1	18	10
2	28	8
3	32	8
4	43	8
5	55	8
6	81	8
7	89	8
8	95	8
done	95	8
0	11	11
1	17	11
2	24	11
done	24	11
0	11	11
1	17	11
2	24	11
done	24	11
0	12	12
1	20	11
2	30	11
3	34	9
4	45	9
5	46	9
done	46	9
0	12	12
1	20	11
2	30	11
3	34	9
4	45	9
5	46	9
done	46	9
0	11	11
1	19	11
2	29	9
3	44	9
4	45	9
done	45	9
0	11	11
1	19	11
2	29	9
3	44	9
4	45	9
done	45	9
0	11	19
1	19	19
2	28	19
done	28	19
0	10	10
1	16	10
2	23	10
done	23	10
0	13	21
1	27	19
2	63	17
3	97	15
4	107	15
5	108	15
done	108	15
0	12	14
1	22	12
2	39	10
3	52	8
4	53	8
done	53	8
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	12	18
1	22	17
2	40	17
3	53	15
4	78	15
5	90	15
done	90	15
0	11	11
1	19	10
2	29	10
3	33	8
4	39	8
5	40	8
done	40	8
0	5	6
1	10	3
2	15	1
done	15	1
0	11	17
1	21	17
2	38	15
3	46	15
4	64	15
5	95	15
6	98	15
done	98	15
0	10	10
1	18	10
2	28	8
3	29	8
4	34	8
5	35	8
done	35	8
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	36	13
2	94	11
3	303	11
4	811	11
5	2498	11
done	5001	11
0	11	15
1	29	15
2	68	13
3	143	13
4	240	13
5	479	13
6	918	13
7	1598	13
8	3770	13
done	5001	13
0	10	10
1	18	10
2	28	8
3	46	8
4	58	8
5	87	8
6	164	8
7	202	8
8	232	8
done	232	8
0	10	10
1	18	10
2	28	8
3	46	8
4	58	8
5	87	8
6	164	8
7	202	8
8	232	8
done	232	8
0	9	9
1	17	9
2	27	7
3	31	7
4	42	7
5	54	7
6	80	7
7	88	7
8	94	7
done	94	7
0	3	3
1	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	7	7
1	10	7
2	17	7
done	17	7
0	8	8
1	13	7
2	24	7
3	26	7
4	32	7
5	37	7
done	37	7
0	9	9
1	16	8
2	24	7
3	30	7
4	36	7
5	41	7
done	41	7
0	8	8
1	17	7
2	25	7
3	29	7
4	31	7
5	37	7
6	42	7
done	42	7
0	8	8
1	13	8
2	20	8
done	20	8
0	11	23
1	24	19
2	55	9
3	151	9
4	511	9
5	1716	9
6	4845	9
done	5000	9
0	9	17
1	14	17
2	21	17
done	21	17
0	8	8
1	13	8
2	20	8
done	20	8
0	9	23
1	21	23
2	44	9
3	87	9
4	140	9
5	318	9
6	801	9
7	2389	9
done	5000	9
0	8	8
1	13	8
2	20	8
done	20	8
0	8	8
1	13	8
2	20	8
done	20	8
0	2	2
1	5	1
done	5	1
0	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	11	19
1	22	17
2	38	15
3	44	15
done	44	15
0	9	9
1	14	8
2	21	8
done	21	8
0	10	12
1	17	10
2	26	8
3	27	8
done	27	8
0	9	9
1	14	8
2	21	8
done	21	8
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	13	7
2	20	7
done	20	7
0	10	16
1	17	15
2	24	15
done	24	15
0	9	9
1	14	8
2	21	8
done	21	8
0	9	9
1	14	8
2	21	8
done	21	8
0	9	9
1	14	8
2	21	8
done	21	8
0	3	4
1	5	1
done	5	1
0	8	8
1	13	7
2	20	7
done	20	7
0	9	15
1	16	15
2	23	15
done	23	15
0	8	8
1	13	8
2	20	8
done	20	8
0	8	8
1	13	8
2	20	8
done	20	8
0	8	8
1	13	8
2	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	19	7
done	19	7
0	7	7
1	12	7
2	19	7
done	19	7
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	9	15
1	16	15
2	23	15
done	23	15
0	8	8
1	13	8
2	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	8	8
1	16	7
2	29	7
3	37	5
4	57	5
5	72	5
6	90	5
done	90	5
0	8	8
1	16	7
2	29	7
3	37	5
4	57	5
5	72	5
6	90	5
done	90	5
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	10	11
1	31	11
2	86	11
3	276	11
4	702	11
5	1859	11
done	5000	11
0	9	13
1	24	13
2	56	13
3	115	13
4	164	13
5	265	13
6	369	13
7	611	13
8	2041	13
done	5000	13
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	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
0	1	1
done	1	1
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune114.0ms

Filtered

55 candidates to 92 candidates (-67.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	92	11	103

Merged error: 3.1b

Counts

103 → 11

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- y (* z t))
0.5b	(/ 1 (/ (- y (* z t)) x))
3.2b	(/ (- y (* z t)) x)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
53×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `associate-/r*`
10×	`add-cbrt-cube`
8×	`div-exp`
6×	`div-inv` `associate-/l*`
5×	`add-log-exp`
4×	`pow1` `cbrt-undiv`
2×	`rec-exp` `flip3--` `frac-2neg` `1-exp` `clear-num` `flip--` `associate-/l/`
1×	`sub-neg` `pow-flip` `diff-log` `div-sub` `associate-/r/` `inv-pow`

Counts

3 → 118

Calls

3 calls:

4.0ms	(- y (* z t))
7.0ms	(/ 1 (/ (- y (* z t)) x))
6.0ms	(/ (- y (* z t)) x)

series54.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(- y (* z t))
33.0ms	(/ 1 (/ (- y (* z t)) x))
13.0ms	(/ (- y (* z t)) x)

simplify42.0s

Counts

127 → 127

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	22	9
done	22	9
0	8	8
1	17	8
2	32	8
3	41	8
4	57	8
5	63	8
done	63	8
0	8	8
1	14	8
2	30	8
3	40	8
4	63	8
5	92	8
6	146	8
7	331	8
8	1019	8
9	3384	8
done	5000	8
0	11	23
1	23	23
2	77	11
3	248	9
4	860	9
5	3743	9
done	5000	9
0	9	17
1	15	17
2	28	17
3	36	17
4	52	17
5	58	17
done	58	17
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	9	23
1	22	23
2	63	9
3	227	9
4	893	9
5	3859	9
done	5000	9
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	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	2	2
done	2	2
0	3	3
done	3	3
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	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	16
1	15	16
2	24	16
3	25	16
done	25	16
0	9	9
1	12	9
2	19	9
done	19	9
0	9	15
1	16	13
2	29	13
3	34	13
done	34	13
0	8	8
1	11	8
2	18	8
done	18	8
0	10	12
1	15	12
2	22	12
done	22	12
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	8	8
1	13	6
2	22	6
done	22	6
0	8	8
1	11	8
2	18	8
done	18	8
0	5	7
1	9	7
done	9	7
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	4	4
1	6	4
done	6	4
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	2	3
1	4	1
done	4	1
0	7	7
1	13	7
2	26	7
3	34	7
4	50	7
5	56	7
done	56	7
0	3	3
1	5	3
done	5	3
0	7	7
1	10	7
2	17	7
done	17	7
0	9	11
1	17	11
2	39	11
3	70	11
4	113	11
5	137	11
6	145	11
done	145	11
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	15	5
2	30	5
3	41	5
4	67	5
5	75	5
6	81	5
done	81	5
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	7	7
1	10	7
2	17	7
done	17	7
0	11	19
1	35	15
2	89	15
3	180	15
4	281	15
5	287	15
done	287	15
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	2	2
1	5	1
done	5	1
0	10	10
1	15	10
2	26	10
3	28	10
4	29	9
done	29	9
0	9	9
1	18	9
2	33	9
3	45	9
4	63	9
5	70	9
done	70	9
0	11	11
1	20	10
2	40	10
3	59	9
4	88	9
5	114	9
6	123	9
7	137	9
done	137	9
0	10	10
1	21	9
2	42	9
3	63	9
4	105	9
5	141	9
6	150	9
7	156	9
8	173	9
done	173	9
0	12	12
1	23	11
2	38	10
3	63	9
4	92	9
5	118	9
6	128	9
7	142	9
done	142	9
0	11	11
1	24	10
2	42	9
3	67	9
4	109	9
5	145	9
6	150	9
7	156	9
8	170	9
done	170	9
0	10	10
1	24	9
2	46	9
3	68	8
4	100	8
5	144	8
6	174	8
7	179	8
8	185	8
9	202	8
done	202	8
0	10	10
1	20	10
2	38	10
3	53	8
4	77	8
5	108	8
6	179	8
7	348	8
8	904	8
9	2913	8
done	5000	8
0	15	29
1	34	25
2	112	13
3	417	11
4	1412	11
done	5001	11
0	13	29
1	35	25
2	96	11
3	355	11
4	1340	9
done	5000	9
0	11	21
1	21	21
2	37	21
3	46	17
4	62	17
5	68	17
done	68	17
0	10	10
1	20	10
2	36	10
3	45	8
4	61	8
5	67	8
done	67	8
0	11	29
1	28	29
2	79	11
3	276	9
4	690	9
5	1769	9
done	5000	9
0	10	10
1	20	10
2	36	10
3	45	8
4	61	8
5	67	8
done	67	8
0	10	10
1	20	10
2	36	10
3	45	8
4	61	8
5	67	8
done	67	8
0	2	2
1	5	1
done	5	1
0	8	8
1	16	8
2	32	8
3	53	8
4	91	7
5	104	7
6	108	7
done	108	7
0	13	23
1	27	21
2	49	19
3	63	19
4	79	19
5	85	19
done	85	19
0	11	11
1	19	10
2	32	10
3	40	10
4	56	10
5	62	10
done	62	10
0	12	14
1	22	12
2	37	10
3	46	10
4	62	10
5	68	10
done	68	10
0	11	11
1	19	10
2	32	10
3	40	10
4	56	10
5	62	10
done	62	10
0	15	25
1	30	23
2	73	21
3	143	19
4	197	19
done	197	19
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	14	22
1	25	20
2	50	18
3	83	16
4	106	16
done	106	16
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	12	21
1	23	15
2	44	15
3	53	15
done	53	15
0	11	11
1	18	10
2	28	10
3	29	8
done	29	8
0	14	18
1	25	16
2	47	14
3	67	12
4	71	12
done	71	12
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	13	15
1	22	13
2	38	11
3	46	9
4	47	9
done	47	9
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	11	14
1	20	8
2	32	8
done	32	8
0	11	11
1	18	10
2	28	10
3	29	8
done	29	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	21	10
2	37	10
3	46	8
4	108	8
5	232	8
6	280	8
7	301	8
done	301	8
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	11	11
1	21	10
2	37	10
3	46	8
4	108	8
5	232	8
6	280	8
7	301	8
done	301	8
0	5	9
1	11	1
done	11	1
0	10	10
1	20	9
2	36	9
3	45	7
4	61	7
5	67	7
done	67	7
0	4	7
1	8	3
2	12	1
done	12	1
0	10	10
1	20	9
2	36	9
3	45	7
4	61	7
5	67	7
done	67	7
0	9	11
1	16	9
2	28	7
3	35	7
4	46	7
5	72	7
6	80	7
7	86	7
done	86	7
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	12	20
1	22	19
2	35	19
3	43	19
4	59	19
5	65	19
done	65	19
0	11	11
1	19	10
2	32	10
3	40	10
4	56	10
5	62	10
done	62	10
0	11	11
1	19	10
2	32	10
3	40	10
4	56	10
5	62	10
done	62	10
0	11	11
1	19	10
2	32	10
3	40	10
4	56	10
5	62	10
done	62	10
0	14	22
1	27	21
2	55	21
3	86	19
4	146	19
5	214	19
done	214	19
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	13	19
1	22	18
2	37	18
3	50	16
4	77	16
5	108	16
done	108	16
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	11	18
1	20	15
2	38	15
3	47	15
done	47	15
0	11	11
1	18	10
2	28	10
3	29	8
done	29	8
0	13	15
1	22	14
2	36	14
3	44	12
4	68	12
5	83	12
done	83	12
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	12	12
1	19	11
2	29	11
3	30	9
4	43	9
5	50	9
done	50	9
0	10	11
1	17	8
2	29	8
done	29	8
0	11	11
1	18	10
2	28	10
3	29	8
done	29	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	21	10
2	37	10
3	46	8
4	108	8
5	232	8
6	280	8
7	301	8
done	301	8
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	11	11
1	21	10
2	37	10
3	46	8
4	108	8
5	232	8
6	280	8
7	301	8
done	301	8
0	4	6
1	8	1
done	8	1
0	10	10
1	20	9
2	36	9
3	45	7
4	61	7
5	67	7
done	67	7
0	3	4
1	5	1
done	5	1
0	10	10
1	20	9
2	36	9
3	45	7
4	61	7
5	67	7
done	67	7
0	8	8
1	13	7
2	20	7
done	20	7
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	11	19
1	21	19
2	34	19
3	42	19
4	58	19
5	64	19
done	64	19
0	10	10
1	18	10
2	31	10
3	39	10
4	55	10
5	61	10
done	61	10
0	10	10
1	18	10
2	31	10
3	39	10
4	55	10
5	61	10
done	61	10
0	10	10
1	18	10
2	31	10
3	39	10
4	55	10
5	61	10
done	61	10
0	13	21
1	26	21
2	54	21
3	83	19
4	143	19
5	212	19
done	212	19
0	11	11
1	18	11
2	28	11
3	29	9
4	42	9
5	47	9
done	47	9
0	12	18
1	21	18
2	36	18
3	49	16
4	76	16
5	107	16
done	107	16
0	11	11
1	18	11
2	28	11
3	29	9
4	42	9
5	47	9
done	47	9
0	10	17
1	19	15
2	37	15
3	46	15
done	46	15
0	10	10
1	17	10
2	27	10
3	28	8
done	28	8
0	12	14
1	21	14
2	35	14
3	43	12
4	67	12
5	82	12
done	82	12
0	11	11
1	18	11
2	28	11
3	29	9
4	42	9
5	47	9
done	47	9
0	11	11
1	18	11
2	28	11
3	29	9
4	42	9
5	47	9
done	47	9
0	11	11
1	18	11
2	28	11
3	29	9
4	42	9
5	47	9
done	47	9
0	9	10
1	16	8
2	28	8
done	28	8
0	10	10
1	17	10
2	27	10
3	28	8
done	28	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	20	10
2	36	10
3	45	8
4	107	8
5	233	8
6	281	8
7	302	8
done	302	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	10	10
1	20	10
2	36	10
3	45	8
4	107	8
5	233	8
6	281	8
7	302	8
done	302	8
0	3	5
1	6	1
done	6	1
0	9	9
1	19	9
2	35	9
3	44	7
4	60	7
5	66	7
done	66	7
0	2	3
1	4	1
done	4	1
0	9	9
1	19	9
2	35	9
3	44	7
4	60	7
5	66	7
done	66	7
0	7	7
1	12	7
2	19	7
done	19	7
0	4	5
1	8	1
done	8	1
0	9	9
1	19	9
2	35	9
3	44	7
4	60	7
5	66	7
done	66	7
0	9	9
1	19	7
2	42	7
3	59	7
4	94	7
5	155	7
6	221	7
7	249	7
done	249	7
0	11	19
1	21	19
2	34	19
3	42	19
4	58	19
5	64	19
done	64	19
0	10	10
1	18	10
2	31	10
3	39	10
4	55	10
5	61	10
done	61	10
0	13	21
1	26	21
2	54	21
3	83	19
4	143	19
5	212	19
done	212	19
0	12	18
1	21	18
2	36	18
3	49	16
4	76	16
5	107	16
done	107	16
0	10	17
1	19	15
2	37	15
3	46	15
done	46	15
0	12	14
1	21	14
2	35	14
3	43	12
4	67	12
5	82	12
done	82	12
0	11	11
1	18	11
2	28	11
3	29	9
4	42	9
5	47	9
done	47	9
0	9	10
1	16	8
2	28	8
done	28	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	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	19	7
done	19	7
0	10	10
1	20	9
2	42	9
3	73	7
4	138	7
5	187	7
6	253	7
7	279	7
done	279	7
0	10	10
1	20	9
2	42	9
3	73	7
4	138	7
5	187	7
6	253	7
7	279	7
done	279	7
0	9	9
1	19	7
2	42	7
3	59	7
4	94	7
5	155	7
6	221	7
7	249	7
done	249	7
0	7	7
1	12	7
2	19	7
done	19	7
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	8	9
1	13	9
2	22	9
3	36	9
4	49	9
5	52	9
done	52	9
0	8	9
1	13	9
2	22	9
3	36	9
4	49	9
5	52	9
done	52	9
0	8	9
1	13	9
2	22	9
3	36	9
4	49	9
5	52	9
done	52	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune125.0ms

Filtered

77 candidates to 127 candidates (-64.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	123	4	127
Fresh	4	4	8
Picked	1	0	1
Done	0	2	2
Total	128	10	138

Merged error: 3.1b

Counts

138 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (- y (* z t))) (cbrt (- y (* z t))))
10.3b	(cbrt (- y (* z t)))
10.3b	(cbrt (- y (* z t)))
10.3b	(cbrt (- y (* z t)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

9.0ms	(* (cbrt (- y (* z t))) (cbrt (- y (* z t))))
3.0ms	(cbrt (- y (* z t)))
3.0ms	(cbrt (- y (* z t)))
3.0ms	(cbrt (- y (* z t)))

series166.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (cbrt (- y (* z t))) (cbrt (- y (* z t))))
38.0ms	(cbrt (- y (* z t)))
42.0ms	(cbrt (- y (* z t)))
39.0ms	(cbrt (- y (* z t)))

simplify1.8min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	7	13
1	10	13
2	17	13
done	17	13
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
done	21	9
0	8	14
1	13	14
2	22	9
3	23	9
done	23	9
0	8	14
1	13	14
2	24	14
3	29	14
4	47	14
5	87	14
6	195	14
7	568	14
8	2240	14
done	5000	14
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	9	29
1	12	29
2	19	29
done	19	29
0	8	14
1	11	14
2	18	14
done	18	14
0	9	41
1	20	41
2	34	15
3	48	8
4	106	8
5	286	8
6	846	8
7	2866	8
done	5000	8
0	8	14
1	12	7
2	19	7
done	19	7
0	8	14
1	12	7
2	19	7
done	19	7
0	10	21
1	29	21
2	84	21
3	272	21
4	696	21
5	1833	21
done	5000	21
0	11	37
1	28	29
2	61	29
3	75	29
4	76	29
done	76	29
0	14	23
1	44	23
2	124	23
3	356	23
4	749	23
5	1974	23
done	5001	23
0	13	25
1	31	21
2	63	21
3	77	21
4	78	21
done	78	21
0	14	23
1	44	23
2	124	23
3	347	23
4	727	23
5	1953	23
done	5000	23
0	13	25
1	31	21
2	63	21
3	76	21
4	77	21
done	77	21
0	9	25
1	22	25
2	52	25
3	110	25
4	159	25
5	256	25
6	362	25
7	604	25
8	2053	25
done	5000	25
0	7	13
1	9	13
done	9	13
0	9	29
1	12	29
2	19	29
done	19	29
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	3	5
1	5	3
done	5	1
0	7	13
1	10	13
2	17	13
done	17	13
0	9	31
1	16	31
2	25	17
3	34	9
4	49	9
5	77	9
6	151	9
7	365	9
8	1275	9
done	5000	9
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	13
2	17	13
done	17	13
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	13	21
2	20	21
done	20	21
0	9	14
1	13	14
2	20	14
done	20	14
0	9	9
1	15	8
2	22	8
done	22	6
0	9	22
1	15	22
2	24	22
done	24	22
0	8	14
1	12	14
2	19	14
done	19	14
0	8	8
1	14	6
2	24	6
done	24	6
0	8	14
1	12	14
2	19	14
done	19	14
0	9	14
1	13	14
2	20	14
done	20	14
0	7	13
1	10	13
2	17	13
done	17	13
0	8	14
1	12	14
2	19	14
done	19	14
0	8	14
1	12	14
2	19	14
done	19	14
0	7	13
1	10	13
2	17	13
done	17	13
0	12	17
1	34	17
2	95	17
3	295	17
4	718	17
5	1863	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	330	19
6	543	19
7	1861	19
done	5000	19
0	12	17
1	34	17
2	95	17
3	283	17
4	723	17
5	1870	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	327	19
6	536	19
7	1894	19
done	5000	19
0	37	54
1	89	49
2	202	49
3	562	46
4	1693	32
done	5001	32
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	37	54
1	89	49
2	202	49
3	562	46
4	1693	32
done	5001	32
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	37	54
1	89	49
2	202	49
3	562	46
4	1693	32
done	5001	32
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	35	53
1	86	48
2	202	41
3	597	34
4	1751	28
done	5001	28
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune115.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	2	5	7
Picked	0	1	1
Done	0	2	2
Total	100	9	109

Merged error: 3.1b

Counts

109 → 9

regimes550.0ms

Accuracy

0% (0.1b remaining)

Error of 2.6b against oracle of 2.6b and baseline of 2.6b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	8	7
done	8	7

end0.0ms

sample710.0ms

Algorithm

intervals

Results

276.0ms

8396×

body

valid

Details

sample25.0ms

simplify5.0ms

prune3.0ms

localize6.0ms

rewrite9.0ms

series21.0ms

simplify29.9s

prune103.0ms

localize7.0ms

rewrite22.0ms

series39.0ms

simplify54.7s

prune114.0ms

localize7.0ms

rewrite22.0ms

series54.0ms

simplify42.0s

prune125.0ms

localize16.0ms

rewrite21.0ms

series166.0ms

simplify1.8min

prune115.0ms

regimes550.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample710.0ms

Profiling