Details

sample48.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
11.0ms	263×	body	80	nan

simplify13.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	21	12
2	60	12
3	163	12
4	484	12
5	874	12
6	1424	12
7	1992	12
8	2162	12
9	2264	12
10	2461	12
11	2555	12
12	2649	12
13	2785	12
14	2903	12
15	2907	12
done	2907	12

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (* (+ y 0.5) (log y)))
0.1b	(+ (- x (* (+ y 0.5) (log y))) y)
0.1b	(* (+ y 0.5) (log y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
12×	`log-prod`
11×	`add-sqr-sqrt`
10×	`add-log-exp`
9×	`add-cube-cbrt`
6×	`pow1` `distribute-rgt-in` `distribute-lft-in` `associate--r+`
5×	`add-exp-log` `add-cbrt-cube`
4×	`associate-r` `associate-l`
2×	`sub-neg` `associate-+l+` `flip3-+` `diff-log` `associate-*l/` `sum-log` `flip-+` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `flip3--` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`

Counts

3 → 62

Calls

3 calls:

4.0ms	(- x (* (+ y 0.5) (log y)))
12.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
8.0ms	(* (+ y 0.5) (log y))

series48.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(- x (* (+ y 0.5) (log y)))
12.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
25.0ms	(* (+ y 0.5) (log y))

simplify1.9min

Counts

71 → 71

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	5	6
1	7	6
2	15	6
done	15	6
0	7	8
1	9	8
done	9	8
0	6	7
1	11	7
2	20	7
done	20	7
0	6	7
1	10	7
2	29	5
3	43	5
4	70	5
5	136	5
6	338	5
7	957	5
8	3756	5
done	5001	5
0	9	20
1	29	20
2	90	10
3	256	10
4	979	8
5	3629	8
done	5000	8
0	7	15
1	9	15
2	17	15
done	17	15
0	6	7
1	8	7
2	16	7
done	16	7
0	7	20
1	19	20
2	80	8
3	291	8
4	726	8
5	1840	8
6	4312	8
done	5000	8
0	6	7
1	8	7
2	16	7
done	16	7
0	6	7
1	8	7
2	16	7
done	16	7
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	7	10
1	11	10
2	25	9
3	49	9
4	91	9
5	107	9
done	107	9
0	6	7
1	8	7
2	16	7
done	16	7
0	6	7
1	8	7
2	16	7
done	16	7
0	6	7
1	8	7
2	16	7
done	16	7
0	6	6
1	10	5
2	18	1
done	18	1
0	5	6
1	7	6
2	15	6
done	15	6
0	7	10
1	17	10
2	32	9
3	58	9
4	94	9
5	104	9
done	104	9
0	6	7
1	14	7
2	15	7
done	15	7
0	6	7
1	14	7
2	15	7
done	15	7
0	6	7
1	14	7
2	15	7
done	15	7
0	6	6
1	16	5
2	17	1
done	17	1
0	5	6
1	13	6
2	14	6
done	14	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	7	11
1	11	11
2	21	11
3	33	11
4	35	11
done	35	11
0	6	7
1	8	7
2	16	7
done	16	7
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	5	6
1	7	6
2	15	6
done	15	6
0	5	6
1	7	6
2	15	6
done	15	6
0	8	10
1	23	10
2	40	10
3	81	10
4	157	10
5	382	10
6	1272	10
done	5000	10
0	7	10
1	13	10
2	30	10
3	76	10
4	159	10
5	245	10
6	395	10
7	764	10
8	3363	10
done	5000	10
0	11	13
1	20	12
2	49	10
3	98	10
4	262	10
5	669	10
6	2017	10
done	5001	10
0	10	12
1	20	11
2	51	11
3	123	10
4	316	10
5	798	10
6	2354	10
done	5001	10
0	9	11
1	16	11
2	40	11
3	80	11
4	175	11
5	239	11
6	333	11
7	501	11
8	668	11
9	738	11
10	847	11
11	941	11
12	1037	11
13	1177	11
14	1285	11
15	1289	11
done	1289	11
0	9	11
1	19	11
2	51	11
3	127	10
4	323	10
5	710	10
6	2019	10
done	5000	10
0	10	23
1	17	23
2	41	23
3	81	23
4	176	23
5	240	23
6	334	23
7	504	23
8	672	23
9	742	23
10	851	23
11	947	23
12	1043	23
13	1177	23
14	1289	23
15	1293	23
done	1293	23
0	9	11
1	16	11
2	40	11
3	80	11
4	175	11
5	239	11
6	333	11
7	501	11
8	668	11
9	738	11
10	847	11
11	941	11
12	1037	11
13	1177	11
14	1285	11
15	1289	11
done	1289	11
0	10	32
1	30	32
2	98	12
3	417	12
4	2809	12
done	5000	12
0	9	11
1	16	11
2	40	11
3	80	11
4	175	11
5	239	11
6	333	11
7	501	11
8	668	11
9	738	11
10	847	11
11	941	11
12	1037	11
13	1177	11
14	1285	11
15	1289	11
done	1289	11
0	9	11
1	16	11
2	40	11
3	80	11
4	175	11
5	239	11
6	333	11
7	501	11
8	668	11
9	738	11
10	847	11
11	941	11
12	1037	11
13	1177	11
14	1285	11
15	1289	11
done	1289	11
0	11	14
1	29	14
2	65	14
3	176	14
4	725	14
5	3369	14
done	5001	14
0	12	32
1	24	30
2	69	30
3	197	23
4	813	23
5	3562	23
done	5000	23
0	10	21
1	19	21
2	55	21
3	169	21
4	729	21
5	2991	21
done	5001	21
0	8	10
1	16	10
2	41	10
3	88	10
4	200	10
5	289	10
6	406	10
7	654	10
8	805	10
9	910	10
10	1048	10
11	1112	10
12	1358	10
13	1366	10
done	1366	10
0	8	10
1	15	10
2	39	10
3	79	10
4	174	10
5	234	10
6	328	10
7	497	10
8	662	10
9	732	10
10	841	10
11	939	10
12	1033	10
13	1173	10
14	1280	10
15	1284	10
done	1284	10
0	7	9
1	14	9
2	29	8
3	55	8
4	81	8
5	92	8
6	114	8
7	167	8
8	238	8
9	255	8
10	271	8
11	307	8
12	372	8
13	466	8
14	562	8
15	698	8
16	802	8
17	806	8
done	806	8
0	7	9
1	14	9
2	29	8
3	55	8
4	81	8
5	92	8
6	114	8
7	167	8
8	238	8
9	255	8
10	271	8
11	307	8
12	372	8
13	466	8
14	562	8
15	698	8
16	802	8
17	806	8
done	806	8
0	6	8
1	10	8
2	19	8
3	31	8
4	37	8
5	41	8
6	49	8
7	69	8
8	103	8
9	178	8
10	212	8
11	249	8
12	279	8
13	338	8
14	504	8
15	596	8
16	830	8
17	838	8
done	838	8
0	9	10
1	15	9
2	36	8
3	69	8
4	149	8
5	298	8
6	786	8
7	3127	8
done	5001	8
0	8	9
1	12	9
2	27	9
3	47	9
4	75	9
5	83	9
6	102	9
7	149	9
8	210	9
9	222	9
10	223	9
done	223	9
0	8	9
1	15	9
2	37	8
3	83	8
4	171	8
5	339	8
6	913	8
7	3874	8
done	5000	8
0	9	19
1	13	19
2	28	19
3	48	19
4	76	19
5	84	19
6	103	19
7	150	19
8	211	19
9	223	19
10	224	19
done	224	19
0	8	9
1	12	9
2	27	9
3	47	9
4	75	9
5	83	9
6	102	9
7	149	9
8	210	9
9	222	9
10	223	9
done	223	9
0	9	26
1	14	26
2	43	10
3	138	10
4	633	10
5	3061	10
done	5000	10
0	8	9
1	12	9
2	27	9
3	47	9
4	75	9
5	83	9
6	102	9
7	149	9
8	210	9
9	222	9
10	223	9
done	223	9
0	8	9
1	12	9
2	27	9
3	47	9
4	75	9
5	83	9
6	102	9
7	149	9
8	210	9
9	222	9
10	223	9
done	223	9
0	10	12
1	30	12
2	93	12
3	384	12
4	1491	12
5	4713	12
done	5000	12
0	11	26
1	29	19
2	94	19
3	246	19
4	585	19
5	1420	19
6	3465	19
7	4893	19
done	5000	19
0	6	7
1	12	7
2	26	7
3	48	7
4	50	7
done	50	7
0	9	17
1	23	17
2	77	17
3	254	17
4	702	17
5	1754	17
6	4953	17
done	5000	17
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	9	12
1	15	12
2	36	11
3	97	11
4	248	11
5	547	11
6	850	11
7	1408	11
8	2624	11
9	2711	11
10	2728	11
done	2728	11
0	8	9
1	12	9
2	27	9
3	47	9
4	75	9
5	83	9
6	102	9
7	149	9
8	210	9
9	222	9
10	223	9
done	223	9
0	8	8
1	14	7
2	29	3
3	33	1
4	35	1
done	35	1
0	9	12
1	21	12
2	48	11
3	123	11
4	306	11
5	593	11
6	991	11
7	1814	11
8	2059	11
9	2060	11
done	2060	11
0	8	9
1	18	9
2	31	9
3	55	9
4	66	9
5	80	9
6	114	9
7	173	9
8	209	9
9	210	9
done	210	9
0	8	8
1	20	7
2	33	3
3	41	1
4	43	1
done	43	1
0	6	7
1	12	7
2	26	7
3	48	7
4	50	7
done	50	7
0	12	19
1	25	17
2	47	11
3	56	6
4	57	6
done	57	6
0	13	23
1	32	15
2	72	9
3	129	6
4	191	6
5	391	6
done	391	6
0	13	23
1	31	15
2	61	15
3	139	11
4	340	11
5	1202	8
6	3388	6
done	5000	6
0	15	23
1	35	21
2	92	15
3	245	13
4	480	10
5	964	10
6	1392	10
7	1781	10
8	1954	10
9	2091	10
10	2224	10
11	2349	10
12	2454	10
13	2636	10
14	2794	10
15	2798	10
done	2798	10
0	16	27
1	39	23
2	105	17
3	258	11
4	492	10
5	933	10
6	1331	10
7	1867	10
8	2043	10
9	2260	10
10	2389	10
11	2494	10
12	2674	10
13	2830	10
14	2834	10
done	2834	10
0	16	27
1	36	27
2	95	24
3	349	24
4	1112	19
5	3941	13
done	5000	13
0	14	21
1	31	19
2	76	10
3	148	8
4	223	8
5	302	8
6	451	8
7	549	8
done	549	8
0	15	25
1	35	21
2	85	15
3	164	9
4	239	8
5	420	8
6	544	8
7	727	8
8	734	8
done	734	8
0	15	25
1	36	17
2	81	17
3	228	13
4	585	13
5	2186	10
done	5000	10

prune125.0ms

Filtered

55 candidates to 71 candidates (-29.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	64	7	71
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	8	72

Merged error: 0.0b

Counts

72 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (+ y 0.5) (log (cbrt y)))
0.3b	(+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod`
18×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity`
16×	`add-cube-cbrt`
13×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate-+r+`
7×	`pow1`
6×	`add-exp-log` `flip3-+` `associate-*l/` `add-cbrt-cube` `flip-+` `add-log-exp`
5×	`associate-r`
4×	`associate-r/` `associate-l*` `frac-add`
3×	`pow1/3`
2×	`associate-+l+` `log-pow`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

4 → 86

Calls

4 calls:

9.0ms	(* (+ y 0.5) (log (cbrt y)))
17.0ms	(+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series261.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(* (+ y 0.5) (log (cbrt y)))
133.0ms	(+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))
26.0ms	(cbrt y)
26.0ms	(cbrt y)

simplify1.8min

Counts

98 → 98

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	12	19
1	30	18
2	89	10
3	214	10
4	587	8
5	2509	8
done	5000	8
0	11	18
1	23	18
2	62	10
3	119	10
4	203	10
5	242	10
6	243	10
done	243	10
0	11	18
1	26	18
2	79	10
3	192	10
4	514	8
5	2019	8
done	5000	8
0	12	37
1	24	37
2	63	21
3	114	21
4	191	21
5	222	21
6	223	21
done	223	21
0	11	18
1	23	18
2	62	10
3	113	10
4	188	10
5	221	10
6	222	10
done	222	10
0	12	53
1	37	53
2	153	11
3	928	11
done	5001	11
0	11	18
1	23	18
2	62	10
3	113	10
4	188	10
5	221	10
6	222	10
done	222	10
0	11	18
1	23	18
2	62	10
3	113	10
4	188	10
5	221	10
6	222	10
done	222	10
0	20	49
1	62	45
2	233	35
3	1133	23
done	5000	23
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	22	41
1	65	39
2	215	39
3	844	35
4	3724	31
done	5001	31
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	22	41
1	65	39
2	213	39
3	1032	35
done	5000	35
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	15	33
1	32	33
2	113	29
3	568	17
4	2286	17
done	5001	17
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	13	21
1	42	21
2	159	21
3	863	11
4	4735	11
done	5000	11
0	14	53
1	50	45
2	212	39
3	923	31
4	3481	17
done	5001	17
0	12	35
1	41	35
2	184	23
3	758	23
4	2589	21
done	5001	21
0	10	17
1	23	17
2	63	13
3	119	13
4	246	13
5	375	13
6	566	13
7	1006	13
8	1808	10
9	2738	7
done	5000	7
0	13	21
1	26	21
2	69	17
3	99	17
4	126	17
5	127	17
done	127	17
0	13	18
1	26	18
2	69	14
3	99	14
4	126	14
5	127	14
done	127	14
0	13	17
1	28	16
2	71	12
3	101	12
4	128	12
5	129	12
done	129	12
0	13	22
1	28	22
2	76	16
3	143	14
4	312	14
5	568	14
6	752	14
7	1508	14
8	1869	14
done	1869	14
0	12	18
1	25	18
2	68	14
3	94	14
4	121	14
5	122	14
done	122	14
0	12	16
1	27	15
2	70	11
3	82	9
done	82	9
0	13	21
1	34	17
2	72	17
3	112	17
4	125	17
done	125	17
0	13	18
1	34	14
2	72	14
3	112	14
4	125	14
done	125	14
0	13	17
1	36	12
2	74	12
3	114	12
4	127	12
done	127	12
0	13	22
1	36	18
2	89	16
3	178	14
4	402	14
5	641	14
6	916	14
7	1797	14
8	1983	14
done	1983	14
0	12	18
1	33	14
2	71	14
3	111	14
4	124	14
done	124	14
0	12	16
1	35	11
2	73	9
3	90	9
done	90	9
0	10	15
1	17	15
2	29	15
3	41	11
4	67	11
5	80	9
6	82	9
done	82	9
0	10	15
1	17	15
2	33	11
3	51	11
4	70	9
5	80	9
6	81	9
done	81	9
0	6	7
1	8	7
2	16	7
done	16	7
0	8	9
1	10	9
done	10	9
0	7	8
1	12	8
2	21	8
done	21	8
0	7	8
1	11	8
2	30	6
3	44	6
4	71	6
5	137	6
6	335	6
7	951	6
8	3786	6
done	5000	6
0	10	23
1	30	23
2	91	11
3	259	11
4	985	9
5	3611	9
done	5001	9
0	8	17
1	10	17
2	18	17
done	18	17
0	7	8
1	9	8
2	17	8
done	17	8
0	8	23
1	20	23
2	81	9
3	294	9
4	727	9
5	1847	9
6	4359	9
done	5001	9
0	7	8
1	9	8
2	17	8
done	17	8
0	7	8
1	9	8
2	17	8
done	17	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	8	11
1	10	11
2	18	11
done	18	11
0	7	8
1	9	8
2	17	8
done	17	8
0	7	8
1	9	8
2	17	8
done	17	8
0	7	8
1	9	8
2	17	8
done	17	8
0	7	7
1	11	6
2	19	6
done	19	6
0	6	7
1	8	7
2	16	7
done	16	7
0	8	12
1	12	12
2	26	10
3	50	10
4	92	10
5	112	10
done	112	10
0	7	8
1	9	8
2	17	8
done	17	8
0	7	8
1	9	8
2	17	8
done	17	8
0	7	8
1	9	8
2	17	8
done	17	8
0	6	6
1	10	5
2	18	1
done	18	1
0	6	7
1	8	7
2	16	7
done	16	7
0	8	11
1	16	11
2	17	11
done	17	11
0	7	8
1	15	8
2	16	8
done	16	8
0	7	8
1	15	8
2	16	8
done	16	8
0	7	8
1	15	8
2	16	8
done	16	8
0	7	7
1	17	6
2	18	6
done	18	6
0	6	7
1	14	7
2	15	7
done	15	7
0	8	12
1	18	12
2	33	10
3	59	10
4	96	10
5	103	10
done	103	10
0	7	8
1	15	8
2	16	8
done	16	8
0	7	8
1	15	8
2	16	8
done	16	8
0	7	8
1	15	8
2	16	8
done	16	8
0	6	6
1	16	5
2	17	1
done	17	1
0	6	7
1	14	7
2	15	7
done	15	7
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	8	13
1	12	13
2	22	13
3	34	13
done	34	13
0	7	8
1	9	8
2	17	8
done	17	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	6	7
1	8	7
2	16	7
done	16	7
0	6	7
1	8	7
2	16	7
done	16	7
0	9	11
1	24	11
2	41	11
3	82	11
4	156	11
5	379	11
6	1261	11
done	5001	11
0	8	11
1	14	11
2	31	11
3	77	11
4	164	11
5	250	11
6	408	11
7	781	11
8	3438	11
done	5001	11
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	12	19
1	25	17
2	47	11
3	56	6
4	57	6
done	57	6
0	13	23
1	32	15
2	72	9
3	129	6
4	191	6
5	391	6
done	391	6
0	19	35
1	39	33
2	83	29
3	226	17
4	716	16
5	2615	14
done	5000	14
0	15	23
1	34	19
2	70	13
3	80	8
4	82	8
done	82	8
0	16	27
1	39	23
2	86	13
3	167	10
4	358	8
5	570	8
6	605	8
done	605	8
0	17	33
1	34	31
2	70	15
3	177	15
4	543	14
5	1680	12
done	5000	12

prune158.0ms

Filtered

79 candidates to 98 candidates (-24.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	2	4	6
Picked	0	1	1
Done	1	0	1
Total	100	6	106

Merged error: 0.0b

Counts

106 → 6

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (* (+ y 0.5) (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y))))) (* (+ y 0.5) (log (cbrt (sqrt y)))))
0.6b	(cbrt (sqrt y))
0.6b	(cbrt (sqrt y))
0.6b	(cbrt y)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod`
21×	`flip3-+` `flip-+`
20×	`associate-*l/`
18×	`associate-+r+` `log-prod`
16×	`frac-add`
15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`sqrt-prod`
10×	`distribute-rgt-in` `distribute-lft-in`
8×	`frac-times`
6×	`add-log-exp`
4×	`pow1` `add-exp-log` `associate-*r/` `add-cbrt-cube`
3×	`pow1/3`
2×	`associate-+l+`
1×	`+-commutative` `sum-log` `distribute-lft-out`

Counts

4 → 87

Calls

4 calls:

16.0ms	(+ (* (+ y 0.5) (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y))))) (* (+ y 0.5) (log (cbrt (sqrt y)))))
2.0ms	(cbrt (sqrt y))
2.0ms	(cbrt (sqrt y))
2.0ms	(cbrt y)

series241.0ms

Counts

4 → 12

Calls

4 calls:

178.0ms	(+ (* (+ y 0.5) (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y))))) (* (+ y 0.5) (log (cbrt (sqrt y)))))
19.0ms	(cbrt (sqrt y))
18.0ms	(cbrt (sqrt y))
26.0ms	(cbrt y)

simplify3.2min

Counts

99 → 99

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	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	2
done	5	2
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	2
done	5	2
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	16	25
1	31	24
2	86	20
3	235	20
4	751	17
5	3046	15
done	5000	15
0	15	24
1	27	20
2	69	20
3	161	17
4	345	15
5	587	15
6	815	15
7	1538	15
8	1893	15
9	1896	15
done	1896	15
0	15	24
1	30	20
2	81	20
3	228	17
4	673	15
5	2430	14
done	5001	14
0	16	49
1	28	41
2	67	41
3	160	35
4	351	31
5	572	31
6	794	31
7	1520	31
8	1954	31
9	1957	31
done	1957	31
0	15	24
1	27	20
2	66	20
3	157	17
4	346	15
5	593	15
6	834	15
7	1565	15
8	1878	15
9	1881	15
done	1881	15
0	16	71
1	41	59
2	165	21
3	996	18
done	5002	16
0	15	24
1	27	20
2	66	20
3	157	17
4	346	15
5	593	15
6	834	15
7	1565	15
8	1878	15
9	1881	15
done	1881	15
0	15	24
1	27	20
2	66	20
3	157	17
4	346	15
5	593	15
6	834	15
7	1565	15
8	1878	15
9	1881	15
done	1881	15
0	32	92
1	113	81
2	409	71
3	2262	63
done	5001	63
0	21	56
1	62	45
2	211	45
3	1150	45
done	5001	45
0	34	84
1	115	75
2	384	75
3	1996	75
done	5001	75
0	22	48
1	61	39
2	186	39
3	894	39
done	5001	39
0	28	77
1	80	71
2	240	61
3	1248	52
done	5001	52
0	17	34
1	36	30
2	96	30
3	461	30
4	2621	30
done	5000	30
0	30	69
1	82	65
2	227	65
3	1083	65
done	5000	56
0	18	26
1	35	24
2	83	24
3	322	24
4	1429	24
done	5000	24
0	34	84
1	121	75
2	427	75
3	2414	75
done	5001	75
0	22	48
1	67	39
2	221	39
3	1094	39
done	5000	39
0	28	76
1	92	69
2	342	65
3	1860	57
done	5001	57
0	17	40
1	46	33
2	142	33
3	544	33
4	2137	33
done	5001	33
0	30	69
1	88	65
2	258	65
3	1372	65
done	5001	65
0	18	26
1	41	24
2	110	24
3	453	24
4	1885	24
done	5001	24
0	23	61
1	56	59
2	180	55
3	986	46
done	5000	38
0	13	18
1	20	18
2	43	18
3	144	18
4	445	18
5	1282	18
6	4530	18
done	5000	18
0	32	76
1	105	67
2	338	67
3	1573	66
done	5001	66
0	20	44
1	54	35
2	143	35
3	537	35
4	2498	35
done	5000	35
0	28	68
1	83	61
2	264	61
3	1168	52
done	5002	51
0	16	36
1	38	29
2	88	29
3	238	29
4	795	29
5	2137	29
6	4705	29
done	5000	29
0	28	61
1	78	57
2	216	57
3	989	57
done	5001	48
0	16	22
1	34	20
2	83	20
3	254	20
4	714	20
5	1801	20
6	3843	20
done	5000	20
0	23	53
1	53	51
2	148	51
3	668	43
4	3058	34
done	5000	34
0	12	14
1	18	14
2	32	14
3	74	14
4	162	14
5	260	14
6	356	14
7	490	14
8	758	14
9	1033	14
10	1097	14
done	1097	14
0	24	55
1	64	51
2	202	41
3	940	33
done	5002	33
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	26	47
1	68	45
2	192	45
3	769	45
4	3501	41
done	5001	41
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	26	47
1	74	45
2	238	45
3	1191	45
done	5000	41
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	19	39
1	40	39
2	133	35
3	627	27
4	2608	27
done	5001	27
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	17	27
1	44	27
2	155	25
3	736	25
4	4106	25
done	5000	25
0	18	71
1	51	62
2	205	58
3	914	52
4	4537	35
done	5000	35
0	16	47
1	43	47
2	181	39
3	787	31
4	3920	26
done	5001	26
0	14	23
1	27	19
2	77	19
3	205	11
4	533	9
5	2170	9
done	5001	9
0	10	15
1	15	15
2	17	12
3	22	10
4	24	10
done	24	10
0	17	28
1	31	24
2	82	24
3	188	24
4	464	24
5	1028	24
6	1182	24
done	1182	24
0	18	27
1	33	20
2	84	20
3	192	20
4	478	20
5	936	20
6	1031	20
done	1031	20
0	17	24
1	31	20
2	82	20
3	188	20
4	464	20
5	1028	20
6	1182	20
done	1182	20
0	18	23
1	34	18
2	85	18
3	191	18
4	475	18
5	984	18
6	1132	18
done	1132	18
0	17	24
1	31	20
2	82	20
3	188	20
4	464	20
5	1028	20
6	1182	20
done	1182	20
0	17	22
1	33	17
2	84	17
3	192	17
4	474	17
5	1007	17
6	1083	17
done	1083	17
0	17	29
1	33	25
2	91	22
3	242	20
4	733	20
5	2461	20
done	5000	20
0	16	24
1	30	20
2	81	20
3	191	20
4	469	20
5	982	20
6	1077	20
done	1077	20
0	16	21
1	32	16
2	83	14
3	207	14
4	308	14
5	322	14
done	322	14
0	17	28
1	35	28
2	81	24
3	195	24
4	486	24
5	906	24
6	1089	24
done	1089	24
0	18	27
1	37	24
2	83	20
3	195	20
4	483	20
5	905	20
6	1052	20
done	1052	20
0	17	24
1	35	24
2	81	20
3	195	20
4	486	20
5	906	20
6	1089	20
done	1089	20
0	18	23
1	38	22
2	84	18
3	198	18
4	487	18
5	916	18
6	1080	18
done	1080	18
0	17	24
1	35	24
2	81	20
3	195	20
4	486	20
5	906	20
6	1089	20
done	1089	20
0	17	22
1	37	21
2	83	17
3	197	17
4	480	17
5	897	17
6	1070	17
done	1070	17
0	17	29
1	37	29
2	96	22
3	253	22
4	900	20
5	2913	20
done	5001	20
0	16	24
1	34	24
2	80	20
3	192	20
4	479	20
5	914	20
6	1069	20
done	1069	20
0	16	21
1	36	20
2	82	16
3	169	14
4	382	14
5	393	14
done	393	14
0	8	17
1	16	10
2	39	10
3	93	10
4	109	10
done	109	10
0	9	17
1	16	17
2	27	10
3	60	10
4	95	10
5	99	10
done	99	10
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	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3055	3
done	5001	3
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	29
1	64	26
2	167	22
3	562	22
4	1994	22
done	5001	22
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3055	3
done	5001	3
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	29
1	64	26
2	167	22
3	562	22
4	1994	22
done	5001	22
0	12	19
1	25	17
2	47	11
3	56	6
4	57	6
done	57	6
0	13	23
1	32	15
2	72	9
3	129	6
4	191	6
5	391	6
done	391	6
0	40	73
1	102	69
2	284	61
3	1045	60
4	4540	43
done	5000	43

prune205.0ms

Filtered

83 candidates to 99 candidates (-19.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	98	7	105

Merged error: 0.0b

Counts

105 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (sqrt y))
0.6b	(cbrt y)
0.6b	(cbrt (sqrt (sqrt y)))
0.6b	(cbrt (sqrt (sqrt y)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod`
21×	`sqrt-prod`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 59

Calls

4 calls:

3.0ms	(cbrt (sqrt y))
2.0ms	(cbrt y)
3.0ms	(cbrt (sqrt (sqrt y)))
3.0ms	(cbrt (sqrt (sqrt y)))

series87.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt (sqrt y))
26.0ms	(cbrt y)
18.0ms	(cbrt (sqrt (sqrt y)))
24.0ms	(cbrt (sqrt (sqrt y)))

simplify47.0s

Counts

71 → 71

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	6	9
1	7	5
done	7	5
0	5	5
done	5	5
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	2
done	6	2
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	3	3
1	5	2
done	5	2
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	6	9
1	7	5
done	7	5
0	5	5
done	5	5
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	2
done	6	2
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	3	3
1	5	2
done	5	2
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
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	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	2
done	5	2
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3055	3
done	5001	3
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	29
1	61	29
2	164	25
3	559	25
4	1982	25
done	5001	25
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3055	3
done	5001	3
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	29
1	61	29
2	164	25
3	559	25
4	1982	25
done	5001	25
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	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3055	3
done	5001	3
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	29
1	64	26
2	167	22
3	562	22
4	1994	22
done	5001	22

prune105.0ms

Filtered

50 candidates to 71 candidates (-42.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	71	7	78

Merged error: 0.0b

Counts

78 → 7

regimes210.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	19	29
1	26	29
done	26	29

end0.0ms

sample1.4s

Algorithm

intervals

Results

389.0ms	8035×	body	80	valid
361.0ms	8340×	body	80	nan
0.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid

Details

sample48.0ms

simplify13.5s

prune4.0ms

localize10.0ms

rewrite26.0ms

series48.0ms

simplify1.9min

prune125.0ms

localize17.0ms

rewrite33.0ms

series261.0ms

simplify1.8min

prune158.0ms

localize26.0ms

rewrite27.0ms

series241.0ms

simplify3.2min

prune205.0ms

localize27.0ms

rewrite12.0ms

series87.0ms

simplify47.0s

prune105.0ms

regimes210.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling