Details

sample109.0ms

Algorithm

intervals

Results

41.0ms	759×	body	80	nan
14.0ms	257×	body	80	valid

simplify750.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	548	11
8	591	11
9	593	11
done	593	11

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

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- (* x (log y)) y) z)
0.0b	(+ (- (- (* x (log y)) y) z) (log t))
0.0b	(- (* x (log y)) y)
0.3b	(* x (log y))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate--l+`
27×	`log-prod`
25×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
17×	`add-log-exp`
15×	`add-cube-cbrt`
12×	`distribute-rgt-in` `distribute-lft-in`
10×	`associate-+l+`
9×	`pow1`
7×	`diff-log`
6×	`add-exp-log` `add-cbrt-cube`
5×	`sub-neg`
4×	`associate-r` `distribute-lft-out`
3×	`associate-+r+` `associate-l` `sum-log` `log-pow` `distribute-lft-out--`
2×	`flip3--` `flip--`
1×	`+-commutative` `associate--l-` `associate-+l-` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `difference-of-squares` `unswap-sqr`

Counts

4 → 98

Calls

4 calls:

8.0ms	(- (- (* x (log y)) y) z)
13.0ms	(+ (- (- (* x (log y)) y) z) (log t))
5.0ms	(- (* x (log y)) y)
6.0ms	(* x (log y))

series45.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (- (* x (log y)) y) z)
15.0ms	(+ (- (- (* x (log y)) y) z) (log t))
12.0ms	(- (* x (log y)) y)
8.0ms	(* x (log y))

simplify1.8min

Counts

110 → 110

Iterations

Useful iterations: done (2.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	7	8
1	12	7
2	21	6
3	36	6
4	74	6
5	185	6
6	560	6
7	2162	6
done	5000	6
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	12	7
2	20	6
3	32	6
4	60	6
5	138	6
6	432	6
7	1168	6
8	3730	6
done	5000	6
0	7	15
1	10	15
2	11	15
done	11	15
0	6	7
1	9	7
2	10	7
done	10	7
0	7	20
1	11	20
2	26	8
3	85	8
4	282	8
5	872	8
6	2661	8
done	5000	8
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	8	10
1	27	10
2	78	10
3	172	10
4	353	10
5	1018	10
6	4305	10
done	5000	10
0	9	20
1	26	18
2	51	18
3	62	15
4	71	15
5	73	15
done	73	15
0	2	2
done	2	2
0	7	13
1	20	13
2	38	13
3	54	13
4	95	13
5	172	13
6	262	13
7	490	13
8	1896	13
done	5000	13
0	5	6
1	7	6
done	7	6
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	8	6
2	9	6
done	9	6
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	12	13
1	22	12
2	46	10
3	103	10
4	294	10
5	1048	10
6	4352	10
done	5000	10
0	11	12
1	22	11
2	43	11
3	91	10
4	251	10
5	854	10
6	2940	10
done	5001	10
0	10	11
1	21	11
2	45	11
3	100	10
4	219	10
5	557	10
6	1421	10
7	3782	10
done	5001	10
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	277	12
6	385	12
7	551	12
8	594	12
9	596	12
done	596	12
0	11	12
1	24	12
2	63	11
3	173	10
4	391	10
5	826	10
6	2356	10
done	5000	10
0	12	25
1	22	25
2	50	25
3	114	25
4	209	25
5	278	25
6	388	25
7	551	25
8	596	25
9	598	25
done	598	25
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	277	12
6	385	12
7	551	12
8	594	12
9	596	12
done	596	12
0	12	35
1	35	35
2	107	13
3	526	13
4	3911	13
done	5000	13
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	277	12
6	385	12
7	551	12
8	594	12
9	596	12
done	596	12
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	277	12
6	385	12
7	551	12
8	594	12
9	596	12
done	596	12
0	13	15
1	34	15
2	66	15
3	193	15
4	753	15
5	4058	15
done	5000	15
0	14	35
1	29	32
2	72	32
3	246	26
4	1021	26
done	5001	26
0	12	23
1	24	23
2	60	23
3	242	23
4	1118	23
5	4994	23
done	5000	23
0	10	11
1	21	11
2	50	11
3	135	11
4	245	11
5	321	11
6	444	11
7	629	11
8	670	11
9	672	11
done	672	11
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	548	11
8	591	11
9	593	11
done	593	11
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	548	11
8	591	11
9	593	11
done	593	11
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	548	11
8	591	11
9	593	11
done	593	11
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	548	11
8	591	11
9	593	11
done	593	11
0	12	15
1	24	15
2	60	14
3	165	14
4	371	14
5	662	14
6	1023	14
7	1498	14
8	1579	14
9	1580	14
done	1580	14
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	274	12
6	384	12
7	543	12
8	584	12
9	586	12
done	586	12
0	10	11
1	22	10
2	50	8
3	109	8
4	168	8
5	207	8
6	274	8
7	372	8
8	393	8
9	395	8
done	395	8
0	5	5
1	6	5
2	7	4
done	7	4
0	7	7
1	12	7
2	24	7
3	39	6
4	60	6
5	75	6
6	97	6
7	114	6
8	116	6
9	118	6
10	122	6
done	122	6
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	273	12
6	381	12
7	543	12
8	582	12
9	584	12
done	584	12
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	273	12
6	381	12
7	543	12
8	582	12
9	584	12
done	584	12
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	548	11
8	591	11
9	593	11
done	593	11
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	273	12
6	381	12
7	543	12
8	582	12
9	584	12
done	584	12
0	11	12
1	21	12
2	49	12
3	113	12
4	208	12
5	273	12
6	381	12
7	543	12
8	582	12
9	584	12
done	584	12
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	550	11
8	593	11
9	595	11
done	595	11
0	7	7
1	12	7
2	24	7
3	39	6
4	60	6
5	75	6
6	97	6
7	114	6
8	116	6
9	118	6
10	122	6
done	122	6
0	5	5
1	6	5
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	10	11
1	17	10
2	33	8
3	64	8
4	150	8
5	443	8
6	1632	8
done	5000	8
0	9	10
1	17	9
2	33	9
3	68	8
4	152	8
5	387	8
6	1221	8
7	3872	8
done	5001	8
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	145	9
done	145	9
0	8	9
1	18	9
2	38	9
3	77	8
4	133	8
5	261	8
6	630	8
7	1540	8
8	4144	8
done	5000	8
0	9	19
1	16	19
2	27	19
3	43	19
4	52	19
5	60	19
6	80	19
7	111	19
8	127	19
9	137	19
10	142	19
11	144	19
12	146	19
done	146	19
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	145	9
done	145	9
0	9	26
1	17	26
2	42	10
3	153	10
4	656	10
5	3583	10
done	5000	10
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	145	9
done	145	9
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	145	9
done	145	9
0	10	12
1	28	12
2	63	12
3	157	12
4	454	12
5	1488	12
done	5000	12
0	11	26
1	21	24
2	45	24
3	120	19
4	334	19
5	988	19
6	3287	19
done	5001	19
0	2	2
done	2	2
0	9	17
1	17	17
2	39	17
3	118	17
4	455	17
5	1455	17
done	5001	17
0	7	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	76	8
8	103	8
9	121	8
10	127	8
11	131	8
done	131	8
0	9	10
1	13	10
2	14	10
done	14	10
0	9	10
1	14	10
2	16	10
done	16	10
0	7	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	78	8
7	109	8
8	125	8
9	135	8
10	142	8
11	144	8
12	146	8
done	146	8
0	4	4
1	6	4
2	9	4
3	11	4
done	11	4
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	147	9
done	147	9
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	147	9
done	147	9
0	7	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	78	8
7	109	8
8	125	8
9	135	8
10	142	8
11	144	8
12	146	8
done	146	8
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	147	9
done	147	9
0	8	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	79	9
7	110	9
8	126	9
9	136	9
10	141	9
11	143	9
12	147	9
done	147	9
0	7	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	78	8
7	109	8
8	125	8
9	135	8
10	142	8
11	144	8
12	146	8
done	146	8
0	4	4
1	6	4
2	9	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	2	2
done	2	2
0	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	8	9
1	13	9
2	24	9
3	43	6
4	67	4
5	188	4
6	974	4
7	2318	4
done	5001	4
0	9	11
1	20	8
2	29	6
3	44	6
4	53	6
5	78	6
6	118	6
7	173	6
8	186	6
9	201	6
done	201	6
0	10	13
1	22	11
2	36	9
3	60	6
4	105	6
5	194	6
6	209	6
done	209	6
0	10	13
1	19	13
2	32	11
3	58	11
4	113	8
5	251	6
6	715	6
7	3927	6
done	5000	6
0	13	17
1	28	15
2	66	9
3	98	9
4	117	9
5	166	9
6	247	9
7	384	9
8	419	9
9	451	9
done	451	9
0	12	15
1	27	13
2	56	11
3	112	9
4	244	8
5	462	8
6	537	8
7	548	8
done	548	8
0	12	15
1	24	15
2	52	13
3	108	13
4	234	10
5	648	8
6	2070	8
done	5001	8
0	11	13
1	25	10
2	49	8
3	89	8
4	141	8
5	271	8
6	398	8
7	491	8
8	504	8
9	517	8
done	517	8
0	12	15
1	27	13
2	56	11
3	112	9
4	244	8
5	462	8
6	537	8
7	548	8
done	548	8
0	12	15
1	24	15
2	52	13
3	108	13
4	234	10
5	648	8
6	2070	8
done	5001	8

prune148.0ms

Filtered

84 candidates to 110 candidates (-31.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	104	6	110
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	104	7	111

Merged error: 0.0b

Counts

111 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

7.0ms	(* (cbrt y) (cbrt y))
2.0ms	(cbrt y)
1.0ms	(cbrt y)
2.0ms	(cbrt y)

series109.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (cbrt y) (cbrt y))
25.0ms	(cbrt y)
29.0ms	(cbrt y)
25.0ms	(cbrt y)

simplify51.2s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	314	3
6	887	3
7	2959	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune97.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	4	1	5
Picked	0	1	1
Done	0	1	1
Total	87	5	92

Merged error: 0.0b

Counts

92 → 5

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
22×	`cbrt-prod`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1`
8×	`pow1/3`
7×	`add-exp-log`
6×	`swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`unpow-prod-down` `pow-unpow`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-to-exp` `pow-pow` `pow-plus` `unpow1/3` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `sqr-pow`

