Details

sample38.0ms

Algorithm

intervals

Results

15.0ms	341×	body	80	valid
1.0ms	2×	body	1280	valid
0.0ms	4×	body	320	valid
0.0ms	3×	body	640	valid

simplify772.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	12	15
1	30	15
2	79	13
3	211	13
4	452	13
5	632	13
6	642	13
done	642	13

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ t (* 2 (+ y z))) x)
0.0b	(+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

6.0ms	(* (+ t (* 2 (+ y z))) x)
4.0ms	(+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))

series29.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(* (+ t (* 2 (+ y z))) x)
17.0ms	(+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))

simplify26.6s

Counts

37 → 37

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	15
1	32	14
2	60	14
3	141	14
4	378	14
5	1153	14
done	5000	14
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	13	14
1	28	14
2	50	14
3	112	14
4	265	14
5	694	14
6	2766	14
done	5000	14
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	14	41
1	39	41
2	116	15
3	514	15
4	3178	15
done	5001	15
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	15	17
1	45	17
2	125	17
3	454	17
4	2151	17
done	5001	17
0	16	41
1	53	31
2	160	31
3	674	31
4	2982	31
done	5000	31
0	14	27
1	44	27
2	114	27
3	421	27
4	2132	27
done	5001	27
0	12	13
1	25	13
2	45	13
3	111	13
4	271	13
5	405	13
6	547	13
7	816	13
8	1390	13
9	1649	13
10	1653	13
done	1653	13
0	9	9
1	19	9
2	32	9
3	60	9
4	88	9
5	90	9
done	90	9
0	11	11
1	21	11
2	26	11
3	30	11
done	30	11
0	10	10
1	23	10
2	37	10
3	65	10
4	91	10
5	95	10
done	95	10
0	10	10
1	22	10
2	44	10
3	97	10
4	199	10
5	410	10
6	1079	10
7	3529	10
done	5000	10
0	13	29
1	41	29
2	135	13
3	639	13
4	3889	11
done	5000	11
0	11	21
1	21	21
2	34	21
3	62	21
4	90	21
5	92	21
done	92	21
0	10	10
1	20	10
2	33	10
3	61	10
4	87	10
done	87	10
0	11	29
1	31	29
2	97	11
3	469	11
4	2755	11
done	5000	11
0	10	10
1	20	10
2	33	10
3	61	10
4	87	10
done	87	10
0	10	10
1	20	10
2	33	10
3	61	10
4	87	10
done	87	10
0	11	11
1	21	11
2	26	11
3	30	11
done	30	11
0	11	11
1	21	11
2	26	11
3	30	11
done	30	11
0	11	13
1	23	13
2	38	13
3	90	13
4	162	13
5	186	13
done	186	13
0	10	10
1	20	10
2	33	10
3	61	10
4	87	10
5	89	10
done	89	10
0	9	9
1	21	7
2	37	7
3	73	7
4	95	7
5	117	7
done	117	7
0	10	10
1	20	10
2	25	10
3	29	10
done	29	10
0	10	10
1	20	10
2	25	10
3	29	10
done	29	10
0	9	9
1	19	9
2	32	9
3	60	9
4	88	9
5	90	9
done	90	9
0	12	13
1	38	13
2	94	13
3	381	13
4	1264	13
5	3560	13
done	5000	13
0	11	17
1	33	15
2	106	15
3	377	15
4	1284	15
5	4130	15
done	5000	15
0	3	3
1	4	3
done	4	3
0	12	15
1	24	15
2	41	15
3	63	11
4	89	9
5	97	9
done	97	9
0	12	15
1	24	15
2	41	15
3	63	11
4	89	9
5	97	9
done	97	9
0	1	1
done	1	1
0	12	15
1	24	15
2	41	15
3	63	11
4	89	9
5	97	9
done	97	9
0	12	15
1	24	15
2	41	15
3	63	11
4	89	9
5	97	9
done	97	9

prune72.0ms

Filtered

29 candidates to 37 candidates (-27.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	33	4	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	5	38

Merged error: 0.0b

Counts

38 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))
0.6b	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

12.0ms	(* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))
4.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))

series806.0ms

Counts

4 → 12

Calls

4 calls:

416.0ms	(* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))
128.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
129.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
132.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))

