Details

sample69.0ms

Algorithm

intervals

Results

27.0ms

424×

body

valid

simplify4.8s

Counts

1 → 1

Iterations

Useful iterations: 6 (3.0s)

Iter	Nodes	Cost
0	18	19
1	37	19
2	91	19
3	267	19
4	705	19
5	1610	19
6	3639	17
done	5000	17

prune24.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 5.2b

Counts

2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 9.0) y)
0.8b	(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
2.2b	(/ (+ b (* (* x 9.0) y)) z)
8.2b	(/ (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) c)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
13×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
6×	`associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/l/`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv`
1×	`sub-neg` `flip3-+` `diff-log` `div-sub` `associate-l` `*-commutative` `flip-+`

Counts

4 → 89

Calls

4 calls:

6.0ms	(* (* x 9.0) y)
9.0ms	(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
7.0ms	(/ (+ b (* (* x 9.0) y)) z)
12.0ms	(/ (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) c)

series123.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x 9.0) y)
43.0ms	(- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a)))
16.0ms	(/ (+ b (* (* x 9.0) y)) z)
59.0ms	(/ (- (/ (+ b (* (* x 9.0) y)) z) (* 4.0 (* t a))) c)

simplify1.6min

Counts

101 → 101

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	19
1	32	19
2	56	19
3	81	19
4	83	19
done	83	19
0	18	18
1	35	18
2	70	18
3	125	18
4	202	18
5	280	18
6	326	18
7	331	18
done	331	18
0	18	18
1	32	18
2	68	18
3	124	18
4	210	18
5	327	18
6	494	18
7	948	18
8	2648	18
done	5000	18
0	21	53
1	41	53
2	111	21
3	341	19
4	1606	19
done	5000	19
0	19	37
1	33	37
2	66	37
3	120	37
4	197	37
5	275	37
6	321	37
7	327	37
done	327	37
0	18	18
1	32	18
2	65	18
3	119	18
4	196	18
5	274	18
6	320	18
7	326	18
done	326	18
0	19	53
1	40	53
2	101	19
3	335	19
4	1621	19
done	5000	19
0	18	18
1	32	18
2	65	18
3	119	18
4	196	18
5	274	18
6	320	18
7	326	18
done	326	18
0	18	18
1	32	18
2	65	18
3	119	18
4	196	18
5	274	18
6	320	18
7	326	18
done	326	18
0	16	16
1	27	16
2	53	16
3	95	16
4	159	15
5	198	15
6	228	15
7	274	15
8	368	15
9	495	15
10	552	15
11	646	15
12	955	15
13	958	15
14	960	15
done	960	15
0	2	2
done	2	2
0	11	11
1	18	11
2	27	11
3	29	11
done	29	11
0	7	7
1	13	7
2	28	7
3	52	7
4	75	7
5	82	7
6	86	7
done	86	7
0	21	39
1	38	39
2	70	39
3	101	39
4	103	39
done	103	39
0	19	19
1	30	19
2	53	19
3	78	19
4	82	19
done	82	19
0	20	36
1	33	36
2	58	36
3	84	36
4	86	36
done	86	36
0	19	19
1	30	19
2	53	19
3	78	19
4	82	19
done	82	19
0	19	35
1	34	33
2	63	33
3	93	33
4	97	33
done	97	33
0	18	18
1	29	18
2	52	18
3	77	18
4	81	18
done	81	18
0	20	22
1	33	22
2	56	22
3	81	22
4	85	22
done	85	22
0	19	19
1	30	19
2	53	19
3	78	19
4	82	19
done	82	19
0	19	19
1	30	19
2	53	19
3	78	19
4	82	19
done	82	19
0	19	19
1	30	19
2	53	19
3	78	19
4	82	19
done	82	19
0	18	18
1	31	16
2	56	16
3	81	16
4	83	16
done	83	16
0	18	18
1	29	18
2	52	18
3	77	18
4	81	18
done	81	18
0	5	7
1	9	7
done	9	7
0	18	18
1	32	18
2	65	18
3	119	18
4	196	18
5	274	18
6	320	18
7	326	18
done	326	18
0	4	4
1	6	4
done	6	4
0	18	18
1	32	18
2	65	18
3	119	18
4	196	18
5	274	18
6	320	18
7	326	18
done	326	18
0	2	3
1	4	1
done	4	1
0	17	17
1	31	17
2	64	17
3	118	17
4	195	17
5	273	17
6	319	17
7	326	17
done	326	17
0	3	3
1	5	3
done	5	3
0	17	17
1	28	17
2	51	17
3	76	17
4	80	17
done	80	17
0	19	21
1	35	21
2	80	21
3	188	21
4	416	21
5	695	21
6	831	21
7	842	21
done	842	21
0	18	18
1	32	18
2	65	18
3	119	18
4	196	18
5	274	18
6	320	18
7	326	18
done	326	18
0	17	17
1	33	15
2	68	15
3	129	15
4	236	15
5	385	15
6	497	15
done	497	15
0	18	18
1	29	18
2	52	18
3	79	18
4	81	18
done	81	18
0	18	18
1	29	18
2	52	18
3	79	18
4	81	18
done	81	18
0	17	17
1	28	17
2	51	17
3	76	17
4	80	17
done	80	17
0	21	49
1	59	43
2	191	43
3	638	39
4	1742	39
5	3324	39
done	5001	39
0	17	17
1	34	17
2	63	17
3	107	17
4	143	17
5	182	17
6	216	17
7	286	17
8	398	17
9	484	17
10	538	17
11	544	17
done	544	17
0	11	11
1	18	11
2	25	11
3	27	11
done	27	11
0	10	10
1	18	10
2	26	10
3	27	10
done	27	10
0	10	10
1	15	10
2	21	10
done	21	10
0	13	29
1	39	29
2	131	13
3	513	11
4	1914	11
done	5000	11
0	11	21
1	16	21
2	22	21
3	24	21
done	24	21
0	10	10
1	15	10
2	21	10
done	21	10
0	11	29
1	23	29
2	61	11
3	181	11
4	590	11
5	1949	11
done	5000	11
0	10	10
1	15	10
2	21	10
done	21	10
0	10	10
1	15	10
2	21	10
done	21	10
0	8	8
1	16	8
2	34	8
3	62	8
4	64	8
done	64	8
0	2	2
done	2	2
0	13	23
1	24	23
2	39	23
3	47	23
done	47	23
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	12	20
1	19	20
2	27	20
3	30	20
done	30	20
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	19
1	20	17
2	32	17
3	37	17
done	37	17
0	10	10
1	15	10
2	21	10
done	21	10
0	12	14
1	19	14
2	25	14
3	27	14
done	27	14
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	10	10
1	17	8
2	25	8
3	27	8
done	27	8
0	10	10
1	15	10
2	21	10
done	21	10
0	5	7
1	9	7
done	9	7
0	10	10
1	15	10
2	21	10
done	21	10
0	4	4
1	6	4
done	6	4
0	10	10
1	15	10
2	21	10
done	21	10
0	2	3
1	4	1
done	4	1
0	9	9
1	14	9
2	20	9
3	22	9
done	22	9
0	3	3
1	5	3
done	5	3
0	9	9
1	14	9
2	20	9
done	20	9
0	11	13
1	18	13
2	24	13
done	24	13
0	10	10
1	15	10
2	21	10
done	21	10
0	9	9
1	16	7
2	24	7
done	24	7
0	10	10
1	15	10
2	21	10
done	21	10
0	10	10
1	15	10
2	21	10
done	21	10
0	9	9
1	14	9
2	20	9
done	20	9
0	13	25
1	41	19
2	141	19
3	539	19
4	1454	19
5	2061	19
6	2168	19
7	2370	19
8	3545	19
done	5000	19
0	9	9
1	16	9
2	39	9
3	93	9
4	204	9
5	260	9
6	272	9
done	272	9
0	17	17
1	30	16
2	52	16
3	100	16
4	210	16
5	445	16
6	1194	16
7	3999	16
done	5000	16
0	16	16
1	27	16
2	50	16
3	77	16
4	79	16
done	79	16
0	16	16
1	30	16
2	61	16
3	118	16
4	211	16
5	485	16
6	1361	16
7	4906	16
done	5000	16
0	17	33
1	28	33
2	51	33
3	78	33
4	82	33
done	82	33
0	16	16
1	27	16
2	50	16
3	77	16
4	79	16
done	79	16
0	17	47
1	29	47
2	66	17
3	190	17
4	951	17
5	4899	17
done	5000	17
0	16	16
1	27	16
2	50	16
3	77	16
4	79	16
done	79	16
0	16	16
1	27	16
2	50	16
3	77	16
4	79	16
done	79	16
0	18	19
1	48	19
2	150	19
3	682	19
4	3397	19
done	5001	19
0	19	47
1	50	41
2	157	41
3	449	37
4	797	37
5	1416	37
6	2596	37
7	4921	37
done	5000	37
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	17	31
1	42	31
2	126	31
3	437	31
4	1161	31
5	1790	31
6	2704	31
done	5000	31
0	15	15
1	25	15
2	37	15
3	41	15
done	41	15
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	19	23
1	44	23
2	122	23
3	286	23
4	580	23
5	758	23
6	890	23
7	1606	23
8	2772	23
9	3191	23
10	3270	23
11	3574	23
done	3574	23
0	1	1
done	1	1
0	1	1
done	1	1
0	10	11
1	17	11
2	31	11
3	52	11
4	81	11
5	92	11
done	92	11
0	10	11
1	17	11
2	31	11
3	52	11
4	81	11
5	92	11
done	92	11
0	10	11
1	17	11
2	31	11
3	52	11
4	81	11
5	92	11
done	92	11
0	10	11
1	17	11
2	31	11
3	52	11
4	81	11
5	92	11
done	92	11
0	13	13
1	25	13
2	56	13
3	102	13
4	133	13
5	144	13
done	144	13
0	13	13
1	25	13
2	56	13
3	102	13
4	133	13
5	144	13
done	144	13
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune247.0ms

Filtered

82 candidates to 101 candidates (-23.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	89	12	101
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	90	13	103

Merged error: 4.9b

Counts

103 → 13

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 9.0 (/ (* x y) (* z c)))
5.4b	(/ (* a t) c)
5.5b	(/ b (* z c))
10.0b	(/ (* x y) (* z c))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-exp-log` `add-cbrt-cube`
15×	`prod-exp` `cbrt-unprod`
12×	`cbrt-undiv` `add-sqr-sqrt` `div-exp`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`times-frac`
6×	`pow1`
5×	`associate-r` `associate-/r` `associate-/l`
4×	`div-inv` `add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num`
1×	`associate-r/` `pow-prod-down` `-commutative` `unswap-sqr`

Counts

4 → 92

Calls

4 calls:

9.0ms	(* 9.0 (/ (* x y) (* z c)))
5.0ms	(/ (* a t) c)
5.0ms	(/ b (* z c))
7.0ms	(/ (* x y) (* z c))

series32.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* 9.0 (/ (* x y) (* z c)))
6.0ms	(/ (* a t) c)
5.0ms	(/ b (* z c))
9.0ms	(/ (* x y) (* z c))