Counts

4 → 80

Calls

4 calls:

6.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
3.0ms	(pow y 1/3)

series107.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (cbrt y) (cbrt y))
29.0ms	(cbrt y)
25.0ms	(cbrt y)
23.0ms	(pow y 1/3)

simplify1.6min

Counts

92 → 92

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	11	6
2	17	6
3	27	6
4	51	6
5	111	6
6	325	6
7	1254	6
done	5000	6
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	3	3
1	11	1
done	11	1
0	3	3
1	9	2
2	15	2
3	25	2
4	49	2
5	114	2
6	337	2
7	1273	2
done	5000	2
0	4	4
1	12	3
2	21	3
3	35	3
4	78	3
5	197	3
6	572	3
7	2108	3
done	5001	3
0	4	4
1	10	3
2	18	3
3	33	3
4	72	3
5	194	3
6	659	3
7	3013	3
done	5000	3
0	5	9
1	11	7
2	17	7
3	27	7
4	51	7
5	116	7
6	330	7
7	1262	7
done	5000	7
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	115	3
6	336	3
7	1254	3
done	5000	3
0	5	11
1	15	6
2	36	4
3	74	1
4	174	1
5	554	1
6	2511	1
done	5000	1
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	9	10
1	16	10
2	33	10
3	78	6
4	152	2
5	431	2
6	1871	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	314	3
6	887	3
7	2959	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune125.0ms

Filtered

56 candidates to 92 candidates (-64.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	92	5	97

Merged error: 0.0b

Counts

97 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (log (cbrt y)))
0.2b	(* x (log (pow y 2/3)))
0.6b	(cbrt y)
6.0b	(pow y 2/3)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

26×	`log-prod`
23×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity`
13×	`distribute-rgt-in` `distribute-lft-in`
10×	`pow1`
9×	`add-exp-log` `cbrt-prod` `unpow-prod-down` `associate-r`
8×	`add-cbrt-cube`
6×	`associate-l`
4×	`add-log-exp`
3×	`pow-unpow` `log-pow` `sqr-pow`
2×	`pow1/3` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow-to-exp` `pow-pow` `pow-exp`

Counts

4 → 93

Calls

4 calls:

6.0ms	(* x (log (cbrt y)))
6.0ms	(* x (log (pow y 2/3)))
2.0ms	(cbrt y)
3.0ms	(pow y 2/3)

series96.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* x (log (cbrt y)))
19.0ms	(* x (log (pow y 2/3)))
25.0ms	(cbrt y)
29.0ms	(pow y 2/3)

simplify3.5min

Counts

105 → 105

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	10	7
2	17	7
3	27	7
4	51	7
5	111	7
6	325	7
7	1260	7
done	5000	7
0	4	4
1	9	4
2	16	4
3	26	4
4	50	4
5	111	4
6	321	4
7	1252	4
done	5000	4
0	4	4
1	9	4
2	16	4
3	26	4
4	50	4
5	111	4
6	321	4
7	1252	4
done	5000	4
0	4	4
1	9	4
2	16	4
3	26	4
4	50	4
5	111	4
6	321	4
7	1252	4
done	5000	4
0	3	3
1	10	1
done	10	1
0	3	3
1	8	3
2	15	3
3	25	3
4	49	3
5	114	3
6	335	3
7	1265	3
done	5001	3
0	4	4
1	11	4
2	21	4
3	35	4
4	78	4
5	197	4
6	572	4
7	2111	4
done	5001	4
0	4	4
1	9	4
2	18	4
3	33	4
4	72	4
5	194	4
6	655	4
7	3011	4
done	5000	4
0	5	9
1	10	9
2	17	9
3	27	9
4	51	9
5	116	9
6	331	9
7	1258	9
done	5000	9
0	4	4
1	9	4
2	16	4
3	26	4
4	50	4
5	115	4
6	335	4
7	1246	4
done	5000	4
0	5	11
1	14	7
2	36	5
3	76	5
4	198	3
5	619	3
6	2487	3
done	5001	3
0	4	4
1	9	4
2	17	3
3	27	3
4	51	3
5	114	3
6	335	3
7	1259	3
done	5000	3
0	4	4
1	9	4
2	17	3
3	27	3
4	51	3
5	114	3
6	335	3
7	1259	3
done	5000	3
0	5	5
1	10	3
2	17	2
3	27	2
4	49	2
5	112	2
6	327	2
7	1243	2
done	5000	2
0	5	5
1	10	3
2	17	2
3	27	2
4	49	2
5	112	2
6	327	2
7	1243	2
done	5000	2
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	6	6
1	14	6
2	28	6
3	50	6
4	103	6
5	278	6
6	806	6
7	2764	6
done	5000	6
0	8	8
1	16	8
2	29	8
3	48	8
4	96	8
5	226	8
6	645	8
7	2287	8
done	5001	8
0	7	7
1	18	7
2	36	7
3	67	7
4	129	7
5	321	7
6	905	7
7	2939	7
done	5000	7
0	7	7
1	17	7
2	37	5
3	83	5
4	192	5
5	602	5
6	2216	5
done	5000	5
0	10	20
1	24	20
2	73	10
3	275	10
4	1212	8
done	5000	8
0	8	15
1	16	15
2	30	15
3	52	15
4	105	15
5	279	15
6	794	15
7	2738	15
done	5000	15
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	801	7
7	2725	7
done	5001	7
0	8	20
1	26	20
2	83	8
3	314	8
4	1350	8
done	5001	8
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	801	7
7	2725	7
done	5001	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	801	7
7	2725	7
done	5001	7
0	8	8
1	16	8
2	26	8
3	40	8
4	81	8
5	200	8
6	577	8
7	2097	8
done	5000	8
0	8	8
1	16	8
2	26	8
3	40	8
4	81	8
5	200	8
6	577	8
7	2097	8
done	5000	8
0	8	10
1	16	10
2	32	10
3	63	9
4	144	7
5	383	7
6	1008	7
7	3193	7
done	5001	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	791	7
7	2743	7
done	5001	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	791	7
7	2743	7
done	5001	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	791	7
7	2743	7
done	5001	7
0	6	6
1	15	3
done	15	1
0	6	6
1	14	6
2	28	6
3	50	6
4	103	6
5	278	6
6	806	6
7	2764	6
done	5000	6
0	8	12
1	16	12
2	28	9
3	44	9
4	70	9
5	132	9
6	350	9
7	1279	9
done	5000	9
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	115	7
6	333	7
7	1256	7
done	5000	7
0	7	7
1	13	7
2	21	6
3	31	6
4	53	6
5	115	6
6	324	6
7	1248	6
done	5000	6
0	7	7
1	13	7
2	21	6
3	31	6
4	53	6
5	115	6
6	324	6
7	1248	6
done	5000	6
0	4	4
1	7	3
done	7	1
0	6	6
1	14	6
2	28	6
3	50	6
4	103	6
5	278	6
6	806	6
7	2764	6
done	5000	6
0	8	8
1	16	6
2	30	5
3	52	5
4	107	5
5	283	5
6	800	5
7	2751	5
done	5000	5
0	8	8
1	16	6
2	30	5
3	52	5
4	107	5
5	283	5
6	800	5
7	2751	5
done	5000	5
0	8	10
1	16	10
2	32	10
3	63	9
4	144	7
5	382	7
6	1005	7
7	3176	7
done	5001	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	799	7
7	2742	7
done	5000	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	799	7
7	2742	7
done	5000	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	799	7
7	2742	7
done	5000	7
0	6	6
1	15	3
done	15	1
0	6	6
1	14	6
2	28	6
3	50	6
4	105	6
5	283	6
6	803	6
7	2740	6
done	5000	6
0	8	12
1	16	12
2	28	9
3	44	9
4	72	9
5	139	9
6	361	9
7	1298	9
done	5000	9
0	7	7
1	13	7
2	20	7
3	30	7
4	54	7
5	121	7
6	347	7
7	1279	7
done	5000	7
0	7	7
1	13	7
2	21	6
3	31	6
4	55	6
5	118	6
6	336	6
7	1262	6
done	5000	6
0	7	7
1	13	7
2	21	6
3	31	6
4	55	6
5	118	6
6	336	6
7	1262	6
done	5000	6
0	4	4
1	7	3
done	7	1
0	6	6
1	14	6
2	28	6
3	50	6
4	105	6
5	283	6
6	803	6
7	2740	6
done	5000	6
0	8	8
1	16	6
2	30	5
3	52	5
4	107	5
5	282	5
6	810	5
7	2731	5
done	5000	5
0	8	8
1	16	6
2	30	5
3	52	5
4	107	5
5	282	5
6	810	5
7	2731	5
done	5000	5
0	3	3
1	4	3
done	4	3
0	8	13
1	18	13
2	30	13
3	44	13
4	85	13
5	205	13
6	584	13
7	2085	13
done	5000	13
0	7	7
1	15	7
2	25	7
3	39	7
4	80	7
5	194	7
6	568	7
7	2108	7
done	5001	7
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	791	7
7	2738	7
done	5000	7
0	7	7
1	15	7
2	29	7
3	51	7
4	104	7
5	277	7
6	791	7
7	2738	7
done	5000	7
0	6	6
1	14	6
2	28	6
3	50	6
4	103	6
5	278	6
6	806	6
7	2764	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	16	4
3	26	4
4	49	4
5	107	4
6	245	4
7	701	4
8	2717	4
done	5001	4
0	9	17
1	16	17
2	41	9
3	78	9
4	138	7
5	268	7
6	671	7
7	2479	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2713	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	8	9
done	8	9
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	7	9
1	8	9
done	8	9
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	8
1	20	7
2	28	5
3	49	3
4	87	3
5	172	3
6	361	3
7	907	3
8	3065	3
done	5001	3
0	9	10
1	19	8
2	35	5
3	71	3
4	126	3
5	264	3
6	563	3
7	1622	3
done	5000	3
0	9	10
1	16	10
2	33	10
3	77	7
4	152	3
5	429	3
6	1879	3
done	5000	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	9	9
1	22	8
2	43	6
3	53	6
done	53	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	10	11
1	18	11
2	41	11
3	95	8
4	157	6
5	382	6
6	1708	6
7	3975	6
done	5000	6
0	9	9
1	22	8
2	43	6
3	53	6
done	53	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	15	16
1	30	15
2	56	13
3	137	13
4	384	12
5	1032	10
6	2616	9
done	5000	9

prune163.0ms

Filtered

80 candidates to 105 candidates (-31.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	105	5	110

Merged error: 0b

Counts

110 → 5

regimes561.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	12	11
done	12	11

end0.0ms

sample3.4s

Algorithm

intervals

Results

1.1s	23661×	body	80	nan
670.0ms	8018×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample109.0ms

simplify750.0ms

prune4.0ms

localize11.0ms

rewrite37.0ms

series45.0ms

simplify1.8min

prune148.0ms

localize18.0ms

rewrite14.0ms

series109.0ms

simplify51.2s

prune97.0ms

localize25.0ms

rewrite15.0ms

series107.0ms

simplify1.6min

prune125.0ms

localize21.0ms

rewrite19.0ms

series96.0ms

simplify3.5min

prune163.0ms

regimes561.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.4s

Profiling