Details

sample61.0ms

Algorithm

intervals

Results

28.0ms

388×

body

valid

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	21
1	38	21
2	111	21
3	302	21
4	1187	21
done	5000	21

prune6.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.0b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- t 1.0) a)
0.0b	(* (- (+ y t) 2.0) b)
0.0b	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

28×	`associate-*l/`
23×	`flip3--` `flip--`
18×	`add-log-exp`
16×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
12×	`frac-add` `frac-sub`
11×	`associate-l`
8×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
6×	`diff-log` `associate-r`
4×	`sub-neg` `associate-+l+` `associate--l+`
3×	`sum-log` `distribute-lft-out--`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `associate--l-` `associate-+l-` `flip3-+` `flip-+` `distribute-lft-out`

Counts

4 → 95

Calls

4 calls:

12.0ms	(* (- t 1.0) a)
9.0ms	(* (- (+ y t) 2.0) b)
7.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
15.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

series99.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (- t 1.0) a)
7.0ms	(* (- (+ y t) 2.0) b)
29.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
55.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

simplify2.7min

Counts

107 → 107

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	22	25
1	46	24
2	129	23
3	329	22
4	1595	22
done	5001	22
0	21	24
1	46	23
2	135	22
3	357	22
4	1570	22
done	5001	22
0	20	23
1	45	22
2	139	22
3	402	22
4	1681	22
done	5000	22
0	19	22
1	39	22
2	112	22
3	303	22
4	1187	22
done	5000	22
0	19	22
1	42	22
2	130	22
3	401	22
4	1660	22
done	5000	22
0	20	45
1	40	45
2	113	45
3	304	45
4	1188	45
done	5001	45
0	19	22
1	39	22
2	112	22
3	303	22
4	1187	22
done	5000	22
0	20	65
1	53	65
2	186	23
3	1056	23
done	5000	23
0	19	22
1	39	22
2	112	22
3	303	22
4	1187	22
done	5000	22
0	19	22
1	39	22
2	112	22
3	303	22
4	1187	22
done	5000	22
0	45	123
1	155	105
2	597	105
3	3358	103
done	5000	103
0	26	53
1	82	43
2	326	43
3	2077	41
done	5000	41
0	41	113
1	141	97
2	536	97
3	3131	97
done	5000	97
0	22	41
1	68	33
2	266	33
3	1602	33
done	5001	33
0	41	107
1	139	93
2	525	93
3	2812	91
done	5000	91
0	22	45
1	72	37
2	289	37
3	1544	35
done	5001	35
0	37	97
1	125	85
2	464	85
3	2576	85
done	5000	85
0	18	33
1	58	27
2	228	27
3	1081	27
done	5000	27
0	41	95
1	134	89
2	502	89
3	2585	79
done	5000	79
0	22	37
1	63	33
2	238	33
3	1392	31
done	5001	31
0	37	85
1	120	81
2	441	81
3	2355	73
done	5000	73
0	18	25
1	49	23
2	178	23
3	936	23
4	4796	23
done	5000	23
0	37	79
1	118	77
2	430	77
3	2125	67
done	5000	67
0	18	29
1	53	27
2	201	27
3	985	25
done	5000	25
0	32	69
1	100	69
2	362	69
3	1886	61
done	5000	61
0	14	17
1	39	17
2	140	17
3	552	17
4	2334	17
done	5000	17
0	35	89
1	110	81
2	408	81
3	2047	77
done	5001	77
0	24	59
1	68	51
2	263	51
3	1326	47
done	5000	47
0	31	79
1	96	73
2	347	73
3	1797	71
done	5001	71
0	20	47
1	54	41
2	202	41
3	906	39
done	5001	39
0	31	71
1	91	69
2	333	69
3	1715	53
done	5000	53
0	20	31
1	51	29
2	171	29
3	787	27
done	5000	27
0	26	61
1	73	61
2	265	61
3	1400	47
done	5000	41
0	16	19
1	37	19
2	110	19
3	408	19
4	1728	19
done	5001	19
0	21	25
1	55	25
2	161	25
3	643	25
4	3602	25
done	5000	25
0	22	65
1	56	57
2	207	57
3	1086	51
done	5000	51
0	20	43
1	49	43
2	177	43
3	840	43
4	4683	43
done	5000	43
0	18	21
1	39	21
2	119	21
3	348	21
4	1402	21
done	5000	21
0	13	14
1	27	14
2	59	13
3	121	13
4	242	13
5	433	13
6	786	13
7	1552	13
8	2289	13
9	2388	13
10	2392	13
done	2392	13
0	17	20
1	37	20
2	93	20
3	219	19
4	726	19
5	2833	19
done	5000	19
0	17	20
1	37	20
2	93	20
3	219	19
4	726	19
5	2833	19
done	5000	19
0	13	14
1	27	14
2	59	13
3	121	13
4	242	13
5	433	13
6	786	13
7	1552	13
8	2289	13
9	2388	13
10	2392	13
done	2392	13
0	12	13
1	23	13
2	56	13
3	134	13
4	297	13
5	563	13
6	1044	13
7	1998	13
8	2604	13
9	2641	13
10	2644	13
done	2644	13
0	15	16
1	28	15
2	70	14
3	154	14
4	485	14
5	1809	14
done	5001	14
0	14	15
1	28	14
2	74	14
3	183	14
4	558	14
5	2228	14
done	5000	14
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	13	14
1	27	14
2	77	14
3	201	14
4	601	14
5	2302	14
done	5001	14
0	14	29
1	25	29
2	62	29
3	133	29
4	354	29
5	768	29
6	1297	29
7	1995	29
8	2150	29
9	2152	29
done	2152	29
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	14	41
1	26	41
2	77	15
3	275	15
4	1528	15
done	5002	15
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	29	57
1	94	49
2	316	49
3	1487	49
done	5001	49
0	18	35
1	51	27
2	180	27
3	771	27
4	3383	27
done	5000	27
0	25	49
1	78	43
2	265	43
3	1305	43
done	5000	43
0	14	27
1	41	21
2	142	21
3	482	21
4	1672	21
done	5001	21
0	25	45
1	73	43
2	242	43
3	1083	35
done	5000	35
0	14	19
1	32	17
2	92	17
3	273	17
4	897	17
5	3249	17
done	5000	17
0	20	37
1	53	37
2	184	37
3	833	29
4	4185	25
done	5000	25
0	10	11
1	22	11
2	54	11
3	123	11
4	309	11
5	707	11
6	1388	11
7	2517	11
done	5000	11
0	15	17
1	40	17
2	128	17
3	497	17
4	2159	17
done	5000	17
0	16	41
1	39	35
2	126	35
3	443	33
4	1770	33
done	5001	33
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	14	27
1	33	27
2	110	27
3	384	27
4	1502	27
done	5000	27
0	12	13
1	22	13
2	52	13
3	113	13
4	289	13
5	634	13
6	1054	13
7	1633	13
8	2044	13
9	2078	13
done	2078	13
0	11	12
1	22	12
2	50	12
3	101	12
4	204	11
5	343	11
6	528	11
7	742	11
8	798	11
9	802	11
done	802	11
0	11	12
1	22	12
2	50	12
3	101	12
4	204	11
5	343	11
6	528	11
7	742	11
8	798	11
9	802	11
done	802	11
0	10	11
1	16	11
2	30	11
3	48	11
4	80	11
5	127	11
6	191	11
7	356	11
8	598	11
9	689	11
10	704	11
11	706	11
done	706	11
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	7	7
1	13	7
2	32	7
3	56	7
4	74	7
5	90	7
6	121	7
7	160	7
8	200	7
9	253	7
10	299	7
11	316	7
12	346	7
13	361	7
done	361	7
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	69	9
8	78	9
9	87	9
10	102	9
11	107	9
12	111	9
13	112	9
done	112	9
0	8	8
1	17	8
2	37	8
3	61	8
4	79	8
5	95	8
6	126	8
7	165	8
8	205	8
9	258	8
10	307	8
11	325	8
12	355	8
13	373	8
done	373	8
0	8	8
1	16	8
2	49	8
3	98	8
4	185	8
5	336	8
6	853	8
7	2862	8
done	5000	8
0	11	23
1	23	23
2	79	11
3	391	11
4	2221	9
done	5000	9
0	9	17
1	15	17
2	34	17
3	58	17
4	76	17
5	92	17
6	123	17
7	162	17
8	202	17
9	255	17
10	301	17
11	318	17
12	348	17
13	363	17
done	363	17
0	8	8
1	14	8
2	33	8
3	57	8
4	75	8
5	91	8
6	122	8
7	161	8
8	201	8
9	254	8
10	300	8
11	317	8
12	347	8
13	362	8
done	362	8
0	9	23
1	25	23
2	109	9
3	614	9
4	3246	9
done	5000	9
0	8	8
1	14	8
2	33	8
3	57	8
4	75	8
5	91	8
6	122	8
7	161	8
8	201	8
9	254	8
10	300	8
11	317	8
12	347	8
13	362	8
done	362	8
0	8	8
1	14	8
2	33	8
3	57	8
4	75	8
5	91	8
6	122	8
7	161	8
8	201	8
9	254	8
10	300	8
11	317	8
12	347	8
13	362	8
done	362	8
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	69	9
8	78	9
9	87	9
10	102	9
11	107	9
12	111	9
13	112	9
done	112	9
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	69	9
8	78	9
9	87	9
10	102	9
11	107	9
12	111	9
13	112	9
done	112	9
0	9	11
1	17	11
2	38	11
3	92	11
4	131	11
5	163	11
6	214	11
7	289	11
8	391	11
9	536	11
10	700	11
11	794	11
12	810	11
done	810	11
0	8	8
1	14	8
2	33	8
3	57	8
4	75	8
5	91	8
6	122	8
7	161	8
8	201	8
9	254	8
10	322	8
11	351	8
12	361	8
done	361	8
0	7	7
1	15	5
2	37	5
3	73	5
4	106	5
5	123	5
6	153	5
7	192	5
8	238	5
9	295	5
10	356	5
11	393	5
12	401	5
13	415	5
done	415	5
0	8	8
1	14	8
2	21	8
3	27	8
4	33	8
5	42	8
6	55	8
7	68	8
8	77	8
9	86	8
10	101	8
11	106	8
12	110	8
13	111	8
done	111	8
0	8	8
1	14	8
2	21	8
3	27	8
4	33	8
5	42	8
6	55	8
7	68	8
8	77	8
9	86	8
10	101	8
11	106	8
12	110	8
13	111	8
done	111	8
0	7	7
1	13	7
2	32	7
3	56	7
4	74	7
5	90	7
6	121	7
7	160	7
8	200	7
9	253	7
10	299	7
11	316	7
12	346	7
13	361	7
done	361	7
0	9	9
1	13	9
2	20	9
3	25	9
4	29	9
done	29	9
0	7	7
1	13	7
2	32	7
3	56	7
4	74	7
5	90	7
6	121	7
7	160	7
8	200	7
9	253	7
10	299	7
11	316	7
12	346	7
13	361	7
done	361	7
0	7	7
1	13	7
2	32	7
3	56	7
4	74	7
5	90	7
6	121	7
7	160	7
8	200	7
9	253	7
10	299	7
11	316	7
12	346	7
13	361	7
done	361	7
0	10	11
1	27	11
2	71	11
3	202	11
4	550	11
5	1871	11
done	5000	11
0	9	13
1	22	13
2	64	13
3	215	13
4	837	13
5	2302	13
done	5001	13
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	8	9
1	14	9
2	20	9
3	26	7
4	28	7
done	28	7
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	8	9
1	14	9
2	20	9
3	26	7
4	28	7
done	28	7
0	10	11
1	18	11
2	27	11
3	51	9
4	67	9
5	94	9
6	145	9
7	187	9
8	211	9
9	213	9
done	213	9
0	10	11
1	18	11
2	27	11
3	51	9
4	67	9
5	94	9
6	145	9
7	187	9
8	211	9
9	213	9
done	213	9
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5

prune227.0ms

Filtered

81 candidates to 107 candidates (-32.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	102	5	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	103	5	108

Merged error: 0.0b

Counts

108 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt b) (cbrt b))
0.6b	(cbrt b)
0.6b	(cbrt b)
0.6b	(cbrt b)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

7.0ms	(* (cbrt b) (cbrt b))
1.0ms	(cbrt b)
1.0ms	(cbrt b)
1.0ms	(cbrt b)

series109.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (cbrt b) (cbrt b))
26.0ms	(cbrt b)
29.0ms	(cbrt b)
25.0ms	(cbrt b)

simplify51.7s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
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
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	314	3
6	887	3
7	2959	3
done	5000	3
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	553	10
5	2139	10
done	5000	9

prune107.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	85	5	90

Merged error: 0.0b

Counts

90 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
0.5b	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 139

Calls

4 calls:

19.0ms	(* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
7.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
7.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
10.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

series909.0ms

Counts

4 → 12

Calls

4 calls:

293.0ms	(* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
206.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
204.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
205.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

simplify11.4min

Counts

151 → 151

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	2
1	4	1
done	4	1
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	30	58
1	95	50
2	317	50
3	1491	50
done	5000	50
0	19	36
1	52	28
2	181	28
3	773	28
4	3385	28
done	5000	28
0	26	50
1	79	44
2	266	44
3	1304	44
done	5001	44
0	15	28
1	42	22
2	143	22
3	485	22
4	1658	22
done	5001	22
0	26	46
1	74	44
2	243	44
3	1086	36
done	5001	36
0	15	20
1	33	18
2	93	18
3	274	18
4	898	18
5	3275	18
done	5000	18
0	21	38
1	54	38
2	185	38
3	834	30
4	4202	26
done	5000	26
0	11	12
1	23	12
2	55	12
3	124	12
4	305	12
5	703	12
6	1395	12
7	2522	12
done	5001	12
0	16	18
1	41	18
2	129	18
3	503	18
4	2186	18
done	5001	18
0	17	42
1	40	36
2	127	36
3	445	34
4	1778	34
done	5000	34
0	15	28
1	34	28
2	111	28
3	385	28
4	1506	28
done	5000	28
0	13	14
1	23	14
2	53	14
3	114	14
4	290	14
5	635	14
6	1034	14
7	1613	14
8	2024	14
9	2061	14
done	2061	14
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	44
1	27	44
2	66	16
3	142	13
4	369	13
5	797	13
6	1344	13
7	2110	13
8	2468	13
9	3450	13
done	5001	13
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	2
1	4	1
done	4	1
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	30	58
1	95	50
2	317	50
3	1491	50
done	5000	50
0	19	36
1	52	28
2	181	28
3	773	28
4	3385	28
done	5000	28
0	26	50
1	79	44
2	266	44
3	1304	44
done	5001	44
0	15	28
1	42	22
2	143	22
3	485	22
4	1658	22
done	5001	22
0	26	46
1	74	44
2	243	44
3	1086	36
done	5001	36
0	15	20
1	33	18
2	93	18
3	274	18
4	898	18
5	3275	18
done	5000	18
0	21	38
1	54	38
2	185	38
3	834	30
4	4202	26
done	5000	26
0	11	12
1	23	12
2	55	12
3	124	12
4	305	12
5	703	12
6	1395	12
7	2522	12
done	5001	12
0	16	18
1	41	18
2	129	18
3	503	18
4	2186	18
done	5001	18
0	17	42
1	40	36
2	127	36
3	445	34
4	1778	34
done	5000	34
0	15	28
1	34	28
2	111	28
3	385	28
4	1506	28
done	5000	28
0	13	14
1	23	14
2	53	14
3	114	14
4	290	14
5	635	14
6	1034	14
7	1613	14
8	2024	14
9	2061	14
done	2061	14
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	44
1	27	44
2	66	16
3	142	13
4	369	13
5	797	13
6	1344	13
7	2110	13
8	2468	13
9	3450	13
done	5001	13
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	2
1	4	1
done	4	1
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	30	58
1	95	50
2	317	50
3	1491	50
done	5000	50
0	19	36
1	52	28
2	181	28
3	773	28
4	3385	28
done	5000	28
0	26	50
1	79	44
2	266	44
3	1304	44
done	5001	44
0	15	28
1	42	22
2	143	22
3	485	22
4	1658	22
done	5001	22
0	26	46
1	74	44
2	243	44
3	1086	36
done	5001	36
0	15	20
1	33	18
2	93	18
3	274	18
4	898	18
5	3275	18
done	5000	18
0	21	38
1	54	38
2	185	38
3	834	30
4	4202	26
done	5000	26
0	11	12
1	23	12
2	55	12
3	124	12
4	305	12
5	703	12
6	1395	12
7	2522	12
done	5001	12
0	16	18
1	41	18
2	129	18
3	503	18
4	2186	18
done	5001	18
0	17	42
1	40	36
2	127	36
3	445	34
4	1778	34
done	5000	34
0	15	28
1	34	28
2	111	28
3	385	28
4	1506	28
done	5000	28
0	13	14
1	23	14
2	53	14
3	114	14
4	290	14
5	635	14
6	1034	14
7	1613	14
8	2024	14
9	2061	14
done	2061	14
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	44
1	27	44
2	66	16
3	142	13
4	369	13
5	797	13
6	1344	13
7	2110	13
8	2468	13
9	3450	13
done	5001	13
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	13	27
1	24	27
2	67	27
3	207	27
4	935	27
done	5000	27
0	14	29
1	25	29
2	62	29
3	133	29
4	354	29
5	768	29
6	1297	29
7	1995	29
8	2150	29
9	2152	29
done	2152	29
0	2	3
1	6	1
done	6	1
0	15	31
1	28	17
2	66	17
3	137	17
4	358	17
5	771	17
6	1300	17
7	2007	17
8	2157	17
9	2159	17
done	2159	17
0	15	30
1	28	30
2	67	17
3	139	17
4	360	17
5	770	17
6	1298	17
7	1999	17
8	2155	17
9	2157	17
done	2157	17
0	15	30
1	28	30
2	69	30
3	145	30
4	384	30
5	836	30
6	1464	30
7	2535	30
8	4369	30
done	5000	30
0	13	27
1	24	27
2	67	27
3	207	27
4	935	27
done	5000	27
0	16	61
1	27	61
2	64	61
3	135	61
4	356	61
5	778	61
6	1294	61
7	2002	61
8	2160	61
9	2162	61
done	2162	61
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	16	89
1	35	89
2	79	31
3	164	16
4	503	16
5	1865	16
done	5000	16
0	15	30
1	27	15
2	64	15
3	135	15
4	356	15
5	774	15
6	1294	15
7	1998	15
8	2153	15
9	2155	15
done	2155	15
0	15	30
1	27	15
2	64	15
3	135	15
4	356	15
5	774	15
6	1294	15
7	1998	15
8	2153	15
9	2155	15
done	2155	15
0	31	117
1	96	101
2	318	101
3	1496	101
done	5001	101
0	20	73
1	53	57
2	182	57
3	771	57
4	3359	57
done	5000	57
0	38	109
1	121	95
2	410	95
3	2119	95
done	5001	95
0	23	65
1	64	51
2	231	51
3	956	51
4	4164	51
done	5001	51
0	37	105
1	119	95
2	440	95
3	2205	87
done	5000	87
0	23	57
1	64	47
2	237	47
3	963	47
4	3956	47
done	5001	47
0	40	97
1	127	89
2	444	89
3	2125	81
done	5001	81
0	24	49
1	65	41
2	217	41
3	856	41
4	3543	41
done	5000	41
0	38	77
1	123	69
2	422	69
3	1951	69
done	5001	69
0	30	79
1	84	65
2	293	65
3	1189	63
done	5001	63
0	38	87
1	120	79
2	410	79
3	1841	79
done	5001	79
0	26	51
1	67	43
2	219	43
3	865	43
4	3598	43
done	5001	43
0	38	109
1	121	95
2	410	95
3	2118	95
done	5000	95
0	23	65
1	64	51
2	231	51
3	958	51
4	4164	51
done	5001	51
0	27	101
1	80	89
2	267	89
3	1307	89
done	5001	89
0	16	57
1	43	45
2	144	45
3	486	45
4	1677	45
done	5000	45
0	40	97
1	127	89
2	444	89
3	2169	81
done	5001	81
0	24	49
1	65	41
2	217	41
3	717	41
4	2416	41
done	5000	41
0	33	89
1	103	83
2	371	83
3	1838	75
done	5000	75
0	19	41
1	54	35
2	179	35
3	550	35
4	1844	35
done	5000	35
0	34	69
1	106	63
2	374	63
3	1799	63
done	5000	63
0	26	71
1	74	59
2	255	59
3	903	57
4	3349	57
done	5000	57
0	34	79
1	103	73
2	362	73
3	1689	73
done	5001	73
0	22	43
1	57	37
2	181	37
3	580	37
4	1942	37
done	5000	37
0	37	105
1	119	95
2	440	95
3	2200	87
done	5001	87
0	23	57
1	64	47
2	237	47
3	959	47
4	3945	47
done	5001	47
0	40	97
1	127	89
2	444	89
3	2171	81
done	5000	81
0	24	49
1	65	41
2	217	41
3	713	41
4	2473	41
done	5000	41
0	27	93
1	75	89
2	244	89
3	1089	73
done	5001	73
0	16	41
1	34	37
2	94	37
3	277	37
4	903	37
5	3270	37
done	5000	37
0	34	85
1	100	83
2	341	83
3	1574	67
done	5001	67
0	19	33
1	45	31
2	125	31
3	344	31
4	1078	31
5	3800	31
done	5000	31
0	34	65
1	101	63
2	350	63
3	1622	55
done	5000	55
0	26	63
1	65	55
2	205	55
3	698	53
4	2633	53
done	5000	53
0	34	75
1	98	73
2	338	73
3	1505	65
done	5000	65
0	22	35
1	48	33
2	131	33
3	370	33
4	1172	33
5	3927	33
done	5000	33
0	40	97
1	127	89
2	444	89
3	2133	81
done	5001	81
0	24	49
1	65	41
2	217	41
3	855	41
4	3550	41
done	5001	41
0	33	89
1	103	83
2	371	83
3	1844	75
done	5001	75
0	19	41
1	54	35
2	179	35
3	548	35
4	1840	35
done	5001	35
0	34	85
1	100	83
2	341	83
3	1574	67
done	5000	67
0	19	33
1	45	31
2	125	31
3	344	31
4	1093	31
5	3850	31
done	5000	31
0	22	77
1	55	77
2	186	77
3	834	61
4	4185	53
done	5000	53
0	12	25
1	24	25
2	56	25
3	125	25
4	307	25
5	699	25
6	1412	25
7	2528	25
done	5000	25
0	30	57
1	84	57
2	302	57
3	1381	49
done	5000	45
0	22	55
1	55	49
2	167	49
3	547	47
4	2030	47
done	5001	47
0	29	67
1	77	67
2	283	67
3	1251	59
done	5001	55
0	18	27
1	38	27
2	93	27
3	218	27
4	570	27
5	1347	27
6	2643	27
7	4827	27
done	5000	27
0	38	77
1	123	69
2	422	69
3	1960	69
done	5000	69
0	30	79
1	84	65
2	293	65
3	1190	63
done	5001	63
0	34	69
1	106	63
2	374	63
3	1817	63
done	5000	63
0	26	71
1	74	59
2	255	59
3	906	57
4	3386	57
done	5000	57
0	34	65
1	101	63
2	350	63
3	1617	55
done	5001	55
0	26	63
1	65	55
2	205	55
3	695	53
4	2644	53
done	5001	53
0	30	57
1	84	57
2	302	57
3	1381	49
done	5000	45
0	22	55
1	55	49
2	167	49
3	546	47
4	2033	47
done	5000	47
0	17	37
1	42	37
2	130	37
3	503	37
4	2169	37
done	5001	37
0	18	85
1	41	73
2	128	73
3	445	69
4	1774	69
done	5000	69
0	21	47
1	57	47
2	190	47
3	739	47
4	3113	47
done	5000	47
0	20	57
1	46	51
2	138	51
3	499	49
4	1975	49
done	5001	49
0	38	87
1	120	79
2	410	79
3	1840	79
done	5001	79
0	26	51
1	67	43
2	219	43
3	865	43
4	3622	43
done	5001	43
0	34	79
1	103	73
2	362	73
3	1697	73
done	5001	73
0	22	43
1	57	37
2	181	37
3	576	37
4	1954	37
done	5000	37
0	34	75
1	98	73
2	338	73
3	1502	65
done	5000	65
0	22	35
1	48	33
2	131	33
3	372	33
4	1175	33
5	3912	33
done	5000	33
0	29	67
1	77	67
2	283	67
3	1252	59
done	5001	55
0	18	27
1	38	27
2	93	27
3	218	27
4	562	27
5	1341	27
6	2632	27
7	4799	27
done	5000	27
0	21	47
1	57	47
2	190	47
3	747	47
4	3118	47
done	5000	47
0	20	57
1	46	51
2	138	51
3	497	49
4	1972	49
done	5001	49
0	16	57
1	35	57
2	112	57
3	386	57
4	1508	57
done	5000	57
0	14	29
1	24	29
2	54	29
3	115	29
4	291	29
5	631	29
6	1040	29
7	1618	29
8	2030	29
9	2064	29
done	2064	29
0	16	61
1	27	61
2	64	61
3	135	61
4	356	61
5	778	61
6	1294	61
7	2002	61
8	2160	61
9	2162	61
done	2162	61
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	3	5
1	5	3
done	5	1
0	14	29
1	25	29
2	62	29
3	133	29
4	354	29
5	768	29
6	1297	29
7	1995	29
8	2150	29
9	2152	29
done	2152	29
0	16	63
1	31	63
2	70	33
3	150	17
4	386	17
5	833	17
6	1435	17
7	2356	17
8	3403	17
done	5000	17
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	15	31
1	26	14
2	64	14
3	135	14
4	356	14
5	774	14
6	1300	14
7	2009	14
8	2163	14
9	2165	14
done	2165	14
0	15	31
1	26	14
2	64	14
3	135	14
4	356	14
5	774	14
6	1300	14
7	2009	14
8	2163	14
9	2165	14
done	2165	14
0	2	3
1	4	1
done	4	1
0	14	29
1	25	29
2	62	29
3	133	29
4	354	29
5	768	29
6	1297	29
7	1995	29
8	2150	29
9	2152	29
done	2152	29
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	17	31
1	29	31
2	66	31
3	137	31
4	358	31
5	773	31
6	1311	31
7	2015	31
8	2169	31
9	2171	31
done	2171	31
0	17	31
1	29	31
2	66	31
3	137	31
4	358	31
5	773	31
6	1311	31
7	2015	31
8	2169	31
9	2171	31
done	2171	31
0	17	31
1	29	31
2	66	31
3	137	31
4	358	31
5	773	31
6	1311	31
7	2015	31
8	2169	31
9	2171	31
done	2171	31
0	17	31
1	29	31
2	66	31
3	137	31
4	358	31
5	773	31
6	1311	31
7	2015	31
8	2169	31
9	2171	31
done	2171	31
0	15	31
1	26	14
2	64	14
3	135	14
4	356	14
5	774	14
6	1300	14
7	2009	14
8	2163	14
9	2165	14
done	2165	14
0	15	31
1	26	14
2	64	14
3	135	14
4	356	14
5	774	14
6	1300	14
7	2009	14
8	2163	14
9	2165	14
done	2165	14
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	16	45
1	28	45
2	65	45
3	136	45
4	357	45
5	775	45
6	1302	45
7	2005	45
8	2158	45
9	2160	45
done	2160	45
0	16	30
1	28	30
2	65	30
3	136	30
4	357	30
5	775	30
6	1302	30
7	2005	30
8	2158	30
9	2160	30
done	2160	30
0	16	17
1	30	16
2	67	16
3	138	14
4	362	14
5	776	14
6	1307	14
7	2008	14
8	2165	14
9	2167	14
done	2167	14
0	16	46
1	30	46
2	69	46
3	140	46
4	361	46
5	784	46
6	1293	46
7	1994	46
8	2153	46
9	2155	46
done	2155	46
0	15	30
1	27	30
2	64	30
3	135	30
4	356	30
5	778	30
6	1294	30
7	1999	30
8	2154	30
9	2156	30
done	2156	30
0	15	16
1	29	14
2	69	14
3	140	14
4	361	14
5	782	14
6	1289	14
7	1987	14
8	2143	14
9	2145	14
done	2145	14
0	15	30
1	27	30
2	64	30
3	135	30
4	356	30
5	778	30
6	1294	30
7	1999	30
8	2154	30
9	2156	30
done	2156	30
0	16	30
1	28	30
2	65	30
3	136	30
4	357	30
5	775	30
6	1302	30
7	2005	30
8	2158	30
9	2160	30
done	2160	30
0	14	29
1	25	29
2	62	29
3	133	29
4	354	29
5	768	29
6	1297	29
7	1995	29
8	2150	29
9	2152	29
done	2152	29
0	15	30
1	27	30
2	64	30
3	135	30
4	356	30
5	778	30
6	1294	30
7	1999	30
8	2154	30
9	2156	30
done	2156	30
0	15	30
1	27	30
2	64	30
3	135	30
4	356	30
5	778	30
6	1294	30
7	1999	30
8	2154	30
9	2156	30
done	2156	30
0	14	29
1	25	29
2	62	29
3	133	29
4	354	29
5	768	29
6	1297	29
7	1995	29
8	2150	29
9	2152	29
done	2152	29
0	36	73
1	110	65
2	360	65
3	1597	65
done	5001	65
0	32	65
1	93	59
2	312	59
3	1451	59
done	5001	59
0	32	61
1	88	59
2	288	59
3	1256	51
done	5000	51
0	27	53
1	67	53
2	233	53
3	1013	45
done	5001	41
0	19	33
1	49	33
2	152	33
3	570	33
4	2465	33
done	5000	33
0	18	43
1	41	43
2	132	43
3	469	43
4	2099	43
done	5000	43
0	36	73
1	110	65
2	360	65
3	1593	65
done	5001	65
0	32	65
1	93	59
2	312	59
3	1450	59
done	5000	59
0	32	61
1	88	59
2	288	59
3	1258	51
done	5001	51
0	27	53
1	67	53
2	233	53
3	1014	45
done	5000	41
0	19	33
1	49	33
2	152	33
3	573	33
4	2460	33
done	5000	33
0	18	43
1	41	43
2	132	43
3	469	43
4	2096	43
done	5000	43
0	22	38
1	49	38
2	93	38
3	183	25
4	416	19
5	1157	17
6	4330	17
done	5000	17
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	22	38
1	49	38
2	93	38
3	183	25
4	416	19
5	1157	17
6	4330	17
done	5000	17
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	22	38
1	49	38
2	93	38
3	183	25
4	416	19
5	1157	17
6	4330	17
done	5000	17
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	22	36
1	48	36
2	93	36
3	176	21
4	396	17
5	1154	16
6	3842	15
done	5000	15
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	553	10
5	2139	10
done	5000	9

prune747.0ms

Filtered

126 candidates to 151 candidates (-19.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	151	5	156

Merged error: 0b

Counts

156 → 5

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

24×	`cbrt-div`
20×	`flip3--` `flip--`
16×	`associate-*l/` `frac-sub`
12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 68

Calls

4 calls:

7.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
7.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
7.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
13.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

series829.0ms

Counts

4 → 12

Calls

4 calls:

208.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
207.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
207.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
208.0ms	(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

simplify7.2min

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	2
1	4	1
done	4	1
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	30	58
1	95	50
2	317	50
3	1491	50
done	5000	50
0	19	36
1	52	28
2	181	28
3	773	28
4	3385	28
done	5000	28
0	26	50
1	79	44
2	266	44
3	1304	44
done	5001	44
0	15	28
1	42	22
2	143	22
3	485	22
4	1658	22
done	5001	22
0	26	46
1	74	44
2	243	44
3	1086	36
done	5001	36
0	15	20
1	33	18
2	93	18
3	274	18
4	898	18
5	3275	18
done	5000	18
0	21	38
1	54	38
2	185	38
3	834	30
4	4202	26
done	5000	26
0	11	12
1	23	12
2	55	12
3	124	12
4	305	12
5	703	12
6	1395	12
7	2522	12
done	5001	12
0	16	18
1	41	18
2	129	18
3	503	18
4	2186	18
done	5001	18
0	17	42
1	40	36
2	127	36
3	445	34
4	1778	34
done	5000	34
0	15	28
1	34	28
2	111	28
3	385	28
4	1506	28
done	5000	28
0	13	14
1	23	14
2	53	14
3	114	14
4	290	14
5	635	14
6	1034	14
7	1613	14
8	2024	14
9	2061	14
done	2061	14
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	44
1	27	44
2	66	16
3	142	13
4	369	13
5	797	13
6	1344	13
7	2110	13
8	2468	13
9	3450	13
done	5001	13
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	2
1	4	1
done	4	1
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	30	58
1	95	50
2	317	50
3	1491	50
done	5000	50
0	19	36
1	52	28
2	181	28
3	773	28
4	3385	28
done	5000	28
0	26	50
1	79	44
2	266	44
3	1304	44
done	5001	44
0	15	28
1	42	22
2	143	22
3	485	22
4	1658	22
done	5001	22
0	26	46
1	74	44
2	243	44
3	1086	36
done	5001	36
0	15	20
1	33	18
2	93	18
3	274	18
4	898	18
5	3275	18
done	5000	18
0	21	38
1	54	38
2	185	38
3	834	30
4	4202	26
done	5000	26
0	11	12
1	23	12
2	55	12
3	124	12
4	305	12
5	703	12
6	1395	12
7	2522	12
done	5001	12
0	16	18
1	41	18
2	129	18
3	503	18
4	2186	18
done	5001	18
0	17	42
1	40	36
2	127	36
3	445	34
4	1778	34
done	5000	34
0	15	28
1	34	28
2	111	28
3	385	28
4	1506	28
done	5000	28
0	13	14
1	23	14
2	53	14
3	114	14
4	290	14
5	635	14
6	1034	14
7	1613	14
8	2024	14
9	2061	14
done	2061	14
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	44
1	27	44
2	66	16
3	142	13
4	369	13
5	797	13
6	1344	13
7	2110	13
8	2468	13
9	3450	13
done	5001	13
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	2
1	4	1
done	4	1
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	30	58
1	95	50
2	317	50
3	1491	50
done	5000	50
0	19	36
1	52	28
2	181	28
3	773	28
4	3385	28
done	5000	28
0	26	50
1	79	44
2	266	44
3	1304	44
done	5001	44
0	15	28
1	42	22
2	143	22
3	485	22
4	1658	22
done	5001	22
0	26	46
1	74	44
2	243	44
3	1086	36
done	5001	36
0	15	20
1	33	18
2	93	18
3	274	18
4	898	18
5	3275	18
done	5000	18
0	21	38
1	54	38
2	185	38
3	834	30
4	4202	26
done	5000	26
0	11	12
1	23	12
2	55	12
3	124	12
4	305	12
5	703	12
6	1395	12
7	2522	12
done	5001	12
0	16	18
1	41	18
2	129	18
3	503	18
4	2186	18
done	5001	18
0	17	42
1	40	36
2	127	36
3	445	34
4	1778	34
done	5000	34
0	15	28
1	34	28
2	111	28
3	385	28
4	1506	28
done	5000	28
0	13	14
1	23	14
2	53	14
3	114	14
4	290	14
5	635	14
6	1034	14
7	1613	14
8	2024	14
9	2061	14
done	2061	14
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	44
1	27	44
2	66	16
3	142	13
4	369	13
5	797	13
6	1344	13
7	2110	13
8	2468	13
9	3450	13
done	5001	13
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	30
1	26	30
2	63	30
3	134	30
4	355	30
5	767	30
6	1300	30
7	1999	30
8	2151	30
9	2153	30
done	2153	30
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	2	2
1	4	1
done	4	1
0	13	14
1	24	14
2	61	14
3	132	14
4	353	14
5	767	14
6	1291	14
7	1996	14
8	2148	14
9	2150	14
done	2150	14
0	30	58
1	95	50
2	317	50
3	1491	50
done	5000	50
0	19	36
1	52	28
2	181	28
3	773	28
4	3385	28
done	5000	28
0	26	50
1	79	44
2	266	44
3	1304	44
done	5001	44
0	15	28
1	42	22
2	143	22
3	485	22
4	1658	22
done	5001	22
0	26	46
1	74	44
2	243	44
3	1086	36
done	5001	36
0	15	20
1	33	18
2	93	18
3	274	18
4	898	18
5	3275	18
done	5000	18
0	21	38
1	54	38
2	185	38
3	834	30
4	4202	26
done	5000	26
0	11	12
1	23	12
2	55	12
3	124	12
4	305	12
5	703	12
6	1395	12
7	2522	12
done	5001	12
0	16	18
1	41	18
2	129	18
3	503	18
4	2186	18
done	5001	18
0	17	42
1	40	36
2	127	36
3	445	34
4	1778	34
done	5000	34
0	15	28
1	34	28
2	111	28
3	385	28
4	1506	28
done	5000	28
0	13	14
1	23	14
2	53	14
3	114	14
4	290	14
5	635	14
6	1034	14
7	1613	14
8	2024	14
9	2061	14
done	2061	14
0	15	31
1	26	31
2	63	31
3	134	31
4	355	31
5	767	31
6	1300	31
7	1999	31
8	2151	31
9	2153	31
done	2153	31
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	15	44
1	27	44
2	66	16
3	142	13
4	369	13
5	797	13
6	1344	13
7	2110	13
8	2468	13
9	3450	13
done	5001	13
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	14	15
1	25	15
2	62	15
3	133	15
4	354	15
5	768	15
6	1297	15
7	1995	15
8	2150	15
9	2152	15
done	2152	15
0	22	38
1	49	38
2	93	38
3	183	25
4	416	19
5	1157	17
6	4330	17
done	5000	17
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	22	38
1	49	38
2	93	38
3	183	25
4	416	19
5	1157	17
6	4330	17
done	5000	17
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	22	38
1	49	38
2	93	38
3	183	25
4	416	19
5	1157	17
6	4330	17
done	5000	17
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	22	38
1	49	38
2	93	38
3	183	25
4	416	19
5	1157	17
6	4330	17
done	5000	17
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

prune463.0ms

Filtered

68 candidates to 80 candidates (-17.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	80	5	85

Merged error: 0b

Counts

85 → 5

regimes506.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	28
1	27	28
done	27	28

end0.0ms

sample1.7s

Algorithm

intervals

Results

794.0ms	12610×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	3×	body	160	valid
0.0ms	1×	body	1280	valid

Details

sample61.0ms

simplify1.4s

prune6.0ms

localize16.0ms

rewrite48.0ms

series99.0ms

simplify2.7min

prune227.0ms

localize20.0ms

rewrite14.0ms

series109.0ms

simplify51.7s

prune107.0ms

localize21.0ms

rewrite55.0ms

series909.0ms

simplify11.4min

prune747.0ms

localize26.0ms

rewrite37.0ms

series829.0ms

simplify7.2min

prune463.0ms

regimes506.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling