Details

sample56.0ms

Algorithm

intervals

Results

15.0ms	281×	body	80	nan
15.0ms	302×	body	80	valid

simplify1.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	25	12
2	46	12
3	84	12
4	145	12
5	184	12
6	237	12
7	346	12
8	540	12
9	704	12
10	745	12
11	746	12
done	746	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

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 61

Calls

3 calls:

6.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
8.0ms	(+ (- 1.0 z) (log z))
11.0ms	(* y (+ (- 1.0 z) (log z)))

series51.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
16.0ms	(+ (- 1.0 z) (log z))
15.0ms	(* y (+ (- 1.0 z) (log z)))

simplify1.1min

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	19	8
2	36	8
3	66	8
4	96	8
5	115	8
6	139	8
7	180	8
8	251	8
9	299	8
10	322	8
11	337	8
done	337	8
0	9	10
1	15	10
2	25	10
3	34	10
4	43	10
5	48	10
6	57	10
7	74	10
8	93	10
9	100	10
10	104	10
11	108	10
done	108	10
0	8	9
1	23	9
2	41	9
3	71	9
4	101	9
5	120	9
6	144	9
7	185	9
8	256	9
9	304	9
10	331	9
11	349	9
done	349	9
0	8	9
1	22	9
2	48	9
3	117	9
4	228	8
5	492	8
6	1240	8
done	5000	8
0	11	26
1	35	26
2	138	12
3	692	12
4	4517	10
done	5000	10
0	9	19
1	21	19
2	38	19
3	68	19
4	98	19
5	117	19
6	141	19
7	182	19
8	253	19
9	301	19
10	324	19
11	342	19
done	342	19
0	8	9
1	20	9
2	37	9
3	67	9
4	97	9
5	116	9
6	140	9
7	181	9
8	252	9
9	300	9
10	321	9
11	336	9
done	336	9
0	9	26
1	31	26
2	119	10
3	597	10
4	3140	10
done	5000	10
0	8	9
1	20	9
2	37	9
3	67	9
4	97	9
5	116	9
6	140	9
7	181	9
8	252	9
9	300	9
10	321	9
11	336	9
done	336	9
0	8	9
1	20	9
2	37	9
3	67	9
4	97	9
5	116	9
6	140	9
7	181	9
8	252	9
9	300	9
10	321	9
11	336	9
done	336	9
0	9	10
1	15	10
2	25	10
3	34	10
4	43	10
5	48	10
6	57	10
7	74	10
8	93	10
9	100	10
10	104	10
11	108	10
done	108	10
0	9	10
1	15	10
2	25	10
3	34	10
4	43	10
5	48	10
6	57	10
7	74	10
8	93	10
9	100	10
10	104	10
11	108	10
done	108	10
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	4	4
1	5	4
done	5	4
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	4	4
1	5	4
done	5	4
0	9	17
1	17	17
2	29	17
3	38	17
4	47	17
5	52	17
6	61	17
7	78	17
8	97	17
9	104	17
10	110	17
11	114	17
done	114	17
0	8	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	73	9
8	92	9
9	99	9
10	103	9
11	107	9
done	107	9
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	9
1	20	9
2	37	9
3	67	9
4	97	9
5	116	9
6	140	9
7	181	9
8	252	9
9	321	9
10	341	9
11	349	9
done	349	9
0	8	9
1	20	9
2	37	9
3	67	9
4	97	9
5	116	9
6	140	9
7	181	9
8	252	9
9	321	9
10	341	9
11	349	9
done	349	9
0	7	8
1	19	8
2	36	8
3	66	8
4	96	8
5	115	8
6	139	8
7	180	8
8	251	8
9	299	8
10	322	8
11	337	8
done	337	8
0	10	12
1	33	12
2	80	12
3	200	12
4	533	12
5	1653	12
done	5001	12
0	9	15
1	17	15
2	49	15
3	169	15
4	687	15
5	2311	15
done	5000	15
0	6	7
1	11	6
2	16	6
3	21	6
4	31	6
5	47	6
6	65	6
7	107	6
8	137	6
9	201	6
10	300	6
11	357	6
12	366	6
done	366	6
0	5	6
1	11	6
2	18	6
3	28	6
4	45	6
5	63	6
6	104	6
7	117	6
8	153	6
9	211	6
10	298	6
11	339	6
12	348	6
done	348	6
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	70	7
8	89	7
9	96	7
10	100	7
11	101	7
done	101	7
0	6	7
1	14	7
2	32	6
3	61	6
4	94	6
5	132	6
6	222	6
7	348	6
8	417	6
9	424	6
10	426	6
done	426	6
0	7	15
1	12	15
2	22	15
3	31	15
4	40	15
5	45	15
6	54	15
7	71	15
8	90	15
9	97	15
10	101	15
11	105	15
done	105	15
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	70	7
8	89	7
9	96	7
10	100	7
11	101	7
done	101	7
0	7	20
1	25	20
2	79	8
3	335	8
4	1920	8
done	5000	8
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	70	7
8	89	7
9	96	7
10	100	7
11	101	7
done	101	7
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	70	7
8	89	7
9	96	7
10	100	7
11	101	7
done	101	7
0	8	10
1	24	10
2	46	10
3	105	10
4	260	10
5	766	10
6	3045	10
done	5000	10
0	9	20
1	19	17
2	50	17
3	127	16
4	402	16
5	1391	16
6	4846	16
done	5000	16
0	7	13
1	14	13
2	36	13
3	107	13
4	396	13
5	1242	13
done	5000	13
0	5	6
1	11	6
2	22	6
3	38	6
4	47	6
5	55	6
6	70	6
7	96	6
8	104	6
9	110	6
10	114	6
done	114	6
0	5	6
1	10	6
2	20	6
3	29	6
4	38	6
5	43	6
6	52	6
7	69	6
8	88	6
9	95	6
10	101	6
11	105	6
done	105	6
0	5	6
1	10	6
2	20	6
3	29	6
4	38	6
5	43	6
6	52	6
7	69	6
8	88	6
9	95	6
10	101	6
11	105	6
done	105	6
0	5	6
1	10	6
2	20	6
3	29	6
4	38	6
5	43	6
6	52	6
7	69	6
8	88	6
9	95	6
10	101	6
11	105	6
done	105	6
0	5	6
1	10	6
2	20	6
3	29	6
4	38	6
5	43	6
6	52	6
7	69	6
8	88	6
9	95	6
10	101	6
11	105	6
done	105	6
0	7	10
1	14	10
2	32	9
3	63	9
4	98	9
5	160	9
6	199	9
7	267	9
8	357	9
9	365	9
done	365	9
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	70	7
8	89	7
9	96	7
10	100	7
11	101	7
done	101	7
0	6	6
1	13	5
2	23	3
3	36	3
4	37	3
5	39	3
6	45	3
7	54	3
8	80	3
9	91	3
10	97	3
11	111	3
done	111	3
0	4	5
1	5	5
2	6	4
done	6	4
0	4	5
1	5	5
2	6	4
done	6	4
0	3	4
1	5	4
2	6	4
done	6	4
0	13	14
1	33	13
2	67	13
3	170	13
4	430	13
5	1398	13
done	5000	13
0	12	13
1	26	13
2	47	13
3	85	13
4	146	13
5	187	13
6	240	13
7	349	13
8	544	13
9	708	13
10	749	13
11	750	13
done	750	13
0	12	13
1	29	13
2	62	13
3	146	13
4	336	13
5	908	13
6	4318	13
done	5000	13
0	13	27
1	27	27
2	48	27
3	86	27
4	147	27
5	186	27
6	239	27
7	348	27
8	542	27
9	706	27
10	747	27
11	748	27
done	748	27
0	12	13
1	26	13
2	47	13
3	85	13
4	146	13
5	187	13
6	240	13
7	349	13
8	544	13
9	708	13
10	749	13
11	750	13
done	750	13
0	13	38
1	40	38
2	137	14
3	710	14
done	5000	14
0	12	13
1	26	13
2	47	13
3	85	13
4	146	13
5	187	13
6	240	13
7	349	13
8	544	13
9	708	13
10	749	13
11	750	13
done	750	13
0	12	13
1	26	13
2	47	13
3	85	13
4	146	13
5	187	13
6	240	13
7	349	13
8	544	13
9	708	13
10	749	13
11	750	13
done	750	13
0	14	16
1	47	16
2	143	16
3	586	16
4	3076	16
done	5000	16
0	15	38
1	54	29
2	191	29
3	846	29
4	3813	29
done	5000	29
0	13	25
1	45	25
2	135	25
3	552	25
4	2596	25
done	5000	25
0	11	12
1	26	12
2	55	12
3	137	12
4	270	12
5	383	12
6	511	12
7	700	12
8	835	12
done	835	12
0	9	9
1	14	9
2	21	9
3	30	9
4	39	9
5	42	9
6	48	9
7	65	9
8	96	9
9	138	9
10	170	9
11	177	9
12	202	9
13	225	9
14	226	9
done	226	9
0	9	9
1	14	9
2	21	9
3	30	9
4	39	9
5	42	9
6	48	9
7	65	9
8	96	9
9	138	9
10	170	9
11	177	9
12	202	9
13	225	9
14	226	9
done	226	9
0	13	17
1	29	14
2	65	10
3	131	8
4	178	8
5	257	8
6	407	8
7	674	8
8	851	8
9	955	8
10	1014	8
done	1014	8
0	14	19
1	33	15
2	68	11
3	152	8
4	324	8
5	499	8
6	762	8
7	959	8
8	1006	8
done	1006	8
0	14	19
1	28	19
2	60	15
3	143	13
4	379	13
5	1046	10
6	2261	8
done	5000	8
0	8	9
1	18	8
2	38	6
3	62	6
4	80	6
5	126	6
6	194	6
7	296	6
8	332	6
9	373	6
done	373	6
0	9	11
1	22	9
2	52	6
3	125	6
4	160	6
5	235	6
6	328	6
7	363	6
done	363	6
0	9	11
1	19	11
2	49	11
3	123	11
4	317	8
5	742	6
6	3381	6
done	5000	6
0	17	21
1	37	18
2	87	14
3	209	12
4	339	12
5	468	12
6	735	12
7	1233	12
8	1657	12
9	1788	12
10	1849	12
11	1850	12
done	1850	12
0	18	23
1	43	17
2	98	12
3	234	12
4	441	12
5	809	12
6	1347	12
7	1678	12
8	1728	12
done	1728	12
0	18	23
1	40	19
2	91	17
3	249	17
4	599	17
5	1754	14
6	4565	12
done	5000	12

prune122.0ms

Filtered

51 candidates to 70 candidates (-37.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	63	7	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	8	71

Merged error: 0.0b

Counts

71 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

7.0ms	(* y (- 1.0 z))
10.0ms	(+ (* x 0.5) (+ (* y (- 1.0 z)) (* y (log z))))
8.0ms	(+ (* y (- 1.0 z)) (* y (log z)))
5.0ms	(* y (log z))

series47.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* y (- 1.0 z))
16.0ms	(+ (* x 0.5) (+ (* y (- 1.0 z)) (* y (log z))))
17.0ms	(+ (* y (- 1.0 z)) (* y (log z)))
8.0ms	(* y (log z))

simplify1.5min

Counts

98 → 98

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	10	12
1	20	11
2	42	9
3	101	9
4	271	9
5	849	8
6	3740	8
done	5000	8
0	9	11
1	16	9
2	32	9
3	57	9
4	83	9
5	105	9
6	129	9
7	165	9
8	227	9
9	286	9
10	329	9
11	354	9
done	354	9
0	9	11
1	19	9
2	42	9
3	94	9
4	212	8
5	542	8
6	1839	8
done	5001	8
0	10	23
1	17	19
2	30	19
3	54	19
4	78	19
5	100	19
6	124	19
7	160	19
8	222	19
9	281	19
10	320	19
11	341	19
done	341	19
0	9	11
1	16	9
2	29	9
3	53	9
4	79	9
5	101	9
6	125	9
7	161	9
8	223	9
9	282	9
10	321	9
11	344	9
done	344	9
0	10	32
1	30	26
2	120	10
3	584	10
4	2992	10
done	5000	10
0	9	11
1	16	9
2	29	9
3	53	9
4	79	9
5	101	9
6	125	9
7	161	9
8	223	9
9	282	9
10	321	9
11	344	9
done	344	9
0	9	11
1	16	9
2	29	9
3	53	9
4	79	9
5	101	9
6	125	9
7	161	9
8	223	9
9	282	9
10	321	9
11	344	9
done	344	9
0	11	14
1	34	14
2	107	14
3	352	14
4	978	14
5	2983	14
done	5000	14
0	12	32
1	40	27
2	129	25
3	384	23
4	1069	21
5	3167	20
done	5000	20
0	10	21
1	32	21
2	100	17
3	286	17
4	777	17
5	2600	17
done	5001	17
0	8	10
1	16	8
2	36	8
3	63	8
4	96	8
5	124	8
6	160	8
7	236	8
8	307	8
9	327	8
10	341	8
done	341	8
0	5	6
1	10	6
2	20	6
3	29	6
4	38	6
5	43	6
6	52	6
7	69	6
8	88	6
9	95	6
10	101	6
11	105	6
done	105	6
0	10	14
1	19	12
2	40	11
3	88	11
4	165	11
5	237	11
6	358	11
7	487	11
8	720	11
9	963	11
10	1056	11
11	1062	11
done	1062	11
0	9	11
1	16	9
2	29	9
3	53	9
4	79	9
5	101	9
6	125	9
7	161	9
8	223	9
9	282	9
10	321	9
11	344	9
done	344	9
0	9	10
1	18	7
2	31	5
3	66	5
4	94	5
5	99	5
6	114	5
7	139	5
8	205	5
9	248	5
10	300	5
11	342	5
done	342	5
0	10	14
1	17	14
2	34	11
3	70	11
4	128	11
5	184	11
6	253	11
7	419	11
8	627	11
9	844	11
10	984	11
11	1058	11
12	1062	11
done	1062	11
0	9	11
1	14	11
2	25	9
3	47	9
4	69	9
5	83	9
6	109	9
7	144	9
8	201	9
9	262	9
10	300	9
11	330	9
12	341	9
done	341	9
0	9	10
1	16	9
2	27	7
3	49	5
4	99	5
5	104	5
6	119	5
7	144	5
8	210	5
9	251	5
10	303	5
11	350	5
done	350	5
0	7	9
1	14	7
2	20	7
3	22	6
done	22	6
0	7	9
1	14	7
2	20	7
3	22	6
done	22	6
0	7	9
1	12	9
2	20	7
3	24	6
done	24	6
0	7	9
1	12	9
2	20	7
3	24	6
done	24	6
0	15	17
1	31	16
2	70	13
3	184	13
4	706	13
5	4120	13
done	5001	13
0	14	16
1	30	13
2	68	13
3	151	13
4	461	13
5	2220	13
done	5001	13
0	13	15
1	24	13
2	43	13
3	75	13
4	120	13
5	159	13
6	207	13
7	298	13
8	464	13
9	626	13
10	734	13
11	752	13
done	752	13
0	13	15
1	27	13
2	59	13
3	125	13
4	297	13
5	870	13
6	4433	13
done	5000	13
0	14	31
1	25	27
2	44	27
3	76	27
4	121	27
5	160	27
6	208	27
7	299	27
8	463	27
9	625	27
10	733	27
11	753	27
done	753	27
0	13	15
1	24	13
2	43	13
3	75	13
4	120	13
5	159	13
6	207	13
7	298	13
8	464	13
9	626	13
10	734	13
11	752	13
done	752	13
0	14	44
1	38	38
2	149	14
3	807	14
done	5001	14
0	13	15
1	24	13
2	43	13
3	75	13
4	120	13
5	159	13
6	207	13
7	298	13
8	464	13
9	626	13
10	734	13
11	752	13
done	752	13
0	13	15
1	24	13
2	43	13
3	75	13
4	120	13
5	159	13
6	207	13
7	298	13
8	464	13
9	626	13
10	734	13
11	752	13
done	752	13
0	15	18
1	40	16
2	121	16
3	420	16
4	1867	16
done	5001	16
0	16	44
1	53	29
2	202	29
3	756	29
4	3518	29
done	5000	29
0	14	29
1	40	25
2	125	25
3	442	25
4	2066	25
done	5000	25
0	12	14
1	24	12
2	50	12
3	117	12
4	236	12
5	425	12
6	557	12
7	783	12
8	876	12
done	876	12
0	9	9
1	14	9
2	21	9
3	30	9
4	39	9
5	42	9
6	48	9
7	65	9
8	96	9
9	138	9
10	170	9
11	177	9
12	202	9
13	225	9
14	226	9
done	226	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	7	7
1	11	6
2	19	4
3	25	4
done	25	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	13	17
1	29	14
2	65	10
3	131	8
4	178	8
5	257	8
6	407	8
7	674	8
8	851	8
9	955	8
10	1014	8
done	1014	8
0	14	19
1	33	15
2	68	11
3	152	8
4	324	8
5	499	8
6	762	8
7	959	8
8	1006	8
done	1006	8
0	14	19
1	28	19
2	60	15
3	143	13
4	379	13
5	1046	10
6	2261	8
done	5000	8
0	17	21
1	37	18
2	87	14
3	209	12
4	339	12
5	468	12
6	735	12
7	1233	12
8	1657	12
9	1788	12
10	1849	12
11	1850	12
done	1850	12
0	18	23
1	43	17
2	98	12
3	234	12
4	441	12
5	809	12
6	1347	12
7	1678	12
8	1728	12
done	1728	12
0	18	23
1	40	19
2	91	17
3	249	17
4	599	17
5	1754	14
6	4565	12
done	5000	12
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune142.0ms

Filtered

73 candidates to 98 candidates (-34.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	3	3	6
Picked	0	1	1
Done	1	0	1
Total	99	7	106

Merged error: 0b

Counts

106 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (- 1.0 z) (* 2 (log (cbrt z)))) y)
0.3b	(* y (log (cbrt z)))
0.5b	(cbrt z)
0.5b	(cbrt z)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`cbrt-prod` `log-prod`
9×	`pow1`
8×	`add-exp-log` `associate-r` `add-cbrt-cube`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-l`
4×	`add-log-exp`
3×	`pow1/3`
2×	`pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3-+` `flip-+`

Counts

4 → 74

Calls

4 calls:

10.0ms	(* (+ (- 1.0 z) (* 2 (log (cbrt z)))) y)
6.0ms	(* y (log (cbrt z)))
2.0ms	(cbrt z)
2.0ms	(cbrt z)

series121.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (+ (- 1.0 z) (* 2 (log (cbrt z)))) y)
22.0ms	(* y (log (cbrt z)))
26.0ms	(cbrt z)
37.0ms	(cbrt z)

simplify58.5s

Counts

86 → 86

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	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	10	11
1	17	11
2	35	11
3	79	11
4	121	11
5	162	11
6	195	11
7	262	11
8	357	11
9	405	11
10	428	11
11	443	11
done	443	11
0	12	13
1	19	13
2	29	13
3	45	13
4	62	13
5	72	13
6	81	13
7	98	13
8	117	13
9	124	13
10	130	13
11	134	13
done	134	13
0	11	12
1	21	12
2	40	12
3	84	12
4	128	12
5	169	12
6	206	12
7	273	12
8	364	12
9	412	12
10	439	12
11	454	12
done	454	12
0	11	12
1	20	12
2	50	12
3	127	11
4	261	11
5	560	11
6	1488	11
done	5000	11
0	14	35
1	39	35
2	138	15
3	675	15
4	4439	13
done	5000	13
0	12	25
1	19	25
2	37	25
3	81	25
4	121	25
5	162	25
6	195	25
7	262	25
8	357	25
9	405	25
10	428	25
11	446	25
done	446	25
0	11	12
1	18	12
2	36	12
3	80	12
4	124	12
5	165	12
6	202	12
7	269	12
8	365	12
9	413	12
10	434	12
11	452	12
done	452	12
0	12	35
1	29	35
2	100	13
3	518	13
4	3258	13
done	5000	13
0	11	12
1	18	12
2	36	12
3	80	12
4	124	12
5	165	12
6	202	12
7	269	12
8	365	12
9	413	12
10	434	12
11	452	12
done	452	12
0	11	12
1	18	12
2	36	12
3	80	12
4	124	12
5	165	12
6	202	12
7	269	12
8	365	12
9	413	12
10	434	12
11	452	12
done	452	12
0	12	13
1	19	13
2	29	13
3	45	13
4	62	13
5	72	13
6	81	13
7	98	13
8	117	13
9	124	13
10	130	13
11	134	13
done	134	13
0	12	13
1	19	13
2	29	13
3	45	13
4	62	13
5	72	13
6	81	13
7	98	13
8	117	13
9	124	13
10	130	13
11	134	13
done	134	13
0	12	15
1	21	15
2	41	15
3	113	15
4	198	15
5	280	15
6	361	15
7	495	15
8	782	15
9	960	15
10	1007	15
11	1018	15
done	1018	15
0	11	12
1	18	12
2	36	12
3	80	12
4	124	12
5	165	12
6	202	12
7	269	12
8	365	12
9	434	12
10	452	12
11	460	12
done	460	12
0	10	11
1	19	9
2	40	9
3	92	9
4	173	9
5	254	9
6	280	9
7	307	9
8	368	9
9	408	9
10	495	9
11	518	9
done	518	9
0	11	12
1	18	12
2	28	12
3	44	12
4	61	12
5	71	12
6	80	12
7	97	12
8	116	12
9	123	12
10	127	12
11	131	12
done	131	12
0	11	12
1	18	12
2	28	12
3	44	12
4	61	12
5	71	12
6	80	12
7	97	12
8	116	12
9	123	12
10	127	12
11	131	12
done	131	12
0	10	11
1	17	11
2	35	11
3	79	11
4	121	11
5	162	11
6	195	11
7	262	11
8	357	11
9	405	11
10	428	11
11	443	11
done	443	11
0	13	15
1	34	15
2	90	15
3	261	15
4	752	15
5	2072	15
done	5000	15
0	12	21
1	29	19
2	84	19
3	267	19
4	939	19
5	3112	19
done	5001	19
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	9	9
1	16	8
2	38	6
3	60	6
done	60	6
0	10	11
1	21	9
2	43	6
3	85	6
4	112	6
5	179	6
6	233	6
done	233	6
0	15	16
1	30	15
2	56	13
3	137	13
4	386	12
5	1035	10
6	2624	9
done	5000	9
0	16	21
1	36	18
2	84	16
3	151	12
4	218	10
5	320	10
6	516	10
7	827	10
8	1009	10
9	1116	10
10	1179	10
done	1179	10
0	17	23
1	40	21
2	83	17
3	180	12
4	441	10
5	643	10
6	826	10
7	1080	10
8	1127	10
done	1127	10
0	22	26
1	47	25
2	103	21
3	249	19
4	732	18
5	2164	16
done	5000	16

prune135.0ms

Filtered

67 candidates to 86 candidates (-28.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	86	7	93

Merged error: 0b

Counts

93 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2 (log (cbrt z))) y)
0.3b	(+ (* (* 2 (log (cbrt z))) y) (* y (log (cbrt z))))
0.5b	(cbrt z)
0.5b	(cbrt z)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod` `associate-+r+` `log-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`pow1/3`
1×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

4 → 63

Calls

4 calls:

6.0ms	(* (* 2 (log (cbrt z))) y)
9.0ms	(+ (* (* 2 (log (cbrt z))) y) (* y (log (cbrt z))))
2.0ms	(cbrt z)
2.0ms	(cbrt z)

series113.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* 2 (log (cbrt z))) y)
33.0ms	(+ (* (* 2 (log (cbrt z))) y) (* y (log (cbrt z))))
26.0ms	(cbrt z)
27.0ms	(cbrt z)

simplify1.5min

Counts

75 → 75

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	11	15
1	22	14
2	51	8
3	113	8
4	284	6
5	965	6
6	4857	3
done	5000	3
0	10	14
1	15	14
2	29	8
3	48	8
4	62	8
5	68	8
done	68	8
0	10	14
1	18	14
2	43	8
3	83	8
4	207	6
5	636	6
6	2268	3
done	5000	3
0	11	29
1	16	29
2	30	17
3	43	17
4	48	17
done	48	17
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	11	41
1	29	41
2	108	9
3	514	9
4	2346	9
done	5000	9
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	12	17
1	34	17
2	118	17
3	491	9
4	1713	9
5	4206	9
done	5001	9
0	13	41
1	42	35
2	133	31
3	419	23
4	1045	13
5	3415	13
done	5001	13
0	11	27
1	33	27
2	115	19
3	326	17
4	624	15
5	1251	15
6	2015	13
7	3873	13
done	5000	13
0	9	13
1	15	13
2	30	11
3	40	9
4	44	9
done	44	9
0	12	17
1	18	17
2	28	15
3	30	15
done	30	15
0	12	14
1	18	14
2	28	12
3	30	12
done	30	12
0	12	13
1	20	12
2	30	10
3	32	10
done	32	10
0	12	18
1	20	18
2	35	14
3	54	12
4	72	12
5	78	12
6	87	12
7	101	12
8	110	12
done	110	12
0	11	14
1	17	14
2	27	12
3	29	12
done	29	12
0	11	12
1	19	11
2	29	9
3	31	7
4	36	7
done	36	7
0	12	17
1	20	15
2	28	15
done	28	15
0	12	14
1	20	12
2	28	12
done	28	12
0	12	13
1	22	10
2	30	10
done	30	10
0	12	18
1	22	16
2	37	14
3	56	12
4	69	12
5	75	12
6	84	12
7	98	12
8	107	12
done	107	12
0	11	14
1	19	12
2	27	12
done	27	12
0	11	12
1	21	9
2	29	7
3	34	7
done	34	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	10	10
1	14	10
2	20	10
3	22	10
done	22	10
0	9	9
1	14	9
2	19	9
3	23	9
done	23	9
0	8	8
1	15	8
2	28	8
3	40	8
4	42	8
done	42	8
0	8	8
1	14	8
2	32	6
3	60	6
4	119	6
5	242	6
6	685	6
7	2651	6
done	5000	6
0	13	23
1	28	19
2	79	11
3	253	11
4	750	11
5	1985	9
6	4899	9
done	5000	9
0	11	23
1	29	21
2	94	11
3	366	11
4	1125	9
5	2076	9
6	4166	9
done	5001	9
0	9	17
1	13	17
2	19	17
done	19	17
0	8	8
1	12	8
2	18	8
done	18	8
0	9	23
1	23	23
2	94	9
3	427	9
4	1178	9
5	1586	9
6	2597	9
done	5000	9
0	8	8
1	12	8
2	18	8
done	18	8
0	8	8
1	12	8
2	18	8
done	18	8
0	9	11
1	15	11
2	28	11
3	40	11
done	40	11
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	13	5
2	25	5
done	25	5
0	5	5
1	6	5
done	6	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	7	7
1	11	6
2	19	4
3	25	4
done	25	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	17	18
1	35	17
2	73	15
3	190	15
4	578	13
5	1984	12
done	5000	12
0	10	11
1	18	8
2	32	6
3	50	6
4	52	6
done	52	6
0	10	11
1	21	9
2	43	6
3	85	6
4	112	6
5	179	6
6	233	6
done	233	6
0	17	18
1	35	17
2	72	15
3	190	15
4	574	14
5	1614	12
6	4801	11
done	5000	11

prune98.0ms

Filtered

58 candidates to 75 candidates (-29.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	75	7	82

Merged error: 0b

Counts

82 → 7

regimes331.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	12	14
1	17	14
done	17	14

end0.0ms

sample1.6s

Algorithm

intervals

Results

467.0ms	9124×	body	80	valid
365.0ms	8959×	body	80	nan

Details

sample56.0ms

simplify1.0s

prune4.0ms

localize11.0ms

rewrite27.0ms

series51.0ms

simplify1.1min

prune122.0ms

localize11.0ms

rewrite38.0ms

series47.0ms

simplify1.5min

prune142.0ms

localize16.0ms

rewrite21.0ms

series121.0ms

simplify58.5s

prune135.0ms

localize17.0ms

rewrite20.0ms

series113.0ms

simplify1.5min

prune98.0ms

regimes331.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.6s

Profiling