Details

sample33.0ms

Algorithm

intervals

Results

12.0ms

335×

body

valid

simplify59.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	15	7
2	34	7
3	64	7
4	84	7
5	93	7
done	93	7

prune10.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.7b	(- (* x y) (* z y))
7.6b	(* (- (* x y) (* z y)) t)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`flip3--` `distribute-rgt-out--` `associate-*l/` `flip--`
1×	`sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 34

Calls

2 calls:

4.0ms	(- (* x y) (* z y))
6.0ms	(* (- (* x y) (* z y)) t)

series29.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(- (* x y) (* z y))
20.0ms	(* (- (* x y) (* z y)) t)

simplify30.9s

Counts

40 → 40

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	15	7
2	34	7
3	64	7
4	84	7
5	93	7
done	93	7
0	10	11
1	17	9
2	29	9
3	35	9
4	39	9
done	39	9
0	9	10
1	19	8
2	42	8
3	81	8
4	107	8
5	116	8
done	116	8
0	9	10
1	18	8
2	50	8
3	114	8
4	237	8
5	564	8
6	1994	8
done	5000	8
0	12	29
1	25	23
2	84	11
3	416	11
4	2354	9
done	5000	9
0	10	21
1	17	17
2	36	17
3	66	17
4	80	17
5	89	17
done	89	17
0	9	10
1	16	8
2	35	8
3	65	8
4	83	8
5	92	8
done	92	8
0	10	29
1	27	23
2	106	9
3	594	9
4	3605	9
done	5000	9
0	9	10
1	16	8
2	35	8
3	65	8
4	83	8
5	92	8
done	92	8
0	9	10
1	16	8
2	35	8
3	65	8
4	83	8
5	92	8
done	92	8
0	10	11
1	17	9
2	26	9
3	27	9
done	27	9
0	10	11
1	17	9
2	26	9
3	27	9
done	27	9
0	10	13
1	19	11
2	42	11
3	94	11
4	165	11
5	210	11
6	235	11
done	235	11
0	9	10
1	16	8
2	35	8
3	65	8
4	83	8
5	92	8
done	92	8
0	8	9
1	17	5
2	39	5
3	80	5
4	126	5
5	140	5
6	156	5
done	156	5
0	9	10
1	16	8
2	25	8
3	26	8
done	26	8
0	9	10
1	16	8
2	25	8
3	26	8
done	26	8
0	8	9
1	15	7
2	34	7
3	64	7
4	84	7
5	93	7
done	93	7
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	121	13
3	485	13
4	1698	13
done	5000	13
0	10	17
1	31	17
2	90	13
3	260	13
4	664	13
5	1273	13
6	2031	13
7	3320	13
done	5001	13
0	8	9
1	16	8
2	29	6
3	61	6
4	159	6
5	604	6
6	3904	6
done	5001	6
0	7	8
1	13	6
2	25	6
3	27	6
done	27	6
0	7	8
1	16	6
2	35	6
3	62	6
4	137	6
5	489	6
6	2521	6
done	5001	6
0	8	17
1	14	13
2	23	13
3	24	13
done	24	13
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	8	23
1	15	17
2	49	7
3	216	7
4	900	7
5	2848	7
done	5000	7
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	9	11
1	31	11
2	112	11
3	373	11
4	926	11
5	2533	11
done	5001	11
0	10	23
1	35	19
2	92	17
3	142	15
4	191	13
5	212	13
done	212	13
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	28	15
2	77	11
3	158	11
4	271	11
5	471	11
6	720	11
7	1216	11
8	3306	11
done	5001	11
0	6	7
1	11	5
2	13	5
done	13	5
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune80.0ms

Filtered

30 candidates to 40 candidates (-33.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	33	7	40
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	34	8	42

Merged error: 0.1b

Counts

42 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- x z) t)
7.8b	(* y (* (- x z) t))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
8×	`associate-l`
7×	`*-un-lft-identity`
5×	`add-cube-cbrt`
4×	`associate-r` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-r/` `-commutative` `flip--` `add-log-exp`
1×	`distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 42

Calls

2 calls:

7.0ms	(* (- x z) t)
8.0ms	(* y (* (- x z) t))

series20.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify30.0s

Counts

48 → 48

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	32	7
3	62	7
4	84	7
5	102	7
6	106	7
done	106	7
0	7	7
1	13	7
2	32	7
3	62	7
4	84	7
5	102	7
6	106	7
done	106	7
0	10	10
1	16	10
2	23	10
3	25	10
done	25	10
0	9	9
1	16	9
2	28	9
3	37	9
4	41	9
done	41	9
0	8	8
1	17	8
2	43	8
3	85	8
4	107	8
5	125	8
6	129	8
done	129	8
0	8	8
1	16	8
2	43	8
3	104	8
4	211	8
5	465	8
6	1124	8
7	3684	8
done	5001	8
0	13	23
1	28	23
2	107	13
3	491	13
4	2308	11
done	5000	11
0	11	23
1	30	23
2	123	11
3	645	11
4	2989	9
done	5000	9
0	9	17
1	15	17
2	34	17
3	64	17
4	86	17
5	104	17
done	104	17
0	8	8
1	14	8
2	33	8
3	63	8
4	85	8
5	103	8
6	105	8
done	105	8
0	9	23
1	25	23
2	109	9
3	590	9
4	2981	9
done	5000	9
0	8	8
1	14	8
2	33	8
3	63	8
4	85	8
5	103	8
6	105	8
done	105	8
0	8	8
1	14	8
2	33	8
3	63	8
4	85	8
5	103	8
6	105	8
done	105	8
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	8
1	14	8
2	33	8
3	63	8
4	85	8
5	103	8
6	107	8
done	107	8
0	8	8
1	14	8
2	33	8
3	63	8
4	85	8
5	103	8
6	107	8
done	107	8
0	7	7
1	13	7
2	32	7
3	62	7
4	84	7
5	102	7
6	106	7
done	106	7
0	10	11
1	29	11
2	69	11
3	217	11
4	675	11
5	2308	11
done	5001	11
0	9	11
1	18	11
2	49	11
3	166	11
4	443	11
5	734	11
6	1172	11
7	1958	11
done	5000	11
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	1	1
done	1	1
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7
0	1	1
done	1	1
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune94.0ms

Filtered

35 candidates to 48 candidates (-37.1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	42	6	48
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	43	13	56

Merged error: 0.0b

Counts

56 → 13

localize10.0ms

Local error

Found 4 expressions with local error:

7.6b	(* (* (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z)))) t)
10.6b	(cbrt (* y (- x z)))
10.6b	(cbrt (* y (- x z)))
10.6b	(cbrt (* y (- x z)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

68×	`associate-*r/`
60×	`cbrt-div`
40×	`associate-*l/`
30×	`flip3--` `flip--`
28×	`frac-times`
13×	`pow1` `add-exp-log`
9×	`add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r`
1×	`associate-l` `*-commutative`

Counts

4 → 80

Calls

4 calls:

18.0ms	(* (* (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z)))) t)
5.0ms	(cbrt (* y (- x z)))
5.0ms	(cbrt (* y (- x z)))
5.0ms	(cbrt (* y (- x z)))

series144.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (* (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z)))) t)
42.0ms	(cbrt (* y (- x z)))
40.0ms	(cbrt (* y (- x z)))
42.0ms	(cbrt (* y (- x z)))

simplify3.4min

Counts

92 → 92

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	2	2
done	2	2
0	4	4
1	6	4
2	7	4
done	7	4
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	985	10
6	4550	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3434	10
done	5001	10
0	4	4
1	5	4
done	5	4
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	12	20
2	21	8
3	31	5
4	41	5
5	51	5
6	72	5
7	136	5
8	353	5
9	1278	5
done	5001	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	2	2
done	2	2
0	4	4
1	6	4
2	7	4
done	7	4
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	985	10
6	4550	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3434	10
done	5001	10
0	4	4
1	5	4
done	5	4
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	12	20
2	21	8
3	31	5
4	41	5
5	51	5
6	72	5
7	136	5
8	353	5
9	1278	5
done	5001	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	2	2
done	2	2
0	4	4
1	6	4
2	7	4
done	7	4
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	985	10
6	4550	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3434	10
done	5001	10
0	4	4
1	5	4
done	5	4
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	12	20
2	21	8
3	31	5
4	41	5
5	51	5
6	72	5
7	136	5
8	353	5
9	1278	5
done	5001	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	10	22
1	17	22
2	34	10
3	48	7
4	78	7
5	128	7
6	185	7
7	347	7
8	872	7
9	3177	7
done	5001	7
0	10	22
1	17	22
2	34	10
3	48	7
4	78	7
5	128	7
6	185	7
7	347	7
8	872	7
9	3177	7
done	5001	7
0	10	22
1	17	22
2	34	10
3	48	7
4	78	7
5	128	7
6	185	7
7	347	7
8	872	7
9	3177	7
done	5001	7
0	12	26
1	21	20
2	41	12
3	51	12
4	55	12
done	55	12
0	13	25
1	21	25
2	38	20
3	50	12
4	57	12
done	57	12
0	12	24
1	20	24
2	35	12
3	54	9
4	75	9
5	103	9
6	150	9
7	291	9
8	787	9
9	2857	9
done	5000	9
0	11	23
1	21	23
2	45	11
3	73	8
4	114	8
5	193	8
6	296	8
7	564	8
8	1436	8
done	5000	8
0	11	23
1	20	23
2	48	11
3	84	8
4	191	8
5	461	8
6	1121	8
7	3165	8
done	5001	8
0	11	23
1	30	23
2	122	11
3	602	11
4	2699	9
done	5001	9
0	14	53
1	36	53
2	139	25
3	736	18
4	3766	11
done	5000	11
0	14	68
1	33	68
2	106	14
3	341	11
4	1153	9
done	5000	9
0	12	47
1	19	47
2	36	23
3	50	17
4	80	17
5	132	17
6	197	17
7	352	17
8	887	17
9	3165	17
done	5000	17
0	11	23
1	18	23
2	35	11
3	49	8
4	79	8
5	129	8
6	188	8
7	339	8
8	875	8
9	3175	8
done	5000	8
0	12	68
1	29	68
2	108	12
3	437	9
4	1290	9
done	5001	9
0	11	23
1	18	23
2	35	11
3	49	8
4	79	8
5	129	8
6	188	8
7	339	8
8	875	8
9	3175	8
done	5000	8
0	11	23
1	18	23
2	35	11
3	49	8
4	79	8
5	129	8
6	188	8
7	339	8
8	875	8
9	3175	8
done	5000	8
0	12	26
1	21	26
2	45	14
3	69	11
4	122	11
5	223	11
6	345	11
7	659	11
8	1683	11
done	5001	11
0	11	23
1	18	23
2	35	11
3	47	8
4	77	8
5	123	8
6	183	8
7	338	8
8	865	8
9	3179	8
done	5000	8
0	10	22
1	19	20
2	42	8
3	62	5
4	92	5
5	167	5
6	255	5
7	366	5
8	662	5
9	1794	5
done	5000	5
0	8	8
1	12	8
2	19	8
3	24	8
4	28	8
done	28	8
0	13	34
1	33	34
2	70	14
3	155	11
4	381	11
5	1333	11
done	5001	11
0	18	34
1	44	34
2	101	34
3	224	34
4	478	34
5	1231	34
6	4856	34
done	5000	34
0	18	34
1	43	34
2	99	34
3	225	34
4	483	34
5	1230	34
6	4912	34
done	5000	34
0	18	34
1	45	34
2	103	34
3	225	34
4	479	34
5	1239	34
6	4880	34
done	5000	34
0	18	34
1	45	34
2	103	34
3	225	34
4	486	34
5	1236	34
6	4820	34
done	5000	34
0	18	34
1	43	34
2	99	34
3	223	34
4	482	34
5	1240	34
6	4825	34
done	5000	34
0	18	34
1	44	34
2	101	34
3	222	34
4	478	34
5	1224	34
6	4818	34
done	5000	34
0	12	34
1	22	34
2	49	14
3	102	11
4	237	11
5	514	11
6	997	11
7	1830	11
done	5000	11
0	16	30
1	42	30
2	91	30
3	182	30
4	363	30
5	1029	30
6	4559	30
done	5000	30
0	21	30
1	50	30
2	123	30
3	280	30
4	561	30
5	1356	30
done	5000	30
0	21	30
1	50	30
2	123	30
3	279	30
4	561	30
5	1390	30
done	5000	30
0	15	30
1	30	30
2	72	30
3	152	30
4	263	30
5	398	30
6	651	30
7	2094	30
done	5000	30
0	16	30
1	40	30
2	87	30
3	182	30
4	356	30
5	1023	30
6	4531	30
done	5000	30
0	21	30
1	50	30
2	123	30
3	280	30
4	561	30
5	1351	30
done	5000	30
0	21	30
1	50	30
2	123	30
3	281	30
4	569	30
5	1379	30
done	5000	30
0	15	30
1	28	30
2	68	30
3	153	30
4	268	30
5	397	30
6	648	30
7	2128	30
done	5001	30
0	16	26
1	41	26
2	89	26
3	180	26
4	367	26
5	1047	26
6	4582	26
done	5000	26
0	15	26
1	29	26
2	70	26
3	151	26
4	264	26
5	402	26
6	643	26
7	2082	26
done	5000	26
0	16	30
1	41	30
2	89	30
3	179	30
4	369	30
5	1041	30
6	4554	30
done	5000	30
0	21	30
1	50	30
2	123	30
3	279	30
4	565	30
5	1374	30
done	5000	30
0	21	30
1	50	30
2	123	30
3	280	30
4	561	30
5	1360	30
done	5000	30
0	15	30
1	29	30
2	70	30
3	152	30
4	265	30
5	397	30
6	647	30
7	2060	30
done	5001	30
0	16	26
1	40	26
2	87	26
3	182	26
4	380	26
5	1049	26
6	4706	26
done	5000	26
0	15	26
1	28	26
2	68	26
3	151	26
4	264	26
5	399	26
6	655	26
7	2090	26
done	5001	26
0	16	26
1	42	26
2	91	26
3	182	26
4	364	26
5	1030	26
6	4546	26
done	5000	26
0	15	26
1	30	26
2	72	26
3	150	26
4	261	26
5	389	26
6	642	26
7	2125	26
done	5001	26
0	12	12
1	28	11
2	56	11
3	107	10
4	169	6
5	327	5
6	866	5
7	3893	5
done	5000	5
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	17	19
1	33	18
2	70	18
3	195	14
4	590	9
5	2089	7
done	5001	7
0	12	12
1	28	11
2	56	11
3	107	10
4	169	6
5	327	5
6	866	5
7	3893	5
done	5000	5
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	17	19
1	33	18
2	70	18
3	195	14
4	590	9
5	2089	7
done	5001	7
0	12	12
1	28	11
2	56	11
3	107	10
4	169	6
5	327	5
6	866	5
7	3893	5
done	5000	5
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	17	19
1	33	18
2	70	18
3	195	14
4	590	9
5	2089	7
done	5001	7
0	1	1
done	1	1
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7

prune172.0ms

Filtered

84 candidates to 92 candidates (-9.5%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	90	15	105

Merged error: 0.0b

Counts

105 → 15

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- x z))
0.6b	(cbrt (- x z))
0.6b	(cbrt (- x z))
7.8b	(* y (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) t)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
34×	`associate-*r/`
32×	`associate-*l/`
30×	`flip3--` `flip--`
28×	`frac-times`
22×	`pow1` `add-exp-log`
16×	`add-cbrt-cube`
15×	`cbrt-prod`
14×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`add-cube-cbrt`
4×	`add-log-exp`
3×	`pow1/3` `associate-l` `distribute-lft-out--` `difference-of-squares`
1×	`associate-r` `*-commutative`

Counts

4 → 98

Calls

4 calls:

4.0ms	(cbrt (- x z))
4.0ms	(cbrt (- x z))
4.0ms	(cbrt (- x z))
25.0ms	(* y (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) t)))

series111.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (- x z))
33.0ms	(cbrt (- x z))
31.0ms	(cbrt (- x z))
13.0ms	(* y (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) t)))

simplify3.4min

Counts

110 → 110

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	18
1	21	18
2	48	18
3	78	10
4	85	7
5	127	7
6	193	7
7	331	7
8	742	7
9	2177	7
done	5000	7
0	10	18
1	21	18
2	48	18
3	78	10
4	85	7
5	127	7
6	193	7
7	331	7
8	742	7
9	2177	7
done	5000	7
0	10	18
1	21	18
2	48	18
3	78	10
4	85	7
5	127	7
6	193	7
7	331	7
8	742	7
9	2177	7
done	5000	7
0	10	18
1	21	18
2	48	18
3	78	10
4	85	7
5	127	7
6	193	7
7	331	7
8	742	7
9	2177	7
done	5000	7
0	10	18
1	21	18
2	48	18
3	78	10
4	85	7
5	127	7
6	193	7
7	331	7
8	742	7
9	2177	7
done	5000	7
0	13	23
1	26	19
2	59	13
3	89	13
4	90	13
done	90	13
0	13	22
1	26	18
2	49	18
3	84	13
4	92	13
done	92	13
0	14	22
1	24	22
2	53	19
3	87	13
4	91	13
done	91	13
0	13	21
1	24	21
2	46	18
3	87	13
4	98	13
done	98	13
0	12	20
1	24	20
2	47	20
3	88	12
4	120	9
5	143	9
6	186	9
7	305	9
8	659	9
9	1914	9
done	5000	9
0	11	19
1	25	19
2	65	19
3	137	11
4	200	8
5	250	8
6	343	8
7	572	8
8	1260	8
9	3661	8
done	5001	8
0	11	19
1	24	19
2	59	19
3	141	11
4	304	8
5	812	8
6	2143	8
done	5001	8
0	13	23
1	30	23
2	116	19
3	602	13
4	2827	13
done	5001	13
0	14	34
1	38	34
2	146	20
3	804	20
4	4917	19
done	5000	19
0	16	45
1	41	45
2	165	23
3	1045	18
done	5002	18
0	16	56
1	47	56
2	187	24
3	1044	18
done	5000	18
0	14	56
1	38	56
2	169	22
3	950	14
4	4429	9
done	5000	9
0	12	39
1	23	39
2	50	39
3	81	23
4	88	17
5	130	17
6	196	17
7	332	17
8	735	17
9	2173	17
done	5000	17
0	11	19
1	22	19
2	49	19
3	80	11
4	86	8
5	128	8
6	194	8
7	336	8
8	748	8
9	2198	8
done	5000	8
0	12	56
1	33	56
2	150	20
3	940	12
done	5000	12
0	11	19
1	22	19
2	49	19
3	80	11
4	86	8
5	128	8
6	194	8
7	336	8
8	748	8
9	2198	8
done	5000	8
0	11	19
1	22	19
2	49	19
3	80	11
4	86	8
5	128	8
6	194	8
7	336	8
8	748	8
9	2198	8
done	5000	8
0	7	11
1	12	11
2	15	11
done	15	11
0	11	19
1	22	19
2	50	19
3	78	11
4	84	8
5	126	8
6	190	8
7	328	8
8	735	8
9	2182	8
done	5001	8
0	11	19
1	22	19
2	50	19
3	78	11
4	84	8
5	126	8
6	190	8
7	328	8
8	735	8
9	2182	8
done	5001	8
0	10	18
1	21	18
2	48	18
3	78	10
4	85	7
5	127	7
6	193	7
7	331	7
8	742	7
9	2177	7
done	5000	7
0	13	30
1	37	30
2	86	30
3	149	14
4	240	11
5	697	11
6	3743	11
done	5000	11
0	17	30
1	44	30
2	103	30
3	200	30
4	379	30
5	754	30
6	2621	30
done	5001	30
0	17	30
1	45	30
2	108	30
3	210	30
4	374	30
5	753	30
6	2606	30
done	5000	30
0	17	30
1	45	30
2	108	30
3	215	30
4	382	30
5	754	30
6	2603	30
done	5001	30
0	17	30
1	45	30
2	108	30
3	215	30
4	384	30
5	755	30
6	2607	30
done	5000	30
0	17	30
1	45	30
2	108	30
3	210	30
4	376	30
5	757	30
6	2607	30
done	5001	30
0	17	30
1	44	30
2	103	30
3	200	30
4	380	30
5	754	30
6	2599	30
done	5000	30
0	12	30
1	26	30
2	59	30
3	101	14
4	132	11
5	287	11
6	721	11
7	1395	11
8	3975	11
done	5001	11
0	15	26
1	42	26
2	100	26
3	189	26
4	331	26
5	661	26
6	2468	26
done	5000	26
0	19	26
1	48	26
2	120	26
3	253	26
4	497	26
5	922	26
6	2858	26
done	5000	26
0	19	26
1	48	26
2	120	26
3	252	26
4	495	26
5	901	26
6	2822	26
done	5000	26
0	14	26
1	30	26
2	78	26
3	156	26
4	236	26
5	297	26
6	448	26
7	1627	26
done	5000	26
0	15	26
1	42	26
2	101	26
3	190	26
4	332	26
5	676	26
6	2427	26
done	5000	26
0	19	26
1	48	26
2	120	26
3	254	26
4	496	26
5	918	26
6	2847	26
done	5000	26
0	19	26
1	48	26
2	120	26
3	252	26
4	495	26
5	894	26
6	2852	26
done	5000	26
0	14	26
1	30	26
2	79	26
3	160	26
4	241	26
5	305	26
6	454	26
7	1636	26
done	5000	26
0	15	22
1	41	22
2	95	22
3	179	22
4	330	22
5	676	22
6	2450	22
done	5000	22
0	14	22
1	29	22
2	73	22
3	148	22
4	240	22
5	307	22
6	454	22
7	1671	22
done	5000	22
0	15	26
1	41	26
2	95	26
3	179	26
4	331	26
5	683	26
6	2490	26
done	5000	26
0	19	26
1	48	26
2	120	26
3	253	26
4	494	26
5	923	26
6	2837	26
done	5001	26
0	19	26
1	48	26
2	120	26
3	253	26
4	496	26
5	906	26
6	2831	26
done	5001	26
0	14	26
1	29	26
2	73	26
3	148	26
4	242	26
5	305	26
6	454	26
7	1657	26
done	5000	26
0	15	22
1	42	22
2	101	22
3	188	22
4	330	22
5	677	22
6	2456	22
done	5000	22
0	14	22
1	30	22
2	79	22
3	159	22
4	242	22
5	300	22
6	447	22
7	1634	22
done	5001	22
0	15	22
1	42	22
2	100	22
3	191	22
4	331	22
5	671	22
6	2464	22
done	5000	22
0	14	22
1	30	22
2	78	22
3	157	22
4	238	22
5	297	22
6	448	22
7	1626	22
done	5001	22
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	1	1
done	1	1
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7
0	9	11
1	21	9
2	48	7
3	84	7
4	89	7
done	89	7
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2

prune147.0ms

Filtered

92 candidates to 110 candidates (-19.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	9	2	11
Picked	1	0	1
Done	0	3	3
Total	118	7	125

Merged error: 0b

Counts

125 → 7

regimes530.0ms

Accuracy

92.7% (0.5b remaining)

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

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	27	83
1	36	79
done	36	79

end0.0ms

sample958.0ms

Algorithm

intervals

Results

391.0ms

10760×

body

valid

Details

sample33.0ms

simplify59.0ms

prune10.0ms

localize7.0ms

rewrite11.0ms

series29.0ms

simplify30.9s

prune80.0ms

localize6.0ms

rewrite17.0ms

series20.0ms

simplify30.0s

prune94.0ms

localize10.0ms

rewrite40.0ms

series144.0ms

simplify3.4min

prune172.0ms

localize10.0ms

rewrite45.0ms

series111.0ms

simplify3.4min

prune147.0ms

regimes530.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample958.0ms

Profiling