simplify2.1min

Counts

104 → 104

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	41	11
3	78	11
4	135	11
5	227	11
6	373	11
7	475	11
8	492	11
done	492	11
0	10	10
1	19	10
2	34	10
3	62	10
4	114	10
5	188	10
6	331	10
7	474	10
8	518	10
done	518	10
0	10	10
1	19	10
2	35	10
3	71	10
4	129	10
5	202	10
6	318	10
7	452	10
8	479	10
9	480	10
done	480	10
0	9	9
1	19	9
2	31	9
3	57	9
4	105	9
5	166	9
6	272	9
7	441	9
8	489	9
9	491	9
done	491	9
0	8	8
1	20	8
2	58	8
3	125	8
4	219	8
5	322	8
6	470	8
7	629	8
8	674	8
9	675	8
done	675	8
0	8	8
1	17	8
2	40	8
3	79	8
4	113	8
5	169	8
6	318	8
7	715	8
8	2398	8
done	5001	8
0	15	23
1	36	23
2	229	15
3	1885	15
done	5000	15
0	13	23
1	38	23
2	251	13
3	2325	13
done	5001	13
0	13	23
1	38	23
2	232	13
3	2103	13
done	5000	13
0	11	23
1	40	23
2	258	11
3	2627	9
done	5001	9
0	9	17
1	18	17
2	39	17
3	66	17
4	77	17
done	77	17
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	9	23
1	25	23
2	128	9
3	1015	9
done	5000	9
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
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	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
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	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	9	9
1	21	9
2	68	9
3	172	9
4	356	9
5	451	9
6	454	9
done	454	9
0	14	14
1	25	14
2	68	14
3	167	14
4	396	14
5	871	14
6	1579	14
7	2090	14
8	2145	14
9	2146	14
done	2146	14
0	13	13
1	25	13
2	55	13
3	127	13
4	304	13
5	693	13
6	1308	13
7	1970	13
8	2122	13
9	2125	13
done	2125	13
0	13	13
1	25	13
2	57	13
3	149	13
4	346	13
5	766	13
6	1342	13
7	2018	13
8	2093	13
9	2095	13
done	2095	13
0	12	12
1	25	12
2	47	12
3	114	12
4	268	12
5	618	12
6	1104	12
7	1898	12
8	2078	12
9	2083	12
done	2083	12
0	11	11
1	24	11
2	66	11
3	167	11
4	368	11
5	785	11
6	1403	11
7	2099	11
8	2246	11
9	2252	11
done	2252	11
0	10	10
1	25	10
2	87	10
3	263	10
4	676	10
5	1337	10
6	2187	10
7	2883	10
8	3054	10
9	3060	10
done	3060	10
0	10	10
1	24	10
2	77	10
3	230	10
4	605	10
5	1376	10
6	3178	10
done	5000	10
0	19	29
1	46	29
2	299	19
3	3296	19
done	5001	19
0	17	29
1	48	29
2	316	17
3	3715	17
done	5001	17
0	17	29
1	48	29
2	300	17
3	3468	17
done	5000	17
0	15	29
1	50	29
2	321	15
3	3989	13
done	5000	13
0	13	29
1	35	29
2	177	13
3	1573	13
done	5001	13
0	11	21
1	23	21
2	70	21
3	176	21
4	362	21
5	461	21
6	464	21
done	464	21
0	10	10
1	22	10
2	69	10
3	172	10
4	358	10
5	453	10
6	456	10
done	456	10
0	11	29
1	33	29
2	164	11
3	1384	11
done	5001	11
0	10	10
1	22	10
2	69	10
3	172	10
4	358	10
5	453	10
6	456	10
done	456	10
0	10	10
1	22	10
2	69	10
3	172	10
4	358	10
5	453	10
6	456	10
done	456	10
0	11	11
1	21	11
2	42	11
3	69	11
4	80	11
done	80	11
0	11	11
1	21	11
2	42	11
3	69	11
4	80	11
done	80	11
0	11	19
1	23	19
2	46	19
3	73	19
4	84	19
done	84	19
0	10	10
1	20	10
2	41	10
3	68	10
4	79	10
done	79	10
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	3	3
1	6	1
done	6	1
0	5	5
1	9	5
2	15	5
done	15	5
0	10	10
1	22	10
2	69	10
3	175	10
4	361	10
5	458	10
6	461	10
done	461	10
0	10	10
1	22	10
2	69	10
3	175	10
4	361	10
5	458	10
6	461	10
done	461	10
0	9	9
1	21	9
2	68	9
3	172	9
4	356	9
5	451	9
6	454	9
done	454	9
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	9	9
1	21	9
2	68	9
3	172	9
4	356	9
5	451	9
6	454	9
done	454	9
0	9	9
1	21	9
2	68	9
3	172	9
4	356	9
5	451	9
6	454	9
done	454	9
0	9	9
1	21	9
2	68	9
3	172	9
4	356	9
5	451	9
6	454	9
done	454	9

prune224.0ms

Filtered

84 candidates to 104 candidates (-23.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	98	6	104
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	103	14	117

Merged error: 0.5b

Counts

117 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

4.8b	(/ x (/ (* z c) y))
5.4b	(/ (* a t) c)
5.5b	(/ b (* z c))
5.6b	(/ (* z c) y)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

42×	`times-frac`
28×	`add-exp-log` `add-cbrt-cube`
26×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
14×	`associate-/r*`
11×	`cbrt-undiv` `div-exp`
8×	`div-inv` `associate-/l*`
4×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`associate-/r/`

Counts

4 → 111

Calls

4 calls:

13.0ms	(/ x (/ (* z c) y))
6.0ms	(/ (* a t) c)
5.0ms	(/ b (* z c))
6.0ms	(/ (* z c) y)

series29.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ x (/ (* z c) y))
6.0ms	(/ (* a t) c)
7.0ms	(/ b (* z c))
6.0ms	(/ (* z c) y)

simplify1.6min

Counts

123 → 123

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
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	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
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	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
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	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	11	11
1	20	11
2	42	11
3	83	11
4	144	11
5	215	11
6	357	11
7	478	11
8	499	11
done	499	11
0	10	10
1	20	10
2	35	10
3	70	10
4	134	10
5	212	10
6	329	10
7	469	10
8	500	10
done	500	10
0	9	9
1	17	9
2	32	9
3	62	9
4	119	9
5	209	9
6	300	9
7	415	9
8	517	9
9	533	9
done	533	9
0	8	8
1	16	8
2	38	8
3	85	8
4	166	8
5	274	8
6	383	8
7	478	8
8	571	8
9	645	8
10	646	8
done	646	8
0	8	8
1	13	8
2	27	8
3	57	8
4	90	8
5	143	8
6	265	8
7	582	8
8	1567	8
done	5001	8
0	15	23
1	35	23
2	195	15
3	1370	15
done	5001	15
0	13	23
1	37	23
2	194	13
3	1482	11
done	5000	11
0	11	23
1	29	23
2	116	11
3	657	9
done	5000	9
0	9	17
1	14	17
2	26	17
3	48	17
4	66	17
5	76	17
6	81	17
done	81	17
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	9	23
1	21	23
2	72	9
3	434	9
4	4005	9
done	5000	9
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	2	2
done	2	2
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	11	19
1	20	19
2	33	19
3	42	19
4	43	19
done	43	19
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	12
1	15	12
2	21	12
3	25	12
4	26	12
done	26	12
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	13
1	15	13
2	30	13
3	58	13
4	94	13
5	116	13
6	126	13
7	135	13
8	137	13
done	137	13
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	12	10
2	21	10
3	31	10
4	41	10
5	45	10
6	47	10
7	48	10
done	48	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	9
1	13	7
2	22	7
3	41	7
4	48	7
5	52	7
6	60	7
7	63	7
done	63	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	7	9
1	15	9
2	28	9
3	40	9
4	42	9
done	42	9
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	10	16
1	15	16
2	19	16
3	22	16
4	23	16
done	23	16
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
5	40	10
6	46	10
7	51	10
done	51	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	10	4
2	15	4
3	20	4
4	22	4
5	25	4
6	30	4
7	31	4
done	31	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	9	15
1	16	15
2	20	15
3	23	15
4	24	15
done	24	15
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	8	8
1	13	8
2	17	8
3	20	8
4	21	8
done	21	8
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	9
1	13	9
2	20	9
3	28	7
4	52	7
5	67	7
done	67	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	5
1	8	3
2	12	3
done	12	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	24	7
3	46	7
4	64	7
5	74	7
6	79	7
done	79	7
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	7	7
1	14	7
2	26	7
3	48	5
4	61	5
5	97	5
6	155	5
7	157	5
done	157	5
0	7	7
1	12	7
2	30	7
3	57	7
4	77	7
done	77	7
0	9	15
1	14	15
2	18	15
3	21	15
4	22	15
done	22	15
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	9
1	11	9
2	18	9
3	26	9
4	30	9
5	39	9
6	45	9
7	50	9
done	50	9
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	5
1	9	3
2	14	3
3	19	3
done	19	3
0	3	3
1	5	1
done	5	1
0	5	5
1	8	5
2	10	5
done	10	5
0	8	8
1	13	8
2	31	8
3	58	8
4	78	8
done	78	8
0	8	8
1	13	8
2	31	8
3	58	8
4	78	8
done	78	8
0	7	7
1	12	7
2	30	7
3	57	7
4	77	7
done	77	7
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7

prune220.0ms

Filtered

103 candidates to 123 candidates (-19.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	119	4	123
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	124	13	137

Merged error: 0.0b

Counts

137 → 13

localize26.0ms

Local error

Found 4 expressions with local error:

3.4b	(* (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
4.8b	(/ x (/ (* z c) y))
5.5b	(/ b (* z c))
5.6b	(/ (* z c) y)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

67×	`times-frac`
55×	`add-sqr-sqrt`
44×	`add-exp-log`
39×	`add-cube-cbrt` `*-un-lft-identity`
37×	`add-cbrt-cube`
22×	`associate-r`
16×	`cbrt-undiv` `div-exp`
11×	`cbrt-prod` `prod-exp` `associate-/r*` `cbrt-unprod`
9×	`div-inv`
7×	`associate-l` `associate-/l*`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `associate-/r/` `*-commutative`

Counts

4 → 149

Calls

4 calls:

18.0ms	(* (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
7.0ms	(/ x (/ (* z c) y))
5.0ms	(/ b (* z c))
5.0ms	(/ (* z c) y)

series33.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
11.0ms	(/ x (/ (* z c) y))
5.0ms	(/ b (* z c))
6.0ms	(/ (* z c) y)

simplify2.3min

Counts

161 → 161

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
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	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
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	11	11
1	20	11
2	42	11
3	83	11
4	144	11
5	215	11
6	357	11
7	478	11
8	499	11
done	499	11
0	10	10
1	20	10
2	35	10
3	70	10
4	134	10
5	212	10
6	329	10
7	469	10
8	500	10
done	500	10
0	9	9
1	17	9
2	32	9
3	62	9
4	119	9
5	209	9
6	300	9
7	415	9
8	517	9
9	533	9
done	533	9
0	8	8
1	16	8
2	38	8
3	85	8
4	166	8
5	274	8
6	383	8
7	478	8
8	571	8
9	645	8
10	646	8
done	646	8
0	8	8
1	13	8
2	27	8
3	57	8
4	90	8
5	143	8
6	265	8
7	582	8
8	1567	8
done	5001	8
0	15	23
1	35	23
2	195	15
3	1370	15
done	5001	15
0	13	23
1	37	23
2	194	13
3	1482	11
done	5000	11
0	11	23
1	29	23
2	116	11
3	657	9
done	5000	9
0	9	17
1	14	17
2	26	17
3	48	17
4	66	17
5	76	17
6	81	17
done	81	17
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	9	23
1	21	23
2	72	9
3	434	9
4	4005	9
done	5000	9
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	2	2
done	2	2
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	11	19
1	20	19
2	33	19
3	42	19
4	43	19
done	43	19
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	12
1	15	12
2	21	12
3	25	12
4	26	12
done	26	12
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	13
1	15	13
2	30	13
3	58	13
4	94	13
5	116	13
6	126	13
7	135	13
8	137	13
done	137	13
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	12	10
2	21	10
3	31	10
4	41	10
5	45	10
6	47	10
7	48	10
done	48	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	9
1	13	7
2	22	7
3	41	7
4	48	7
5	52	7
6	60	7
7	63	7
done	63	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	7	9
1	15	9
2	28	9
3	40	9
4	42	9
done	42	9
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	10	16
1	15	16
2	19	16
3	22	16
4	23	16
done	23	16
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
5	40	10
6	46	10
7	51	10
done	51	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	10	4
2	15	4
3	20	4
4	22	4
5	25	4
6	30	4
7	31	4
done	31	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	9	15
1	16	15
2	20	15
3	23	15
4	24	15
done	24	15
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	8	8
1	13	8
2	17	8
3	20	8
4	21	8
done	21	8
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	9
1	13	9
2	20	9
3	28	7
4	52	7
5	67	7
done	67	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	5
1	8	3
2	12	3
done	12	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	24	7
3	46	7
4	64	7
5	74	7
6	79	7
done	79	7
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	7	7
1	14	7
2	26	7
3	48	5
4	61	5
5	97	5
6	155	5
7	157	5
done	157	5
0	7	7
1	12	7
2	30	7
3	57	7
4	77	7
done	77	7
0	9	15
1	14	15
2	18	15
3	21	15
4	22	15
done	22	15
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	9
1	11	9
2	18	9
3	26	9
4	30	9
5	39	9
6	45	9
7	50	9
done	50	9
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	5
1	9	3
2	14	3
3	19	3
done	19	3
0	3	3
1	5	1
done	5	1
0	5	5
1	8	5
2	10	5
done	10	5
0	8	8
1	13	8
2	31	8
3	58	8
4	78	8
done	78	8
0	8	8
1	13	8
2	31	8
3	58	8
4	78	8
done	78	8
0	7	7
1	12	7
2	30	7
3	57	7
4	77	7
done	77	7
0	5	5
1	8	5
2	10	5
done	10	5
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	11	17
1	24	15
2	62	15
3	155	15
4	321	12
5	483	11
6	625	11
7	668	11
done	668	11
0	11	16
1	22	14
2	53	14
3	125	14
4	277	14
5	443	11
6	586	11
7	632	11
done	632	11
0	12	16
1	22	16
2	52	15
3	143	15
4	293	12
5	457	11
6	602	11
7	647	11
done	647	11
0	11	15
1	20	15
2	45	14
3	116	14
4	260	14
5	429	11
6	570	11
7	616	11
done	616	11
0	11	15
1	21	15
2	39	15
3	101	15
4	224	14
5	461	11
6	592	11
7	665	11
8	667	11
done	667	11
0	10	14
1	19	14
2	34	14
3	81	14
4	192	14
5	403	12
6	565	11
7	648	11
8	665	11
done	665	11
0	9	13
1	19	13
2	51	13
3	118	13
4	270	9
5	498	6
6	800	6
7	987	6
8	1065	6
9	1092	6
10	1156	6
11	1364	6
12	2301	6
done	5000	6
0	9	13
1	18	13
2	43	13
3	89	13
4	164	9
5	281	6
6	578	6
7	2278	6
done	5000	6
0	11	17
1	27	17
2	96	13
3	381	13
4	1504	11
5	4326	9
done	5000	9
0	12	24
1	32	24
2	116	14
3	489	14
4	2600	13
done	5000	13
0	14	31
1	38	31
2	167	17
3	1120	13
done	5001	13
0	14	38
1	42	38
2	186	18
3	1257	13
done	5000	13
0	12	31
1	29	31
2	110	15
3	544	15
4	3212	13
done	5000	13
0	12	38
1	33	38
2	129	16
3	636	16
4	3855	13
done	5000	7
0	10	27
1	17	27
2	36	27
3	70	27
4	105	19
5	116	13
6	120	13
7	126	13
8	136	13
9	157	13
10	217	13
11	435	13
12	1370	13
done	5000	13
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	10	38
1	27	38
2	129	14
3	786	14
4	3968	7
done	5000	7
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	3	3
1	4	3
done	4	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	10	14
1	13	14
done	13	14
0	10	14
1	13	14
done	13	14
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	19
1	17	19
2	35	19
3	69	19
4	115	19
5	142	19
6	151	19
7	152	19
done	152	19
0	9	13
1	14	13
2	25	13
3	38	13
4	48	13
5	51	13
done	51	13
0	11	20
1	20	20
2	48	20
3	134	20
4	334	20
5	569	20
6	639	20
7	647	20
done	647	20
0	12	17
1	21	17
2	49	17
3	135	17
4	335	17
5	571	17
6	641	17
7	649	17
done	649	17
0	12	16
1	23	15
2	51	15
3	134	13
4	384	13
5	584	13
6	618	13
done	618	13
0	12	21
1	25	21
2	76	21
3	238	21
4	706	21
5	1497	21
6	1760	21
7	1774	21
done	1774	21
0	11	17
1	20	17
2	48	17
3	134	17
4	334	17
5	569	17
6	639	17
7	647	17
done	647	17
0	11	15
1	22	13
2	56	13
3	192	13
4	471	13
5	622	13
6	624	13
done	624	13
0	10	17
1	17	17
2	36	17
3	79	17
4	151	17
5	202	17
6	209	17
done	209	17
0	11	14
1	18	14
2	37	14
3	80	14
4	152	14
5	202	14
6	209	14
done	209	14
0	11	13
1	20	12
2	39	12
3	82	10
4	223	10
5	329	10
6	342	10
done	342	10
0	11	18
1	20	18
2	49	18
3	126	18
4	303	18
5	505	18
6	539	18
done	539	18
0	10	14
1	17	14
2	36	14
3	79	14
4	151	14
5	202	14
6	209	14
done	209	14
0	10	12
1	19	10
2	40	10
3	97	10
4	205	10
5	226	10
done	226	10
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	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	7	9
1	12	9
2	20	9
3	32	9
4	44	9
5	47	9
done	47	9
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	8	12
1	17	12
2	35	10
3	102	10
4	201	6
5	221	3
6	227	3
7	235	3
8	257	3
9	319	3
10	471	3
11	907	3
12	2492	3
done	5000	3
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	6	6
1	9	6
2	12	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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune205.0ms

Filtered

136 candidates to 161 candidates (-18.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	163	11	174

Merged error: 0.0b

Counts

174 → 11

regimes1.7s

Accuracy

21.8% (7.4b remaining)

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

bsearch161.0ms

Steps

Iters	Range		Point
9	7.898889050037651e+33	7.751080743387376e+39	7.932277642601412e+36
8	-5.39561843360965e-29	-1.1992445919679392e-33	-1.8804472972176997e-32
9	-1.228977158078264e+110	-9.607710151804112e+104	-4.384100463877205e+105
7	-3.6772385034208694e+187	-6.262999030608716e+185	-3.7242020023869538e+186

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	51	133
1	68	105
done	68	105

end0.0ms

sample2.0s

Algorithm

intervals

Results

865.0ms

12748×

body

valid

Details

sample69.0ms

simplify4.8s

prune24.0ms

localize14.0ms

rewrite37.0ms

series123.0ms

simplify1.6min

prune247.0ms

localize22.0ms

rewrite30.0ms

series32.0ms

simplify2.1min

prune224.0ms

localize16.0ms

rewrite33.0ms

series29.0ms

simplify1.6min

prune220.0ms

localize26.0ms

rewrite42.0ms

series33.0ms

simplify2.3min

prune205.0ms

regimes1.7s

bsearch161.0ms

simplify5.0ms

end0.0ms

sample2.0s

Profiling