simplify1.5min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	30
1	27	30
2	40	30
3	76	30
4	126	30
5	144	30
6	146	30
done	146	30
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	2	2
1	4	1
done	4	1
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	16	18
1	46	18
2	126	18
3	454	18
4	2146	18
done	5000	18
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	15	28
1	45	28
2	115	28
3	422	28
4	2123	28
done	5000	28
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	44
1	28	44
2	43	16
3	83	13
4	139	13
5	168	13
6	193	13
7	252	13
8	463	13
9	1378	13
done	5000	13
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	30
1	27	30
2	40	30
3	76	30
4	126	30
5	144	30
6	146	30
done	146	30
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	2	2
1	4	1
done	4	1
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	16	18
1	46	18
2	126	18
3	454	18
4	2146	18
done	5000	18
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	15	28
1	45	28
2	115	28
3	422	28
4	2123	28
done	5000	28
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	44
1	28	44
2	43	16
3	83	13
4	139	13
5	168	13
6	193	13
7	252	13
8	463	13
9	1378	13
done	5000	13
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	30
1	27	30
2	40	30
3	76	30
4	126	30
5	144	30
6	146	30
done	146	30
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	2	2
1	4	1
done	4	1
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	16	18
1	46	18
2	126	18
3	454	18
4	2146	18
done	5000	18
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	15	28
1	45	28
2	115	28
3	422	28
4	2123	28
done	5000	28
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	44
1	28	44
2	43	16
3	83	13
4	139	13
5	168	13
6	193	13
7	252	13
8	463	13
9	1378	13
done	5000	13
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	13	27
1	31	27
2	73	27
3	245	27
4	1130	27
done	5000	27
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	2	3
1	6	1
done	6	1
0	15	31
1	28	17
2	42	17
3	78	17
4	126	17
5	146	17
6	148	17
done	148	17
0	15	30
1	29	30
2	43	17
3	80	17
4	128	17
5	146	17
6	148	17
done	148	17
0	15	30
1	29	30
2	45	30
3	86	30
4	152	30
5	208	30
6	314	30
7	699	30
8	2382	30
done	5000	30
0	13	27
1	31	27
2	73	27
3	245	27
4	1130	27
done	5000	27
0	16	61
1	28	61
2	41	61
3	77	61
4	125	61
5	143	61
6	145	61
done	145	61
0	15	30
1	27	30
2	40	30
3	76	30
4	126	30
5	144	30
6	146	30
done	146	30
0	16	89
1	36	89
2	58	31
3	107	16
4	263	16
5	1031	16
6	4942	16
done	5000	16
0	15	30
1	28	15
2	41	15
3	77	15
4	125	15
5	145	15
6	147	15
done	147	15
0	15	30
1	28	15
2	41	15
3	77	15
4	125	15
5	145	15
6	147	15
done	147	15
0	17	37
1	47	37
2	127	37
3	461	37
4	2155	37
done	5000	37
0	18	85
1	55	65
2	162	65
3	677	65
4	2978	65
done	5000	65
0	21	47
1	69	47
2	200	47
3	745	47
4	3857	47
done	5000	47
0	20	57
1	60	47
2	172	47
3	717	47
4	3222	47
done	5000	47
0	21	47
1	69	47
2	200	47
3	739	47
4	3853	47
done	5000	47
0	20	57
1	60	47
2	172	47
3	719	47
4	3223	47
done	5000	47
0	16	57
1	46	57
2	116	57
3	423	57
4	2125	57
done	5001	57
0	14	29
1	27	29
2	47	29
3	113	29
4	271	29
5	402	29
6	543	29
7	812	29
8	1389	29
9	1647	29
10	1651	29
done	1651	29
0	16	61
1	28	61
2	41	61
3	77	61
4	125	61
5	143	61
6	145	61
done	145	61
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	3	5
1	5	3
done	5	1
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	16	63
1	32	63
2	47	33
3	91	17
4	158	17
5	204	17
6	278	17
7	492	17
8	1386	17
done	5000	17
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	15	31
1	27	14
2	41	14
3	77	14
4	125	14
5	143	14
6	145	14
done	145	14
0	15	31
1	27	14
2	41	14
3	77	14
4	125	14
5	143	14
6	145	14
done	145	14
0	2	3
1	4	1
done	4	1
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	17	31
1	30	31
2	43	31
3	79	31
4	127	31
5	145	31
6	147	31
done	147	31
0	17	31
1	30	31
2	43	31
3	79	31
4	127	31
5	145	31
6	147	31
done	147	31
0	17	31
1	30	31
2	43	31
3	79	31
4	127	31
5	145	31
6	147	31
done	147	31
0	17	31
1	30	31
2	43	31
3	79	31
4	127	31
5	145	31
6	147	31
done	147	31
0	15	31
1	27	14
2	41	14
3	77	14
4	125	14
5	143	14
6	145	14
done	145	14
0	15	31
1	27	14
2	41	14
3	77	14
4	125	14
5	143	14
6	145	14
done	145	14
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	16	45
1	29	45
2	42	45
3	78	45
4	126	45
5	146	45
6	148	45
done	148	45
0	16	30
1	29	30
2	42	30
3	78	30
4	126	30
5	146	30
6	148	30
done	148	30
0	16	17
1	31	16
2	44	16
3	80	14
4	131	14
5	149	14
6	151	14
done	151	14
0	16	46
1	31	46
2	46	46
3	82	46
4	134	46
5	154	46
6	156	46
done	156	46
0	15	30
1	28	30
2	41	30
3	77	30
4	125	30
5	143	30
6	145	30
done	145	30
0	15	16
1	30	14
2	46	14
3	82	14
4	134	14
5	154	14
6	156	14
done	156	14
0	15	30
1	28	30
2	41	30
3	77	30
4	125	30
5	143	30
6	145	30
done	145	30
0	16	30
1	29	30
2	42	30
3	78	30
4	126	30
5	146	30
6	148	30
done	148	30
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	15	30
1	28	30
2	41	30
3	77	30
4	125	30
5	143	30
6	145	30
done	145	30
0	15	30
1	28	30
2	41	30
3	77	30
4	125	30
5	143	30
6	145	30
done	145	30
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	19	33
1	51	33
2	131	33
3	464	33
4	2201	33
done	5000	33
0	18	43
1	49	43
2	118	43
3	425	43
4	2130	43
done	5001	43
0	19	33
1	51	33
2	131	33
3	466	33
4	2182	33
done	5000	33
0	18	43
1	49	43
2	118	43
3	426	43
4	2133	43
done	5000	43
0	41	71
1	100	71
2	264	71
3	691	63
4	1947	45
done	5000	45
0	18	35
1	39	31
2	82	29
3	201	25
4	437	14
5	1066	12
6	2848	12
done	5000	12
0	18	35
1	35	35
2	74	35
3	206	33
4	668	16
5	1988	14
done	5000	14
0	41	71
1	100	71
2	264	71
3	691	63
4	1947	45
done	5000	45
0	18	35
1	39	31
2	82	29
3	201	25
4	437	14
5	1066	12
6	2848	12
done	5000	12
0	18	35
1	35	35
2	74	35
3	206	33
4	668	16
5	1988	14
done	5000	14
0	41	71
1	100	71
2	264	71
3	691	63
4	1947	45
done	5000	45
0	18	35
1	39	31
2	82	29
3	201	25
4	437	14
5	1066	12
6	2848	12
done	5000	12
0	18	35
1	35	35
2	74	35
3	206	33
4	668	16
5	1988	14
done	5000	14
0	41	75
1	104	73
2	265	73
3	683	65
4	1895	49
done	5000	49
0	21	43
1	46	35
2	93	33
3	236	29
4	652	16
5	1619	14
done	5000	14
0	21	43
1	42	39
2	80	39
3	212	37
4	634	20
5	2218	18
done	5000	18

