Details

sample46.0ms

Algorithm

intervals

Results

11.0ms	258×	body	80	valid
9.0ms	258×	body	80	nan

simplify201.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	13	8
2	16	8
3	23	8
4	34	8
5	48	8
6	56	8
7	68	8
8	94	8
9	137	8
10	194	8
11	205	8
12	213	8
13	216	8
done	216	8

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 15.5b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x (log (/ x y))) z)
0.3b	(* x (log (/ x y)))
14.9b	(log (/ x y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

65×	`log-prod`
45×	`times-frac`
42×	`add-sqr-sqrt`
40×	`add-cube-cbrt` `*-un-lft-identity`
26×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
8×	`add-exp-log`
7×	`pow1`
5×	`add-cbrt-cube` `div-inv` `add-log-exp`
4×	`associate-r`
3×	`associate-l`
2×	`rem-log-exp` `log-pow`
1×	`sub-neg` `log-div` `flip3--` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`

Counts

3 → 107

Calls

3 calls:

8.0ms	(- (* x (log (/ x y))) z)
7.0ms	(* x (log (/ x y)))
3.0ms	(log (/ x y))

series35.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(- (* x (log (/ x y))) z)
10.0ms	(* x (log (/ x y)))
8.0ms	(log (/ x y))

simplify1.0min

Counts

116 → 116

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	8	10
2	10	7
3	11	7
done	11	7
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	17	12
2	38	12
3	67	8
4	106	8
5	141	8
6	196	8
7	237	8
8	274	8
9	277	8
done	277	8
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	7	9
1	12	9
2	20	9
3	33	9
4	41	9
5	45	9
6	53	9
7	67	9
8	79	9
9	91	9
10	103	9
11	104	9
done	104	9
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	8
1	12	6
2	26	6
3	49	5
4	71	5
5	84	5
6	96	5
7	109	5
done	109	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	7	9
1	12	9
2	18	9
3	26	9
4	38	9
5	46	9
6	55	9
7	68	9
8	84	9
9	87	9
done	87	9
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	5
1	9	3
2	15	3
3	19	3
done	19	3
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	6	8
1	14	7
2	19	7
3	32	6
4	44	5
5	74	5
6	100	5
7	106	5
8	115	5
done	115	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	11	4
2	12	4
3	16	4
4	18	4
5	24	4
6	29	4
done	29	4
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	3	4
1	7	1
done	7	1
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	2	2
1	4	1
done	4	1
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	2	2
done	2	2
0	4	4
1	10	3
2	11	3
3	15	3
4	17	3
5	23	3
6	28	3
done	28	3
0	2	2
done	2	2
0	2	2
done	2	2
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	8	3
2	13	3
3	16	3
4	21	3
5	30	3
6	39	3
7	57	3
8	81	3
9	121	3
10	178	3
11	221	3
12	234	3
done	234	3
0	6	11
1	9	11
2	11	11
3	12	11
done	12	11
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	6	14
1	10	14
2	14	6
3	32	6
4	76	6
5	189	6
6	524	6
7	1780	6
done	5000	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	6
1	9	6
2	11	6
3	18	6
4	23	6
5	27	6
done	27	6
0	7	8
1	10	8
2	12	8
3	13	8
done	13	8
0	6	7
1	12	7
2	15	7
3	22	7
4	27	7
5	31	7
done	31	7
0	6	7
1	12	7
2	21	5
3	46	5
4	87	5
5	195	5
6	396	5
7	1080	5
8	3885	5
done	5000	5
0	9	20
1	19	20
2	46	10
3	128	10
4	428	8
5	1391	8
6	4871	8
done	5000	8
0	7	15
1	11	15
2	13	15
3	20	15
4	25	15
5	29	15
done	29	15
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	7	20
1	21	20
2	52	8
3	138	8
4	425	8
5	1240	8
6	3959	8
done	5001	8
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	7	12
1	10	12
2	16	9
3	22	9
4	26	9
done	26	9
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	9	14
1	19	14
2	40	14
3	79	10
4	154	10
5	237	10
6	361	10
7	479	10
8	653	10
9	783	10
10	784	10
done	784	10
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	8	11
1	14	11
2	22	11
3	41	11
4	73	11
5	95	11
6	118	11
7	151	11
8	199	11
9	254	11
10	328	11
11	348	11
12	352	11
done	352	11
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	7	10
1	14	8
2	28	8
3	59	7
4	97	7
5	133	7
6	166	7
7	236	7
8	300	7
9	302	7
done	302	7
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	8	11
1	14	11
2	20	11
3	34	11
4	59	11
5	95	11
6	131	11
7	171	11
8	237	11
9	316	11
10	342	11
11	343	11
done	343	11
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	7
1	11	5
2	17	5
3	25	5
4	28	5
done	28	5
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	8	10
1	17	9
2	26	9
3	50	8
4	84	7
5	148	7
6	210	7
7	240	7
8	287	7
9	366	7
done	366	7
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	7	7
1	14	6
2	19	6
3	30	6
4	36	6
5	44	6
6	58	6
7	69	6
done	69	6
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	5	6
1	10	3
done	10	1
0	5	6
1	9	6
2	11	6
3	18	6
4	23	6
5	27	6
done	27	6
0	4	4
1	7	3
done	7	1
0	5	6
1	9	6
2	11	6
3	18	6
4	23	6
5	27	6
done	27	6
0	3	4
1	4	4
done	4	4
0	6	6
1	13	5
2	18	5
3	29	5
4	35	5
5	43	5
6	57	5
7	68	5
done	68	5
0	7	12
1	10	12
2	16	9
3	22	9
4	26	9
done	26	9
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	9	14
1	19	14
2	40	14
3	79	10
4	154	10
5	237	10
6	361	10
7	479	10
8	653	10
9	783	10
10	784	10
done	784	10
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	8	11
1	14	11
2	22	11
3	41	11
4	73	11
5	95	11
6	118	11
7	151	11
8	199	11
9	254	11
10	328	11
11	348	11
12	352	11
done	352	11
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	7	10
1	14	8
2	28	8
3	59	7
4	97	7
5	133	7
6	166	7
7	236	7
8	300	7
9	302	7
done	302	7
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	8	11
1	14	11
2	20	11
3	34	11
4	59	11
5	95	11
6	131	11
7	171	11
8	237	11
9	316	11
10	342	11
11	343	11
done	343	11
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	7	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	7
1	11	5
2	17	5
3	25	5
4	28	5
done	28	5
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	8	10
1	17	9
2	26	9
3	50	8
4	84	7
5	148	7
6	210	7
7	240	7
8	287	7
9	366	7
done	366	7
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	7	7
1	14	6
2	19	6
3	30	6
4	36	6
5	44	6
6	58	6
7	69	6
done	69	6
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	5	6
1	10	3
done	10	1
0	5	6
1	9	6
2	11	6
3	18	6
4	23	6
5	27	6
done	27	6
0	4	4
1	7	3
done	7	1
0	5	6
1	9	6
2	11	6
3	18	6
4	23	6
5	27	6
done	27	6
0	3	4
1	4	4
done	4	4
0	6	6
1	13	5
2	18	5
3	29	5
4	35	5
5	43	5
6	57	5
7	68	5
done	68	5
0	3	3
1	6	1
done	6	1
0	7	13
1	13	13
2	17	13
3	18	13
done	18	13
0	6	7
1	10	7
2	12	7
3	13	7
done	13	7
0	3	3
1	6	1
done	6	1
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	6	7
1	10	7
2	12	7
3	19	7
4	24	7
5	28	7
done	28	7
0	5	6
1	9	6
2	11	6
3	18	6
4	23	6
5	27	6
done	27	6
0	9	10
1	17	9
2	28	8
3	58	8
4	119	8
5	299	8
6	773	8
7	2775	8
done	5000	8
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	8	9
1	17	9
2	27	8
3	51	8
4	100	8
5	233	8
6	633	8
7	1645	8
done	5000	8
0	9	19
1	15	19
2	18	19
3	25	19
4	36	19
5	50	19
6	58	19
7	70	19
8	96	19
9	139	19
10	196	19
11	207	19
12	213	19
13	216	19
done	216	19
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	9	26
1	16	26
2	33	10
3	99	10
4	375	10
5	1743	10
done	5000	10
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	10	12
1	32	12
2	85	12
3	224	12
4	685	12
5	2273	12
done	5000	12
0	11	26
1	31	24
2	58	24
3	112	19
4	268	19
5	623	19
6	1677	19
7	4986	19
done	5000	19
0	2	2
done	2	2
0	9	17
1	25	17
2	45	17
3	93	17
4	251	17
5	729	17
6	2466	17
done	5000	17
0	7	8
1	12	8
2	14	8
3	21	8
4	30	8
5	39	8
6	42	8
7	48	8
8	59	8
9	82	8
10	109	8
11	138	8
12	152	8
13	173	8
14	196	8
15	197	8
done	197	8
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	7	8
1	13	8
2	16	8
3	23	8
4	34	8
5	48	8
6	56	8
7	68	8
8	94	8
9	137	8
10	194	8
11	205	8
12	213	8
13	216	8
done	216	8
0	7	8
1	13	8
2	16	8
3	23	8
4	34	8
5	48	8
6	56	8
7	68	8
8	94	8
9	137	8
10	194	8
11	205	8
12	213	8
13	216	8
done	216	8
0	8	8
1	17	7
2	23	7
3	39	7
4	48	7
5	70	7
6	98	7
7	147	7
8	157	7
9	175	7
10	194	7
11	196	7
12	198	7
done	198	7
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	9	10
1	15	10
2	18	10
3	25	10
4	36	10
5	50	10
6	58	10
7	70	10
8	96	10
9	139	10
10	196	10
11	207	10
12	215	10
13	218	10
done	218	10
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	8	9
1	14	9
2	17	9
3	24	9
4	35	9
5	49	9
6	57	9
7	69	9
8	95	9
9	138	9
10	195	9
11	206	9
12	212	9
13	215	9
done	215	9
0	7	8
1	13	8
2	16	8
3	23	8
4	34	8
5	48	8
6	56	8
7	68	8
8	94	8
9	137	8
10	194	8
11	205	8
12	213	8
13	216	8
done	216	8
0	7	8
1	13	8
2	16	8
3	23	8
4	34	8
5	48	8
6	56	8
7	68	8
8	94	8
9	137	8
10	194	8
11	205	8
12	213	8
13	216	8
done	216	8
0	8	8
1	17	7
2	23	7
3	39	7
4	48	7
5	70	7
6	98	7
7	147	7
8	158	7
9	178	7
10	197	7
11	199	7
12	201	7
done	201	7
0	2	2
done	2	2
0	8	8
1	15	7
2	22	5
3	36	5
4	46	5
5	59	5
6	82	5
7	97	5
8	106	5
9	119	5
done	119	5
0	10	12
1	23	9
2	38	6
3	87	5
4	99	5
5	111	5
6	128	5
done	128	5
0	11	12
1	23	11
2	44	9
3	125	9
4	312	9
5	571	5
6	1175	5
7	2650	5
done	5000	5
0	9	10
1	17	9
2	36	7
3	65	7
4	85	7
5	106	7
6	154	7
7	197	7
8	255	7
9	308	7
10	342	7
11	354	7
done	354	7
0	11	14
1	25	11
2	50	8
3	122	7
4	160	7
5	206	7
6	291	7
7	311	7
8	323	7
done	323	7
0	12	14
1	25	13
2	58	11
3	166	11
4	428	11
5	830	7
6	1790	7
7	4128	7
done	5000	7
0	13	16
1	28	13
2	54	9
3	113	9
4	192	9
5	268	9
6	404	9
7	519	9
8	656	9
9	669	9
done	669	9
0	15	20
1	36	15
2	68	11
3	141	11
4	338	10
5	533	9
6	605	9
done	605	9
0	16	20
1	36	17
2	66	15
3	143	13
4	332	13
5	898	13
6	2223	9
7	4715	9
done	5001	9

prune167.0ms

Filtered

94 candidates to 116 candidates (-23.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	110	6	116
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	110	7	117

Merged error: 0.0b

Counts

117 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt x)
0.5b	(cbrt x)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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 → 44

Calls

4 calls:

2.0ms	(cbrt x)
1.0ms	(cbrt x)
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series107.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt x)
26.0ms	(cbrt x)
29.0ms	(cbrt y)
26.0ms	(cbrt y)

simplify47.6s

Counts

56 → 56

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	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	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	171	2
6	353	2
7	904	2
8	3078	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	171	2
6	353	2
7	904	2
8	3078	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

prune80.0ms

Filtered

36 candidates to 56 candidates (-55.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	56	7	63

Merged error: 0.0b

Counts

63 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt x)
0.5b	(cbrt x)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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 → 44

Calls

4 calls:

2.0ms	(cbrt x)
2.0ms	(cbrt x)
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series107.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt x)
26.0ms	(cbrt x)
26.0ms	(cbrt y)
25.0ms	(cbrt y)

simplify47.7s

Counts

56 → 56

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	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	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	171	2
6	353	2
7	904	2
8	3078	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	171	2
6	353	2
7	904	2
8	3078	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

prune72.0ms

Filtered

36 candidates to 56 candidates (-55.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	56	7	63

Merged error: 0.0b

Counts

63 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt x)
0.5b	(cbrt x)
0.5b	(cbrt x)
5.7b	(log (/ (cbrt x) y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`cbrt-prod` `times-frac`
7×	`add-exp-log`
5×	`pow1`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow1/3`
2×	`rem-log-exp`
1×	`log-div` `div-exp` `log-pow` `div-inv`

Counts

4 → 66

Calls

4 calls:

1.0ms	(cbrt x)
2.0ms	(cbrt x)
1.0ms	(cbrt x)
4.0ms	(log (/ (cbrt x) y))

series113.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt x)
30.0ms	(cbrt x)
26.0ms	(cbrt x)
32.0ms	(log (/ (cbrt x) y))

simplify1.6min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	12
1	9	12
2	11	8
3	12	8
done	12	8
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	9	13
1	14	13
2	20	13
3	28	13
4	40	13
5	48	13
6	57	13
7	70	13
8	86	13
9	89	13
done	89	13
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	9
1	11	7
2	17	7
3	21	7
done	21	7
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	8	10
1	13	10
2	19	10
3	27	10
4	39	10
5	47	10
6	56	10
7	69	10
8	85	10
9	88	10
done	88	10
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	6
1	10	4
2	16	4
3	20	4
done	20	4
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	7	9
1	14	8
2	20	8
3	28	6
4	52	5
5	134	5
6	568	5
7	3661	5
done	5000	5
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	11	5
2	13	5
3	14	5
done	14	5
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	4	5
1	8	1
done	8	1
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	9	14
1	18	14
2	39	14
3	68	9
4	107	9
5	142	9
6	197	9
7	238	9
8	275	9
9	278	9
done	278	9
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	8	11
1	13	11
2	21	11
3	34	10
4	42	10
5	46	10
6	54	10
7	69	10
8	81	10
9	93	10
10	103	10
11	104	10
done	104	10
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	10
1	13	8
2	27	8
3	50	6
4	68	6
5	81	6
6	93	6
7	106	6
done	106	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	8	10
1	13	10
2	19	10
3	27	10
4	39	10
5	47	10
6	56	10
7	69	10
8	85	10
9	88	10
done	88	10
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	6
1	10	4
2	16	4
3	20	4
done	20	4
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	8
1	14	7
2	19	7
3	32	6
4	44	5
5	74	5
6	100	5
7	106	5
8	115	5
done	115	5
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	5
1	11	4
2	12	4
3	16	4
4	18	4
5	24	4
6	29	4
done	29	4
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	3	4
1	7	1
done	7	1
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	2	2
1	4	1
done	4	1
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	3	3
done	3	3
0	4	4
1	10	3
2	11	3
3	15	3
4	17	3
5	23	3
6	28	3
done	28	3
0	3	3
done	3	3
0	2	2
done	2	2
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	4
2	14	4
3	17	4
4	22	4
5	31	4
6	40	4
7	70	4
8	87	4
9	128	4
10	187	4
11	229	4
12	246	4
done	246	4
0	7	13
1	10	13
2	12	13
3	13	13
done	13	13
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	7	17
1	11	17
2	15	7
3	33	7
4	77	7
5	190	7
6	527	7
7	1771	7
done	5000	7
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
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	11	12
1	22	9
2	31	7
3	47	7
4	57	7
5	70	7
6	100	7
7	132	7
8	149	7
9	164	7
done	164	7
0	13	16
1	28	13
2	55	9
3	100	7
4	125	7
5	138	7
6	153	7
done	153	7
0	18	20
1	36	19
2	67	18
3	162	17
4	472	16
5	1856	14
done	5001	14
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	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	171	2
6	353	2
7	904	2
8	3078	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	171	2
6	353	2
7	904	2
8	3078	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

prune102.0ms

Filtered

55 candidates to 78 candidates (-41.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	3	3
Picked	1	0	1
Done	0	3	3
Total	78	7	85

Merged error: 0b

Counts

85 → 7

regimes353.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	17	21
done	17	21

end0.0ms

sample1.4s

Algorithm

intervals

Results

360.0ms	8040×	body	80	valid
297.0ms	8097×	body	80	nan

Details

sample46.0ms

simplify201.0ms

prune4.0ms

localize7.0ms

rewrite24.0ms

series35.0ms

simplify1.0min

prune167.0ms

localize14.0ms

rewrite7.0ms

series107.0ms

simplify47.6s

prune80.0ms

localize17.0ms

rewrite7.0ms

series107.0ms

simplify47.7s

prune72.0ms

localize17.0ms

rewrite11.0ms

series113.0ms

simplify1.6min

prune102.0ms

regimes353.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling