Details

sample146.0ms

Algorithm

intervals

Results

66.0ms	837×	body	80	nan
19.0ms	256×	body	80	valid

simplify4.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	19
1	38	19
2	119	19
3	465	19
4	2012	19
done	5000	19

prune5.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: 1.2b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 3.0 (/ x (* y 27.0)))
1.0b	(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
2.6b	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
5.3b	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-exp-log` `add-cbrt-cube`
39×	`prod-exp` `cbrt-unprod`
29×	`add-sqr-sqrt`
27×	`cbrt-undiv` `div-exp`
21×	`associate-l`
18×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-r`
15×	`times-frac`
10×	`pow1`
5×	`unswap-sqr`
4×	`sqrt-prod` `div-inv` `add-log-exp`
3×	`pow-prod-down` `*-commutative`
2×	`associate-r/` `associate-l/`
1×	`frac-2neg` `clear-num` `associate-/r` `associate-/l/` `associate-/l`

Counts

4 → 130

Calls

4 calls:

8.0ms	(* 3.0 (/ x (* y 27.0)))
7.0ms	(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
15.0ms	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
11.0ms	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series47.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 3.0 (/ x (* y 27.0)))
10.0ms	(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
22.0ms	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
12.0ms	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify5.3min

Counts

142 → 142

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	17
1	32	17
2	88	17
3	350	17
4	1423	17
5	4433	17
done	5000	17
0	16	16
1	32	16
2	79	16
3	277	16
4	1075	16
5	3561	16
done	5001	16
0	16	16
1	32	16
2	78	16
3	273	16
4	1048	16
5	3477	16
done	5000	16
0	15	15
1	32	15
2	69	15
3	214	15
4	790	15
5	2782	15
done	5000	15
0	15	15
1	29	15
2	67	15
3	199	15
4	794	15
5	2737	15
6	4950	15
done	5000	15
0	14	14
1	29	14
2	60	14
3	165	14
4	619	14
5	2172	14
done	5000	14
0	14	14
1	28	14
2	69	14
3	181	14
4	670	14
5	2485	14
done	5000	14
0	13	13
1	28	13
2	65	13
3	160	13
4	539	13
5	1970	13
done	5001	13
0	12	12
1	29	12
2	99	12
3	364	12
4	1235	12
5	3488	12
done	5000	12
0	12	12
1	26	12
2	78	12
3	274	12
4	783	12
5	1516	12
6	2157	12
7	3646	12
done	5000	12
0	23	35
1	58	35
2	355	23
3	4382	23
done	5000	23
0	21	35
1	60	35
2	379	21
3	4883	21
done	5000	21
0	21	35
1	60	35
2	366	21
3	4512	19
done	5000	19
0	19	35
1	62	35
2	390	19
3	4962	17
done	5000	17
0	19	35
1	49	35
2	304	19
3	3263	19
done	5000	19
0	17	35
1	51	35
2	326	17
3	3693	17
done	5000	17
0	17	35
1	47	35
2	294	17
3	3323	17
done	5001	17
0	15	35
1	49	35
2	320	15
3	3867	13
done	5000	13
0	13	25
1	27	25
2	77	25
3	261	25
4	726	25
5	1295	25
6	1431	25
done	1431	25
0	12	12
1	26	12
2	76	12
3	260	12
4	726	12
5	1289	12
6	1425	12
done	1425	12
0	13	35
1	34	35
2	172	13
3	1597	13
done	5000	13
0	12	12
1	26	12
2	76	12
3	260	12
4	726	12
5	1289	12
6	1425	12
done	1425	12
0	12	12
1	26	12
2	76	12
3	260	12
4	726	12
5	1289	12
6	1425	12
done	1425	12
0	8	8
1	18	8
2	47	8
3	115	8
4	188	8
5	223	8
6	225	8
done	225	8
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	7	7
1	12	7
2	22	7
3	37	7
4	38	7
done	38	7
0	5	5
1	10	5
2	12	5
done	12	5
0	11	11
1	25	11
2	75	11
3	260	11
4	739	11
5	1422	11
6	1827	11
7	1935	11
8	1941	11
done	1941	11
0	9	9
1	17	9
2	44	9
3	116	9
4	238	9
5	335	9
6	345	9
done	345	9
0	9	9
1	17	9
2	40	9
3	98	9
4	213	9
5	296	9
6	323	9
7	347	9
8	351	9
done	351	9
0	7	7
1	14	7
2	33	7
3	54	7
4	55	7
done	55	7
0	14	14
1	31	14
2	109	14
3	457	14
4	1994	14
done	5000	14
0	21	21
1	39	21
2	121	21
3	554	21
4	2688	21
done	5001	21
0	20	20
1	39	20
2	107	20
3	454	20
4	2142	20
done	5000	20
0	20	20
1	39	20
2	111	20
3	447	20
4	2054	20
done	5000	20
0	19	19
1	39	19
2	97	19
3	365	19
4	1626	19
done	5000	19
0	19	19
1	36	19
2	98	19
3	328	19
4	1508	19
done	5001	19
0	18	18
1	36	18
2	86	18
3	275	18
4	1230	18
done	5000	18
0	18	18
1	35	18
2	94	18
3	277	18
4	1165	18
done	5000	18
0	17	17
1	35	17
2	85	17
3	237	17
4	952	17
5	4363	17
done	5000	17
0	16	16
1	34	16
2	108	16
3	410	16
4	1518	16
done	5000	16
0	15	15
1	35	15
2	128	15
3	577	15
4	2687	15
done	5000	15
0	15	15
1	34	15
2	120	15
3	492	15
4	2193	15
done	5000	15
0	28	44
1	69	40
2	421	28
done	5000	28
0	26	44
1	71	40
2	441	26
done	5001	26
0	26	44
1	71	40
2	432	26
done	5000	26
0	24	44
1	73	40
2	452	24
done	5000	24
0	24	44
1	60	40
2	370	24
3	4635	24
done	5000	24
0	22	44
1	62	40
2	388	22
done	5001	22
0	22	44
1	58	40
2	358	22
3	4640	22
done	5000	22
0	20	44
1	60	40
2	380	20
done	5000	20
0	18	44
1	45	40
2	220	18
3	2242	18
done	5000	18
0	16	31
1	33	31
2	111	31
3	457	31
4	1992	31
done	5000	31
0	15	15
1	32	15
2	110	15
3	459	15
4	1992	15
done	5000	15
0	16	44
1	43	44
2	205	16
3	1928	16
done	5000	16
0	15	15
1	32	15
2	110	15
3	459	15
4	1992	15
done	5000	15
0	15	15
1	32	15
2	110	15
3	459	15
4	1992	15
done	5000	15
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	19
1	35	19
2	124	19
3	582	19
4	3000	19
done	5000	19
0	16	18
1	34	15
2	112	15
3	459	15
4	1991	15
done	5001	15
0	15	15
1	32	15
2	110	15
3	459	15
4	1998	15
done	5000	15
0	14	14
1	33	13
2	111	13
3	456	11
4	1916	11
done	5000	11
0	15	15
1	32	15
2	110	15
3	459	15
4	1998	15
done	5000	15
0	13	13
1	32	11
2	117	11
3	495	11
4	1974	11
done	5000	11
0	15	15
1	30	15
2	80	15
3	264	15
4	730	15
5	1306	15
6	1444	15
done	1444	15
0	15	15
1	30	15
2	80	15
3	264	15
4	730	15
5	1306	15
6	1444	15
done	1444	15
0	10	10
1	18	10
2	38	10
3	105	10
4	240	10
5	343	10
6	362	10
done	362	10
0	14	14
1	31	14
2	109	14
3	457	14
4	1994	14
done	5000	14
0	8	8
1	16	8
2	31	6
3	76	6
4	152	6
5	154	6
done	154	6
0	10	10
1	19	10
2	50	10
3	143	10
4	284	10
5	437	10
6	453	10
done	453	10
0	18	19
1	38	19
2	119	19
3	465	19
4	2012	19
done	5000	19
0	21	22
1	43	22
2	131	22
3	484	22
4	2022	22
done	5001	22
0	20	21
1	41	21
2	125	21
3	481	21
4	2015	21
done	5000	21
0	19	20
1	42	20
2	129	20
3	488	20
4	2039	20
done	5000	20
0	19	20
1	41	20
2	128	20
3	487	20
4	2055	20
done	5001	20
0	24	59
1	56	59
2	211	25
3	913	23
4	3777	23
done	5000	23
0	22	59
1	52	59
2	179	23
3	679	23
4	2778	21
done	5000	21
0	20	41
1	40	41
2	121	41
3	470	41
4	1996	41
done	5000	41
0	19	20
1	39	20
2	120	20
3	469	20
4	2003	20
done	5001	20
0	20	59
1	50	59
2	182	21
3	746	21
4	2833	21
done	5000	21
0	19	20
1	39	20
2	120	20
3	469	20
4	2003	20
done	5001	20
0	19	20
1	39	20
2	120	20
3	469	20
4	2003	20
done	5001	20
0	20	21
1	38	21
2	116	21
3	461	21
4	1993	21
done	5001	21
0	20	21
1	38	21
2	116	21
3	461	21
4	1993	21
done	5001	21
0	21	22
1	41	22
2	122	22
3	470	22
4	2002	22
done	5001	22
0	21	22
1	41	22
2	122	22
3	470	22
4	2002	22
done	5001	22
0	20	37
1	42	37
2	128	37
3	485	37
4	2041	37
done	5001	37
0	19	20
1	39	20
2	120	20
3	467	20
4	1998	20
done	5000	20
0	5	5
1	10	3
2	20	3
done	20	3
0	19	20
1	37	20
2	115	20
3	462	20
4	1998	20
done	5001	20
0	19	20
1	37	20
2	115	20
3	462	20
4	1998	20
done	5001	20
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5000	20
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5000	20
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5001	20
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5001	20
0	18	19
1	38	19
2	119	19
3	465	19
4	2012	19
done	5000	19
0	18	19
1	38	19
2	119	19
3	465	19
4	2012	19
done	5000	19
0	18	19
1	40	19
2	121	17
3	479	17
4	2018	17
done	5000	17
0	17	17
1	35	17
2	113	17
3	459	17
4	1995	17
done	5000	17
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	11	11
1	19	11
2	42	11
3	87	11
4	154	11
5	267	11
6	379	11
7	459	11
8	478	11
9	479	11
done	479	11
0	10	10
1	19	10
2	34	10
3	65	10
4	122	10
5	215	10
6	314	10
7	450	10
8	488	10
9	489	10
done	489	10
0	9	9
1	16	9
2	30	9
3	61	9
4	113	9
5	197	9
6	272	9
7	390	9
8	469	9
9	488	9
10	489	9
done	489	9
0	8	8
1	17	8
2	43	8
3	99	8
4	187	8
5	313	8
6	449	8
7	594	8
8	651	8
9	655	8
done	655	8
0	8	8
1	16	8
2	39	8
3	82	8
4	162	8
5	322	8
6	742	8
7	2939	8
done	5000	8
0	15	23
1	36	23
2	180	15
3	1324	15
done	5001	15
0	13	23
1	38	23
2	191	13
3	1485	11
done	5000	11
0	11	23
1	27	23
2	110	11
3	666	11
4	3897	9
done	5000	9
0	9	17
1	15	17
2	32	17
3	57	17
4	79	17
5	80	17
done	80	17
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	9	23
1	25	23
2	103	9
3	642	9
4	4145	9
done	5000	9
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	9	15
1	15	15
2	19	15
done	19	15
0	8	8
1	12	8
2	14	8
done	14	8
0	7	9
1	12	9
2	22	9
3	37	9
4	50	9
5	52	9
done	52	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	5
2	13	3
3	14	3
4	19	3
5	21	3
done	21	3
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	3	3
1	4	3
done	4	3
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	20	27
1	64	25
2	263	25
3	1222	23
done	5000	23
0	17	23
1	54	21
2	228	21
3	1214	15
done	5001	15
0	17	23
1	55	21
2	238	21
3	1361	15
done	5000	15
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune316.0ms

Filtered

121 candidates to 142 candidates (-17.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	141	2	143

Merged error: 0.0b

Counts

143 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
1.0b	(/ 1.0 (cbrt 3.0))
2.6b	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
5.3b	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

85×	`add-exp-log`
83×	`add-cbrt-cube`
48×	`add-sqr-sqrt`
40×	`times-frac`
36×	`add-cube-cbrt` `*-un-lft-identity`
35×	`prod-exp` `cbrt-unprod`
27×	`associate-l`
26×	`cbrt-undiv` `div-exp`
22×	`cbrt-prod`
9×	`associate-r`
8×	`pow1`
7×	`associate-/r*`
5×	`unswap-sqr`
4×	`sqrt-prod` `div-inv` `associate-/l*` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `-commutative`
1×	`associate-*r/` `associate-/l/`

Counts

4 → 152

Calls

4 calls:

9.0ms	(* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
5.0ms	(/ 1.0 (cbrt 3.0))
18.0ms	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
12.0ms	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series49.0ms

Counts

4 → 10

Calls

4 calls:

19.0ms	(* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.0ms	(/ 1.0 (cbrt 3.0))
22.0ms	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
7.0ms	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify6.0min

Counts

162 → 162

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	17
1	32	17
2	88	17
3	350	17
4	1423	17
5	4433	17
done	5000	17
0	16	16
1	32	16
2	79	16
3	277	16
4	1075	16
5	3561	16
done	5001	16
0	16	16
1	32	16
2	78	16
3	273	16
4	1048	16
5	3477	16
done	5000	16
0	15	15
1	32	15
2	69	15
3	214	15
4	790	15
5	2782	15
done	5000	15
0	15	15
1	29	15
2	67	15
3	199	15
4	794	15
5	2737	15
6	4950	15
done	5000	15
0	14	14
1	29	14
2	60	14
3	165	14
4	619	14
5	2172	14
done	5000	14
0	14	14
1	28	14
2	69	14
3	181	14
4	670	14
5	2485	14
done	5000	14
0	13	13
1	28	13
2	65	13
3	160	13
4	539	13
5	1970	13
done	5001	13
0	12	12
1	29	12
2	99	12
3	364	12
4	1235	12
5	3488	12
done	5000	12
0	12	12
1	26	12
2	78	12
3	274	12
4	783	12
5	1516	12
6	2157	12
7	3646	12
done	5000	12
0	23	35
1	58	35
2	355	23
3	4382	23
done	5000	23
0	21	35
1	60	35
2	379	21
3	4883	21
done	5000	21
0	21	35
1	60	35
2	366	21
3	4512	19
done	5000	19
0	19	35
1	62	35
2	390	19
3	4962	17
done	5000	17
0	19	35
1	49	35
2	304	19
3	3263	19
done	5000	19
0	17	35
1	51	35
2	326	17
3	3693	17
done	5000	17
0	17	35
1	47	35
2	294	17
3	3323	17
done	5001	17
0	15	35
1	49	35
2	320	15
3	3867	13
done	5000	13
0	13	25
1	27	25
2	77	25
3	261	25
4	726	25
5	1295	25
6	1431	25
done	1431	25
0	12	12
1	26	12
2	76	12
3	260	12
4	726	12
5	1289	12
6	1425	12
done	1425	12
0	13	35
1	34	35
2	172	13
3	1597	13
done	5000	13
0	12	12
1	26	12
2	76	12
3	260	12
4	726	12
5	1289	12
6	1425	12
done	1425	12
0	12	12
1	26	12
2	76	12
3	260	12
4	726	12
5	1289	12
6	1425	12
done	1425	12
0	8	8
1	18	8
2	47	8
3	115	8
4	188	8
5	223	8
6	225	8
done	225	8
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	7	7
1	12	7
2	22	7
3	37	7
4	38	7
done	38	7
0	5	5
1	10	5
2	12	5
done	12	5
0	11	11
1	25	11
2	75	11
3	260	11
4	739	11
5	1422	11
6	1827	11
7	1935	11
8	1941	11
done	1941	11
0	9	9
1	17	9
2	44	9
3	116	9
4	238	9
5	335	9
6	345	9
done	345	9
0	9	9
1	17	9
2	40	9
3	98	9
4	213	9
5	296	9
6	323	9
7	347	9
8	351	9
done	351	9
0	7	7
1	14	7
2	33	7
3	54	7
4	55	7
done	55	7
0	14	14
1	31	14
2	109	14
3	457	14
4	1994	14
done	5000	14
0	21	21
1	39	21
2	121	21
3	554	21
4	2688	21
done	5001	21
0	20	20
1	39	20
2	107	20
3	454	20
4	2142	20
done	5000	20
0	20	20
1	39	20
2	111	20
3	447	20
4	2054	20
done	5000	20
0	19	19
1	39	19
2	97	19
3	365	19
4	1626	19
done	5000	19
0	19	19
1	36	19
2	98	19
3	328	19
4	1508	19
done	5001	19
0	18	18
1	36	18
2	86	18
3	275	18
4	1230	18
done	5000	18
0	18	18
1	35	18
2	94	18
3	277	18
4	1165	18
done	5000	18
0	17	17
1	35	17
2	85	17
3	237	17
4	952	17
5	4363	17
done	5000	17
0	16	16
1	34	16
2	108	16
3	410	16
4	1518	16
done	5000	16
0	15	15
1	35	15
2	128	15
3	577	15
4	2687	15
done	5000	15
0	15	15
1	34	15
2	120	15
3	492	15
4	2193	15
done	5000	15
0	28	44
1	69	40
2	421	28
done	5000	28
0	26	44
1	71	40
2	441	26
done	5001	26
0	26	44
1	71	40
2	432	26
done	5000	26
0	24	44
1	73	40
2	452	24
done	5000	24
0	24	44
1	60	40
2	370	24
3	4635	24
done	5000	24
0	22	44
1	62	40
2	388	22
done	5001	22
0	22	44
1	58	40
2	358	22
3	4640	22
done	5000	22
0	20	44
1	60	40
2	380	20
done	5000	20
0	18	44
1	45	40
2	220	18
3	2242	18
done	5000	18
0	16	31
1	33	31
2	111	31
3	457	31
4	1992	31
done	5000	31
0	15	15
1	32	15
2	110	15
3	459	15
4	1992	15
done	5000	15
0	16	44
1	43	44
2	205	16
3	1928	16
done	5000	16
0	15	15
1	32	15
2	110	15
3	459	15
4	1992	15
done	5000	15
0	15	15
1	32	15
2	110	15
3	459	15
4	1992	15
done	5000	15
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	16
1	31	16
2	81	16
3	266	16
4	732	16
5	1304	16
6	1443	16
done	1443	16
0	16	19
1	35	19
2	124	19
3	582	19
4	3000	19
done	5000	19
0	16	18
1	34	15
2	112	15
3	459	15
4	1991	15
done	5001	15
0	15	15
1	32	15
2	110	15
3	459	15
4	1998	15
done	5000	15
0	14	14
1	33	13
2	111	13
3	456	11
4	1916	11
done	5000	11
0	15	15
1	32	15
2	110	15
3	459	15
4	1998	15
done	5000	15
0	13	13
1	32	11
2	117	11
3	495	11
4	1974	11
done	5000	11
0	15	15
1	30	15
2	80	15
3	264	15
4	730	15
5	1306	15
6	1444	15
done	1444	15
0	15	15
1	30	15
2	80	15
3	264	15
4	730	15
5	1306	15
6	1444	15
done	1444	15
0	10	10
1	18	10
2	38	10
3	105	10
4	240	10
5	343	10
6	362	10
done	362	10
0	14	14
1	31	14
2	109	14
3	457	14
4	1994	14
done	5000	14
0	8	8
1	16	8
2	31	6
3	76	6
4	152	6
5	154	6
done	154	6
0	10	10
1	19	10
2	50	10
3	143	10
4	284	10
5	437	10
6	453	10
done	453	10
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	5	7
1	8	7
2	16	5
3	26	5
4	36	5
5	53	5
6	95	5
7	230	5
8	746	5
9	3143	5
done	5000	5
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	5
5	181	5
6	243	5
7	437	5
8	1198	5
9	4831	5
done	5000	5
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	12
1	10	12
2	12	12
3	13	12
done	13	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	9
done	7	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	8
1	8	8
done	8	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	8
done	6	8
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5001	20
0	22	23
1	44	23
2	132	23
3	487	23
4	2032	23
done	5000	23
0	21	22
1	42	22
2	126	22
3	481	22
4	2011	22
done	5001	22
0	20	21
1	43	21
2	130	21
3	491	21
4	2050	21
done	5000	21
0	20	21
1	42	21
2	129	21
3	486	21
4	2039	21
done	5000	21
0	22	55
1	48	55
2	159	23
3	597	23
4	2359	23
done	5001	23
0	23	62
1	53	62
2	180	24
3	685	24
4	2813	22
done	5001	22
0	21	43
1	41	43
2	122	43
3	471	43
4	2005	43
done	5000	43
0	20	21
1	40	21
2	121	21
3	472	21
4	1993	21
done	5000	21
0	21	62
1	51	62
2	183	22
3	748	22
4	2830	21
done	5000	21
0	20	21
1	40	21
2	121	21
3	472	21
4	1993	21
done	5000	21
0	20	21
1	40	21
2	121	21
3	472	21
4	1993	21
done	5000	21
0	21	22
1	39	22
2	117	22
3	463	22
4	1987	22
done	5000	22
0	21	22
1	39	22
2	117	22
3	463	22
4	1987	22
done	5000	22
0	22	23
1	42	23
2	123	23
3	473	23
4	2018	23
done	5000	23
0	22	23
1	42	23
2	123	23
3	473	23
4	2018	23
done	5000	23
0	22	23
1	42	23
2	123	23
3	473	23
4	2018	23
done	5000	23
0	22	23
1	42	23
2	123	23
3	473	23
4	2018	23
done	5000	23
0	21	38
1	43	38
2	129	38
3	484	38
4	2027	38
done	5000	38
0	20	21
1	40	21
2	121	21
3	470	21
4	1998	21
done	5001	21
0	6	6
1	11	4
2	21	4
done	21	4
0	20	21
1	38	21
2	116	21
3	462	21
4	2008	21
done	5001	21
0	20	21
1	38	21
2	116	21
3	462	21
4	2008	21
done	5001	21
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	21	22
1	41	22
2	122	22
3	472	22
4	2009	22
done	5000	22
0	20	21
1	40	21
2	121	21
3	469	21
4	1993	21
done	5001	21
0	20	21
1	40	21
2	121	21
3	469	21
4	1995	21
done	5001	21
0	20	21
1	40	21
2	121	21
3	469	21
4	1995	21
done	5001	21
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5001	20
0	20	21
1	40	21
2	121	21
3	469	21
4	1995	21
done	5001	21
0	20	21
1	40	21
2	121	21
3	469	21
4	1995	21
done	5001	21
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5001	20
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5001	20
0	19	20
1	41	20
2	122	18
3	484	18
4	2009	18
done	5000	18
0	17	17
1	35	17
2	113	17
3	459	17
4	1995	17
done	5000	17
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	20	27
1	64	25
2	263	25
3	1222	23
done	5000	23
0	17	23
1	54	21
2	228	21
3	1214	15
done	5001	15
0	17	23
1	55	21
2	238	21
3	1361	15
done	5000	15
0	19	20
1	39	20
2	120	20
3	469	20
4	2000	20
done	5001	20
0	16	16
1	28	16
2	62	16
3	150	16
4	291	16
5	439	16
6	455	16
done	455	16
0	16	16
1	28	16
2	62	16
3	150	16
4	291	16
5	439	16
6	455	16
done	455	16
0	16	16
1	28	16
2	62	16
3	150	16
4	291	16
5	439	16
6	455	16
done	455	16

prune582.0ms

Filtered

142 candidates to 162 candidates (-14.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	162	2	164

Merged error: 0b

Counts

164 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (/ 1.0 (cbrt 3.0)) (acos (* (* 0.05555555555555555 (/ x (* z y))) (sqrt t))))
1.0b	(/ 1.0 (cbrt 3.0))
2.6b	(* (* 0.05555555555555555 (/ x (* z y))) (sqrt t))
3.6b	(/ x (* z y))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-sqr-sqrt`
41×	`times-frac`
37×	`add-cube-cbrt` `*-un-lft-identity`
30×	`add-exp-log`
28×	`add-cbrt-cube`
23×	`associate-l`
22×	`cbrt-prod`
11×	`pow1` `prod-exp` `cbrt-unprod`
9×	`associate-r`
7×	`associate-/r*`
6×	`cbrt-undiv` `div-exp` `associate-/l*`
4×	`pow-prod-down` `add-log-exp`
3×	`sqrt-prod` `div-inv` `unswap-sqr`
2×	`frac-2neg` `associate-l/` `clear-num` `-commutative`
1×	`associate-*r/`

Counts

4 → 128

Calls

4 calls:

10.0ms	(* (/ 1.0 (cbrt 3.0)) (acos (* (* 0.05555555555555555 (/ x (* z y))) (sqrt t))))
4.0ms	(/ 1.0 (cbrt 3.0))
15.0ms	(* (* 0.05555555555555555 (/ x (* z y))) (sqrt t))
6.0ms	(/ x (* z y))

series48.0ms

Counts

4 → 10

Calls

4 calls:

19.0ms	(* (/ 1.0 (cbrt 3.0)) (acos (* (* 0.05555555555555555 (/ x (* z y))) (sqrt t))))
0.0ms	(/ 1.0 (cbrt 3.0))
22.0ms	(* (* 0.05555555555555555 (/ x (* z y))) (sqrt t))
6.0ms	(/ x (* z y))

simplify2.0min

Counts

138 → 138

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	10	10
1	19	10
2	50	10
3	143	10
4	284	10
5	437	10
6	453	10
done	453	10
0	10	10
1	19	10
2	50	10
3	143	10
4	284	10
5	437	10
6	453	10
done	453	10
0	15	15
1	26	15
2	64	15
3	193	15
4	476	15
5	999	15
6	1516	15
7	1908	15
8	1957	15
9	1958	15
done	1958	15
0	14	14
1	26	14
2	54	14
3	144	14
4	354	14
5	767	14
6	1219	14
7	1795	14
8	1938	14
9	1941	14
done	1941	14
0	13	13
1	23	13
2	45	13
3	111	13
4	292	13
5	665	13
6	989	13
7	1517	13
8	1878	13
9	1923	13
10	1924	13
done	1924	13
0	12	12
1	22	12
2	52	12
3	122	12
4	297	12
5	635	12
6	1269	12
7	1853	12
8	2138	12
9	2152	12
done	2152	12
0	11	11
1	23	11
2	64	11
3	202	11
4	514	11
5	1052	11
6	1768	11
7	2708	11
8	2982	11
9	3006	11
done	3006	11
0	11	11
1	22	11
2	64	11
3	183	11
4	448	11
5	1026	11
6	2361	11
done	5000	11
0	20	32
1	47	28
2	234	20
3	2110	20
done	5001	20
0	18	32
1	49	28
2	245	18
3	2212	16
done	5000	16
0	16	32
1	38	28
2	161	16
3	1119	16
done	5001	16
0	14	32
1	36	28
2	152	14
3	1161	14
done	5000	14
0	12	23
1	21	23
2	52	23
3	145	23
4	286	23
5	441	23
6	457	23
done	457	23
0	11	11
1	20	11
2	51	11
3	142	11
4	283	11
5	435	11
6	451	11
done	451	11
0	12	32
1	31	32
2	136	12
3	1029	12
done	5001	12
0	11	11
1	20	11
2	51	11
3	142	11
4	283	11
5	435	11
6	451	11
done	451	11
0	11	11
1	20	11
2	51	11
3	142	11
4	283	11
5	435	11
6	451	11
done	451	11
0	12	15
1	23	15
2	63	15
3	208	15
4	507	15
5	1011	15
6	1112	15
7	1120	15
done	1120	15
0	12	14
1	22	11
2	53	11
3	142	11
4	279	11
5	427	11
6	443	11
done	443	11
0	11	11
1	20	11
2	51	11
3	140	11
4	277	11
5	425	11
6	441	11
done	441	11
0	10	10
1	21	9
2	52	9
3	145	7
4	290	7
5	455	7
6	501	7
done	501	7
0	11	11
1	20	11
2	51	11
3	140	11
4	277	11
5	425	11
6	441	11
done	441	11
0	9	9
1	20	7
2	57	7
3	173	7
4	304	7
5	468	7
6	516	7
done	516	7
0	8	8
1	14	8
2	31	8
3	56	8
4	75	8
5	81	8
done	81	8
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	5	7
1	8	7
2	16	5
3	26	5
4	36	5
5	53	5
6	95	5
7	230	5
8	746	5
9	3143	5
done	5000	5
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	5
5	181	5
6	243	5
7	437	5
8	1198	5
9	4831	5
done	5000	5
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	12
1	10	12
2	12	12
3	13	12
done	13	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	9
done	7	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	8
1	8	8
done	8	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	8
done	6	8
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	16	16
1	28	16
2	62	16
3	157	16
4	296	16
5	447	16
6	463	16
done	463	16
0	19	19
1	33	19
2	74	19
3	177	19
4	327	19
5	482	19
6	507	19
7	524	19
8	543	19
9	551	19
done	551	19
0	18	18
1	31	18
2	68	18
3	168	18
4	315	18
5	472	18
6	493	18
7	502	18
8	519	18
9	538	18
10	546	18
done	546	18
0	17	17
1	32	17
2	72	17
3	173	17
4	328	17
5	491	17
6	519	17
7	531	17
8	554	17
9	566	17
10	582	17
11	584	17
done	584	17
0	17	17
1	31	17
2	71	17
3	170	17
4	336	17
5	552	17
6	737	17
7	1248	17
8	3943	17
done	5000	17
0	19	43
1	37	43
2	101	19
3	281	19
4	646	19
5	1201	17
6	2365	17
done	5000	17
0	20	50
1	42	50
2	122	20
3	367	20
4	1080	18
5	3044	17
done	5001	17
0	18	35
1	30	35
2	64	35
3	155	35
4	296	35
5	445	35
6	461	35
done	461	35
0	17	17
1	29	17
2	63	17
3	156	17
4	295	17
5	444	17
6	460	17
done	460	17
0	18	50
1	40	50
2	125	18
3	433	18
4	1131	17
5	2723	17
done	5000	17
0	17	17
1	29	17
2	63	17
3	156	17
4	295	17
5	444	17
6	460	17
done	460	17
0	17	17
1	29	17
2	63	17
3	156	17
4	295	17
5	444	17
6	460	17
done	460	17
0	18	18
1	28	18
2	59	18
3	150	18
4	289	18
5	442	18
6	458	18
done	458	18
0	18	18
1	28	18
2	59	18
3	150	18
4	289	18
5	442	18
6	458	18
done	458	18
0	19	19
1	31	19
2	65	19
3	156	19
4	297	19
5	450	19
6	466	19
done	466	19
0	19	19
1	31	19
2	65	19
3	156	19
4	297	19
5	450	19
6	466	19
done	466	19
0	19	19
1	31	19
2	65	19
3	156	19
4	297	19
5	450	19
6	466	19
done	466	19
0	19	19
1	31	19
2	65	19
3	156	19
4	297	19
5	450	19
6	466	19
done	466	19
0	18	30
1	32	30
2	71	30
3	171	30
4	319	30
5	476	30
6	497	30
done	497	30
0	17	17
1	29	17
2	63	17
3	156	17
4	295	17
5	444	17
6	460	17
done	460	17
0	6	6
1	11	4
2	21	4
done	21	4
0	17	17
1	27	17
2	58	17
3	147	17
4	286	17
5	436	17
6	452	17
done	452	17
0	17	17
1	27	17
2	58	17
3	147	17
4	286	17
5	436	17
6	452	17
done	452	17
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	18	18
1	30	18
2	64	18
3	157	18
4	298	18
5	447	18
6	463	18
done	463	18
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	16	16
1	28	16
2	62	16
3	157	16
4	296	16
5	447	16
6	463	16
done	463	16
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	17	17
1	29	17
2	63	17
3	156	17
4	297	17
5	448	17
6	464	17
done	464	17
0	16	16
1	28	16
2	62	16
3	157	16
4	296	16
5	447	16
6	463	16
done	463	16
0	16	16
1	28	16
2	62	16
3	157	16
4	296	16
5	447	16
6	463	16
done	463	16
0	16	16
1	30	16
2	64	14
3	166	14
4	310	14
5	458	14
6	474	14
done	474	14
0	13	13
1	23	13
2	54	13
3	144	13
4	281	13
5	429	13
6	445	13
done	445	13
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	20	27
1	64	25
2	263	25
3	1222	23
done	5000	23
0	17	23
1	54	21
2	228	21
3	1214	15
done	5001	15
0	17	23
1	55	21
2	238	21
3	1361	15
done	5000	15
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	16	16
1	28	16
2	62	16
3	150	16
4	291	16
5	439	16
6	455	16
done	455	16
0	16	16
1	28	16
2	62	16
3	150	16
4	291	16
5	439	16
6	455	16
done	455	16
0	16	16
1	28	16
2	62	16
3	150	16
4	291	16
5	439	16
6	455	16
done	455	16

prune395.0ms

Filtered

116 candidates to 138 candidates (-19.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	138	2	140

Merged error: 0b

Counts

140 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
0.1b	(* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))
2.5b	(* (sqrt t) (/ x (* z y)))
3.6b	(/ x (* z y))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-exp-log` `add-cbrt-cube`
19×	`add-sqr-sqrt`
14×	`prod-exp` `cbrt-unprod`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
12×	`associate-l`
11×	`associate-r`
6×	`cbrt-undiv` `times-frac` `div-exp`
5×	`pow-prod-down`
4×	`sqrt-prod` `add-log-exp`
3×	`associate-r/` `-commutative` `associate-/l*` `unswap-sqr`
2×	`div-inv`
1×	`frac-2neg` `clear-num` `associate-/r*`

Counts

4 → 93

Calls

4 calls:

4.0ms	(* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
10.0ms	(* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))
9.0ms	(* (sqrt t) (/ x (* z y)))
5.0ms	(/ x (* z y))

series69.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
26.0ms	(* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))
28.0ms	(* (sqrt t) (/ x (* z y)))
6.0ms	(/ x (* z y))

simplify1.8min

Counts

105 → 105

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	12	12
1	20	12
2	43	12
3	88	12
4	153	12
5	267	12
6	378	12
7	459	12
8	478	12
9	479	12
done	479	12
0	11	11
1	20	11
2	35	11
3	66	11
4	124	11
5	216	11
6	315	11
7	449	11
8	486	11
9	487	11
done	487	11
0	10	10
1	17	10
2	31	10
3	62	10
4	114	10
5	198	10
6	273	10
7	392	10
8	473	10
9	492	10
10	493	10
done	493	10
0	9	9
1	18	9
2	44	9
3	99	9
4	187	9
5	313	9
6	450	9
7	593	9
8	650	9
9	654	9
done	654	9
0	9	9
1	17	9
2	40	9
3	84	9
4	164	9
5	324	9
6	739	9
7	2947	9
done	5000	9
0	16	26
1	37	22
2	178	16
3	1308	16
done	5000	16
0	14	26
1	39	22
2	189	14
3	1475	12
done	5001	12
0	12	26
1	28	22
2	108	12
3	654	12
4	3702	12
done	5000	12
0	10	19
1	16	19
2	33	19
3	58	19
4	80	19
5	81	19
done	81	19
0	9	9
1	15	9
2	32	9
3	57	9
4	79	9
5	80	9
done	80	9
0	10	26
1	26	26
2	104	10
3	645	10
4	4125	10
done	5000	10
0	9	9
1	15	9
2	32	9
3	57	9
4	79	9
5	80	9
done	80	9
0	9	9
1	15	9
2	32	9
3	57	9
4	79	9
5	80	9
done	80	9
0	10	10
1	14	10
2	16	10
done	16	10
0	10	10
1	14	10
2	16	10
done	16	10
0	10	10
1	14	10
2	16	10
done	16	10
0	10	10
1	14	10
2	16	10
done	16	10
0	10	16
1	16	16
2	20	16
done	20	16
0	9	9
1	13	9
2	15	9
done	15	9
0	8	10
1	13	10
2	23	10
3	38	10
4	51	10
5	53	10
done	53	10
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	6
2	14	4
3	29	4
4	30	4
done	30	4
0	4	4
1	7	2
2	10	2
done	10	2
0	4	4
1	5	4
done	5	4
0	9	9
1	15	9
2	32	9
3	57	9
4	79	9
5	80	9
done	80	9
0	9	9
1	15	9
2	32	9
3	57	9
4	79	9
5	80	9
done	80	9
0	9	9
1	15	9
2	32	9
3	57	9
4	79	9
5	80	9
done	80	9
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	9	9
1	15	9
2	32	9
3	57	9
4	79	9
5	80	9
done	80	9
0	8	8
1	14	8
2	31	8
3	56	8
4	78	8
5	79	8
done	79	8
0	4	4
1	5	4
done	5	4
0	10	10
1	19	10
2	50	10
3	138	10
4	283	10
5	435	10
6	451	10
done	451	10
0	10	10
1	19	10
2	50	10
3	138	10
4	283	10
5	435	10
6	451	10
done	451	10
0	15	15
1	26	15
2	64	15
3	190	15
4	453	15
5	966	15
6	1469	15
7	1864	15
8	1914	15
9	1916	15
done	1916	15
0	14	14
1	26	14
2	54	14
3	145	14
4	350	14
5	744	14
6	1197	14
7	1768	14
8	1909	14
9	1912	14
done	1912	14
0	13	13
1	23	13
2	45	13
3	108	13
4	267	13
5	578	13
6	1039	13
7	1561	13
8	1940	13
9	1991	13
10	1992	13
done	1992	13
0	12	12
1	22	12
2	52	12
3	123	12
4	298	12
5	636	12
6	1275	12
7	1866	12
8	2150	12
9	2164	12
done	2164	12
0	11	11
1	23	11
2	64	11
3	196	11
4	489	11
5	1031	11
6	1778	11
7	2721	11
8	2992	11
9	3017	11
done	3017	11
0	11	11
1	22	11
2	61	11
3	192	11
4	511	11
5	1325	11
6	3277	11
done	5000	11
0	20	32
1	47	28
2	233	20
3	2060	20
done	5000	20
0	18	32
1	49	28
2	244	18
3	2161	16
done	5000	16
0	16	32
1	38	28
2	161	16
3	1095	16
done	5000	16
0	14	32
1	36	32
2	155	14
3	1125	14
done	5000	14
0	12	23
1	21	23
2	52	23
3	141	23
4	284	23
5	436	23
6	452	23
done	452	23
0	11	11
1	20	11
2	51	11
3	139	11
4	281	11
5	433	11
6	449	11
done	449	11
0	12	32
1	31	32
2	137	12
3	1030	12
done	5001	12
0	11	11
1	20	11
2	51	11
3	139	11
4	281	11
5	433	11
6	449	11
done	449	11
0	11	11
1	20	11
2	51	11
3	139	11
4	281	11
5	433	11
6	449	11
done	449	11
0	4	4
1	5	4
done	5	4
0	11	11
1	20	11
2	51	11
3	137	11
4	277	11
5	425	11
6	441	11
done	441	11
0	11	11
1	20	11
2	51	11
3	137	11
4	277	11
5	425	11
6	441	11
done	441	11
0	10	10
1	19	10
2	50	10
3	138	10
4	283	10
5	435	10
6	451	10
done	451	10
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13
0	15	15
1	25	15
2	56	15
3	140	15
4	280	15
5	428	15
6	444	15
done	444	15
0	14	14
1	27	14
2	59	14
3	144	14
4	283	14
5	431	14
6	447	14
done	447	14
0	14	14
1	26	14
2	63	14
3	156	14
4	318	14
5	522	14
6	686	14
7	1142	14
8	3156	14
done	5000	14
0	17	41
1	33	41
2	89	17
3	216	17
4	411	15
5	676	15
6	1092	15
7	2856	15
done	5000	15
0	15	29
1	25	29
2	56	29
3	141	29
4	280	29
5	428	29
6	444	29
done	444	29
0	14	14
1	24	14
2	55	14
3	140	14
4	280	14
5	428	14
6	444	14
done	444	14
0	15	41
1	35	41
2	95	15
3	224	15
4	377	15
5	571	15
6	716	15
7	1177	15
8	3179	15
done	5001	15
0	14	14
1	24	14
2	55	14
3	140	14
4	280	14
5	428	14
6	444	14
done	444	14
0	14	14
1	24	14
2	55	14
3	140	14
4	280	14
5	428	14
6	444	14
done	444	14
0	15	15
1	25	15
2	56	15
3	140	15
4	280	15
5	428	15
6	444	15
done	444	15
0	15	15
1	25	15
2	56	15
3	140	15
4	280	15
5	428	15
6	444	15
done	444	15
0	15	27
1	27	27
2	60	27
3	146	27
4	285	27
5	433	27
6	449	27
done	449	27
0	14	14
1	24	14
2	55	14
3	140	14
4	280	14
5	428	14
6	444	14
done	444	14
0	3	3
1	6	1
done	6	1
0	14	14
1	24	14
2	55	14
3	140	14
4	279	14
5	427	14
6	443	14
done	443	14
0	14	14
1	24	14
2	55	14
3	140	14
4	279	14
5	427	14
6	443	14
done	443	14
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	24	37
1	82	37
2	324	37
3	1384	37
done	5001	37
0	14	19
1	43	19
2	160	19
3	727	13
4	2806	13
done	5000	13
0	22	33
1	74	33
2	303	33
3	1419	27
done	5000	27
0	28	43
1	97	41
2	427	39
3	2143	39
done	5000	39
0	17	23
1	54	21
2	228	21
3	1214	15
done	5001	15
0	26	39
1	89	37
2	405	35
3	2245	29
done	5001	29
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13
0	13	13
1	23	13
2	54	13
3	139	13
4	278	13
5	426	13
6	442	13
done	442	13

prune151.0ms

Filtered

84 candidates to 105 candidates (-25.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	105	2	107

Merged error: 0b

Counts

107 → 2

regimes269.0ms

Accuracy

0% (0.0b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	24
1	27	24
done	27	24

end0.0ms

sample4.2s

Algorithm

intervals

Results

1.8s	24063×	body	80	nan
632.0ms	8000×	body	80	valid

Details

sample146.0ms

simplify4.2s

prune5.0ms

localize16.0ms

rewrite48.0ms

series47.0ms

simplify5.3min

prune316.0ms

localize21.0ms

rewrite51.0ms

series49.0ms

simplify6.0min

prune582.0ms

localize18.0ms

rewrite41.0ms

series48.0ms

simplify2.0min

prune395.0ms

localize12.0ms

rewrite32.0ms

series69.0ms

simplify1.8min

prune151.0ms

regimes269.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.2s

Profiling