prune323.0ms

Filtered

78 candidates to 99 candidates (-26.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	97	7	104

Merged error: 0.0b

Counts

104 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
0.6b	(cbrt (* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))))
0.6b	(cbrt (* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

44×	`cbrt-div`
14×	`flip3-+` `flip-+`
8×	`cbrt-prod` `frac-times`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `associate-r/` `associate-l/` `add-cbrt-cube` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

4.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
11.0ms	(cbrt (* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))))
11.0ms	(cbrt (* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))))

series1.1s

Counts

4 → 12

Calls

4 calls:

127.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
130.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
408.0ms	(cbrt (* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))))
416.0ms	(cbrt (* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))))

simplify1.7min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	18	38
1	48	38
2	128	38
3	460	38
4	2151	38
done	5000	38
0	19	86
1	56	66
2	163	66
3	676	66
4	2988	66
done	5000	66
0	22	48
1	70	48
2	201	48
3	748	48
4	3859	48
done	5001	48
0	21	58
1	61	48
2	173	48
3	719	48
4	3216	48
done	5000	48
0	22	48
1	70	48
2	201	48
3	742	48
4	3858	48
done	5000	48
0	21	58
1	61	48
2	173	48
3	721	48
4	3216	48
done	5000	48
0	17	58
1	47	58
2	117	58
3	425	58
4	2129	58
done	5000	58
0	15	30
1	28	30
2	48	30
3	114	30
4	274	30
5	414	30
6	555	30
7	824	30
8	1398	30
9	1665	30
10	1669	30
done	1669	30
0	20	34
1	52	34
2	132	34
3	466	34
4	2198	34
done	5000	34
0	18	43
1	55	33
2	162	33
3	677	33
4	2978	33
done	5000	33
0	19	44
1	50	44
2	119	44
3	426	44
4	2126	44
done	5000	44
0	14	15
1	27	15
2	47	15
3	113	15
4	271	15
5	402	15
6	543	15
7	812	15
8	1389	15
9	1647	15
10	1651	15
done	1651	15
0	20	34
1	52	34
2	132	34
3	468	34
4	2185	34
done	5000	34
0	18	43
1	55	33
2	162	33
3	677	33
4	2978	33
done	5000	33
0	19	44
1	50	44
2	119	44
3	428	44
4	2133	44
done	5000	44
0	14	15
1	27	15
2	47	15
3	113	15
4	271	15
5	402	15
6	543	15
7	812	15
8	1389	15
9	1647	15
10	1651	15
done	1651	15
0	17	63
1	29	63
2	42	63
3	78	63
4	126	63
5	146	63
6	148	63
done	148	63
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	17	92
1	30	92
2	45	32
3	85	29
4	139	29
5	167	29
6	190	29
7	254	29
8	475	29
9	1408	29
done	5000	29
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	18	38
1	48	38
2	128	38
3	460	38
4	2151	38
done	5000	38
0	19	86
1	56	66
2	163	66
3	676	66
4	2988	66
done	5000	66
0	22	48
1	70	48
2	201	48
3	748	48
4	3859	48
done	5001	48
0	21	58
1	61	48
2	173	48
3	719	48
4	3216	48
done	5000	48
0	22	48
1	70	48
2	201	48
3	742	48
4	3858	48
done	5000	48
0	21	58
1	61	48
2	173	48
3	721	48
4	3216	48
done	5000	48
0	17	58
1	47	58
2	117	58
3	425	58
4	2129	58
done	5000	58
0	15	30
1	28	30
2	48	30
3	114	30
4	274	30
5	414	30
6	555	30
7	824	30
8	1398	30
9	1665	30
10	1669	30
done	1669	30
0	20	34
1	52	34
2	132	34
3	466	34
4	2198	34
done	5000	34
0	18	43
1	55	33
2	162	33
3	677	33
4	2978	33
done	5000	33
0	19	44
1	50	44
2	119	44
3	426	44
4	2126	44
done	5000	44
0	14	15
1	27	15
2	47	15
3	113	15
4	271	15
5	402	15
6	543	15
7	812	15
8	1389	15
9	1647	15
10	1651	15
done	1651	15
0	20	34
1	52	34
2	132	34
3	468	34
4	2185	34
done	5000	34
0	18	43
1	55	33
2	162	33
3	677	33
4	2978	33
done	5000	33
0	19	44
1	50	44
2	119	44
3	428	44
4	2133	44
done	5000	44
0	14	15
1	27	15
2	47	15
3	113	15
4	271	15
5	402	15
6	543	15
7	812	15
8	1389	15
9	1647	15
10	1651	15
done	1651	15
0	17	63
1	29	63
2	42	63
3	78	63
4	126	63
5	146	63
6	148	63
done	148	63
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	17	92
1	30	92
2	45	32
3	85	29
4	139	29
5	167	29
6	190	29
7	254	29
8	475	29
9	1408	29
done	5000	29
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	16	31
1	28	31
2	41	31
3	77	31
4	125	31
5	143	31
6	145	31
done	145	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	30
1	27	30
2	40	30
3	76	30
4	126	30
5	144	30
6	146	30
done	146	30
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	2	2
1	4	1
done	4	1
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	16	18
1	46	18
2	126	18
3	454	18
4	2146	18
done	5000	18
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	15	28
1	45	28
2	115	28
3	422	28
4	2123	28
done	5000	28
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	44
1	28	44
2	43	16
3	83	13
4	139	13
5	168	13
6	193	13
7	252	13
8	463	13
9	1378	13
done	5000	13
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	30
1	27	30
2	40	30
3	76	30
4	126	30
5	144	30
6	146	30
done	146	30
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	2	2
1	4	1
done	4	1
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	16	18
1	46	18
2	126	18
3	454	18
4	2146	18
done	5000	18
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	15	28
1	45	28
2	115	28
3	422	28
4	2123	28
done	5000	28
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	44
1	28	44
2	43	16
3	83	13
4	139	13
5	168	13
6	193	13
7	252	13
8	463	13
9	1378	13
done	5000	13
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	45	79
1	111	77
2	278	77
3	708	72
4	1981	57
done	5000	57
0	21	43
1	46	35
2	93	33
3	235	31
4	651	17
5	1613	15
done	5000	15
0	21	43
1	42	39
2	80	39
3	211	39
4	633	21
5	2210	19
done	5000	19
0	45	79
1	111	77
2	278	77
3	708	72
4	1981	57
done	5000	57
0	21	43
1	46	35
2	93	33
3	235	31
4	651	17
5	1613	15
done	5000	15
0	21	43
1	42	39
2	80	39
3	211	39
4	633	21
5	2210	19
done	5000	19
0	41	71
1	100	71
2	264	71
3	691	63
4	1947	45
done	5000	45
0	18	35
1	39	31
2	82	29
3	201	25
4	437	14
5	1066	12
6	2848	12
done	5000	12
0	18	35
1	35	35
2	74	35
3	206	33
4	668	16
5	1988	14
done	5000	14
0	41	71
1	100	71
2	264	71
3	691	63
4	1947	45
done	5000	45
0	18	35
1	39	31
2	82	29
3	201	25
4	437	14
5	1066	12
6	2848	12
done	5000	12
0	18	35
1	35	35
2	74	35
3	206	33
4	668	16
5	1988	14
done	5000	14

prune570.0ms

Filtered

66 candidates to 72 candidates (-9.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	72	7	79

Merged error: 0.0b

Counts

79 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
0.3b	(* (cbrt (* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))
0.6b	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
28.5b	(cbrt (* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

52×	`cbrt-div`
40×	`flip3-+` `flip-+`
36×	`frac-times`
20×	`add-sqr-sqrt`
18×	`associate-*l/`
13×	`pow1` `cbrt-prod`
12×	`add-cube-cbrt` `-un-lft-identity` `associate-r/`
9×	`associate-r`
8×	`add-exp-log`
7×	`associate-l`
6×	`add-cbrt-cube`
5×	`unswap-sqr`
4×	`pow1/3` `add-log-exp`
3×	`swap-sqr` `pow-prod-down`
2×	`prod-exp` `*-commutative` `cbrt-unprod`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow3` `pow-sqr` `pow-prod-up`

Counts

4 → 118

Calls

4 calls:

10.0ms	(* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
12.0ms	(* (cbrt (* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))
4.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
9.0ms	(cbrt (* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))

series626.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
19.0ms	(* (cbrt (* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))
131.0ms	(cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)))
422.0ms	(cbrt (* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))

simplify3.2min

Counts

130 → 130

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	29
1	33	29
2	75	29
3	251	29
4	1136	29
done	5000	29
0	15	29
1	33	29
2	75	29
3	251	29
4	1136	29
done	5000	29
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	17	36
1	53	36
2	178	36
3	975	36
done	5000	36
0	18	84
1	61	64
2	207	64
3	1121	64
done	5000	64
0	20	46
1	68	46
2	217	46
3	981	46
done	5002	46
0	19	56
1	59	46
2	185	46
3	868	46
4	4760	46
done	5000	46
0	20	46
1	74	46
2	268	46
3	1694	46
done	5000	46
0	19	56
1	65	46
2	222	46
3	1126	46
done	5000	46
0	16	56
1	46	56
2	129	56
3	565	56
4	3768	56
done	5000	56
0	14	28
1	27	28
2	53	28
3	160	28
4	639	28
5	3875	28
done	5001	28
0	18	32
1	56	32
2	193	32
3	1014	32
done	5000	32
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	17	42
1	48	42
2	133	42
3	568	42
4	3507	42
done	5001	42
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	18	32
1	56	32
2	177	32
3	845	32
done	5002	32
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	17	42
1	54	42
2	168	42
3	843	42
done	5000	42
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	16	59
1	34	59
2	76	59
3	254	59
4	1142	59
done	5001	59
0	15	29
1	33	29
2	75	29
3	251	29
4	1136	29
done	5000	29
0	16	86
1	35	86
2	79	30
3	259	27
4	1159	27
done	5001	27
0	15	29
1	33	29
2	75	29
3	251	29
4	1136	29
done	5000	29
0	15	29
1	33	29
2	75	29
3	251	29
4	1136	29
done	5000	29
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	30
1	27	30
2	40	30
3	76	30
4	126	30
5	144	30
6	146	30
done	146	30
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	2	2
1	4	1
done	4	1
0	13	14
1	25	14
2	38	14
3	74	14
4	126	14
5	146	14
6	148	14
done	148	14
0	16	18
1	46	18
2	126	18
3	454	18
4	2146	18
done	5000	18
0	17	42
1	54	32
2	161	32
3	676	32
4	2983	32
done	5000	32
0	15	28
1	45	28
2	115	28
3	422	28
4	2123	28
done	5000	28
0	13	14
1	26	14
2	46	14
3	112	14
4	272	14
5	404	14
6	545	14
7	814	14
8	1392	14
9	1652	14
10	1656	14
done	1656	14
0	15	31
1	27	31
2	40	31
3	76	31
4	126	31
5	144	31
6	146	31
done	146	31
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	15	44
1	28	44
2	43	16
3	83	13
4	139	13
5	168	13
6	193	13
7	252	13
8	463	13
9	1378	13
done	5000	13
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	15
1	26	15
2	39	15
3	75	15
4	125	15
5	143	15
6	145	15
done	145	15
0	14	41
1	39	41
2	116	15
3	514	15
4	3178	15
done	5001	15
0	16	43
1	35	43
2	77	43
3	253	43
4	1141	43
done	5001	43
0	18	45
1	37	45
2	79	45
3	253	45
4	1147	45
done	5000	45
0	17	44
1	39	44
2	82	44
3	254	44
4	1143	44
done	5001	44
0	17	44
1	38	44
2	85	44
3	265	44
4	1176	44
done	5001	44
0	14	41
1	39	41
2	116	15
3	514	15
4	3178	15
done	5001	15
0	18	89
1	37	89
2	79	89
3	253	89
4	1147	89
done	5000	89
0	17	44
1	36	44
2	78	44
3	254	44
4	1152	44
done	5000	44
0	18	131
1	47	131
2	118	45
3	339	45
4	1248	41
done	5000	41
0	17	44
1	36	44
2	78	44
3	254	44
4	1152	44
done	5000	44
0	17	44
1	36	44
2	78	44
3	254	44
4	1152	44
done	5000	44
0	19	55
1	56	55
2	181	55
3	971	55
done	5000	55
0	20	127
1	64	97
2	210	97
3	1130	97
done	5000	97
0	22	65
1	76	65
2	252	65
3	1349	65
done	5000	65
0	21	99
1	67	79
2	218	79
3	1166	79
done	5000	79
0	22	65
1	71	65
2	220	65
3	990	65
done	5002	65
0	21	99
1	62	79
2	188	79
3	871	79
4	4776	79
done	5000	79
0	22	75
1	71	75
2	220	75
3	990	75
done	5002	75
0	21	71
1	62	61
2	188	61
3	871	61
4	4776	61
done	5000	61
0	22	65
1	77	65
2	271	65
3	1698	65
done	5001	65
0	21	99
1	68	79
2	225	79
3	1130	79
done	5002	79
0	22	75
1	77	75
2	271	75
3	1698	75
done	5001	75
0	21	71
1	68	61
2	225	61
3	1130	61
done	5002	61
0	22	75
1	70	75
2	214	75
3	893	75
done	5000	75
0	21	71
1	61	61
2	179	61
3	755	61
4	3497	61
done	5001	61
0	18	85
1	49	85
2	132	85
3	568	85
4	3811	85
done	5001	85
0	16	43
1	30	43
2	56	43
3	163	43
4	646	43
5	3880	43
done	5000	43
0	20	51
1	59	51
2	196	51
3	1014	51
done	5000	51
0	18	85
1	55	65
2	162	65
3	677	65
4	2978	65
done	5000	65
0	23	61
1	78	61
2	265	61
3	1349	61
done	5002	61
0	20	57
1	60	47
2	172	47
3	717	47
4	3222	47
done	5000	47
0	23	61
1	72	61
2	218	61
3	889	61
done	5000	61
0	20	57
1	60	47
2	172	47
3	719	47
4	3223	47
done	5000	47
0	19	71
1	51	71
2	136	71
3	571	71
4	3487	71
done	5000	71
0	14	29
1	27	29
2	47	29
3	113	29
4	271	29
5	402	29
6	543	29
7	812	29
8	1389	29
9	1647	29
10	1651	29
done	1651	29
0	20	51
1	59	51
2	180	51
3	849	51
done	5000	51
0	18	85
1	55	65
2	162	65
3	677	65
4	2978	65
done	5000	65
0	23	61
1	78	61
2	249	61
3	1190	61
done	5000	61
0	20	57
1	60	47
2	172	47
3	717	47
4	3222	47
done	5000	47
0	23	61
1	78	61
2	251	61
3	1132	61
done	5001	61
0	20	57
1	60	47
2	172	47
3	719	47
4	3223	47
done	5000	47
0	19	71
1	57	71
2	171	71
3	848	71
done	5000	71
0	14	29
1	27	29
2	47	29
3	113	29
4	271	29
5	402	29
6	543	29
7	812	29
8	1389	29
9	1647	29
10	1651	29
done	1651	29
0	16	30
1	29	30
2	42	30
3	78	30
4	126	30
5	146	30
6	148	30
done	148	30
0	16	30
1	29	30
2	42	30
3	78	30
4	126	30
5	146	30
6	148	30
done	148	30
0	15	30
1	28	30
2	41	30
3	77	30
4	125	30
5	143	30
6	145	30
done	145	30
0	15	30
1	28	30
2	41	30
3	77	30
4	125	30
5	143	30
6	145	30
done	145	30
0	18	45
1	37	45
2	79	45
3	253	45
4	1147	45
done	5000	45
0	18	45
1	37	45
2	79	45
3	253	45
4	1147	45
done	5000	45
0	18	45
1	37	45
2	79	45
3	253	45
4	1147	45
done	5000	45
0	18	45
1	37	45
2	79	45
3	253	45
4	1147	45
done	5000	45
0	18	59
1	37	59
2	79	59
3	253	59
4	1147	59
done	5000	59
0	17	44
1	36	44
2	78	44
3	254	44
4	1152	44
done	5000	44
0	17	31
1	38	30
2	80	30
3	252	28
4	1143	28
done	5001	28
0	18	60
1	39	60
2	83	60
3	259	60
4	1148	60
done	5000	60
0	17	44
1	36	44
2	78	44
3	254	44
4	1152	44
done	5000	44
0	16	30
1	37	28
2	82	28
3	256	28
4	1144	28
done	5002	28
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	17	44
1	36	44
2	78	44
3	254	44
4	1152	44
done	5000	44
0	17	44
1	36	44
2	78	44
3	254	44
4	1152	44
done	5000	44
0	16	43
1	35	43
2	77	43
3	253	43
4	1141	43
done	5001	43
0	20	47
1	58	47
2	165	47
3	607	47
4	3007	47
done	5000	47
0	19	57
1	56	57
2	152	57
3	564	57
4	2900	57
done	5000	57
0	20	51
1	58	51
2	183	51
3	971	51
done	5000	51
0	23	61
1	72	61
2	220	61
3	989	61
done	5001	61
0	23	61
1	78	61
2	271	61
3	1691	61
done	5001	61
0	19	71
1	50	71
2	132	71
3	568	71
4	3816	71
done	5001	71
0	20	47
1	59	47
2	196	47
3	1014	47
done	5000	47
0	19	57
1	51	57
2	136	57
3	571	57
4	3487	57
done	5000	57
0	20	47
1	59	47
2	180	47
3	849	47
done	5000	47
0	19	57
1	57	57
2	171	57
3	848	57
done	5000	57
0	2	3
1	6	1
done	6	1
0	13	27
1	31	27
2	73	27
3	245	27
4	1130	27
done	5000	27
0	2	3
1	6	1
done	6	1
0	14	29
1	27	16
2	41	16
3	77	16
4	125	16
5	145	16
6	147	16
done	147	16
0	14	28
1	34	28
2	77	16
3	254	16
4	1138	16
done	5002	16
0	14	28
1	34	28
2	86	28
3	303	28
4	1395	28
done	5001	28
0	15	83
1	46	83
2	170	31
3	911	15
done	5000	15
0	15	57
1	33	57
2	75	57
3	251	57
4	1136	57
done	5000	57
0	14	28
1	32	28
2	74	28
3	250	28
4	1127	28
done	5001	28
0	15	83
1	41	83
2	142	29
3	669	15
4	4826	15
done	5000	15
0	14	28
1	33	14
2	75	14
3	249	14
4	1136	14
done	5000	14
0	14	28
1	33	14
2	75	14
3	249	14
4	1136	14
done	5000	14
0	16	35
1	52	35
2	177	35
3	963	35
done	5001	35
0	17	83
1	60	63
2	206	63
3	1126	63
done	5002	63
0	19	45
1	67	45
2	216	45
3	981	45
done	5002	45
0	18	55
1	58	45
2	184	45
3	868	45
4	4774	45
done	5000	45
0	19	45
1	73	45
2	267	45
3	1695	45
done	5000	45
0	18	55
1	64	45
2	221	45
3	1129	45
done	5002	45
0	15	55
1	45	55
2	128	55
3	564	55
4	3795	55
done	5001	55
0	13	27
1	26	27
2	52	27
3	159	27
4	638	27
5	3885	27
done	5001	27
0	15	59
1	31	59
2	46	31
3	90	16
4	177	16
5	325	16
6	554	16
7	828	16
8	1860	16
done	5000	16
0	14	29
1	26	29
2	39	29
3	75	29
4	125	29
5	143	29
6	145	29
done	145	29
0	14	29
1	26	13
2	40	13
3	76	13
4	128	13
5	146	13
6	148	13
done	148	13
0	14	29
1	26	13
2	40	13
3	76	13
4	128	13
5	146	13
6	148	13
done	148	13
0	2	3
1	4	1
done	4	1
0	13	27
1	31	27
2	73	27
3	245	27
4	1130	27
done	5000	27
0	14	29
1	26	13
2	40	13
3	76	13
4	128	13
5	146	13
6	148	13
done	148	13
0	14	29
1	26	13
2	40	13
3	76	13
4	128	13
5	146	13
6	148	13
done	148	13
0	3	3
1	6	1
done	6	1
0	13	17
1	28	17
2	54	17
3	136	17
4	382	17
5	938	17
6	1334	17
7	1343	17
8	1344	17
done	1344	17
0	13	23
1	28	23
2	62	23
3	226	23
4	1035	23
5	4623	23
done	5000	23
0	13	17
1	33	17
2	85	17
3	225	17
4	669	17
5	1211	17
6	1371	17
7	1380	17
8	1381	17
done	1381	17
0	13	23
1	33	23
2	85	23
3	356	23
4	1600	23
done	5001	23
0	15	43
1	30	43
2	53	43
3	125	43
4	335	43
5	726	43
6	978	43
7	995	43
8	996	43
done	996	43
0	14	28
1	27	28
2	48	28
3	108	28
4	262	28
5	445	28
6	494	28
7	499	28
done	499	28
0	14	15
1	29	13
2	53	13
3	121	13
4	303	13
5	431	13
6	463	13
7	467	13
8	471	13
done	471	13
0	14	28
1	33	28
2	63	28
3	147	28
4	309	28
5	436	28
6	446	28
7	448	28
done	448	28
0	14	28
1	33	28
2	63	28
3	147	28
4	309	28
5	436	28
6	446	28
7	448	28
done	448	28
0	13	27
1	31	27
2	73	27
3	245	27
4	1130	27
done	5000	27
0	17	31
1	55	31
2	192	31
3	1004	31
done	5000	31
0	16	41
1	47	41
2	132	41
3	567	41
4	3500	41
done	5000	41
0	17	31
1	55	31
2	176	31
3	849	31
done	5001	31
0	16	41
1	53	41
2	167	41
3	843	41
done	5000	41
0	41	75
1	104	73
2	265	73
3	683	65
4	1895	49
done	5000	49
0	21	43
1	46	35
2	93	33
3	236	29
4	652	16
5	1619	14
done	5000	14
0	21	43
1	42	39
2	80	39
3	212	37
4	634	20
5	2218	18
done	5000	18
0	41	71
1	100	71
2	264	71
3	691	63
4	1947	45
done	5000	45
0	18	35
1	39	31
2	82	29
3	201	25
4	437	14
5	1066	12
6	2848	12
done	5000	12
0	18	35
1	35	35
2	74	35
3	206	33
4	668	16
5	1988	14
done	5000	14
0	3	3
1	4	3
done	4	3
0	12	15
1	24	15
2	41	15
3	63	11
4	89	9
5	97	9
done	97	9
0	12	15
1	24	15
2	41	15
3	63	11
4	89	9
5	97	9
done	97	9
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	19	29
1	48	29
2	171	27
3	343	21
4	610	17
5	820	15
6	924	15
7	1045	15
8	1462	15
9	3290	15
done	5001	15
0	19	29
1	48	29
2	171	27
3	343	21
4	610	17
5	820	15
6	924	15
7	1045	15
8	1462	15
9	3290	15
done	5001	15

prune484.0ms

Filtered

109 candidates to 130 candidates (-19.3%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	130	7	137

Merged error: 0.0b

Counts

137 → 7

regimes325.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	13
1	18	13
done	18	13

end0.0ms

sample1.1s

Algorithm

intervals

Results

451.0ms	10609×	body	80	valid
16.0ms	84×	body	1280	valid
15.0ms	96×	body	640	valid
8.0ms	73×	body	320	valid
3.0ms	34×	body	160	valid

Details

sample38.0ms

simplify772.0ms

prune9.0ms

localize10.0ms

rewrite11.0ms

series29.0ms

simplify26.6s

prune72.0ms

localize14.0ms

rewrite26.0ms

series806.0ms

simplify1.5min

prune323.0ms

localize23.0ms

rewrite32.0ms

series1.1s

simplify1.7min

prune570.0ms

localize15.0ms

rewrite40.0ms

series626.0ms

simplify3.2min

prune484.0ms

regimes325.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling