Details

sample34.0ms

Algorithm

intervals

Results

12.0ms

348×

body

valid

simplify519.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	20	9
2	40	9
3	54	9
4	75	9
5	107	9
6	162	9
7	229	9
8	346	9
9	457	9
10	517	9
11	567	9
12	580	9
13	584	9
done	584	9

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

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.3b	(/ (- (+ x y) z) (* t 2.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
7×	`add-sqr-sqrt`
6×	`add-exp-log` `times-frac` `add-cbrt-cube` `associate-/l*`
4×	`distribute-lft-out--`
3×	`add-cube-cbrt`
2×	`cbrt-undiv` `div-exp` `associate-/l/` `distribute-lft-out` `difference-of-squares`
1×	`pow1` `flip3--` `frac-2neg` `div-sub` `prod-exp` `clear-num` `associate-/r*` `flip--` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 30

Calls

1 calls:

11.0ms

(/ (- (+ x y) z) (* t 2.0))

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

(/ (- (+ x y) z) (* t 2.0))

simplify17.2s

Counts

33 → 33

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	12
1	22	12
2	38	12
3	54	12
4	70	12
5	95	12
6	127	12
7	156	12
8	170	12
9	179	12
10	194	12
11	199	12
12	203	12
13	207	12
done	207	12
0	11	11
1	22	11
2	36	11
3	50	11
4	65	11
5	86	11
6	118	11
7	157	11
8	176	11
9	185	11
10	200	11
11	205	11
12	209	11
13	210	11
done	210	11
0	10	10
1	24	10
2	52	10
3	78	10
4	112	10
5	157	10
6	228	10
7	315	10
8	449	10
9	567	10
10	623	10
11	673	10
12	686	10
13	690	10
done	690	10
0	10	10
1	21	10
2	44	10
3	60	10
4	84	10
5	125	10
6	190	10
7	286	10
8	455	10
9	667	10
10	850	10
11	959	10
12	975	10
13	984	10
done	984	10
0	15	29
1	35	29
2	157	15
3	816	15
4	4187	13
done	5000	13
0	13	29
1	37	29
2	173	13
3	955	11
4	4793	11
done	5000	11
0	11	21
1	22	21
2	42	21
3	56	21
4	77	21
5	109	21
6	164	21
7	232	21
8	350	21
9	463	21
10	525	21
11	576	21
12	589	21
13	596	21
done	596	21
0	10	10
1	21	10
2	41	10
3	55	10
4	76	10
5	108	10
6	163	10
7	231	10
8	349	10
9	460	10
10	521	10
11	571	10
12	584	10
13	588	10
done	588	10
0	11	29
1	29	29
2	119	11
3	692	11
4	3844	11
done	5000	11
0	10	10
1	21	10
2	41	10
3	55	10
4	76	10
5	108	10
6	163	10
7	231	10
8	349	10
9	460	10
10	521	10
11	571	10
12	584	10
13	588	10
done	588	10
0	10	10
1	21	10
2	41	10
3	55	10
4	76	10
5	108	10
6	163	10
7	231	10
8	349	10
9	460	10
10	521	10
11	571	10
12	584	10
13	588	10
done	588	10
0	6	6
1	11	6
2	24	6
3	40	6
4	61	5
5	77	5
6	107	5
7	123	5
8	125	5
9	129	5
done	129	5
0	4	4
1	9	4
2	11	4
done	11	4
0	7	7
1	11	7
2	13	7
done	13	7
0	5	5
1	8	5
2	10	5
done	10	5
0	9	15
1	16	15
2	25	15
3	32	15
4	38	15
5	47	15
6	60	15
7	73	15
8	82	15
9	91	15
10	106	15
11	111	15
12	115	15
13	116	15
done	116	15
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	67	8
8	76	8
9	85	8
10	100	8
11	105	8
12	109	8
13	113	8
done	113	8
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	67	8
8	76	8
9	85	8
10	100	8
11	105	8
12	109	8
13	113	8
done	113	8
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	67	8
8	76	8
9	85	8
10	100	8
11	105	8
12	109	8
13	113	8
done	113	8
0	3	3
1	5	3
done	5	3
0	7	7
1	15	7
2	24	7
3	32	7
4	41	7
5	56	7
6	81	7
7	110	7
8	154	7
9	195	7
10	223	7
11	242	7
12	249	7
13	254	7
done	254	7
0	9	9
1	11	9
done	11	9
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	3	3
1	5	3
done	5	3
0	7	7
1	15	7
2	24	7
3	32	7
4	41	7
5	56	7
6	81	7
7	110	7
8	154	7
9	195	7
10	223	7
11	242	7
12	249	7
13	254	7
done	254	7
0	3	3
1	5	3
done	5	3
0	7	7
1	15	7
2	24	7
3	32	7
4	41	7
5	56	7
6	81	7
7	110	7
8	154	7
9	195	7
10	223	7
11	242	7
12	249	7
13	254	7
done	254	7
0	5	5
1	10	5
2	12	5
done	12	5
0	9	9
1	17	9
2	31	9
3	45	9
4	62	9
5	85	9
6	122	9
7	167	9
8	246	9
9	319	9
10	360	9
11	393	9
12	403	9
13	409	9
done	409	9
0	7	7
1	15	7
2	24	7
3	32	7
4	41	7
5	56	7
6	81	7
7	110	7
8	154	7
9	195	7
10	223	7
11	242	7
12	249	7
13	254	7
done	254	7
0	10	10
1	18	10
2	29	10
3	38	10
4	45	10
5	54	10
6	67	10
7	80	10
8	89	10
9	98	10
10	113	10
11	118	10
12	122	10
13	123	10
done	123	10
0	10	10
1	18	10
2	29	10
3	38	10
4	45	10
5	54	10
6	67	10
7	80	10
8	89	10
9	98	10
10	113	10
11	118	10
12	122	10
13	123	10
done	123	10
0	9	9
1	17	9
2	31	9
3	45	9
4	62	9
5	85	9
6	122	9
7	167	9
8	246	9
9	319	9
10	360	9
11	393	9
12	403	9
13	409	9
done	409	9
0	11	11
1	17	11
2	25	11
3	33	11
4	38	11
5	40	11
done	40	11
0	9	9
1	17	9
2	31	9
3	45	9
4	62	9
5	85	9
6	122	9
7	167	9
8	246	9
9	319	9
10	360	9
11	393	9
12	403	9
13	409	9
done	409	9
0	9	9
1	17	9
2	31	9
3	45	9
4	62	9
5	85	9
6	122	9
7	167	9
8	246	9
9	319	9
10	360	9
11	393	9
12	403	9
13	409	9
done	409	9
0	13	21
1	37	19
2	135	19
3	477	17
4	1749	17
done	5000	17
0	9	9
1	23	9
2	74	9
3	146	9
4	180	9
done	180	9
0	13	17
1	29	15
2	59	13
3	96	13
4	135	13
5	211	9
6	342	9
7	557	9
8	757	9
9	964	9
10	1282	9
11	1300	9
done	1300	9
0	1	1
done	1	1
0	1	1
done	1	1

prune54.0ms

Filtered

26 candidates to 33 candidates (-26.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	3	34

Merged error: 0.0b

Counts

34 → 3

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (- (+ x y) z) t)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
18×	`times-frac`
12×	`add-cube-cbrt`
8×	`distribute-lft-out--`
6×	`associate-/l*`
4×	`distribute-lft-out` `difference-of-squares`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 42

Calls

1 calls:

9.0ms

(/ (- (+ x y) z) t)

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(/ (- (+ x y) z) t)

simplify12.4s

Counts

45 → 45

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	16	9
2	24	9
3	30	9
4	36	9
5	45	9
6	58	9
7	71	9
8	80	9
9	89	9
10	104	9
11	109	9
12	113	9
13	117	9
done	117	9
0	8	8
1	19	8
2	30	8
3	39	8
4	48	8
5	63	8
6	88	8
7	117	8
8	161	8
9	202	8
10	230	8
11	249	8
12	256	8
13	258	8
done	258	8
0	8	8
1	16	8
2	28	8
3	38	8
4	50	8
5	74	8
6	109	8
7	165	8
8	257	8
9	401	8
10	552	8
11	628	8
12	634	8
13	639	8
done	639	8
0	11	23
1	25	23
2	91	11
3	386	9
4	1662	9
done	5001	9
0	9	17
1	17	17
2	26	17
3	34	17
4	43	17
5	58	17
6	83	17
7	112	17
8	156	17
9	197	17
10	225	17
11	244	17
12	251	17
13	253	17
done	253	17
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	9	23
1	24	23
2	73	9
3	289	9
4	1232	9
done	5000	9
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	6	6
1	11	6
2	24	6
3	40	6
4	61	5
5	77	5
6	107	5
7	123	5
8	125	5
9	129	5
done	129	5
0	2	2
done	2	2
0	5	5
1	6	5
done	6	5
0	3	3
done	3	3
0	11	19
1	22	19
2	38	19
3	50	19
4	56	19
5	65	19
6	78	19
7	91	19
8	100	19
9	109	19
10	124	19
11	129	19
12	133	19
13	134	19
done	134	19
0	9	9
1	14	9
2	21	9
3	27	9
4	33	9
5	42	9
6	55	9
7	68	9
8	77	9
9	86	9
10	101	9
11	106	9
12	110	9
13	111	9
done	111	9
0	10	16
1	17	16
2	26	16
3	33	16
4	39	16
5	48	16
6	61	16
7	74	16
8	83	16
9	92	16
10	107	16
11	112	16
12	116	16
13	117	16
done	117	16
0	9	9
1	14	9
2	21	9
3	27	9
4	33	9
5	42	9
6	55	9
7	68	9
8	77	9
9	86	9
10	101	9
11	106	9
12	110	9
13	111	9
done	111	9
0	9	15
1	18	13
2	31	13
3	42	13
4	48	13
5	57	13
6	70	13
7	83	13
8	92	13
9	101	13
10	116	13
11	121	13
12	125	13
13	129	13
done	129	13
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	67	8
8	76	8
9	85	8
10	100	8
11	105	8
12	109	8
13	113	8
done	113	8
0	10	12
1	17	12
2	24	12
3	30	12
4	36	12
5	45	12
6	58	12
7	71	12
8	80	12
9	89	12
10	104	12
11	109	12
12	113	12
13	117	12
done	117	12
0	9	9
1	14	9
2	21	9
3	27	9
4	33	9
5	42	9
6	55	9
7	68	9
8	77	9
9	86	9
10	101	9
11	106	9
12	110	9
13	111	9
done	111	9
0	9	9
1	14	9
2	21	9
3	27	9
4	33	9
5	42	9
6	55	9
7	68	9
8	77	9
9	86	9
10	101	9
11	106	9
12	110	9
13	111	9
done	111	9
0	9	9
1	14	9
2	21	9
3	27	9
4	33	9
5	42	9
6	55	9
7	68	9
8	77	9
9	86	9
10	101	9
11	106	9
12	110	9
13	111	9
done	111	9
0	8	8
1	15	6
2	24	6
3	30	6
4	36	6
5	45	6
6	58	6
7	71	6
8	80	6
9	89	6
10	104	6
11	109	6
12	113	6
13	117	6
done	117	6
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	67	8
8	76	8
9	85	8
10	100	8
11	105	8
12	109	8
13	113	8
done	113	8
0	5	7
1	9	7
done	9	7
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	4	4
1	6	4
done	6	4
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	2	3
1	4	1
done	4	1
0	7	7
1	15	7
2	24	7
3	32	7
4	41	7
5	56	7
6	81	7
7	110	7
8	154	7
9	195	7
10	223	7
11	242	7
12	249	7
13	254	7
done	254	7
0	11	13
1	15	13
done	15	13
0	10	10
1	16	10
2	19	10
3	21	10
done	21	10
0	10	10
1	12	10
done	12	10
0	10	10
1	16	10
2	19	10
3	21	10
done	21	10
0	9	9
1	13	7
2	15	7
done	15	7
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	5	7
1	9	7
done	9	7
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	4	4
1	6	4
done	6	4
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	2	3
1	4	1
done	4	1
0	7	7
1	15	7
2	24	7
3	32	7
4	41	7
5	56	7
6	81	7
7	110	7
8	154	7
9	195	7
10	223	7
11	242	7
12	249	7
13	254	7
done	254	7
0	5	7
1	9	7
done	9	7
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	4	4
1	6	4
done	6	4
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	2	3
1	4	1
done	4	1
0	7	7
1	15	7
2	24	7
3	32	7
4	41	7
5	56	7
6	81	7
7	110	7
8	154	7
9	195	7
10	223	7
11	242	7
12	249	7
13	254	7
done	254	7
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	19	7
3	25	7
4	31	7
5	40	7
6	53	7
7	66	7
8	75	7
9	84	7
10	99	7
11	104	7
12	108	7
13	112	7
done	112	7
0	9	11
1	19	11
2	33	11
3	44	11
4	59	11
5	82	11
6	122	11
7	170	11
8	250	11
9	326	11
10	369	11
11	404	11
12	414	11
13	420	11
done	420	11
0	8	8
1	16	8
2	25	8
3	33	8
4	42	8
5	57	8
6	82	8
7	111	8
8	155	8
9	196	8
10	224	8
11	243	8
12	250	8
13	255	8
done	255	8
0	7	7
1	17	5
2	28	5
3	34	5
4	43	5
5	58	5
6	80	5
7	100	5
8	126	5
9	139	5
10	159	5
11	166	5
12	170	5
13	172	5
done	172	5
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	67	8
8	76	8
9	85	8
10	100	8
11	105	8
12	109	8
13	113	8
done	113	8
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	67	8
8	76	8
9	85	8
10	100	8
11	105	8
12	109	8
13	113	8
done	113	8
0	7	7
1	12	7
2	19	7
3	25	7
4	31	7
5	40	7
6	53	7
7	66	7
8	75	7
9	84	7
10	99	7
11	104	7
12	108	7
13	112	7
done	112	7
0	9	9
1	12	9
2	13	9
done	13	9
0	7	7
1	12	7
2	19	7
3	25	7
4	31	7
5	40	7
6	53	7
7	66	7
8	75	7
9	84	7
10	99	7
11	104	7
12	108	7
13	112	7
done	112	7
0	7	7
1	12	7
2	19	7
3	25	7
4	31	7
5	40	7
6	53	7
7	66	7
8	75	7
9	84	7
10	99	7
11	104	7
12	108	7
13	112	7
done	112	7
0	11	19
1	32	17
2	98	17
3	293	15
4	993	15
5	3043	15
done	5000	15
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	9	11
1	14	11
2	23	11
3	29	11
4	35	11
5	46	11
6	63	11
7	85	11
8	103	11
9	110	11
10	129	11
11	133	11
done	133	11
0	1	1
done	1	1
0	1	1
done	1	1

prune52.0ms

Filtered

32 candidates to 45 candidates (-40.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Merged error: 0.0b

Counts

48 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ x y) t)
0.0b	(- (/ (+ x y) t) (/ z t))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
28×	`times-frac`
27×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
7×	`distribute-lft-out` `distribute-lft-out--`
4×	`add-exp-log` `add-cbrt-cube` `associate-/l*` `add-log-exp` `difference-of-squares`
3×	`associate-/r*` `div-inv`
2×	`pow1` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `flip3--` `distribute-rgt-out--` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `frac-sub` `flip--` `flip-+` `sub-div`

Counts

2 → 59

Calls

2 calls:

6.0ms	(/ (+ x y) t)
22.0ms	(- (/ (+ x y) t) (/ z t))

series15.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (+ x y) t)
9.0ms	(- (/ (+ x y) t) (/ z t))

simplify27.5s

Counts

65 → 65

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	13	10
2	15	10
3	20	10
4	23	10
5	29	10
6	33	10
7	49	10
8	55	10
9	62	10
10	75	10
11	102	10
12	135	10
13	175	10
14	282	10
15	495	10
16	503	10
done	503	10
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	15	10
2	20	10
3	23	10
4	29	10
5	33	10
6	49	10
7	55	10
8	62	10
9	75	10
10	101	10
11	134	10
12	176	10
13	283	10
14	496	10
15	502	10
done	502	10
0	10	21
1	13	21
2	16	21
done	16	21
0	9	10
1	12	10
2	15	10
done	15	10
0	10	29
1	14	29
2	31	11
3	90	11
4	311	11
5	1113	11
6	3870	11
done	5000	11
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	12	10
2	15	10
done	15	10
0	5	5
1	10	5
2	17	5
3	23	5
4	29	5
5	38	5
6	51	5
7	64	5
8	73	5
9	82	5
10	97	5
11	102	5
12	106	5
13	107	5
done	107	5
0	8	9
1	13	9
2	30	7
3	50	7
4	69	7
5	79	7
6	97	7
7	141	7
8	200	7
9	256	7
10	290	7
11	321	7
12	388	7
13	391	7
done	391	7
0	2	3
done	2	3
0	11	13
1	32	13
2	87	13
3	275	13
4	873	13
5	2901	13
done	5001	13
0	12	29
1	32	25
2	68	25
3	114	23
4	189	21
5	284	21
6	520	21
7	974	21
8	1574	21
9	2637	21
10	3929	21
11	4730	21
done	5001	21
0	4	4
1	6	4
done	6	4
0	10	19
1	24	19
2	53	19
3	105	19
4	198	19
5	364	19
6	682	19
7	1521	17
done	5000	17
0	8	9
1	10	9
done	10	9
0	10	11
1	12	11
done	12	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	12
1	13	12
done	13	12
0	11	12
1	14	12
2	17	12
done	17	12
0	11	12
1	13	12
done	13	12
0	11	12
1	14	12
2	15	12
done	15	12
0	11	13
1	13	13
done	13	13
0	11	13
1	14	13
2	17	13
done	17	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	11
1	12	11
2	15	11
done	15	11
0	8	9
1	11	9
2	14	9
done	14	9
0	9	11
1	12	11
2	15	11
done	15	11
0	9	11
1	12	11
2	15	11
done	15	11
0	8	9
1	11	9
2	14	9
done	14	9
0	8	9
1	11	9
2	14	9
done	14	9
0	5	5
1	10	5
2	17	5
3	23	5
4	29	5
5	38	5
6	51	5
7	64	5
8	73	5
9	82	5
10	97	5
11	102	5
12	106	5
13	107	5
done	107	5
0	4	4
1	6	4
done	6	4
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	236	7
4	620	7
5	1689	7
6	4465	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	47	7
3	119	7
4	298	7
5	589	7
6	1238	7
7	3090	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	7
1	8	7
done	8	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
done	11	10
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	11	4
done	11	4
0	6	6
1	7	6
done	7	6
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	7	9
1	10	9
done	10	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	10	3
done	10	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	13
1	24	11
2	54	11
3	102	11
4	155	11
5	207	11
6	262	11
7	326	11
8	461	11
9	708	11
10	784	11
11	785	11
done	785	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	9	11
1	14	11
2	23	11
3	29	11
4	35	11
5	46	11
6	63	11
7	85	11
8	103	11
9	110	11
10	129	11
11	133	11
done	133	11
0	9	11
1	14	11
2	23	11
3	29	11
4	35	11
5	46	11
6	63	11
7	85	11
8	103	11
9	110	11
10	129	11
11	133	11
done	133	11
0	9	11
1	14	11
2	23	11
3	29	11
4	35	11
5	46	11
6	63	11
7	85	11
8	103	11
9	110	11
10	129	11
11	133	11
done	133	11
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7

prune66.0ms

Filtered

46 candidates to 65 candidates (-41.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	65	3	68

Merged error: 0.0b

Counts

68 → 3

localize7.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (/ 0.5 t) (+ x (- y z)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`associate-l`
10×	`times-frac`
9×	`add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
3×	`pow1`
2×	`frac-times` `flip3-+` `associate-*r/` `prod-exp` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`
1×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `distribute-lft-out--` `add-log-exp`

Counts

1 → 40

Calls

1 calls:

12.0ms

(* (/ 0.5 t) (+ x (- y z)))

series20.0ms

Counts

1 → 3

Calls

1 calls:

20.0ms

(* (/ 0.5 t) (+ x (- y z)))

simplify45.9s

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	23	9
2	52	9
3	106	9
4	168	9
5	243	9
6	338	9
7	461	9
8	615	9
9	813	9
10	974	9
11	1043	9
12	1076	9
done	1076	9
0	12	12
1	22	12
2	39	12
3	57	12
4	72	12
5	87	12
6	103	12
7	130	12
8	167	12
9	188	12
10	196	12
11	202	12
12	206	12
done	206	12
0	11	11
1	20	11
2	33	11
3	51	11
4	67	11
5	86	11
6	98	11
7	117	11
8	152	11
9	184	11
10	200	11
11	206	11
12	210	11
done	210	11
0	10	10
1	27	10
2	62	10
3	126	10
4	204	10
5	292	10
6	399	10
7	534	10
8	711	10
9	919	10
10	1103	10
11	1191	10
12	1255	10
13	1297	10
14	1303	10
done	1303	10
0	10	10
1	26	10
2	64	10
3	154	10
4	293	10
5	623	10
6	1450	10
done	5000	10
0	15	29
1	47	29
2	199	15
3	1187	13
done	5000	13
0	13	29
1	43	29
2	167	13
3	846	13
done	5000	13
0	11	21
1	25	21
2	54	21
3	108	21
4	170	21
5	245	21
6	340	21
7	463	21
8	617	21
9	815	21
10	976	21
11	1045	21
12	1078	21
done	1078	21
0	10	10
1	24	10
2	53	10
3	107	10
4	169	10
5	244	10
6	339	10
7	462	10
8	616	10
9	814	10
10	967	10
11	1033	10
12	1066	10
done	1066	10
0	11	29
1	35	29
2	157	11
3	893	11
done	5001	11
0	10	10
1	24	10
2	53	10
3	107	10
4	169	10
5	244	10
6	339	10
7	462	10
8	616	10
9	814	10
10	967	10
11	1033	10
12	1066	10
done	1066	10
0	10	10
1	24	10
2	53	10
3	107	10
4	169	10
5	244	10
6	339	10
7	462	10
8	616	10
9	814	10
10	967	10
11	1033	10
12	1066	10
done	1066	10
0	10	11
1	33	11
2	80	11
3	200	11
4	532	11
5	1649	11
done	5000	11
0	11	19
1	28	15
2	75	15
3	225	15
4	766	15
5	2364	15
done	5001	15
0	9	13
1	17	13
2	47	13
3	164	13
4	660	13
5	2109	13
done	5000	13
0	7	7
1	14	7
2	34	7
3	61	7
4	91	7
5	119	7
6	161	7
7	220	7
8	277	7
9	336	7
10	362	7
done	362	7
0	11	11
1	17	11
2	24	11
3	33	11
4	39	11
5	49	11
6	56	11
7	66	11
8	84	11
9	97	11
10	105	11
11	111	11
12	115	11
done	115	11
0	11	11
1	17	11
2	24	11
3	33	11
4	39	11
5	49	11
6	56	11
7	66	11
8	84	11
9	97	11
10	105	11
11	111	11
12	115	11
done	115	11
0	12	12
1	20	12
2	30	12
3	41	12
4	49	12
5	60	12
6	67	12
7	77	12
8	95	12
9	108	12
10	116	12
11	122	12
12	126	12
done	126	12
0	12	12
1	20	12
2	30	12
3	41	12
4	49	12
5	60	12
6	67	12
7	77	12
8	95	12
9	108	12
10	116	12
11	122	12
12	126	12
done	126	12
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	11	17
1	21	17
2	36	17
3	53	17
4	68	17
5	84	17
6	96	17
7	106	17
8	124	17
9	137	17
10	145	17
11	151	17
12	152	17
done	152	17
0	10	10
1	18	10
2	28	10
3	39	10
4	47	10
5	58	10
6	65	10
7	75	10
8	93	10
9	106	10
10	114	10
11	118	10
12	122	10
done	122	10
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	10	10
1	22	10
2	36	10
3	62	10
4	84	10
5	106	10
6	128	10
7	165	10
8	226	10
9	290	10
10	345	10
11	372	10
12	376	10
done	376	10
0	10	10
1	22	10
2	36	10
3	62	10
4	84	10
5	106	10
6	128	10
7	165	10
8	226	10
9	290	10
10	345	10
11	372	10
12	376	10
done	376	10
0	11	11
1	25	11
2	54	11
3	108	11
4	170	11
5	245	11
6	340	11
7	463	11
8	617	11
9	815	11
10	1005	11
11	1059	11
12	1077	11
done	1077	11
0	11	11
1	25	11
2	54	11
3	108	11
4	170	11
5	245	11
6	340	11
7	463	11
8	617	11
9	815	11
10	1005	11
11	1059	11
12	1077	11
done	1077	11
0	10	10
1	24	10
2	53	10
3	107	10
4	169	10
5	244	10
6	339	10
7	462	10
8	616	10
9	814	10
10	1003	10
11	1056	10
12	1074	10
done	1074	10
0	11	11
1	25	11
2	54	11
3	108	11
4	170	11
5	245	11
6	340	11
7	463	11
8	617	11
9	815	11
10	1005	11
11	1059	11
12	1077	11
done	1077	11
0	11	11
1	25	11
2	54	11
3	108	11
4	170	11
5	245	11
6	340	11
7	463	11
8	617	11
9	815	11
10	1005	11
11	1059	11
12	1077	11
done	1077	11
0	10	10
1	24	10
2	53	10
3	107	10
4	169	10
5	244	10
6	339	10
7	462	10
8	616	10
9	814	10
10	1003	10
11	1056	10
12	1074	10
done	1074	10
0	10	10
1	24	10
2	53	10
3	107	10
4	169	10
5	244	10
6	339	10
7	462	10
8	616	10
9	814	10
10	975	10
11	1046	10
12	1079	10
done	1079	10
0	10	10
1	24	10
2	53	10
3	107	10
4	169	10
5	244	10
6	339	10
7	462	10
8	616	10
9	814	10
10	975	10
11	1046	10
12	1079	10
done	1079	10
0	9	9
1	23	9
2	52	9
3	106	9
4	168	9
5	243	9
6	338	9
7	461	9
8	615	9
9	813	9
10	974	9
11	1043	9
12	1076	9
done	1076	9
0	9	9
1	23	9
2	52	9
3	106	9
4	168	9
5	243	9
6	338	9
7	461	9
8	615	9
9	813	9
10	974	9
11	1043	9
12	1076	9
done	1076	9
0	9	9
1	25	9
2	54	7
3	141	7
4	258	7
5	343	7
6	419	7
7	531	7
8	703	7
9	927	7
10	1198	7
11	1237	7
12	1243	7
done	1243	7
0	12	13
1	37	13
2	99	13
3	263	13
4	803	13
5	2693	13
done	5000	13
0	11	15
1	21	15
2	62	15
3	235	15
4	1013	15
5	3331	15
done	5001	15
0	7	7
1	19	7
2	33	7
3	59	7
4	81	7
5	103	7
6	125	7
7	162	7
8	223	7
9	287	7
10	325	7
11	353	7
12	373	7
done	373	7
0	13	17
1	29	15
2	59	13
3	96	13
4	135	13
5	211	9
6	342	9
7	557	9
8	757	9
9	964	9
10	1282	9
11	1300	9
done	1300	9
0	13	17
1	29	15
2	59	13
3	96	13
4	135	13
5	211	9
6	342	9
7	557	9
8	757	9
9	964	9
10	1282	9
11	1300	9
done	1300	9
0	13	17
1	29	15
2	59	13
3	96	13
4	135	13
5	211	9
6	342	9
7	557	9
8	757	9
9	964	9
10	1282	9
11	1300	9
done	1300	9

prune60.0ms

Filtered

36 candidates to 43 candidates (-19.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	42	4	46

Merged error: 0b

Counts

46 → 4

regimes348.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	10	9
done	10	9

end0.0ms

sample1.2s

Algorithm

intervals

Results

630.0ms

10746×

body

valid

Details

sample34.0ms

simplify519.0ms

prune4.0ms

localize7.0ms

rewrite12.0ms

series18.0ms

simplify17.2s

prune54.0ms

localize7.0ms

rewrite11.0ms

series10.0ms

simplify12.4s

prune52.0ms

localize8.0ms

rewrite31.0ms

series15.0ms

simplify27.5s

prune66.0ms

localize7.0ms

rewrite13.0ms

series20.0ms

simplify45.9s

prune60.0ms

regimes348.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling