Details

sample102.0ms

Algorithm

intervals

Results

26.0ms	256×	body	80	valid
25.0ms	246×	body	80	nan

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	33
1	50	33
2	105	33
3	331	33
4	1281	33
done	5001	33

prune6.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: 3.8b

Counts

2 → 1

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (sqrt (+ t a)))
0.3b	(/ 2.0 (* t 3.0))
2.6b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
5.2b	(/ (* z (sqrt (+ t a))) t)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

20×	`frac-sub`
16×	`add-exp-log` `add-cbrt-cube`
15×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
11×	`add-cube-cbrt`
9×	`flip3--` `flip--`
8×	`frac-times` `associate-*r/`
7×	`associate-r`
6×	`pow1` `times-frac` `associate--r+` `add-log-exp`
5×	`flip3-+` `sqrt-prod` `flip-+`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `associate-/r` `associate-/l`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `prod-exp` `cbrt-unprod`
2×	`frac-2neg` `associate-*l/` `associate--l+` `clear-num` `div-inv` `associate-/l/` `unswap-sqr`
1×	`diff-log` `pow-prod-down` `*-commutative` `distribute-lft-out`

Counts

4 → 101

Calls

4 calls:

8.0ms	(* z (sqrt (+ t a)))
6.0ms	(/ 2.0 (* t 3.0))
15.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
9.0ms	(/ (* z (sqrt (+ t a))) t)

series100.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* z (sqrt (+ t a)))
2.0ms	(/ 2.0 (* t 3.0))
63.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
20.0ms	(/ (* z (sqrt (+ t a))) t)

simplify3.1min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	23	11
3	29	11
4	35	11
5	44	11
6	57	11
7	75	11
8	91	11
9	98	11
10	115	11
11	117	11
done	117	11
0	9	10
1	16	10
2	22	10
3	31	10
4	34	10
5	40	10
6	49	10
7	62	10
8	80	10
9	96	10
10	103	10
11	120	10
12	122	10
done	122	10
0	8	9
1	15	9
2	27	9
3	46	9
4	62	9
5	70	9
6	82	9
7	100	9
8	116	9
9	123	9
10	140	9
11	142	9
done	142	9
0	8	9
1	12	9
2	16	9
3	21	9
4	30	9
5	43	9
6	76	9
7	159	9
8	378	9
9	1030	9
10	4632	9
done	5000	9
0	13	26
1	29	20
2	142	14
3	666	14
4	2600	12
done	5001	12
0	11	26
1	31	26
2	132	12
3	721	10
4	2823	10
done	5000	10
0	9	19
1	13	19
2	17	19
3	20	19
4	21	19
done	21	19
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	26
1	20	26
2	61	10
3	238	10
4	999	10
5	3021	10
done	5001	10
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	7	7
1	13	7
2	15	7
done	15	7
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
done	4	4
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	3	3
1	5	3
done	5	3
0	7	8
1	11	8
2	13	8
done	13	8
0	9	12
1	18	12
2	32	12
3	45	12
4	49	12
done	49	12
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	8
1	14	6
2	22	6
3	31	6
4	36	6
done	36	6
0	5	6
1	6	6
done	6	6
0	9	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	5	6
1	8	6
2	9	6
done	9	6
0	23	26
1	42	25
2	91	25
3	261	25
4	841	25
5	3249	25
done	5000	25
0	22	25
1	39	25
2	82	25
3	248	25
4	820	25
5	2888	25
done	5000	25
0	22	25
1	42	25
2	91	25
3	303	25
4	1036	25
5	3953	25
done	5001	25
0	23	51
1	40	51
2	83	51
3	249	51
4	821	51
5	2878	51
done	5000	51
0	22	25
1	39	25
2	82	25
3	248	25
4	820	25
5	2888	25
done	5000	25
0	23	74
1	41	74
2	98	26
3	369	26
4	2038	26
done	5000	26
0	22	25
1	39	25
2	82	25
3	248	25
4	820	25
5	2888	25
done	5000	25
0	22	25
1	39	25
2	82	25
3	248	25
4	820	25
5	2888	25
done	5000	25
0	40	84
1	112	74
2	357	74
3	1868	74
done	5000	74
0	22	35
1	53	29
2	168	29
3	821	29
4	4451	29
done	5000	29
0	36	62
1	92	60
2	305	60
3	1647	54
done	5000	54
0	18	23
1	37	21
2	124	21
3	606	21
4	2443	21
done	5000	21
0	38	80
1	114	72
2	462	72
3	2842	72
done	5000	72
0	24	49
1	64	41
2	268	41
3	1545	41
done	5000	41
0	34	64
1	95	62
2	359	62
3	2025	62
done	5000	62
0	20	25
1	44	23
2	163	23
3	799	23
4	3046	23
done	5000	23
0	36	76
1	96	68
2	314	68
3	1533	68
done	5001	68
0	18	27
1	43	23
2	138	23
3	556	23
4	2474	23
done	5000	23
0	31	54
1	72	54
2	255	54
3	1309	48
done	5000	44
0	14	15
1	27	15
2	94	15
3	360	15
4	1025	15
5	2320	15
6	4666	15
done	5000	15
0	34	72
1	98	66
2	407	66
3	2320	66
done	5000	66
0	20	41
1	54	35
2	226	35
3	1091	35
done	5000	35
0	29	56
1	75	56
2	297	56
3	1571	56
done	5000	56
0	16	17
1	34	17
2	121	17
3	422	17
4	1070	17
5	2411	17
6	4007	15
done	5000	15
0	32	68
1	86	60
2	261	60
3	1072	58
done	5000	58
0	14	23
1	35	19
2	92	19
3	274	19
4	806	19
5	1971	19
6	3912	19
done	5000	19
0	27	46
1	62	46
2	202	46
3	845	38
4	3894	38
done	5000	38
0	10	11
1	19	11
2	48	11
3	118	11
4	212	11
5	354	11
6	543	11
7	712	11
8	822	11
9	846	11
10	847	11
done	847	11
0	30	64
1	88	58
2	345	58
3	1656	58
done	5000	58
0	16	37
1	46	31
2	160	31
3	619	31
4	2025	31
done	5000	31
0	25	48
1	65	48
2	235	48
3	988	48
done	5001	36
0	12	13
1	26	13
2	55	13
3	96	13
4	125	13
5	143	11
6	271	11
7	1214	11
done	5000	11
0	30	40
1	75	38
2	228	38
3	824	38
4	3902	38
done	5001	38
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	25	32
1	55	32
2	164	32
3	663	32
4	3504	28
done	5000	28
0	5	5
1	13	5
2	14	5
done	14	5
0	24	28
1	60	28
2	183	28
3	928	28
done	5000	28
0	25	74
1	62	58
2	222	58
3	1214	58
done	5000	58
0	16	16
1	31	16
2	86	16
3	290	16
4	872	15
5	2686	15
done	5000	15
0	23	49
1	54	49
2	176	49
3	894	49
done	5000	49
0	21	24
1	37	24
2	73	24
3	191	24
4	551	24
5	1783	24
done	5000	24
0	16	18
1	32	18
2	72	18
3	171	18
4	392	18
5	753	18
6	1382	18
7	2386	18
8	2749	18
9	2754	18
done	2754	18
0	12	14
1	21	14
2	39	14
3	64	14
4	96	14
5	104	14
6	117	14
7	148	14
8	214	14
9	288	14
10	291	14
done	291	14
0	16	18
1	32	18
2	72	18
3	171	18
4	392	18
5	753	18
6	1382	18
7	2386	18
8	2749	18
9	2754	18
done	2754	18
0	16	18
1	26	18
2	52	18
3	125	18
4	319	18
5	771	18
6	1242	18
7	2116	18
8	3258	18
9	3539	18
10	3545	18
done	3545	18
0	12	14
1	21	14
2	39	14
3	64	14
4	96	14
5	104	14
6	117	14
7	148	14
8	214	14
9	288	14
10	291	14
done	291	14
0	16	18
1	26	18
2	52	18
3	125	18
4	319	18
5	771	18
6	1242	18
7	2116	18
8	3258	18
9	3539	18
10	3545	18
done	3545	18
0	16	16
1	31	16
2	86	16
3	290	16
4	872	15
5	2686	15
done	5000	15
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	6	6
1	8	6
done	8	6
0	8	8
1	10	8
done	10	8
0	7	7
1	12	7
2	13	7
done	13	7
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	250	7
7	711	7
8	2723	7
done	5000	7
0	10	20
1	18	14
2	60	10
3	173	10
4	298	8
5	494	8
6	1069	8
7	3393	8
done	5001	8
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	20	20
2	49	8
3	118	8
4	230	8
5	305	8
6	500	8
7	1110	8
8	3562	8
done	5000	8
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	13
1	12	13
2	14	13
done	14	13
0	8	12
1	11	7
done	11	7
0	7	7
1	9	7
done	9	7
0	4	4
1	7	3
done	7	3
0	4	4
1	7	3
done	7	3
0	7	7
1	9	7
done	9	7
0	3	3
1	6	1
done	6	1
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	6	6
1	8	6
done	8	6
0	9	10
1	24	10
2	33	10
3	50	10
4	91	10
5	202	10
6	605	10
7	2427	10
done	5001	10
0	8	10
1	14	10
2	21	10
3	36	10
4	61	10
5	102	10
6	164	10
7	332	10
8	1616	10
done	5000	10
0	17	23
1	46	23
2	127	23
3	427	19
4	1626	17
5	4801	17
done	5000	17
0	19	29
1	57	29
2	229	29
3	1155	25
done	5001	25
0	19	27
1	56	27
2	186	27
3	640	25
4	2960	23
done	5000	23
0	15	17
1	30	17
2	59	15
3	82	15
4	103	13
5	144	13
6	236	13
7	359	13
8	447	13
9	471	13
10	533	13
11	611	13
12	612	13
done	612	13
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	19	25
1	53	25
2	170	21
3	573	21
4	2438	19
done	5000	19
0	17	25
1	49	25
2	168	25
3	609	23
4	3381	19
done	5001	19
0	17	23
1	48	23
2	141	23
3	365	21
4	1189	19
5	4388	19
done	5000	19

prune283.0ms

Filtered

95 candidates to 113 candidates (-18.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	3	114

Merged error: 0.3b

Counts

114 → 3

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
1.9b	(* (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t)))
2.6b	(- (* (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

63×	`add-sqr-sqrt`
60×	`frac-sub`
58×	`times-frac`
47×	`*-un-lft-identity`
46×	`associate-r`
39×	`frac-times`
35×	`add-cube-cbrt`
31×	`cbrt-prod`
28×	`sqrt-prod`
27×	`associate-*r/`
25×	`add-exp-log` `flip3--` `flip--`
21×	`associate-*l/`
18×	`add-cbrt-cube`
10×	`unswap-sqr`
9×	`flip3-+` `flip-+`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `distribute-lft-out` `associate--r+` `add-log-exp`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
2×	`pow1/3` `associate--l+` `div-inv`
1×	`diff-log` `pow-prod-down` `*-commutative`

Counts

4 → 169

Calls

4 calls:

2.0ms	(cbrt t)
2.0ms	(cbrt t)
26.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t)))
23.0ms	(- (* (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

series150.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt t)
29.0ms	(cbrt t)
25.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t)))
71.0ms	(- (* (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

simplify5.6min

Counts

181 → 181

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	26	33
1	51	32
2	120	32
3	335	32
4	1049	28
5	4354	25
done	5000	25
0	25	32
1	46	32
2	104	32
3	301	32
4	905	28
5	2999	25
done	5000	25
0	25	32
1	49	32
2	117	32
3	366	32
4	1188	28
5	4717	25
done	5000	25
0	26	65
1	47	65
2	105	65
3	302	65
4	908	57
5	3004	51
done	5000	51
0	25	32
1	46	32
2	104	32
3	301	32
4	905	28
5	2999	25
done	5000	25
0	26	95
1	48	95
2	120	33
3	446	33
4	2446	29
done	5000	29
0	25	32
1	46	32
2	104	32
3	301	32
4	905	28
5	2999	25
done	5000	25
0	25	32
1	46	32
2	104	32
3	301	32
4	905	28
5	2999	25
done	5000	25
0	43	91
1	118	81
2	383	77
3	2067	74
done	5000	74
0	25	42
1	59	36
2	193	32
3	1155	29
done	5000	29
0	39	69
1	98	67
2	331	63
3	1850	54
done	5000	54
0	21	30
1	43	28
2	149	24
3	939	21
4	4450	21
done	5000	21
0	41	87
1	120	79
2	488	75
3	3034	72
done	5000	72
0	27	56
1	70	48
2	297	44
3	1907	41
done	5000	41
0	37	71
1	101	69
2	385	65
3	2258	62
done	5000	62
0	23	32
1	50	30
2	192	26
3	1127	23
done	5000	23
0	39	83
1	102	75
2	340	71
3	1758	68
done	5001	68
0	21	34
1	49	30
2	163	26
3	824	23
4	4269	23
done	5000	23
0	34	61
1	78	61
2	282	57
3	1532	48
done	5000	48
0	17	22
1	33	22
2	119	18
3	615	15
4	2290	15
done	5000	15
0	37	79
1	104	73
2	433	69
3	2532	66
done	5000	66
0	23	48
1	60	42
2	255	38
3	1381	35
done	5000	35
0	32	63
1	81	63
2	324	59
3	1822	56
done	5000	56
0	19	24
1	40	24
2	150	20
3	669	17
4	2152	17
done	5000	17
0	35	75
1	92	67
2	287	63
3	1255	60
done	5000	60
0	17	30
1	41	26
2	123	22
3	497	19
4	1888	19
done	5000	19
0	30	53
1	68	53
2	229	49
3	1033	40
done	5000	40
0	13	18
1	25	18
2	79	14
3	289	11
4	726	11
5	1533	11
6	3018	11
done	5000	11
0	33	71
1	94	65
2	371	61
3	1843	58
done	5000	58
0	19	44
1	52	38
2	202	34
3	865	31
4	3365	31
done	5000	31
0	28	55
1	71	55
2	262	51
3	1217	48
done	5002	36
0	15	20
1	32	20
2	97	16
3	246	13
4	412	13
5	655	13
6	788	13
7	936	13
8	1131	11
9	3941	11
done	5001	11
0	33	47
1	81	45
2	254	41
3	1060	38
done	5001	38
0	12	20
1	29	18
2	94	14
3	236	11
4	349	11
5	364	11
6	377	11
7	400	11
8	461	11
9	675	11
10	1601	11
done	5000	11
0	28	39
1	61	39
2	191	35
3	931	32
done	5001	28
0	8	12
1	19	12
2	50	8
3	69	5
4	73	5
5	79	5
6	89	5
7	110	5
8	171	5
9	385	5
10	1330	5
done	5000	5
0	43	91
1	119	81
2	385	81
3	2155	81
done	5001	81
0	23	36
1	54	30
2	169	30
3	867	30
done	5000	30
0	39	69
1	99	67
2	333	67
3	1950	61
done	5001	61
0	19	24
1	38	22
2	125	22
3	654	22
4	2842	22
done	5000	22
0	41	87
1	121	79
2	490	79
3	3139	79
done	5000	79
0	25	50
1	65	42
2	269	42
3	1548	42
done	5001	42
0	37	71
1	102	69
2	387	69
3	2336	69
done	5000	69
0	21	26
1	45	24
2	164	24
3	802	24
4	3046	24
done	5001	24
0	39	83
1	103	75
2	342	75
3	1783	75
done	5000	75
0	19	28
1	44	24
2	139	24
3	600	24
4	2821	24
done	5000	24
0	34	61
1	79	61
2	283	61
3	1560	55
done	5000	55
0	15	16
1	28	16
2	95	16
3	398	16
4	1317	16
5	3065	16
done	5000	16
0	37	79
1	105	73
2	435	73
3	2559	73
done	5000	73
0	21	42
1	55	36
2	227	36
3	1093	36
done	5000	36
0	32	63
1	82	63
2	325	63
3	1824	63
done	5000	63
0	17	18
1	35	18
2	122	18
3	423	18
4	1071	18
5	2416	18
6	3989	18
7	4311	18
8	4390	18
9	4401	18
10	4407	18
done	4407	18
0	35	75
1	93	67
2	289	67
3	1312	67
done	5001	67
0	15	24
1	36	20
2	99	20
3	308	20
4	1004	20
5	2800	20
done	5000	20
0	30	53
1	69	53
2	230	53
3	1058	47
done	5000	47
0	11	12
1	20	12
2	55	12
3	141	12
4	301	12
5	539	12
6	881	12
7	1261	12
8	1482	12
9	1572	12
10	1574	12
done	1574	12
0	33	71
1	95	65
2	379	65
3	1997	65
done	5001	65
0	17	38
1	47	32
2	161	32
3	617	32
4	2012	32
done	5000	32
0	28	55
1	72	55
2	269	55
3	1265	55
done	5001	43
0	13	14
1	27	14
2	56	14
3	97	14
4	126	14
5	142	14
6	143	14
done	143	14
0	33	47
1	82	45
2	262	45
3	1099	45
4	4912	45
done	5000	45
0	10	14
1	24	12
2	53	12
3	79	12
4	90	12
5	92	12
done	92	12
0	28	39
1	62	39
2	198	39
3	832	39
4	3905	35
done	5001	35
0	6	6
1	14	6
2	15	6
done	15	6
0	43	91
1	119	81
2	386	81
3	2160	81
done	5001	81
0	24	39
1	57	33
2	181	33
3	1042	33
done	5000	33
0	39	69
1	99	67
2	334	67
3	1949	61
done	5001	61
0	20	27
1	41	25
2	137	25
3	822	25
4	3914	25
done	5001	25
0	41	87
1	121	79
2	491	79
3	3135	79
done	5000	79
0	26	53
1	68	45
2	285	45
3	1794	45
done	5001	45
0	37	71
1	102	69
2	388	69
3	2346	69
done	5000	69
0	22	29
1	48	27
2	180	27
3	1008	27
4	4302	27
done	5000	27
0	39	83
1	103	75
2	343	75
3	1815	75
done	5001	75
0	20	31
1	47	27
2	151	27
3	734	27
4	3787	27
done	5001	27
0	34	61
1	79	61
2	284	61
3	1583	55
done	5001	55
0	16	19
1	31	19
2	107	19
3	524	19
4	1933	19
done	5000	19
0	37	79
1	105	73
2	436	73
3	2583	73
done	5000	73
0	22	45
1	58	39
2	243	39
3	1282	39
done	5001	39
0	32	63
1	82	63
2	326	63
3	1861	63
done	5000	63
0	18	21
1	38	21
2	138	21
3	573	21
4	1634	21
5	3874	21
done	5000	21
0	35	75
1	93	67
2	290	67
3	1302	67
done	5002	67
0	16	27
1	39	23
2	111	23
3	414	23
4	1500	23
5	4763	23
done	5000	23
0	30	53
1	69	53
2	231	53
3	1063	47
done	5000	47
0	12	15
1	23	15
2	67	15
3	212	15
4	485	15
5	941	15
6	1740	15
7	2834	15
8	3504	15
9	3854	15
10	3861	15
done	3861	15
0	33	71
1	95	65
2	380	65
3	1949	65
done	5000	65
0	18	41
1	50	35
2	188	35
3	768	35
4	2736	35
done	5001	35
0	28	55
1	72	55
2	270	55
3	1260	55
done	5000	43
0	14	17
1	30	17
2	79	17
3	159	17
4	254	17
5	353	17
6	383	17
7	388	17
done	388	17
0	33	47
1	82	45
2	263	45
3	1113	45
done	5000	45
0	11	17
1	27	15
2	80	15
3	161	15
4	198	15
5	203	15
6	204	15
done	204	15
0	28	39
1	62	39
2	199	39
3	896	39
4	4833	35
done	5000	35
0	7	9
1	17	9
2	32	9
done	32	9
0	27	35
1	67	35
2	230	35
3	1232	28
done	5000	28
0	28	95
1	72	79
2	292	79
3	1684	79
done	5000	79
0	16	16
1	31	16
2	86	16
3	290	16
4	872	15
5	2686	15
done	5000	15
0	26	63
1	64	63
2	232	63
3	1135	63
done	5002	63
0	24	31
1	44	31
2	95	31
3	244	31
4	637	27
5	1899	24
done	5000	24
0	19	25
1	39	25
2	94	25
3	224	25
4	479	21
5	853	18
6	1508	18
7	2622	18
8	3155	18
9	3234	18
10	3299	18
11	3513	18
12	4429	18
done	5000	18
0	15	21
1	28	21
2	61	21
3	117	21
4	183	17
5	203	14
6	220	14
7	277	14
8	459	14
9	712	14
10	829	14
11	1040	14
12	1974	14
done	5001	14
0	19	25
1	39	25
2	94	25
3	224	25
4	479	21
5	853	18
6	1508	18
7	2622	18
8	3155	18
9	3234	18
10	3299	18
11	3513	18
12	4429	18
done	5000	18
0	19	25
1	33	25
2	74	25
3	178	25
4	406	21
5	878	18
6	1355	18
7	2263	18
8	3519	18
9	3979	18
10	4098	18
11	4311	18
done	5000	18
0	15	21
1	28	21
2	61	21
3	117	21
4	183	17
5	203	14
6	220	14
7	277	14
8	459	14
9	712	14
10	829	14
11	1040	14
12	1974	14
done	5001	14
0	19	25
1	33	25
2	74	25
3	178	25
4	406	21
5	878	18
6	1355	18
7	2263	18
8	3519	18
9	3979	18
10	4098	18
11	4311	18
done	5000	18
0	16	16
1	31	16
2	86	16
3	290	16
4	872	15
5	2686	15
done	5000	15
0	10	15
1	18	15
2	37	15
3	71	15
4	107	11
5	118	8
6	122	8
7	128	8
8	138	8
9	159	8
10	223	8
11	430	8
12	1369	8
done	5000	8
0	13	20
1	27	18
2	65	18
3	158	18
4	328	15
5	485	14
6	626	14
7	669	14
done	669	14
0	13	19
1	25	17
2	56	17
3	128	17
4	284	17
5	451	14
6	594	14
7	640	14
done	640	14
0	14	19
1	25	19
2	55	18
3	146	18
4	297	15
5	463	15
6	608	14
7	653	14
done	653	14
0	13	18
1	23	18
2	48	17
3	119	17
4	262	17
5	434	14
6	576	14
7	622	14
done	622	14
0	13	18
1	24	18
2	42	18
3	104	18
4	226	17
5	464	14
6	595	14
7	668	14
8	670	14
done	670	14
0	12	17
1	22	17
2	37	17
3	84	17
4	195	17
5	399	15
6	556	14
7	637	14
8	654	14
done	654	14
0	11	16
1	22	16
2	54	16
3	121	16
4	271	12
5	497	9
6	799	9
7	987	9
8	1065	9
9	1092	9
10	1150	9
11	1373	9
12	2311	9
done	5001	9
0	11	16
1	21	16
2	46	16
3	92	16
4	167	12
5	282	9
6	566	9
7	2268	9
done	5001	9
0	13	26
1	30	20
2	108	16
3	457	16
4	1892	14
done	5000	14
0	14	33
1	35	33
2	119	17
3	494	17
4	2668	16
done	5000	16
0	16	40
1	41	34
2	180	20
3	1195	16
done	5001	16
0	16	47
1	45	47
2	190	21
3	1265	16
done	5000	16
0	14	40
1	32	34
2	122	18
3	622	18
4	3878	16
done	5001	16
0	14	47
1	36	47
2	132	19
3	636	19
4	3917	16
done	5000	16
0	12	33
1	20	33
2	39	33
3	73	33
4	108	25
5	119	19
6	123	19
7	129	19
8	139	19
9	160	19
10	220	19
11	439	19
12	1365	19
done	5000	19
0	11	16
1	19	16
2	38	16
3	72	16
4	108	12
5	119	9
6	123	9
7	129	9
8	139	9
9	160	9
10	220	9
11	441	9
12	1380	9
done	5000	9
0	12	47
1	30	47
2	132	17
3	765	17
4	3920	10
done	5000	10
0	11	16
1	19	16
2	38	16
3	72	16
4	108	12
5	119	9
6	123	9
7	129	9
8	139	9
9	160	9
10	220	9
11	441	9
12	1380	9
done	5000	9
0	11	16
1	19	16
2	38	16
3	72	16
4	108	12
5	119	9
6	123	9
7	129	9
8	139	9
9	160	9
10	220	9
11	441	9
12	1380	9
done	5000	9
0	6	6
1	8	6
done	8	6
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	12	17
1	16	17
done	16	17
0	12	17
1	16	17
done	16	17
0	14	18
1	20	18
2	23	18
3	27	18
4	28	18
done	28	18
0	14	18
1	20	18
2	23	18
3	27	18
4	28	18
done	28	18
0	13	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	13	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	14	18
1	20	18
2	23	18
3	27	18
4	28	18
done	28	18
0	14	18
1	20	18
2	23	18
3	27	18
4	28	18
done	28	18
0	13	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	13	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	11	14
1	15	14
2	18	14
3	20	14
4	22	14
5	23	14
done	23	14
0	11	14
1	15	14
2	18	14
3	20	14
4	22	14
5	23	14
done	23	14
0	13	15
1	19	15
2	28	15
3	45	15
4	66	15
5	78	15
6	80	15
done	80	15
0	13	15
1	19	15
2	28	15
3	45	15
4	66	15
5	78	15
6	80	15
done	80	15
0	12	15
1	18	15
2	27	15
3	44	15
4	65	15
5	77	15
6	79	15
done	79	15
0	12	15
1	18	15
2	27	15
3	44	15
4	65	15
5	77	15
6	79	15
done	79	15
0	13	15
1	19	15
2	28	15
3	45	15
4	66	15
5	78	15
6	80	15
done	80	15
0	13	15
1	19	15
2	28	15
3	45	15
4	66	15
5	78	15
6	80	15
done	80	15
0	12	15
1	18	15
2	27	15
3	44	15
4	65	15
5	77	15
6	79	15
done	79	15
0	12	15
1	18	15
2	27	15
3	44	15
4	65	15
5	77	15
6	79	15
done	79	15
0	12	25
1	20	25
2	38	25
3	72	25
4	118	25
5	142	25
6	151	25
done	151	25
0	11	16
1	17	16
2	28	16
3	41	16
4	51	16
5	54	16
done	54	16
0	13	26
1	23	26
2	51	26
3	137	26
4	338	26
5	571	26
6	640	26
7	648	26
done	648	26
0	14	23
1	24	23
2	52	23
3	138	23
4	339	23
5	580	23
6	655	23
7	663	23
done	663	23
0	14	22
1	26	21
2	54	21
3	137	19
4	388	19
5	598	19
6	632	19
done	632	19
0	14	27
1	28	27
2	79	27
3	241	27
4	709	27
5	1502	27
6	1778	27
7	1791	27
done	1791	27
0	13	23
1	23	23
2	51	23
3	137	23
4	338	23
5	571	23
6	640	23
7	648	23
done	648	23
0	13	21
1	25	19
2	59	19
3	194	19
4	479	19
5	634	19
6	636	19
done	636	19
0	13	25
1	22	20
2	41	20
3	84	20
4	155	20
5	206	20
6	213	20
done	213	20
0	14	22
1	23	17
2	42	17
3	85	17
4	157	17
5	207	17
6	214	17
done	214	17
0	14	21
1	25	15
2	44	15
3	87	13
4	229	13
5	336	13
6	348	13
done	348	13
0	14	26
1	25	21
2	54	21
3	133	21
4	309	21
5	514	21
6	547	21
done	547	21
0	13	22
1	22	17
2	41	17
3	84	17
4	155	17
5	206	17
6	213	17
done	213	17
0	13	20
1	24	13
2	45	13
3	102	13
4	210	13
5	230	13
done	230	13
0	12	20
1	20	20
2	39	20
3	82	20
4	153	20
5	203	20
6	210	20
done	210	20
0	13	17
1	21	17
2	40	17
3	83	17
4	154	17
5	205	17
6	212	17
done	212	17
0	13	16
1	23	15
2	42	15
3	85	13
4	226	13
5	334	13
6	346	13
done	346	13
0	13	21
1	23	21
2	52	21
3	130	21
4	307	21
5	510	21
6	543	21
done	543	21
0	12	17
1	20	17
2	39	17
3	82	17
4	153	17
5	203	17
6	210	17
done	210	17
0	12	15
1	22	13
2	43	13
3	100	13
4	208	13
5	228	13
done	228	13
0	10	17
1	19	16
2	38	16
3	81	14
4	169	14
5	239	14
6	291	14
7	293	14
done	293	14
0	11	14
1	20	13
2	39	13
3	82	11
4	170	11
5	235	11
6	278	11
7	280	11
done	280	11
0	10	13
1	19	11
2	37	11
3	80	7
4	334	7
5	871	7
6	892	7
7	894	7
done	894	7
0	11	18
1	22	17
2	51	17
3	128	15
4	348	15
5	578	15
6	690	15
7	694	15
done	694	15
0	10	14
1	19	13
2	38	13
3	81	11
4	169	11
5	239	11
6	291	11
7	293	11
done	293	11
0	9	12
1	18	9
2	36	7
3	74	7
4	164	7
5	209	7
6	210	7
done	210	7
0	10	17
1	19	16
2	38	16
3	81	14
4	169	14
5	239	14
6	291	14
7	293	14
done	293	14
0	11	14
1	20	13
2	39	13
3	82	11
4	170	11
5	235	11
6	278	11
7	280	11
done	280	11
0	10	13
1	19	11
2	37	11
3	80	7
4	334	7
5	871	7
6	892	7
7	894	7
done	894	7
0	11	18
1	22	17
2	51	17
3	128	15
4	348	15
5	578	15
6	690	15
7	694	15
done	694	15
0	10	14
1	19	13
2	38	13
3	81	11
4	169	11
5	239	11
6	291	11
7	293	11
done	293	11
0	9	12
1	18	9
2	36	7
3	74	7
4	164	7
5	209	7
6	210	7
done	210	7
0	12	20
1	20	20
2	39	20
3	82	20
4	153	20
5	203	20
6	210	20
done	210	20
0	13	17
1	21	17
2	40	17
3	83	17
4	154	17
5	205	17
6	212	17
done	212	17
0	13	16
1	23	15
2	42	15
3	85	13
4	226	13
5	334	13
6	346	13
done	346	13
0	13	21
1	23	21
2	52	21
3	130	21
4	307	21
5	510	21
6	543	21
done	543	21
0	12	17
1	20	17
2	39	17
3	82	17
4	153	17
5	203	17
6	210	17
done	210	17
0	12	15
1	22	13
2	43	13
3	100	13
4	208	13
5	228	13
done	228	13
0	9	16
1	18	16
2	37	14
3	111	14
4	192	14
5	262	14
6	308	14
7	309	14
done	309	14
0	10	13
1	19	13
2	38	11
3	112	11
4	193	11
5	267	11
6	313	11
7	315	11
done	315	11
0	9	12
1	18	11
2	36	9
3	110	7
4	359	7
5	453	7
6	473	7
7	475	7
done	475	7
0	10	17
1	21	17
2	49	15
3	171	15
4	388	15
5	653	15
6	778	15
done	778	15
0	9	13
1	18	13
2	37	11
3	111	11
4	192	11
5	262	11
6	308	11
7	309	11
done	309	11
0	8	11
1	17	9
2	35	7
3	71	7
4	160	7
5	207	7
6	208	7
done	208	7
0	7	9
1	14	7
2	32	7
3	42	7
4	57	7
5	66	7
6	77	7
7	79	7
done	79	7
0	9	12
1	15	12
2	26	12
3	39	12
4	49	12
5	52	12
done	52	12
0	11	16
1	17	16
2	20	16
3	24	16
4	25	16
done	25	16
0	11	16
1	17	16
2	20	16
3	24	16
4	25	16
done	25	16
0	10	13
1	16	13
2	24	13
3	36	13
4	48	13
5	51	13
done	51	13
0	10	13
1	16	13
2	24	13
3	36	13
4	48	13
5	51	13
done	51	13
0	9	12
1	15	12
2	23	12
3	35	12
4	47	12
5	50	12
done	50	12
0	10	15
1	18	15
2	37	15
3	71	15
4	107	11
5	118	8
6	122	8
7	128	8
8	138	8
9	159	8
10	223	8
11	430	8
12	1369	8
done	5000	8
0	10	15
1	20	15
2	38	13
3	105	13
4	217	9
5	232	6
6	237	6
7	245	6
8	267	6
9	325	6
10	464	6
11	894	6
12	2477	6
done	5001	6
0	9	12
1	15	12
2	26	12
3	39	12
4	49	12
5	52	12
done	52	12
0	8	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
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	15	17
1	30	17
2	59	15
3	82	15
4	103	13
5	144	13
6	236	13
7	359	13
8	447	13
9	471	13
10	533	13
11	611	13
12	612	13
done	612	13
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	17	23
1	46	23
2	127	23
3	427	19
4	1626	17
5	4801	17
done	5000	17
0	19	29
1	57	29
2	229	29
3	1155	25
done	5001	25
0	19	27
1	56	27
2	186	27
3	640	25
4	2960	23
done	5000	23
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

prune451.0ms

Filtered

138 candidates to 181 candidates (-31.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	181	3	184

Merged error: 0.0b

Counts

184 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* t 3.0))
2.3b	(log (exp (/ 2.0 (* t 3.0))))
4.1b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
5.2b	(/ (* z (sqrt (+ t a))) t)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
8×	`log-pow` `frac-sub`
7×	`exp-prod` `flip3--` `flip--`
6×	`associate--r+` `add-log-exp`
5×	`pow1`
4×	`cbrt-undiv` `frac-times` `associate-r/` `div-exp` `associate-/r` `associate-/l*`
3×	`distribute-rgt-in` `sub-neg` `log-prod` `distribute-lft-in` `div-inv`
2×	`frac-2neg` `sqrt-div` `associate-*l/` `prod-exp` `associate--l+` `clear-num` `cbrt-unprod` `associate-/l/`
1×	`flip3-+` `diff-log` `rem-log-exp` `flip-+`

Counts

4 → 89

Calls

4 calls:

6.0ms	(/ 2.0 (* t 3.0))
11.0ms	(log (exp (/ 2.0 (* t 3.0))))
14.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
9.0ms	(/ (* z (sqrt (+ t a))) t)

series84.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 2.0 (* t 3.0))
3.0ms	(log (exp (/ 2.0 (* t 3.0))))
59.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
20.0ms	(/ (* z (sqrt (+ t a))) t)

simplify2.5min

Counts

101 → 101

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	23	11
3	29	11
4	35	11
5	44	11
6	57	11
7	75	11
8	91	11
9	98	11
10	115	11
11	117	11
done	117	11
0	9	10
1	16	10
2	22	10
3	31	10
4	34	10
5	40	10
6	49	10
7	62	10
8	80	10
9	96	10
10	103	10
11	120	10
12	122	10
done	122	10
0	8	9
1	15	9
2	27	9
3	46	9
4	62	9
5	70	9
6	82	9
7	100	9
8	116	9
9	123	9
10	140	9
11	142	9
done	142	9
0	8	9
1	12	9
2	16	9
3	21	9
4	30	9
5	43	9
6	76	9
7	159	9
8	378	9
9	1030	9
10	4632	9
done	5000	9
0	13	26
1	29	20
2	142	14
3	666	14
4	2600	12
done	5001	12
0	11	26
1	31	26
2	132	12
3	721	10
4	2823	10
done	5000	10
0	9	19
1	13	19
2	17	19
3	20	19
4	21	19
done	21	19
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	26
1	20	26
2	61	10
3	238	10
4	999	10
5	3021	10
done	5001	10
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	7	7
1	13	7
2	15	7
done	15	7
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
done	4	4
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	3	3
1	5	3
done	5	3
0	7	8
1	11	8
2	13	8
done	13	8
0	9	12
1	18	12
2	32	12
3	45	12
4	49	12
done	49	12
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	8
1	14	6
2	22	6
3	31	6
4	36	6
done	36	6
0	5	6
1	6	6
done	6	6
0	9	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	5	6
1	8	6
2	9	6
done	9	6
0	25	28
1	44	25
2	93	25
3	262	25
4	842	25
5	3247	25
done	5000	25
0	24	27
1	41	25
2	84	25
3	250	25
4	820	25
5	2898	25
done	5000	25
0	24	27
1	44	25
2	93	25
3	304	25
4	1037	25
5	3953	25
done	5000	25
0	25	55
1	42	51
2	85	51
3	251	51
4	821	51
5	2891	51
done	5000	51
0	24	27
1	41	25
2	84	25
3	250	25
4	820	25
5	2898	25
done	5000	25
0	25	80
1	43	74
2	100	26
3	371	26
4	2051	26
done	5000	26
0	24	27
1	41	25
2	84	25
3	250	25
4	820	25
5	2898	25
done	5000	25
0	24	27
1	41	25
2	84	25
3	250	25
4	820	25
5	2898	25
done	5000	25
0	40	88
1	107	72
2	418	72
3	2529	72
done	5001	72
0	26	55
1	60	41
2	242	41
3	1428	41
done	5001	41
0	36	70
1	93	62
2	339	62
3	1944	62
done	5000	62
0	22	27
1	46	23
2	165	23
3	801	23
4	3035	23
done	5000	23
0	36	80
1	91	66
2	363	66
3	2002	66
done	5000	66
0	22	47
1	50	35
2	200	35
3	973	35
done	5000	35
0	31	62
1	73	56
2	277	56
3	1486	56
done	5000	44
0	18	19
1	36	17
2	123	17
3	424	17
4	1070	17
5	2385	17
6	4032	15
done	5001	15
0	32	72
1	81	58
2	301	58
3	1354	58
done	5001	58
0	18	43
1	42	31
2	134	31
3	517	31
4	1808	31
done	5000	31
0	27	54
1	63	48
2	215	48
3	907	48
done	5002	36
0	14	15
1	28	13
2	57	13
3	98	13
4	126	13
5	144	11
6	272	11
7	1202	11
done	5000	11
0	32	42
1	77	38
2	230	38
3	820	38
4	3910	38
done	5001	38
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	27	34
1	57	32
2	166	32
3	665	32
4	3510	28
done	5001	28
0	5	5
1	13	5
2	14	5
done	14	5
0	26	30
1	62	28
2	185	28
3	932	28
done	5001	28
0	27	80
1	64	58
2	224	58
3	1218	58
done	5000	58
0	18	18
1	33	16
2	88	16
3	292	16
4	878	15
5	2705	15
done	5000	15
0	25	53
1	56	49
2	178	49
3	899	49
done	5002	49
0	23	26
1	39	24
2	75	24
3	193	24
4	553	24
5	1747	24
done	5000	24
0	16	18
1	32	18
2	72	18
3	171	18
4	392	18
5	753	18
6	1382	18
7	2386	18
8	2749	18
9	2754	18
done	2754	18
0	12	14
1	21	14
2	39	14
3	64	14
4	96	14
5	104	14
6	117	14
7	148	14
8	214	14
9	288	14
10	291	14
done	291	14
0	16	18
1	32	18
2	72	18
3	171	18
4	392	18
5	753	18
6	1382	18
7	2386	18
8	2749	18
9	2754	18
done	2754	18
0	16	18
1	26	18
2	52	18
3	125	18
4	319	18
5	771	18
6	1242	18
7	2116	18
8	3258	18
9	3539	18
10	3545	18
done	3545	18
0	12	14
1	21	14
2	39	14
3	64	14
4	96	14
5	104	14
6	117	14
7	148	14
8	214	14
9	288	14
10	291	14
done	291	14
0	16	18
1	26	18
2	52	18
3	125	18
4	319	18
5	771	18
6	1242	18
7	2116	18
8	3258	18
9	3539	18
10	3545	18
done	3545	18
0	18	18
1	33	16
2	88	16
3	292	16
4	878	15
5	2705	15
done	5000	15
0	9	16
1	14	16
2	18	10
3	19	10
done	19	10
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	2	2
1	4	1
done	4	1
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	10	5
2	12	5
done	12	5
0	9	15
1	14	13
2	22	13
3	30	13
4	55	13
5	128	13
6	377	13
7	1354	13
done	5001	13
0	8	8
1	11	6
2	13	6
done	13	6
0	7	9
1	9	7
2	11	7
3	14	7
4	22	7
5	35	7
6	72	7
7	177	7
8	544	7
9	2186	7
done	5001	7
0	6	6
done	6	4
0	5	5
1	7	3
done	7	3
0	3	3
1	6	1
done	6	1
0	3	3
done	3	1
0	8	8
1	11	6
2	19	6
3	29	6
4	40	6
5	55	6
6	68	6
7	81	6
8	95	6
9	111	6
10	115	6
done	115	6
0	8	8
1	11	6
2	13	6
done	13	6
0	9	17
1	12	13
2	14	13
done	14	13
0	8	8
1	11	6
2	13	6
done	13	6
0	9	23
1	13	17
2	33	7
3	131	7
4	551	7
5	1894	7
6	4309	7
done	5001	7
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	17	23
1	46	23
2	127	23
3	427	19
4	1626	17
5	4801	17
done	5000	17
0	19	29
1	57	29
2	229	29
3	1155	25
done	5001	25
0	19	27
1	56	27
2	186	27
3	640	25
4	2960	23
done	5000	23
0	15	17
1	30	17
2	59	15
3	82	15
4	103	13
5	144	13
6	236	13
7	359	13
8	447	13
9	471	13
10	533	13
11	611	13
12	612	13
done	612	13
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
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	3	3
done	3	3
0	3	3
done	3	3

prune266.0ms

Filtered

86 candidates to 101 candidates (-17.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	101	3	104

Merged error: 0.0b

Counts

104 → 3

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* t 3.0))
1.1b	(- (* z (sqrt (+ t a))) (* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
3.1b	(* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
20.1b	(/ (* (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (- (* z (sqrt (+ t a))) (* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (+ (/ 2.0 3.0) (* t (+ a (/ 5.0 6.0)))))

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

382×	`associate-*r/`
246×	`frac-sub`
224×	`frac-times`
187×	`flip3-+` `flip-+`
168×	`sqrt-div`
154×	`associate-/l/`
110×	`flip3--` `flip--`
64×	`frac-add`
30×	`associate-*l/`
19×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
11×	`add-sqr-sqrt`
9×	`pow1` `add-cube-cbrt`
6×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-r` `associate--r+` `add-log-exp`
5×	`sub-neg` `prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate--l+` `associate-/r` `associate-/r/` `associate-/l`
3×	`pow-prod-down`
2×	`frac-2neg` `clear-num` `div-inv` `distribute-lft-out--`
1×	`diff-log` `associate-l` `*-commutative` `distribute-lft-out` `difference-of-squares`

Counts

4 → 287

Calls

4 calls:

6.0ms	(/ 2.0 (* t 3.0))
15.0ms	(- (* z (sqrt (+ t a))) (* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
22.0ms	(* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
57.0ms	(/ (* (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (- (* z (sqrt (+ t a))) (* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (+ (/ 2.0 3.0) (* t (+ a (/ 5.0 6.0)))))

series238.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 2.0 (* t 3.0))
61.0ms	(- (* z (sqrt (+ t a))) (* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
26.0ms	(* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
148.0ms	(/ (* (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (- (* z (sqrt (+ t a))) (* (* t (- b c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (+ (/ 2.0 3.0) (* t (+ a (/ 5.0 6.0)))))

simplify9.2min

Counts

299 → 299

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	51
1	64	51
2	146	51
3	434	51
4	1538	51
done	5000	51
0	29	50
1	64	50
2	165	50
3	586	50
4	2923	50
done	5000	50
0	28	49
1	63	49
2	170	49
3	614	49
4	3141	49
done	5001	49
0	28	49
1	60	49
2	159	49
3	589	49
4	3104	49
done	5001	49
0	33	146
1	101	146
2	444	54
3	2492	54
done	5000	54
0	31	146
1	91	146
2	413	52
3	2703	50
done	5001	50
0	29	99
1	61	99
2	160	99
3	586	99
4	3085	99
done	5001	99
0	28	49
1	60	49
2	159	49
3	587	49
4	3087	49
done	5001	49
0	29	146
1	68	146
2	204	50
3	1058	50
done	5002	50
0	28	49
1	60	49
2	159	49
3	587	49
4	3087	49
done	5001	49
0	28	49
1	60	49
2	159	49
3	587	49
4	3087	49
done	5001	49
0	24	37
1	50	37
2	154	37
3	715	37
4	4517	36
done	5000	36
0	12	12
1	24	12
2	46	12
3	87	12
4	116	12
5	140	12
6	172	12
7	239	12
8	323	12
9	328	12
10	329	12
done	329	12
0	17	37
1	34	37
2	50	37
3	58	37
4	60	37
5	61	37
done	61	37
0	26	37
1	55	37
2	136	37
3	449	37
4	1721	37
done	5000	37
0	16	24
1	31	24
2	47	24
3	55	24
4	57	24
5	58	24
done	58	24
0	26	37
1	55	37
2	136	37
3	449	37
4	1721	37
done	5000	37
0	13	13
1	22	11
2	32	11
done	32	11
0	25	36
1	54	36
2	135	36
3	448	36
4	1724	36
done	5001	36
0	13	13
1	24	13
2	33	13
3	41	13
4	43	13
5	44	13
done	44	13
0	27	48
1	59	48
2	156	48
3	568	48
4	2893	48
done	5001	48
0	29	62
1	66	62
2	178	62
3	643	62
4	3373	62
done	5000	62
0	28	49
1	60	49
2	159	49
3	587	49
4	3087	49
done	5001	49
0	25	38
1	51	36
2	146	36
3	578	36
4	2995	36
done	5000	36
0	25	36
1	51	36
2	120	36
3	404	36
4	1500	36
done	5000	36
0	37	70
1	107	66
2	319	66
3	1110	66
4	4806	66
done	5000	66
0	32	60
1	70	60
2	212	60
3	822	54
4	3847	54
done	5000	54
0	30	52
1	81	52
2	244	52
3	959	52
4	4365	52
done	5000	52
0	29	60
1	76	60
2	250	60
3	963	60
4	4495	60
done	5001	60
0	34	80
1	88	68
2	293	68
3	1972	68
done	5001	68
0	36	68
1	95	60
2	317	60
3	2122	60
done	5001	60
0	40	94
1	119	80
2	455	80
3	3154	80
done	5001	80
0	36	70
1	99	62
2	358	62
3	2364	62
done	5000	62
0	30	72
1	78	62
2	263	62
3	1651	62
done	5000	62
0	32	60
1	85	54
2	287	54
3	1787	54
done	5000	54
0	36	86
1	109	74
2	413	74
3	2607	74
done	5000	74
0	32	62
1	89	56
2	316	56
3	1894	56
done	5001	56
0	26	68
1	68	58
2	205	58
3	1089	58
done	5000	58
0	28	56
1	77	50
2	244	50
3	1323	50
done	5000	50
0	32	82
1	101	70
2	361	70
3	2059	70
done	5001	70
0	28	58
1	81	52
2	264	52
3	1385	52
done	5000	52
0	33	58
1	88	50
2	272	50
3	1414	50
done	5000	50
0	29	50
1	78	44
2	228	44
3	1082	44
done	5000	44
0	31	72
1	81	62
2	271	62
3	1943	62
done	5001	62
0	33	60
1	88	54
2	296	54
3	2087	54
done	5000	54
0	37	86
1	112	74
2	434	74
3	3115	74
done	5001	74
0	33	62
1	92	56
2	337	56
3	2328	56
done	5001	56
0	27	64
1	71	56
2	241	56
3	1630	56
done	5000	56
0	29	52
1	78	48
2	266	48
3	1755	48
done	5000	48
0	33	78
1	102	68
2	392	68
3	2573	68
done	5001	68
0	29	54
1	82	50
2	295	50
3	1859	50
done	5001	50
0	23	60
1	61	52
2	184	52
3	1049	52
done	5001	52
0	25	48
1	70	44
2	223	44
3	1297	44
done	5000	44
0	29	74
1	94	64
2	340	64
3	2031	64
done	5000	64
0	25	50
1	74	46
2	243	46
3	1360	46
done	5000	46
0	30	50
1	81	44
2	251	44
3	1379	44
done	5000	44
0	26	42
1	71	38
2	207	38
3	1055	38
done	5000	38
0	36	108
1	114	86
2	468	80
3	3295	80
done	5001	80
0	32	58
1	86	54
2	284	54
3	1663	54
done	5001	54
0	36	68
1	95	60
2	319	60
3	2146	60
done	5001	60
0	31	56
1	73	52
2	250	52
3	1705	52
done	5001	52
0	37	82
1	104	72
2	422	72
3	2981	72
done	5000	72
0	33	58
1	84	54
2	318	54
3	2180	54
done	5000	54
0	32	60
1	85	54
2	289	54
3	1812	54
done	5000	54
0	27	48
1	63	46
2	220	46
3	1400	46
done	5000	46
0	33	74
1	94	66
2	380	66
3	2432	66
done	5000	66
0	29	50
1	74	48
2	276	48
3	1705	48
done	5000	48
0	28	56
1	77	50
2	246	50
3	1343	50
done	5001	50
0	23	44
1	53	42
2	163	42
3	851	42
done	5000	42
0	29	70
1	86	62
2	328	62
3	1889	62
done	5000	62
0	25	46
1	66	44
2	224	44
3	1206	44
done	5001	44
0	30	46
1	73	42
2	232	42
3	1228	42
done	5001	42
0	26	38
1	63	36
2	188	36
3	903	36
done	5000	36
0	33	60
1	88	54
2	298	54
3	2115	54
done	5000	54
0	27	48
1	65	46
2	228	46
3	1688	46
done	5000	46
0	33	74
1	96	66
2	401	66
3	2944	66
done	5001	66
0	29	50
1	76	48
2	296	48
3	2146	48
done	5000	48
0	29	52
1	78	48
2	268	48
3	1777	48
done	5001	48
0	23	40
1	55	40
2	198	40
3	1364	40
done	5000	40
0	29	66
1	86	60
2	359	60
3	2403	60
done	5001	60
0	25	42
1	66	42
2	254	42
3	1682	42
done	5001	42
0	25	48
1	70	44
2	225	44
3	1319	44
done	5000	44
0	19	36
1	45	36
2	141	36
3	818	36
done	5000	36
0	25	62
1	78	56
2	307	56
3	1873	56
done	5001	56
0	21	38
1	58	38
2	202	38
3	1166	38
done	5000	38
0	26	38
1	65	36
2	210	36
3	1203	36
done	5000	36
0	22	30
1	55	30
2	166	30
3	863	30
done	5002	30
0	32	96
1	98	78
2	426	72
3	3055	72
done	5001	72
0	28	46
1	70	46
2	242	46
3	1415	46
done	5000	46
0	40	94
1	114	80
2	395	80
3	2377	80
done	5001	80
0	37	82
1	99	72
2	360	72
3	2180	72
done	5000	72
0	37	108
1	103	92
2	417	92
3	2850	92
done	5001	92
0	36	84
1	100	74
2	395	74
3	2329	74
done	5001	74
0	36	86
1	104	74
2	365	74
3	2053	74
done	5001	74
0	33	74
1	89	66
2	330	66
3	1857	66
done	5001	66
0	33	100
1	93	86
2	375	86
3	2317	86
done	5000	86
0	32	76
1	90	68
2	353	68
3	1870	68
done	5000	68
0	32	82
1	96	70
2	325	70
3	1665	70
done	5000	70
0	29	70
1	81	62
2	290	62
3	1477	62
done	5000	62
0	29	96
1	85	82
2	319	82
3	1797	82
done	5000	82
0	28	72
1	82	64
2	297	64
3	1406	64
done	5000	64
0	34	72
1	92	62
2	309	62
3	1426	62
done	5000	62
0	30	64
1	82	56
2	265	56
3	1184	56
done	5000	56
0	37	86
1	107	74
2	374	74
3	2346	74
done	5000	74
0	33	74
1	91	66
2	339	66
3	2147	66
done	5001	66
0	33	100
1	95	86
2	396	86
3	2819	86
done	5000	86
0	32	76
1	92	68
2	374	68
3	2293	68
done	5000	68
0	33	78
1	97	68
2	344	68
3	2019	68
done	5000	68
0	29	66
1	81	60
2	309	60
3	1826	60
done	5001	60
0	29	92
1	85	80
2	354	80
3	2289	80
done	5001	80
0	28	68
1	82	62
2	332	62
3	1842	62
done	5000	62
0	29	74
1	89	64
2	304	64
3	1625	64
done	5000	64
0	25	62
1	73	56
2	269	56
3	1455	56
done	5000	56
0	25	88
1	77	76
2	298	76
3	1764	76
done	5000	76
0	24	64
1	74	58
2	276	58
3	1378	58
done	5000	58
0	30	64
1	84	56
2	288	56
3	1396	56
done	5001	56
0	26	56
1	74	50
2	244	50
3	1156	50
done	5002	50
0	35	122
1	114	98
2	496	92
3	3264	92
done	5001	92
0	31	72
1	86	66
2	318	66
3	1763	66
done	5000	66
0	36	70
1	94	62
2	308	62
3	2023	62
done	5001	62
0	33	58
1	79	54
2	266	54
3	1814	54
done	5000	54
0	36	84
1	100	74
2	405	74
3	2736	74
done	5001	74
0	32	60
1	80	56
2	301	56
3	1944	56
done	5000	56
0	32	62
1	84	56
2	278	56
3	1701	56
done	5000	56
0	29	50
1	69	48
2	236	48
3	1491	48
done	5001	48
0	32	76
1	90	68
2	363	68
3	2212	68
done	5000	68
0	28	52
1	70	50
2	259	50
3	1491	50
done	5000	50
0	28	58
1	76	52
2	238	52
3	1299	52
done	5000	52
0	25	46
1	61	44
2	196	44
3	1101	44
done	5000	44
0	28	72
1	82	64
2	307	64
3	1637	64
done	5000	64
0	24	48
1	62	46
2	203	46
3	998	46
done	5000	46
0	30	48
1	72	44
2	215	44
3	1021	44
done	5000	44
0	26	40
1	62	38
2	171	38
3	768	38
4	4074	38
done	5000	38
0	33	62
1	87	56
2	287	56
3	1991	56
done	5000	56
0	29	50
1	71	48
2	244	48
3	1786	48
done	5000	48
0	32	76
1	92	68
2	384	68
3	2710	68
done	5000	68
0	28	52
1	72	50
2	279	50
3	1912	50
done	5000	50
0	29	54
1	77	50
2	257	50
3	1669	50
done	5001	50
0	25	42
1	61	42
2	214	42
3	1472	42
done	5001	42
0	28	68
1	82	62
2	342	62
3	2179	62
done	5001	62
0	24	44
1	62	44
2	237	44
3	1463	44
done	5001	44
0	25	50
1	69	46
2	217	46
3	1267	46
done	5000	46
0	21	38
1	53	38
2	174	38
3	1064	38
done	5000	38
0	24	64
1	74	58
2	286	58
3	1609	58
done	5000	58
0	20	40
1	54	40
2	181	40
3	960	40
done	5002	40
0	26	40
1	64	38
2	193	38
3	992	38
done	5000	38
0	22	32
1	54	32
2	149	32
3	733	32
4	3983	32
done	5000	32
0	30	98
1	89	80
2	390	74
3	2736	74
done	5000	74
0	26	48
1	61	48
2	210	48
3	1182	48
done	5000	48
0	33	58
1	82	50
2	244	50
3	1344	50
done	5000	50
0	30	46
1	67	42
2	202	42
3	1131	42
done	5000	42
0	34	72
1	91	62
2	345	62
3	2064	62
done	5000	62
0	30	48
1	71	44
2	241	44
3	1283	44
done	5000	44
0	29	50
1	72	44
2	214	44
3	1038	44
done	5001	44
0	26	38
1	57	36
2	172	36
3	841	36
done	5000	36
0	30	64
1	81	56
2	303	56
3	1549	56
done	5000	56
0	26	40
1	61	38
2	199	38
3	849	38
4	4456	38
done	5001	38
0	25	46
1	64	40
2	174	40
3	695	40
4	3820	40
done	5000	40
0	22	34
1	49	32
2	132	32
3	495	32
4	2283	32
done	5001	32
0	26	60
1	73	52
2	243	52
3	1031	52
done	5002	52
0	22	36
1	53	34
2	139	34
3	419	34
4	1752	34
done	5001	34
0	26	36
1	58	32
2	145	32
3	426	32
4	1699	32
done	5000	32
0	22	28
1	48	26
2	101	26
3	263	26
4	718	26
5	1721	26
6	3182	26
7	3974	26
8	4121	26
9	4222	26
10	4311	26
11	4662	26
done	5000	26
0	30	50
1	75	44
2	223	44
3	1308	44
done	5000	44
0	26	38
1	59	36
2	180	36
3	1110	36
done	5000	36
0	30	64
1	83	56
2	324	56
3	2029	56
done	5001	56
0	26	40
1	63	38
2	219	38
3	1249	38
done	5000	38
0	26	42
1	65	38
2	193	38
3	1014	38
done	5001	38
0	22	30
1	49	30
2	150	30
3	803	30
done	5000	30
0	26	56
1	73	50
2	282	50
3	1518	50
done	5001	50
0	22	32
1	53	32
2	177	32
3	817	32
4	4367	32
done	5000	32
0	22	38
1	57	34
2	153	34
3	660	34
4	3837	34
done	5000	34
0	18	26
1	41	26
2	110	26
3	464	26
4	2179	26
done	5001	26
0	22	52
1	65	46
2	222	46
3	1002	46
done	5000	46
0	18	28
1	45	28
2	117	28
3	386	28
4	1691	28
done	5000	28
0	22	28
1	50	26
2	123	26
3	389	26
4	1630	26
done	5000	26
0	18	20
1	40	20
2	79	20
3	228	20
4	661	20
5	1638	20
6	3095	20
7	3881	20
8	3986	20
9	4029	20
done	4029	20
0	29	86
1	85	68
2	332	62
3	2102	62
done	5000	62
0	25	36
1	57	36
2	160	36
3	738	36
4	4043	36
done	5000	36
0	19	33
1	49	29
2	129	29
3	525	29
4	2700	29
done	5001	29
0	15	21
1	33	21
2	85	21
3	350	21
4	1340	21
5	4180	21
done	5001	21
0	19	47
1	58	41
2	207	41
3	965	41
done	5001	41
0	15	23
1	32	23
2	73	23
3	255	23
4	966	23
5	3626	23
done	5001	23
0	16	17
1	30	17
2	80	17
3	267	17
4	813	17
5	2316	17
done	5001	17
0	16	17
1	30	17
2	80	17
3	267	17
4	813	17
5	2316	17
done	5001	17
0	19	20
1	33	20
2	53	20
3	65	20
4	71	20
5	80	20
6	95	20
7	110	20
8	125	20
9	139	20
10	158	20
11	172	20
done	172	20
0	18	19
1	33	19
2	58	19
3	79	19
4	89	19
5	98	19
6	113	19
7	128	19
8	143	19
9	157	19
10	176	19
11	190	19
done	190	19
0	17	18
1	34	18
2	91	18
3	288	18
4	838	18
5	2347	18
done	5000	18
0	17	18
1	33	18
2	94	18
3	332	18
4	1046	18
5	3221	18
done	5001	18
0	22	53
1	45	53
2	178	23
3	1124	23
done	5000	23
0	20	53
1	47	53
2	188	21
3	1145	21
done	5000	21
0	18	37
1	32	37
2	82	37
3	267	37
4	813	37
5	2310	37
done	5001	37
0	17	18
1	31	18
2	81	18
3	268	18
4	812	18
5	2317	18
done	5000	18
0	18	53
1	42	53
2	192	19
3	1341	19
done	5001	19
0	17	18
1	31	18
2	81	18
3	268	18
4	812	18
5	2317	18
done	5000	18
0	17	18
1	31	18
2	81	18
3	268	18
4	812	18
5	2317	18
done	5000	18
0	27	43
1	79	39
2	204	39
3	704	39
4	3818	39
done	5000	39
0	21	33
1	49	27
2	134	27
3	604	27
4	3063	27
done	5000	27
0	23	33
1	59	33
2	158	33
3	616	27
4	3461	27
done	5001	27
0	17	21
1	33	19
2	90	19
3	430	19
4	1503	19
5	4301	19
done	5001	19
0	21	25
1	59	25
2	176	25
3	757	25
done	5001	25
0	23	47
1	60	39
2	224	39
3	1156	39
done	5001	39
0	21	33
1	59	33
2	175	33
3	725	33
4	4849	33
done	5000	33
0	19	23
1	40	21
2	119	21
3	502	21
4	1685	21
done	5000	21
0	27	43
1	72	39
2	191	39
3	699	39
4	4091	39
done	5000	39
0	17	25
1	39	21
2	110	21
3	414	21
4	1650	21
done	5000	21
0	22	33
1	48	33
2	138	33
3	599	27
4	3708	27
done	5000	27
0	13	13
1	23	13
2	66	13
3	238	13
4	604	13
5	1254	13
6	2317	13
7	3914	13
done	5000	13
0	21	25
1	52	25
2	163	25
3	754	25
done	5000	25
0	19	39
1	50	33
2	188	33
3	807	33
4	3424	33
done	5001	33
0	20	33
1	48	33
2	155	33
3	727	33
done	5002	33
0	15	15
1	30	15
2	83	15
3	228	15
4	511	15
5	1051	15
6	1302	15
7	1316	15
8	1320	15
9	1324	15
10	1326	15
done	1326	15
0	11	11
1	24	11
2	62	11
3	159	11
4	305	11
5	512	11
6	765	11
7	1036	11
8	1750	11
9	3273	11
10	3882	11
11	3925	11
done	3925	11
0	11	12
1	24	12
2	63	12
3	235	12
4	715	12
5	1707	9
6	3653	7
done	5000	7
0	7	7
1	13	7
2	26	7
3	53	7
4	74	7
5	93	7
6	101	7
done	101	7
0	14	15
1	25	15
2	57	15
3	168	15
4	526	15
5	1348	15
6	2831	15
done	5000	15
0	11	11
1	24	11
2	62	11
3	159	11
4	305	11
5	512	11
6	765	11
7	1036	11
8	1750	11
9	3273	11
10	3882	11
11	3925	11
done	3925	11
0	11	12
1	24	12
2	63	12
3	235	12
4	715	12
5	1707	9
6	3653	7
done	5000	7
0	11	11
1	18	11
2	45	11
3	111	11
4	229	11
5	440	11
6	654	11
7	881	11
8	1429	11
9	2925	11
10	3840	11
11	3911	11
done	3911	11
0	11	12
1	24	12
2	69	12
3	280	12
4	905	10
5	2179	7
done	5001	7
0	7	7
1	13	7
2	32	7
3	58	7
4	78	7
5	94	7
done	94	7
0	14	15
1	25	15
2	57	15
3	142	15
4	410	15
5	1109	15
6	2470	15
done	5000	15
0	11	11
1	18	11
2	45	11
3	111	11
4	229	11
5	440	11
6	654	11
7	881	11
8	1429	11
9	2925	11
10	3840	11
11	3911	11
done	3911	11
0	11	12
1	24	12
2	69	12
3	280	12
4	905	10
5	2179	7
done	5001	7
0	18	31
1	34	31
2	67	31
3	122	31
4	184	31
5	243	31
6	297	31
7	317	31
8	332	31
9	346	31
10	365	31
11	379	31
done	379	31
0	17	18
1	31	18
2	57	18
3	98	18
4	125	18
5	153	18
6	174	18
7	189	18
8	204	18
9	218	18
10	237	18
11	251	18
done	251	18
0	7	7
1	15	5
2	34	5
3	67	5
4	92	5
5	112	5
6	130	5
7	134	5
done	134	5
0	18	19
1	35	19
2	71	19
3	152	19
4	247	19
5	383	19
6	525	19
7	705	19
8	1267	19
9	2136	19
10	2420	19
11	2431	19
done	2431	19
0	7	7
1	15	5
2	34	5
3	67	5
4	92	5
5	112	5
6	130	5
7	134	5
done	134	5
0	7	7
1	15	5
2	34	5
3	67	5
4	92	5
5	112	5
6	130	5
7	134	5
done	134	5
0	15	15
1	26	15
2	58	15
3	161	15
4	427	15
5	1174	15
6	2765	15
done	5000	15
0	25	39
1	67	35
2	174	35
3	587	35
4	2831	35
done	5001	35
0	20	29
1	43	29
2	121	29
3	487	23
4	2387	23
done	5001	23
0	19	21
1	47	21
2	146	21
3	640	21
4	4401	21
done	5001	21
0	18	29
1	43	29
2	138	29
3	593	29
4	3522	29
done	5001	29
0	19	21
1	46	21
2	117	21
3	400	21
4	2030	21
done	5000	21
0	18	21
1	35	21
2	97	21
3	415	21
4	2008	21
done	5001	21
0	23	26
1	45	25
2	113	25
3	398	25
4	1482	25
done	5000	25
0	22	25
1	40	25
2	101	25
3	381	25
4	1481	25
5	4971	25
done	5000	25
0	22	25
1	43	25
2	116	25
3	454	25
4	1831	25
done	5001	25
0	23	51
1	41	51
2	102	51
3	382	51
4	1484	51
done	5000	51
0	22	25
1	40	25
2	101	25
3	381	25
4	1481	25
5	4971	25
done	5000	25
0	23	74
1	42	74
2	117	26
3	504	26
4	3015	26
done	5001	26
0	22	25
1	40	25
2	101	25
3	381	25
4	1481	25
5	4971	25
done	5000	25
0	22	25
1	40	25
2	101	25
3	381	25
4	1481	25
5	4971	25
done	5000	25
0	47	101
1	134	89
2	409	89
3	2054	89
done	5000	89
0	27	46
1	66	38
2	195	38
3	896	38
done	5000	38
0	44	79
1	119	75
2	366	75
3	1867	69
done	5000	69
0	24	34
1	51	30
2	153	30
3	695	30
4	2913	30
done	5000	30
0	47	97
1	142	87
2	522	87
3	3057	87
done	5000	87
0	30	60
1	78	50
2	296	50
3	1582	50
done	5000	50
0	43	81
1	123	77
2	422	77
3	2253	77
done	5000	77
0	26	36
1	58	32
2	192	32
3	843	32
4	3104	32
done	5001	32
0	43	93
1	118	83
2	366	83
3	1752	83
done	5000	83
0	23	38
1	56	32
2	165	32
3	643	32
4	2915	32
done	5000	32
0	40	71
1	103	69
2	323	69
3	1550	63
done	5000	63
0	20	26
1	41	24
2	123	24
3	438	24
4	1370	24
5	3140	24
done	5001	24
0	43	89
1	126	81
2	467	81
3	2554	81
done	5000	81
0	26	52
1	68	44
2	254	44
3	1130	44
done	5000	44
0	39	73
1	107	71
2	367	71
3	1832	71
done	5001	71
0	22	28
1	48	26
2	150	26
3	466	26
4	1146	26
5	2504	26
6	4079	26
7	4522	26
8	4646	26
9	4719	26
10	4726	26
done	4726	26
0	39	85
1	108	75
2	313	75
3	1292	75
done	5000	73
0	19	34
1	48	28
2	125	28
3	346	28
4	1058	28
5	2904	28
done	5000	28
0	36	63
1	93	61
2	270	61
3	1095	55
done	5000	53
0	16	22
1	33	20
2	83	20
3	182	20
4	360	20
5	608	20
6	975	20
7	1390	20
8	1655	20
9	1816	20
10	1858	20
11	1985	20
12	2240	20
13	2696	20
14	3086	20
15	3632	20
16	4813	20
17	4825	20
done	4825	20
0	39	81
1	116	73
2	405	73
3	1917	73
done	5000	73
0	22	48
1	60	40
2	188	40
3	661	40
4	2098	40
done	5000	40
0	35	65
1	97	63
2	305	63
3	1261	63
done	5001	51
0	18	24
1	40	22
2	84	22
3	140	22
4	188	22
5	225	22
6	243	22
7	266	22
8	309	22
9	371	22
10	372	22
done	372	22
0	39	57
1	103	53
2	296	53
3	1032	53
done	5000	53
0	16	24
1	38	20
2	82	20
3	121	20
4	152	20
5	175	20
6	192	20
7	215	20
8	258	20
9	320	20
10	321	20
done	321	20
0	35	49
1	87	47
2	239	47
3	902	47
done	5000	43
0	12	16
1	28	14
2	44	14
3	57	14
4	77	14
5	98	14
6	115	14
7	138	14
8	181	14
9	243	14
10	244	14
done	244	14
0	44	93
1	124	83
2	393	83
3	2052	83
done	5000	83
0	24	38
1	57	32
2	172	32
3	864	32
4	4997	32
done	5000	32
0	40	71
1	104	69
2	342	69
3	1837	63
done	5000	63
0	20	26
1	41	24
2	129	24
3	655	24
4	2839	24
done	5000	24
0	43	89
1	127	81
2	499	81
3	3027	81
done	5000	81
0	26	52
1	68	44
2	273	44
3	1550	44
done	5001	44
0	39	73
1	108	71
2	398	71
3	2233	71
done	5001	71
0	22	28
1	48	26
2	168	26
3	806	26
4	3049	26
done	5000	26
0	40	85
1	108	77
2	350	77
3	1745	77
done	5001	77
0	20	30
1	47	26
2	142	26
3	604	26
4	2846	26
done	5000	26
0	35	63
1	84	63
2	292	63
3	1518	57
done	5001	57
0	16	18
1	31	18
2	99	18
3	405	18
4	1341	18
5	3155	18
done	5000	18
0	39	81
1	111	75
2	444	75
3	2524	75
done	5001	75
0	22	44
1	58	38
2	231	38
3	1091	38
done	5000	38
0	34	65
1	88	65
2	336	65
3	1798	65
done	5001	65
0	18	20
1	38	20
2	126	20
3	427	20
4	1082	20
5	2402	20
6	3989	20
7	4405	20
8	4486	20
9	4497	20
10	4503	20
done	4503	20
0	36	77
1	98	69
2	297	69
3	1282	69
done	5000	67
0	16	26
1	39	22
2	102	22
3	313	22
4	1011	22
5	2814	22
done	5001	22
0	31	55
1	74	55
2	239	55
3	1064	49
done	5000	47
0	12	14
1	23	14
2	59	14
3	143	14
4	303	14
5	537	14
6	881	14
7	1263	14
8	1482	14
9	1575	14
10	1577	14
done	1577	14
0	35	73
1	101	67
2	382	67
3	1878	67
done	5001	67
0	18	40
1	50	34
2	165	34
3	623	34
4	2028	34
done	5000	34
0	30	57
1	78	57
2	274	57
3	1224	57
done	5002	45
0	14	16
1	30	16
2	60	16
3	101	16
4	132	16
5	148	16
6	149	16
done	149	16
0	35	49
1	88	47
2	272	47
3	1001	47
done	5000	47
0	12	16
1	28	14
2	58	14
3	86	14
4	95	14
5	97	14
done	97	14
0	30	41
1	68	41
2	208	41
3	873	41
done	5000	37
0	8	8
1	18	8
2	20	8
done	20	8
0	24	28
1	61	28
2	212	28
3	1210	28
done	5000	28
0	25	74
1	66	56
2	248	50
3	1428	50
done	5001	50
0	17	18
1	35	18
2	118	18
3	478	18
4	1846	17
done	5001	17
0	23	49
1	58	49
2	201	43
3	1161	43
done	5002	43
0	21	24
1	38	24
2	88	24
3	281	24
4	869	24
5	2660	24
done	5000	24
0	16	18
1	33	18
2	87	18
3	272	18
4	719	18
5	1592	18
6	2728	18
7	4558	18
done	5001	18
0	12	14
1	22	14
2	46	14
3	107	14
4	214	14
5	304	14
6	368	14
7	382	14
8	459	14
9	585	14
10	600	14
done	600	14
0	16	18
1	33	18
2	87	18
3	272	18
4	719	18
5	1592	18
6	2728	18
7	4558	18
done	5001	18
0	16	18
1	27	18
2	65	18
3	202	18
4	561	18
5	1308	18
6	2642	18
7	4070	18
done	5001	18
0	12	14
1	22	14
2	52	14
3	129	14
4	242	14
5	315	14
6	392	14
7	445	14
8	541	14
9	674	14
done	674	14
0	16	18
1	27	18
2	65	18
3	202	18
4	561	18
5	1308	18
6	2642	18
7	4070	18
done	5001	18
0	17	18
1	35	18
2	118	18
3	478	18
4	1846	17
done	5001	17
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	18	21
1	38	21
2	88	19
3	185	19
4	330	17
5	530	17
6	1223	17
7	2492	17
8	2932	17
9	2956	17
10	3018	17
11	3096	17
12	3097	17
done	3097	17
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	1	1
done	1	1
0	12	17
1	30	13
2	69	13
3	155	11
4	291	11
5	381	11
6	617	11
7	896	11
8	1117	11
9	1121	11
done	1121	11
0	12	17
1	30	13
2	69	13
3	155	11
4	291	11
5	381	11
6	617	11
7	896	11
8	1117	11
9	1121	11
done	1121	11
0	14	15
1	28	15
2	61	15
3	96	13
4	110	13
5	129	13
6	199	13
7	433	13
8	732	13
9	742	13
10	776	13
11	797	13
done	797	13
0	12	17
1	30	13
2	75	13
3	133	11
4	169	11
5	212	11
6	316	11
7	516	11
8	680	11
9	770	11
10	901	11
11	1091	11
done	1091	11
0	12	17
1	30	13
2	75	13
3	133	11
4	169	11
5	212	11
6	316	11
7	516	11
8	680	11
9	770	11
10	901	11
11	1091	11
done	1091	11
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3

prune2.9s

Filtered

279 candidates to 299 candidates (-7.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	299	0	299
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	299	3	302

Merged error: 0.0b

Counts

302 → 3

regimes793.0ms

Accuracy

79.4% (2.0b remaining)

Error of 2.2b against oracle of 0.2b and baseline of 9.9b

bsearch326.0ms

Steps

Iters	Range		Point
9	2.170133700301867e-05	2.259941168479486	0.0009378740394048153
12	-4.191742075493308e+146	-3.128194790276969e+98	-3.1815627170935436e+98

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	65	142
1	87	142
done	87	142

end0.0ms

sample3.0s

Algorithm

intervals

Results

846.0ms	7795×	body	80	nan
843.0ms	8000×	body	80	valid

Details

sample102.0ms

simplify1.4s

prune6.0ms

localize29.0ms

rewrite42.0ms

series100.0ms

simplify3.1min

prune283.0ms

localize35.0ms

rewrite63.0ms

series150.0ms

simplify5.6min

prune451.0ms

localize28.0ms

rewrite44.0ms

series84.0ms

simplify2.5min

prune266.0ms

localize33.0ms

rewrite150.0ms

series238.0ms

simplify9.2min

prune2.9s

regimes793.0ms

bsearch326.0ms

simplify7.0ms

end0.0ms

sample3.0s

Profiling