Details

sample33.0ms

Algorithm

intervals

Results

11.0ms

276×

body

valid

simplify610.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	33	11
3	53	11
4	85	11
5	115	11
6	143	11
7	161	11
8	186	11
9	220	11
10	286	11
11	375	11
12	421	11
13	499	11
14	521	11
done	521	11

prune10.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: 2.2b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- a t))))
0.0b	(/ (- z t) (- a t))
3.4b	(* y (/ (- z t) (- a t)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

3.0ms	(+ x (* y (/ (- z t) (- a t))))
9.0ms	(/ (- z t) (- a t))
15.0ms	(* y (/ (- z t) (- a t)))

series67.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(+ x (* y (/ (- z t) (- a t))))
11.0ms	(/ (- z t) (- a t))
19.0ms	(* y (/ (- z t) (- a t)))

simplify57.7s

Counts

122 → 122

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	30	9
3	50	9
4	78	9
5	101	9
6	122	9
7	133	9
8	142	9
done	142	9
0	11	12
1	19	12
2	28	12
3	37	12
4	43	12
5	53	12
6	60	12
7	72	12
8	95	12
9	109	12
10	115	12
done	115	12
0	10	11
1	20	11
2	30	11
3	41	11
4	51	11
5	60	11
6	65	11
7	74	11
8	91	11
9	110	11
10	118	11
done	118	11
0	9	10
1	21	10
2	40	10
3	70	10
4	117	10
5	154	10
6	187	10
7	216	10
8	241	10
9	248	10
10	265	10
11	267	10
done	267	10
0	9	10
1	20	10
2	39	10
3	77	10
4	158	10
5	326	10
6	669	10
7	1938	10
done	5000	10
0	14	29
1	32	29
2	139	15
3	642	13
4	2859	13
done	5000	13
0	12	29
1	31	29
2	96	13
3	400	13
4	1910	11
done	5001	11
0	10	21
1	19	21
2	32	21
3	52	21
4	80	21
5	103	21
6	124	21
7	135	21
8	144	21
done	144	21
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	10	29
1	29	29
2	93	11
3	394	11
4	1941	11
done	5001	11
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	11	12
1	17	12
2	22	12
3	26	12
4	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	26	12
4	27	12
done	27	12
0	10	19
1	19	19
2	25	19
3	27	19
done	27	19
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	12	21
1	24	21
2	55	21
3	94	21
4	150	21
5	164	21
done	164	21
0	11	16
1	19	16
2	31	16
3	46	16
4	59	16
5	61	16
done	61	16
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	12	17
1	20	17
2	31	17
3	46	17
4	59	17
5	61	17
done	61	17
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	11	16
1	19	16
2	32	16
3	45	16
4	57	16
done	57	16
0	10	11
1	16	11
2	21	11
3	25	11
4	26	11
done	26	11
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	11	12
1	17	12
2	21	12
3	25	12
4	26	12
done	26	12
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	12	17
1	20	17
2	40	17
3	54	17
4	82	17
5	88	17
6	108	17
7	134	17
8	148	17
9	153	17
10	154	17
11	156	17
12	157	17
done	157	17
0	11	12
1	17	12
2	29	12
3	33	12
4	42	12
5	44	12
6	50	12
7	54	12
8	60	12
9	62	12
done	62	12
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	11	13
1	16	13
2	27	13
3	31	13
4	40	13
5	42	13
6	48	13
7	52	13
8	58	13
9	60	13
done	60	13
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	13
1	34	13
2	67	13
3	135	13
4	324	13
5	1103	13
6	4974	13
done	5000	13
0	10	13
1	23	13
2	52	13
3	116	13
4	229	13
5	428	13
6	671	13
7	1126	13
8	3044	13
done	5001	13
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	8	9
1	17	9
2	30	9
3	50	9
4	78	9
5	101	9
6	122	9
7	133	9
8	142	9
done	142	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	12	13
1	26	12
2	46	12
3	88	12
4	185	12
5	397	12
6	886	12
7	2610	12
done	5001	12
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	11	12
1	24	12
2	42	12
3	74	12
4	137	12
5	265	12
6	549	12
7	1270	12
8	4446	12
done	5001	12
0	12	25
1	22	25
2	35	25
3	55	25
4	87	25
5	117	25
6	145	25
7	163	25
8	188	25
9	222	25
10	288	25
11	377	25
12	423	25
13	501	25
14	523	25
done	523	25
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	12	35
1	35	35
2	104	13
3	388	13
4	1780	13
done	5001	13
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	13	15
1	39	15
2	103	15
3	359	15
4	1811	15
done	5000	15
0	14	35
1	40	25
2	119	25
3	374	25
4	1292	25
5	3654	25
done	5000	25
0	12	23
1	33	23
2	92	23
3	313	23
4	1304	23
5	4778	23
done	5000	23
0	10	11
1	21	11
2	43	11
3	84	11
4	167	11
5	267	11
6	310	11
7	338	11
8	370	11
9	433	11
10	522	11
11	523	11
done	523	11
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	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune169.0ms

Filtered

87 candidates to 122 candidates (-40.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	116	6	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	117	6	123

Merged error: 0b

Counts

123 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (- (/ z (- a t)) (/ t (- a t)))))
0.0b	(/ t (- a t))
0.0b	(/ z (- a t))
3.4b	(* y (- (/ z (- a t)) (/ t (- a t))))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

70×	`*-un-lft-identity`
62×	`add-sqr-sqrt`
48×	`times-frac`
28×	`add-cube-cbrt`
20×	`distribute-lft-out--`
18×	`associate-r`
14×	`difference-of-squares`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
8×	`associate-/r/`
6×	`pow1` `associate-/l*` `add-log-exp`
5×	`flip3--` `flip--`
4×	`distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in` `associate-*r/` `div-inv`
3×	`distribute-rgt-out--` `associate-l`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `frac-sub` `cbrt-unprod` `flip-+` `sub-div` `unswap-sqr`

Counts

4 → 130

Calls

4 calls:

8.0ms	(+ x (* y (- (/ z (- a t)) (/ t (- a t)))))
6.0ms	(/ t (- a t))
6.0ms	(/ z (- a t))
37.0ms	(* y (- (/ z (- a t)) (/ t (- a t))))

series83.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(+ x (* y (- (/ z (- a t)) (/ t (- a t)))))
7.0ms	(/ t (- a t))
8.0ms	(/ z (- a t))
28.0ms	(* y (- (/ z (- a t)) (/ t (- a t))))

simplify1.1min

Counts

142 → 142

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	14	13
2	23	13
3	36	13
4	53	13
5	72	13
6	91	10
7	114	9
8	126	9
9	133	9
10	137	9
11	140	9
done	140	9
0	11	15
1	16	15
2	19	15
done	19	15
0	10	14
1	18	14
2	28	14
3	41	14
4	58	14
5	77	14
6	96	11
7	122	10
8	139	10
9	156	10
10	176	10
11	190	10
12	201	10
13	213	10
14	236	10
15	246	10
16	262	10
17	264	10
done	264	10
0	10	14
1	17	14
2	32	14
3	65	14
4	122	14
5	262	14
6	570	11
7	1651	10
done	5000	10
0	13	41
1	24	41
2	70	17
3	270	17
4	1141	15
done	5000	15
0	11	29
1	16	29
2	25	29
3	38	29
4	55	29
5	74	29
6	93	23
7	116	21
8	128	21
9	135	21
10	139	21
11	142	21
done	142	21
0	10	14
1	15	14
2	24	14
3	37	14
4	54	14
5	73	14
6	92	11
7	115	10
8	127	10
9	134	10
10	138	10
11	141	10
done	141	10
0	11	41
1	26	41
2	82	15
3	304	15
4	1157	15
5	4652	15
done	5001	15
0	10	14
1	15	14
2	24	14
3	37	14
4	54	14
5	73	14
6	92	11
7	115	10
8	127	10
9	134	10
10	138	10
11	141	10
done	141	10
0	10	14
1	15	14
2	24	14
3	37	14
4	54	14
5	73	14
6	92	11
7	115	10
8	127	10
9	134	10
10	138	10
11	141	10
done	141	10
0	11	15
1	16	15
2	19	15
done	19	15
0	11	15
1	16	15
2	19	15
done	19	15
0	7	7
1	12	7
2	16	7
3	23	7
4	29	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	35	8
4	50	8
5	66	8
6	78	8
7	80	8
8	82	8
done	82	8
0	7	7
1	12	7
2	16	7
3	23	7
4	29	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	35	8
4	50	8
5	66	8
6	78	8
7	80	8
8	82	8
done	82	8
0	7	7
1	12	7
2	16	7
3	21	7
4	28	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	34	8
4	47	8
5	60	8
6	75	8
7	82	8
done	82	8
0	7	7
1	12	7
2	16	7
3	21	7
4	28	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	34	8
4	47	8
5	60	8
6	75	8
7	82	8
done	82	8
0	11	27
1	18	27
2	23	27
done	23	27
0	10	14
1	15	14
2	18	14
done	18	14
0	3	3
1	6	1
done	6	1
0	11	15
1	21	15
2	23	15
done	23	15
0	12	16
1	22	16
2	28	16
3	32	16
4	34	16
5	35	16
done	35	16
0	12	16
1	22	16
2	28	16
3	32	16
4	34	16
5	35	16
done	35	16
0	12	17
1	22	17
2	32	17
3	39	17
4	42	17
5	48	12
6	52	12
7	57	12
8	58	12
9	60	12
10	61	12
done	61	12
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	7	7
1	14	7
2	18	5
3	22	5
4	29	5
5	30	5
done	30	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	14
1	15	14
2	24	14
3	37	14
4	54	14
5	73	14
6	92	11
7	115	10
8	127	10
9	134	10
10	138	10
11	141	10
done	141	10
0	10	14
1	15	14
2	24	14
3	37	14
4	54	14
5	73	14
6	92	11
7	115	10
8	127	10
9	134	10
10	138	10
11	141	10
done	141	10
0	9	13
1	14	13
2	23	13
3	36	13
4	53	13
5	72	13
6	91	10
7	114	9
8	126	9
9	133	9
10	137	9
11	140	9
done	140	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	9	13
1	16	13
2	43	9
3	113	9
4	290	9
5	522	9
6	836	9
7	1407	9
8	2197	9
9	2590	9
10	2624	9
done	2624	9
0	12	17
1	35	17
2	97	17
3	325	17
4	1282	17
done	5000	17
0	11	25
1	27	25
2	59	25
3	155	25
4	409	25
5	935	25
6	2504	21
done	5000	21
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
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	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	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	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
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	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	172	7
4	392	7
5	1164	7
6	4370	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	176	7
5	426	7
6	1521	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	13	17
1	23	16
2	39	16
3	80	16
4	162	16
5	347	16
6	817	13
7	2711	12
done	5001	12
0	12	16
1	18	16
2	27	16
3	44	16
4	66	16
5	88	16
6	113	13
7	149	12
8	200	12
9	273	12
10	363	12
11	401	12
12	464	12
13	544	12
14	545	12
done	545	12
0	12	16
1	21	16
2	35	16
3	68	16
4	128	16
5	246	16
6	559	13
7	1857	12
done	5000	12
0	13	33
1	19	33
2	28	33
3	45	33
4	67	33
5	89	33
6	114	27
7	150	25
8	201	25
9	274	25
10	364	25
11	402	25
12	465	25
13	545	25
14	546	25
done	546	25
0	12	16
1	18	16
2	27	16
3	44	16
4	66	16
5	88	16
6	113	13
7	149	12
8	200	12
9	273	12
10	363	12
11	401	12
12	464	12
13	544	12
14	545	12
done	545	12
0	13	47
1	32	47
2	89	17
3	325	17
4	1499	17
done	5001	17
0	12	16
1	18	16
2	27	16
3	44	16
4	66	16
5	88	16
6	113	13
7	149	12
8	200	12
9	273	12
10	363	12
11	401	12
12	464	12
13	544	12
14	545	12
done	545	12
0	12	16
1	18	16
2	27	16
3	44	16
4	66	16
5	88	16
6	113	13
7	149	12
8	200	12
9	273	12
10	363	12
11	401	12
12	464	12
13	544	12
14	545	12
done	545	12
0	14	19
1	36	19
2	83	19
3	247	19
4	842	19
5	3263	19
done	5001	19
0	15	47
1	37	33
2	106	33
3	341	33
4	1059	33
5	3031	33
done	5001	33
0	13	31
1	30	31
2	81	31
3	279	31
4	974	31
5	3147	31
done	5000	31
0	11	15
1	18	15
2	34	15
3	64	15
4	124	15
5	178	15
6	230	12
7	288	11
8	366	11
9	464	11
10	481	11
11	493	11
12	497	11
done	497	11
0	9	9
1	15	9
2	19	9
3	26	9
4	32	9
5	36	9
6	38	9
done	38	9
0	9	9
1	15	9
2	19	9
3	26	9
4	32	9
5	36	9
6	38	9
done	38	9
0	9	9
1	15	9
2	19	9
3	24	9
4	31	9
5	36	9
6	38	9
done	38	9
0	9	9
1	15	9
2	19	9
3	24	9
4	31	9
5	36	9
6	38	9
done	38	9
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
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	3	3
1	4	3
done	4	3
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7

prune166.0ms

Filtered

107 candidates to 142 candidates (-32.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	142	6	148

Merged error: 0b

Counts

148 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* (/ y (- a t)) (- z t)))
0.0b	(/ y (- a t))
10.3b	(* (/ y (- a t)) (- z t))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-r` `associate-/r*` `add-log-exp`
4×	`distribute-rgt-in` `sub-neg` `associate-+r+` `flip3--` `distribute-lft-in` `associate-/r/` `flip--`
3×	`associate-/l*`
2×	`cbrt-undiv` `frac-times` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 102

Calls

3 calls:

4.0ms	(+ x (* (/ y (- a t)) (- z t)))
6.0ms	(/ y (- a t))
14.0ms	(* (/ y (- a t)) (- z t))

series79.0ms

Counts

3 → 9

Calls

3 calls:

40.0ms	(+ x (* (/ y (- a t)) (- z t)))
8.0ms	(/ y (- a t))
31.0ms	(* (/ y (- a t)) (- z t))

simplify1.2min

Counts

111 → 111

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	31	9
3	48	9
4	72	9
5	98	9
6	120	9
7	132	9
8	137	9
done	137	9
0	11	12
1	19	12
2	31	12
3	40	12
4	49	12
5	54	12
6	63	12
7	80	12
8	99	12
9	107	12
done	107	12
0	10	11
1	17	11
2	25	11
3	34	11
4	44	11
5	53	11
6	58	11
7	67	11
8	84	11
9	103	11
10	111	11
done	111	11
0	9	10
1	18	10
2	41	10
3	68	10
4	108	10
5	146	10
6	180	10
7	204	10
8	232	10
9	244	10
10	260	10
11	262	10
done	262	10
0	9	10
1	17	10
2	40	10
3	77	10
4	140	10
5	285	10
6	593	10
7	1655	10
done	5000	10
0	14	29
1	32	29
2	141	15
3	716	13
4	3787	13
done	5001	13
0	12	29
1	28	29
2	97	13
3	424	13
4	2140	11
done	5000	11
0	10	21
1	16	21
2	33	21
3	50	21
4	74	21
5	100	21
6	122	21
7	134	21
8	139	21
done	139	21
0	9	10
1	15	10
2	32	10
3	49	10
4	73	10
5	99	10
6	121	10
7	133	10
8	138	10
done	138	10
0	10	29
1	26	29
2	112	11
3	538	11
4	2392	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	49	10
4	73	10
5	99	10
6	121	10
7	133	10
8	138	10
done	138	10
0	9	10
1	15	10
2	32	10
3	49	10
4	73	10
5	99	10
6	121	10
7	133	10
8	138	10
done	138	10
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	7	7
1	12	7
2	16	7
3	21	7
4	28	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	35	8
4	48	8
5	62	8
6	72	8
7	75	8
8	77	8
done	77	8
0	7	7
1	12	7
2	16	7
3	21	7
4	28	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	35	8
4	48	8
5	62	8
6	72	8
7	75	8
8	77	8
done	77	8
0	7	7
1	12	7
2	16	7
3	23	7
4	29	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	36	8
4	50	8
5	63	8
6	72	8
7	77	8
done	77	8
0	7	7
1	12	7
2	16	7
3	23	7
4	29	7
5	33	7
6	35	7
done	35	7
0	7	8
1	13	8
2	23	8
3	36	8
4	50	8
5	63	8
6	72	8
7	77	8
done	77	8
0	10	15
1	18	15
2	28	15
3	39	15
4	58	15
5	80	15
6	96	15
7	101	15
done	101	15
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	7	7
1	14	5
2	25	5
3	28	5
4	30	5
done	30	5
0	10	11
1	22	11
2	39	11
3	50	11
4	67	11
5	82	11
6	90	11
done	90	11
0	7	7
1	14	5
2	25	5
3	28	5
4	30	5
done	30	5
0	9	10
1	13	10
2	21	10
3	26	10
4	30	10
done	30	10
0	9	10
1	13	10
2	21	10
3	26	10
4	30	10
done	30	10
0	10	11
1	16	11
2	33	11
3	47	11
4	66	11
5	82	11
6	92	11
7	94	11
done	94	11
0	10	11
1	16	11
2	33	11
3	47	11
4	66	11
5	82	11
6	92	11
7	94	11
done	94	11
0	9	10
1	15	10
2	32	10
3	49	10
4	73	10
5	99	10
6	121	10
7	133	10
8	138	10
done	138	10
0	11	12
1	18	12
2	35	12
3	52	12
4	76	12
5	102	12
6	124	12
7	134	12
8	138	12
done	138	12
0	9	10
1	15	10
2	32	10
3	49	10
4	73	10
5	99	10
6	121	10
7	133	10
8	138	10
done	138	10
0	10	11
1	16	11
2	33	11
3	47	11
4	66	11
5	82	11
6	92	11
7	94	11
done	94	11
0	10	11
1	16	11
2	33	11
3	47	11
4	66	11
5	82	11
6	92	11
7	94	11
done	94	11
0	9	10
1	15	10
2	32	10
3	49	10
4	73	10
5	99	10
6	121	10
7	133	10
8	138	10
done	138	10
0	11	12
1	18	12
2	35	12
3	52	12
4	76	12
5	102	12
6	124	12
7	134	12
8	138	12
done	138	12
0	9	10
1	15	10
2	32	10
3	49	10
4	73	10
5	99	10
6	121	10
7	133	10
8	138	10
done	138	10
0	9	10
1	15	10
2	32	10
3	46	10
4	65	10
5	81	10
6	91	10
7	93	10
done	93	10
0	9	10
1	15	10
2	32	10
3	46	10
4	65	10
5	81	10
6	91	10
7	93	10
done	93	10
0	8	9
1	14	9
2	31	9
3	48	9
4	72	9
5	98	9
6	120	9
7	132	9
8	137	9
done	137	9
0	10	11
1	17	11
2	34	11
3	51	11
4	75	11
5	101	11
6	123	11
7	133	11
8	137	11
done	137	11
0	8	9
1	14	9
2	31	9
3	48	9
4	72	9
5	98	9
6	120	9
7	132	9
8	137	9
done	137	9
0	8	9
1	14	9
2	31	9
3	48	9
4	72	9
5	98	9
6	120	9
7	132	9
8	137	9
done	137	9
0	8	9
1	16	9
2	33	7
3	75	7
4	121	7
5	159	7
6	199	7
7	290	7
8	411	7
9	665	7
10	859	7
11	1240	7
12	1969	7
13	2302	7
14	2512	7
15	2520	7
done	2520	7
0	10	15
1	20	13
2	49	13
3	152	13
4	373	13
5	965	13
6	2117	13
7	4421	13
done	5000	13
0	6	7
1	10	7
2	25	7
3	54	7
4	100	7
5	149	7
6	200	7
7	302	7
8	512	7
9	838	7
10	952	7
11	960	7
done	960	7
0	11	13
1	31	13
2	68	13
3	201	13
4	575	13
5	2056	13
done	5000	13
0	10	13
1	20	13
2	48	13
3	141	13
4	346	13
5	616	13
6	1111	13
7	2031	13
done	5000	13
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
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	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	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	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
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	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	12	13
1	23	12
2	47	12
3	92	12
4	180	12
5	370	12
6	843	12
7	2724	12
done	5000	12
0	11	12
1	18	12
2	35	12
3	56	12
4	85	12
5	114	12
6	142	12
7	167	12
8	211	12
9	277	12
10	363	12
11	398	12
12	461	12
13	541	12
14	542	12
done	542	12
0	11	12
1	21	12
2	43	12
3	80	12
4	149	12
5	288	12
6	624	12
7	1952	12
done	5001	12
0	12	25
1	19	25
2	36	25
3	57	25
4	86	25
5	115	25
6	143	25
7	168	25
8	212	25
9	278	25
10	364	25
11	399	25
12	462	25
13	542	25
14	543	25
done	543	25
0	11	12
1	18	12
2	35	12
3	56	12
4	85	12
5	114	12
6	142	12
7	167	12
8	211	12
9	277	12
10	363	12
11	398	12
12	461	12
13	541	12
14	542	12
done	542	12
0	12	35
1	32	35
2	105	13
3	440	13
4	2229	13
done	5000	13
0	11	12
1	18	12
2	35	12
3	56	12
4	85	12
5	114	12
6	142	12
7	167	12
8	211	12
9	277	12
10	363	12
11	398	12
12	461	12
13	541	12
14	542	12
done	542	12
0	11	12
1	18	12
2	35	12
3	56	12
4	85	12
5	114	12
6	142	12
7	167	12
8	211	12
9	277	12
10	363	12
11	398	12
12	461	12
13	541	12
14	542	12
done	542	12
0	13	15
1	36	15
2	104	15
3	403	15
4	1911	15
done	5001	15
0	14	35
1	37	25
2	138	25
3	500	25
4	1588	25
5	4492	25
done	5000	25
0	12	23
1	30	23
2	105	23
3	410	23
4	1586	23
done	5000	23
0	10	11
1	18	11
2	44	11
3	90	11
4	169	11
5	228	11
6	292	11
7	338	11
8	417	11
9	502	11
10	503	11
done	503	11
0	9	9
1	15	9
2	19	9
3	24	9
4	31	9
5	36	9
6	38	9
done	38	9
0	9	9
1	15	9
2	19	9
3	24	9
4	31	9
5	36	9
6	38	9
done	38	9
0	9	9
1	15	9
2	19	9
3	26	9
4	32	9
5	36	9
6	38	9
done	38	9
0	9	9
1	15	9
2	19	9
3	26	9
4	32	9
5	36	9
6	38	9
done	38	9
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7

prune133.0ms

Filtered

84 candidates to 111 candidates (-32.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	112	5	117

Merged error: 0b

Counts

117 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* (* y (/ 1 (- a t))) (- z t)))
0.0b	(/ 1 (- a t))
0.2b	(* y (/ 1 (- a t)))
10.3b	(* (* y (/ 1 (- a t))) (- z t))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`add-exp-log` `times-frac`
26×	`associate-r`
25×	`add-cube-cbrt`
20×	`add-cbrt-cube`
13×	`prod-exp`
12×	`pow1`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`associate-*r/` `div-exp` `add-log-exp`
5×	`flip3--` `associate-/r*` `flip--`
4×	`distribute-rgt-in` `frac-times` `sub-neg` `associate-+r+` `distribute-lft-in` `associate-l` `pow-prod-down` `associate-/r/` `un-div-inv`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`associate-l/` `-commutative` `div-inv`
1×	`+-commutative` `pow-flip` `frac-2neg` `flip3-+` `clear-num` `sum-log` `flip-+` `inv-pow`

Counts

4 → 136

Calls

4 calls:

4.0ms	(+ x (* (* y (/ 1 (- a t))) (- z t)))
6.0ms	(/ 1 (- a t))
13.0ms	(* y (/ 1 (- a t)))
15.0ms	(* (* y (/ 1 (- a t))) (- z t))

series91.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(+ x (* (* y (/ 1 (- a t))) (- z t)))
5.0ms	(/ 1 (- a t))
8.0ms	(* y (/ 1 (- a t)))
38.0ms	(* (* y (/ 1 (- a t))) (- z t))

simplify3.5min

Counts

148 → 148

Iterations

Useful iterations: 3 (6.0ms)

Iter	Nodes	Cost
0	10	11
1	21	11
2	50	9
3	115	9
4	233	9
5	347	9
6	477	9
7	632	9
8	865	9
9	1534	9
10	4420	9
done	5001	9
0	10	11
1	21	11
2	50	9
3	115	9
4	233	9
5	347	9
6	477	9
7	632	9
8	865	9
9	1534	9
10	4420	9
done	5001	9
0	12	13
1	20	12
2	31	12
3	36	12
4	43	12
5	55	12
6	65	12
7	83	12
8	98	12
9	113	12
10	116	12
done	116	12
0	13	14
1	24	13
2	48	12
3	89	12
4	167	12
5	279	12
6	322	12
7	350	12
8	398	12
done	398	12
0	14	15
1	27	14
2	49	12
3	100	12
4	175	12
5	291	12
6	339	12
7	370	12
8	413	12
done	413	12
0	13	14
1	26	13
2	42	12
3	80	12
4	137	12
5	252	12
6	325	12
7	356	12
8	391	12
done	391	12
0	12	13
1	24	13
2	39	11
3	58	11
4	102	11
5	158	11
6	288	11
7	333	11
8	364	11
done	364	11
0	11	12
1	25	12
2	63	10
3	151	10
4	303	10
5	478	10
6	687	10
7	930	10
8	1193	10
9	1877	10
10	4860	10
done	5000	10
0	11	12
1	24	12
2	64	10
3	165	10
4	384	10
5	802	10
6	1921	10
done	5000	10
0	18	35
1	43	31
2	165	15
3	879	15
done	5001	15
0	16	35
1	40	35
2	151	17
3	735	17
4	4366	13
done	5001	13
0	14	35
1	38	35
2	152	13
3	756	13
4	4283	11
done	5000	11
0	12	25
1	23	25
2	52	21
3	119	21
4	237	21
5	348	21
6	474	21
7	624	21
8	855	21
9	1517	21
10	4338	21
done	5000	21
0	11	12
1	22	12
2	51	10
3	118	10
4	236	10
5	348	10
6	474	10
7	626	10
8	837	10
9	1511	10
10	4350	10
done	5000	10
0	12	35
1	33	35
2	154	11
3	875	11
done	5000	11
0	11	12
1	22	12
2	51	10
3	118	10
4	236	10
5	348	10
6	474	10
7	626	10
8	837	10
9	1511	10
10	4350	10
done	5000	10
0	11	12
1	22	12
2	51	10
3	118	10
4	236	10
5	348	10
6	474	10
7	626	10
8	837	10
9	1511	10
10	4350	10
done	5000	10
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	10	11
1	31	9
2	67	9
3	208	9
4	613	9
5	1733	9
done	5001	9
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	9	11
1	20	9
2	47	9
3	149	9
4	390	9
5	567	9
6	832	9
7	1282	9
8	4323	9
done	5001	9
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	9	9
1	19	9
2	35	7
3	54	7
4	71	7
5	84	7
6	98	7
7	104	7
8	106	7
9	112	7
done	112	7
0	9	10
1	20	10
2	46	8
3	93	8
4	177	8
5	262	8
6	346	8
7	426	8
8	551	8
9	1100	8
10	3271	8
done	5000	8
0	9	9
1	19	9
2	35	7
3	54	7
4	71	7
5	84	7
6	98	7
7	104	7
8	106	7
9	112	7
done	112	7
0	9	10
1	20	10
2	46	8
3	93	8
4	177	8
5	262	8
6	346	8
7	426	8
8	551	8
9	1100	8
10	3271	8
done	5000	8
0	9	9
1	19	9
2	35	7
3	52	7
4	84	7
5	96	7
6	110	7
7	116	7
8	118	7
9	124	7
done	124	7
0	9	10
1	20	10
2	46	8
3	85	8
4	155	8
5	231	8
6	328	8
7	421	8
8	543	8
9	1168	8
10	4535	8
done	5000	8
0	9	9
1	19	9
2	35	7
3	52	7
4	84	7
5	96	7
6	110	7
7	116	7
8	118	7
9	124	7
done	124	7
0	9	10
1	20	10
2	46	8
3	85	8
4	155	8
5	231	8
6	328	8
7	421	8
8	543	8
9	1168	8
10	4535	8
done	5000	8
0	12	17
1	25	17
2	51	15
3	92	15
4	162	15
5	206	15
6	239	15
7	255	15
8	260	15
done	260	15
0	11	12
1	22	12
2	39	10
3	58	10
4	86	10
5	105	10
6	122	10
7	130	10
8	133	10
done	133	10
0	8	9
1	18	7
2	37	5
3	40	5
4	42	5
done	42	5
0	12	13
1	29	13
2	74	11
3	133	11
4	213	11
5	260	11
6	300	11
7	320	11
8	327	11
done	327	11
0	8	9
1	18	7
2	37	5
3	40	5
4	42	5
done	42	5
0	8	9
1	16	9
2	33	7
3	75	7
4	121	7
5	159	7
6	199	7
7	290	7
8	411	7
9	665	7
10	859	7
11	1240	7
12	1969	7
13	2302	7
14	2512	7
15	2520	7
done	2520	7
0	13	15
1	38	15
2	87	13
3	272	13
4	966	13
5	3963	13
done	5001	13
0	12	15
1	27	15
2	67	13
3	223	13
4	714	13
5	1682	13
6	2716	13
7	4683	13
done	5000	13
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	15	5
2	30	5
3	57	5
4	82	5
5	101	5
6	115	5
done	115	5
0	7	7
1	14	7
2	18	5
3	22	5
4	29	5
5	30	5
done	30	5
0	8	8
1	12	7
2	13	7
done	13	7
0	9	9
1	16	8
2	27	7
3	36	7
4	54	7
5	80	7
6	85	7
7	94	7
8	106	7
done	106	7
0	10	10
1	19	9
2	27	7
3	44	7
4	62	7
5	88	7
6	91	7
7	100	7
8	116	7
done	116	7
0	9	9
1	18	8
2	25	7
3	36	7
4	48	7
5	80	7
6	98	7
7	105	7
8	117	7
done	117	7
0	8	8
1	18	8
2	28	6
3	37	6
4	57	6
5	69	6
6	99	6
7	105	6
8	116	6
done	116	6
0	8	8
1	17	8
2	27	6
3	41	6
4	89	6
5	187	6
6	451	6
7	1353	6
8	4802	6
done	5000	6
0	13	23
1	31	19
2	90	9
3	298	9
4	764	9
5	1935	7
done	5000	7
0	11	23
1	28	23
2	78	11
3	215	11
4	530	7
5	1205	7
6	3124	7
done	5000	7
0	9	17
1	16	17
2	20	13
3	24	13
4	31	13
5	32	13
done	32	13
0	8	8
1	15	8
2	19	6
3	23	6
4	30	6
5	31	6
done	31	6
0	9	23
1	26	23
2	81	7
3	208	7
4	448	7
5	840	7
6	2065	7
done	5000	7
0	8	8
1	15	8
2	19	6
3	23	6
4	30	6
5	31	6
done	31	6
0	8	8
1	15	8
2	19	6
3	23	6
4	30	6
5	31	6
done	31	6
0	9	9
1	14	9
2	15	9
done	15	9
0	9	9
1	14	9
2	15	9
done	15	9
0	10	10
1	17	9
2	21	9
3	25	7
4	36	7
done	36	7
0	10	10
1	17	9
2	21	9
3	25	7
4	36	7
done	36	7
0	9	9
1	16	9
2	20	7
3	35	7
4	38	7
done	38	7
0	9	9
1	16	9
2	20	7
3	35	7
4	38	7
done	38	7
0	9	15
1	16	15
2	19	15
done	19	15
0	8	8
1	13	8
2	14	8
done	14	8
0	11	17
1	24	15
2	54	13
3	88	11
4	98	11
5	99	11
done	99	11
0	10	12
1	19	10
2	30	8
3	43	6
4	44	6
done	44	6
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	11	13
1	19	11
2	29	9
3	42	7
4	43	7
done	43	7
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	10	14
1	19	13
2	31	13
3	45	11
4	70	11
5	82	11
done	82	11
0	9	9
1	16	8
2	20	8
3	24	6
4	30	6
5	31	6
done	31	6
0	5	6
1	10	3
2	15	1
done	15	1
0	10	10
1	16	9
2	19	9
3	23	7
4	29	7
5	30	7
done	30	7
0	5	6
1	10	3
2	15	1
done	15	1
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
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	10	11
1	30	11
2	55	9
3	99	9
4	234	9
5	780	9
6	3606	9
done	5000	9
0	9	11
1	19	11
2	35	9
3	68	9
4	129	9
5	251	9
6	412	9
7	678	9
8	2296	9
done	5000	9
0	8	8
1	15	8
2	19	6
3	37	6
4	43	6
5	47	6
6	50	6
7	52	6
8	54	6
done	54	6
0	8	8
1	15	8
2	19	6
3	37	6
4	43	6
5	47	6
6	50	6
7	52	6
8	54	6
done	54	6
0	7	7
1	14	7
2	18	5
3	22	5
4	29	5
5	30	5
done	30	5
0	3	3
1	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	10	5
2	15	5
3	17	5
4	23	5
5	28	5
done	28	5
0	7	7
1	13	6
2	15	5
3	21	5
4	27	5
5	32	5
done	32	5
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	6	6
1	10	6
2	11	6
done	11	6
0	9	17
1	21	13
2	46	7
3	112	7
4	275	7
5	740	7
6	2085	7
done	5000	7
0	7	13
1	11	13
2	12	13
done	12	13
0	6	6
1	10	6
2	11	6
done	11	6
0	7	17
1	18	17
2	35	7
3	78	7
4	115	7
5	198	7
6	378	7
7	954	7
8	2476	7
done	5000	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	19	13
2	29	11
3	35	11
done	35	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	10
1	14	8
2	17	6
3	18	6
done	18	6
0	7	7
1	11	6
2	12	6
done	12	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	12	7
2	13	7
done	13	7
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	12
1	14	11
2	15	11
done	15	11
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	25	9
2	47	9
3	83	9
4	175	9
5	519	9
6	2307	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	14	15
1	30	14
2	71	12
3	178	12
4	426	12
5	917	12
6	2314	12
done	5000	12
0	13	14
1	25	14
2	54	12
3	123	12
4	248	12
5	363	12
6	496	12
7	666	12
8	946	12
9	1835	12
done	5000	12
0	13	14
1	28	14
2	64	12
3	160	12
4	386	12
5	794	12
6	2062	12
done	5001	12
0	14	29
1	26	29
2	55	25
3	124	25
4	249	25
5	365	25
6	501	25
7	670	25
8	950	25
9	1856	25
done	5000	25
0	13	14
1	25	14
2	54	12
3	123	12
4	248	12
5	363	12
6	496	12
7	666	12
8	946	12
9	1835	12
done	5000	12
0	14	41
1	39	41
2	124	13
3	604	13
4	3769	13
done	5000	13
0	13	14
1	25	14
2	54	12
3	123	12
4	248	12
5	363	12
6	496	12
7	666	12
8	946	12
9	1835	12
done	5000	12
0	13	14
1	25	14
2	54	12
3	123	12
4	248	12
5	363	12
6	496	12
7	666	12
8	946	12
9	1835	12
done	5000	12
0	15	17
1	43	17
2	129	15
3	616	15
4	3834	15
done	5000	15
0	16	41
1	44	29
2	180	25
3	820	25
4	3358	25
done	5001	25
0	14	27
1	37	27
2	144	23
3	710	23
4	3653	23
done	5000	23
0	12	13
1	25	13
2	65	11
3	192	11
4	493	11
5	857	11
6	1367	11
7	1634	11
8	2143	11
9	3397	11
done	5000	11
0	11	11
1	22	11
2	38	9
3	57	9
4	74	9
5	87	9
6	101	9
7	107	9
8	109	9
9	115	9
done	115	9
0	11	11
1	22	11
2	38	9
3	57	9
4	74	9
5	87	9
6	101	9
7	107	9
8	109	9
9	115	9
done	115	9
0	11	11
1	22	11
2	38	9
3	55	9
4	87	9
5	99	9
6	113	9
7	119	9
8	121	9
9	127	9
done	127	9
0	11	11
1	22	11
2	38	9
3	55	9
4	87	9
5	99	9
6	113	9
7	119	9
8	121	9
9	127	9
done	127	9
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
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	3	3
1	4	3
done	4	3
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7

prune126.0ms

Filtered

96 candidates to 148 candidates (-54.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	148	5	153

Merged error: 0b

Counts

153 → 5

regimes467.0ms

Accuracy

79.5% (0.6b remaining)

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

bsearch34.0ms

Steps

Iters	Range		Point
7	9.036450613406559e+59	5.273949914204063e+61	9.221654665966352e+59
5	-1638036543884663.5	-523486489692643.7	-530501686562953.6

simplify3.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	21	49
1	28	35
done	28	35

end0.0ms

sample913.0ms

Algorithm

intervals

Results

341.0ms	8697×	body	80	valid
0.0ms	1×	body	640	valid

Details

sample33.0ms

simplify610.0ms

prune10.0ms

localize9.0ms

rewrite33.0ms

series67.0ms

simplify57.7s

prune169.0ms

localize10.0ms

rewrite70.0ms

series83.0ms

simplify1.1min

prune166.0ms

localize9.0ms

rewrite35.0ms

series79.0ms

simplify1.2min

prune133.0ms

localize10.0ms

rewrite44.0ms

series91.0ms

simplify3.5min

prune126.0ms

regimes467.0ms

bsearch34.0ms

simplify3.0ms

end0.0ms

sample913.0ms

Profiling