Details

sample35.0ms

Algorithm

intervals

Results

11.0ms

287×

body

valid

simplify583.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	21	11
2	34	11
3	54	11
4	86	11
5	116	11
6	144	11
7	161	11
8	187	11
9	221	11
10	287	11
11	376	11
12	422	11
13	500	11
14	522	11
done	522	11

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 1.5b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- z a))))
0.0b	(/ (- z t) (- z a))
3.0b	(* y (/ (- z t) (- z a)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

4.0ms	(+ x (* y (/ (- z t) (- z a))))
9.0ms	(/ (- z t) (- z a))
16.0ms	(* y (/ (- z t) (- z a)))

series65.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(+ x (* y (/ (- z t) (- z a))))
10.0ms	(/ (- z t) (- z a))
23.0ms	(* y (/ (- z t) (- z a)))

simplify55.1s

Counts

122 → 122

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	18	9
2	31	9
3	51	9
4	79	9
5	102	9
6	123	9
7	133	9
8	143	9
done	143	9
0	11	12
1	20	12
2	29	12
3	38	12
4	44	12
5	54	12
6	61	12
7	73	12
8	96	12
9	110	12
10	116	12
done	116	12
0	10	11
1	21	11
2	31	11
3	42	11
4	52	11
5	61	11
6	66	11
7	75	11
8	92	11
9	111	11
10	119	11
done	119	11
0	9	10
1	22	10
2	41	10
3	71	10
4	118	10
5	155	10
6	188	10
7	216	10
8	242	10
9	249	10
10	266	10
11	268	10
done	268	10
0	9	10
1	21	10
2	40	10
3	78	10
4	159	10
5	327	10
6	673	10
7	1923	10
done	5001	10
0	14	29
1	33	29
2	140	15
3	643	13
4	2877	13
done	5000	13
0	12	29
1	32	29
2	97	13
3	400	13
4	1913	11
done	5001	11
0	10	21
1	20	21
2	33	21
3	53	21
4	81	21
5	104	21
6	125	21
7	135	21
8	145	21
done	145	21
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	10	29
1	30	29
2	94	11
3	393	11
4	1926	11
done	5000	11
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	10	11
1	18	11
2	22	11
3	24	11
done	24	11
0	10	11
1	18	11
2	22	11
3	24	11
done	24	11
0	11	12
1	18	12
2	23	12
3	27	12
4	28	12
done	28	12
0	11	12
1	18	12
2	23	12
3	27	12
4	28	12
done	28	12
0	10	19
1	20	19
2	26	19
3	28	19
done	28	19
0	9	10
1	17	10
2	21	10
3	23	10
done	23	10
0	12	21
1	25	21
2	56	21
3	95	21
4	151	21
5	163	21
done	163	21
0	11	16
1	20	16
2	32	16
3	47	16
4	60	16
5	62	16
done	62	16
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	12	17
1	20	17
2	31	17
3	46	17
4	59	17
5	61	17
done	61	17
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	11	16
1	20	16
2	33	16
3	47	16
4	59	16
done	59	16
0	10	11
1	17	11
2	22	11
3	26	11
4	27	11
done	27	11
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	11	12
1	17	12
2	21	12
3	25	12
4	26	12
done	26	12
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	12	17
1	20	17
2	40	17
3	54	17
4	82	17
5	88	17
6	108	17
7	134	17
8	148	17
9	153	17
10	154	17
11	156	17
12	157	17
done	157	17
0	11	12
1	17	12
2	29	12
3	33	12
4	42	12
5	44	12
6	50	12
7	54	12
8	60	12
9	62	12
done	62	12
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	11	13
1	16	13
2	27	13
3	31	13
4	40	13
5	42	13
6	48	13
7	52	13
8	58	13
9	60	13
done	60	13
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	13
1	34	13
2	68	13
3	136	13
4	323	13
5	1096	13
6	4977	13
done	5000	13
0	10	13
1	23	13
2	53	13
3	117	13
4	230	13
5	431	13
6	673	13
7	1129	13
8	3049	13
done	5001	13
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	8	9
1	18	9
2	31	9
3	51	9
4	79	9
5	102	9
6	123	9
7	133	9
8	143	9
done	143	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	14	9
2	17	9
done	17	9
0	7	8
1	17	8
2	23	8
3	26	8
done	26	8
0	7	8
1	14	8
2	21	8
3	25	8
4	28	8
5	34	8
6	38	8
7	54	8
8	58	8
9	65	8
10	74	8
11	95	8
12	116	8
13	133	8
14	140	8
15	146	8
16	149	8
done	149	8
0	10	23
1	23	23
2	84	11
3	259	9
4	758	9
5	2795	9
done	5000	9
0	8	17
1	15	17
2	19	17
3	21	17
done	21	17
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	8	23
1	22	23
2	54	9
3	186	9
4	613	9
5	1967	9
done	5002	9
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	7	5
2	8	5
done	8	5
0	10	19
1	20	19
2	31	19
3	37	19
done	37	19
0	8	9
1	12	9
2	14	9
done	14	9
0	9	14
1	15	14
2	19	14
3	20	14
done	20	14
0	8	9
1	12	9
2	14	9
done	14	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	11	8
2	13	8
done	13	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	11	8
2	13	8
done	13	8
0	9	14
1	15	14
2	17	14
done	17	14
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	11	8
2	13	8
done	13	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	11	8
2	13	8
done	13	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	16	11
2	20	11
3	22	11
done	22	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	8	13
1	17	13
2	26	13
3	31	13
4	34	13
done	34	13
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	9	11
1	29	11
2	54	11
3	96	11
4	205	11
5	583	11
6	2469	11
done	5000	11
0	8	11
1	18	11
2	34	11
3	60	11
4	93	11
5	136	11
6	201	11
7	369	11
8	1647	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	206	13
4	506	13
5	1287	13
6	2743	13
done	5000	13
0	6	7
1	16	7
2	35	7
3	62	7
4	110	7
5	166	7
6	247	7
7	445	7
8	721	7
9	779	7
10	795	7
done	795	7
0	12	13
1	27	12
2	47	12
3	89	12
4	186	12
5	398	12
6	888	12
7	2600	12
done	5000	12
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	11	12
1	25	12
2	43	12
3	75	12
4	138	12
5	266	12
6	548	12
7	1276	12
8	4458	12
done	5001	12
0	12	25
1	23	25
2	36	25
3	56	25
4	88	25
5	118	25
6	146	25
7	163	25
8	189	25
9	223	25
10	289	25
11	378	25
12	424	25
13	502	25
14	524	25
done	524	25
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	12	35
1	36	35
2	105	13
3	385	13
4	1767	13
done	5000	13
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	13	15
1	40	15
2	104	15
3	369	15
4	1832	15
done	5001	15
0	14	35
1	41	25
2	120	25
3	375	25
4	1293	25
5	3659	25
done	5001	25
0	12	23
1	34	23
2	93	23
3	314	23
4	1305	23
5	4743	23
done	5000	23
0	10	11
1	22	11
2	44	11
3	85	11
4	168	11
5	268	11
6	311	11
7	338	11
8	371	11
9	434	11
10	523	11
11	524	11
done	524	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune157.0ms

Filtered

87 candidates to 122 candidates (-40.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	117	5	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	6	123

Merged error: 0.0b

Counts

123 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z a))
0.5b	(cbrt (- z t))
0.5b	(cbrt (- z t))
0.5b	(cbrt (- z t))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

20×	`cbrt-prod`
16×	`add-sqr-sqrt` `*-un-lft-identity`
8×	`add-cube-cbrt` `cbrt-div`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

3.0ms	(cbrt (- z a))
4.0ms	(cbrt (- z t))
4.0ms	(cbrt (- z t))
4.0ms	(cbrt (- z t))

series132.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(cbrt (- z a))
30.0ms	(cbrt (- z t))
31.0ms	(cbrt (- z t))
35.0ms	(cbrt (- z t))

simplify1.2min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2

prune108.0ms

Filtered

56 candidates to 72 candidates (-28.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	72	6	78

Merged error: 0b

Counts

78 → 6

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z t))
0.5b	(cbrt (- z t))
0.5b	(cbrt (- z t))
0.5b	(cbrt (* (cbrt (- z t)) (cbrt (- z t))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`cbrt-div`
16×	`cbrt-prod`
13×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`flip3--` `flip--`
7×	`add-cube-cbrt`
4×	`pow1` `add-exp-log` `frac-times` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`associate-r/` `associate-l/`

Counts

4 → 62

Calls

4 calls:

4.0ms	(cbrt (- z t))
4.0ms	(cbrt (- z t))
3.0ms	(cbrt (- z t))
11.0ms	(cbrt (* (cbrt (- z t)) (cbrt (- z t))))

series132.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt (- z t))
31.0ms	(cbrt (- z t))
34.0ms	(cbrt (- z t))
35.0ms	(cbrt (* (cbrt (- z t)) (cbrt (- z t))))

simplify1.5min

Counts

74 → 74

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	9	11
2	10	11
done	10	11
0	7	11
1	9	11
2	10	11
done	10	11
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	9	18
1	24	18
2	46	18
3	80	18
4	170	18
5	497	18
6	2247	18
done	5000	18
0	10	26
1	17	22
2	25	22
3	26	22
4	27	22
done	27	22
0	13	18
1	32	18
2	59	18
3	104	18
4	219	18
5	590	18
6	2421	18
done	5001	18
0	12	18
1	20	16
2	27	16
3	28	16
4	29	16
done	29	16
0	13	18
1	32	18
2	59	18
3	104	18
4	216	18
5	595	18
6	2428	18
done	5000	18
0	12	18
1	20	16
2	27	16
3	28	16
4	29	16
done	29	16
0	8	18
1	13	18
2	20	18
3	35	18
4	60	18
5	101	18
6	159	18
7	327	18
8	1602	18
done	5000	18
0	6	10
1	7	10
done	7	10
0	11	14
1	29	14
2	51	14
3	85	14
4	170	14
5	498	14
6	2270	14
done	5000	14
0	9	13
1	16	11
2	24	11
3	25	11
4	26	11
done	26	11
0	10	14
1	17	14
2	29	14
3	54	14
4	82	14
5	131	14
6	282	14
7	1423	14
done	5000	14
0	5	5
1	6	5
done	6	5
0	11	14
1	29	14
2	51	14
3	85	14
4	173	14
5	505	14
6	2272	14
done	5001	14
0	9	13
1	16	11
2	24	11
3	25	11
4	26	11
done	26	11
0	10	14
1	17	14
2	29	14
3	54	14
4	82	14
5	139	14
6	288	14
7	1436	14
done	5000	14
0	5	5
1	6	5
done	6	5
0	8	23
1	10	23
2	11	23
done	11	23
0	7	11
1	9	11
2	10	11
done	10	11
0	8	32
1	11	32
2	14	12
3	19	9
4	25	9
5	35	9
6	56	9
7	116	9
8	333	9
9	1264	9
done	5000	9
0	7	11
1	9	11
2	10	11
done	10	11
0	7	11
1	9	11
2	10	11
done	10	11
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	30	42
1	70	39
2	157	31
3	453	25
4	1393	19
done	5000	19
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	126	7
4	324	5
5	873	5
6	2891	3
done	5000	3
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2

prune127.0ms

Filtered

60 candidates to 74 candidates (-23.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	74	6	80

Merged error: 0b

Counts

80 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
1.5b	(* (cbrt y) (/ (- z t) (- z a)))
1.6b	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
32×	`associate-r`
30×	`add-exp-log`
27×	`times-frac`
19×	`add-cube-cbrt`
18×	`pow1` `add-cbrt-cube`
15×	`prod-exp` `cbrt-unprod`
11×	`cbrt-prod`
10×	`distribute-lft-out--` `difference-of-squares`
9×	`pow-prod-down`
7×	`associate-l`
4×	`add-log-exp` `unswap-sqr`
3×	`cbrt-undiv` `associate-*r/` `div-exp`
2×	`pow1/3` `associate-/r/` `*-commutative`
1×	`flip3--` `flip--` `div-inv`

Counts

4 → 104

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
18.0ms	(* (cbrt y) (/ (- z t) (- z a)))
20.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

series143.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt y)
25.0ms	(cbrt y)
67.0ms	(* (cbrt y) (/ (- z t) (- z a)))
24.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

simplify1.8min

Counts

116 → 116

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	11	16
1	26	16
2	55	16
3	128	12
4	250	9
5	441	9
6	652	9
7	825	9
8	925	9
9	1014	9
10	1220	9
11	2143	9
done	5001	9
0	11	16
1	26	16
2	55	16
3	128	12
4	250	9
5	441	9
6	652	9
7	825	9
8	925	9
9	1014	9
10	1220	9
11	2143	9
done	5001	9
0	11	16
1	26	16
2	55	16
3	128	12
4	250	9
5	441	9
6	652	9
7	825	9
8	925	9
9	1014	9
10	1220	9
11	2143	9
done	5001	9
0	11	16
1	26	16
2	55	16
3	128	12
4	250	9
5	441	9
6	652	9
7	825	9
8	925	9
9	1014	9
10	1220	9
11	2143	9
done	5001	9
0	14	21
1	30	19
2	61	15
3	119	15
4	181	15
5	305	15
6	391	15
7	522	15
8	699	15
9	788	15
done	788	15
0	13	20
1	31	18
2	56	14
3	96	14
4	163	14
5	275	14
6	365	14
7	478	14
8	650	14
9	812	14
10	819	14
done	819	14
0	13	19
1	30	17
2	57	17
3	106	14
4	200	14
5	338	14
6	517	14
7	653	14
8	772	14
9	867	14
10	940	14
done	940	14
0	15	20
1	28	20
2	56	19
3	115	15
4	186	15
5	309	15
6	395	15
7	525	15
8	699	15
9	787	15
done	787	15
0	14	19
1	29	19
2	53	18
3	94	14
4	164	14
5	278	14
6	368	14
7	480	14
8	653	14
9	816	14
10	823	14
done	823	14
0	13	18
1	28	18
2	57	17
3	108	14
4	201	14
5	337	14
6	518	14
7	658	14
8	778	14
9	876	14
10	950	14
done	950	14
0	12	17
1	30	17
2	71	17
3	176	13
4	364	10
5	674	10
6	1028	10
7	1427	10
8	1629	10
9	1806	10
10	2093	10
11	3042	10
done	5001	10
0	12	17
1	29	17
2	68	17
3	174	13
4	430	10
5	1113	10
6	2869	10
done	5001	10
0	14	29
1	35	29
2	144	17
3	657	13
4	2739	13
done	5000	13
0	12	29
1	34	29
2	100	15
3	425	13
4	1860	13
done	5001	13
0	13	36
1	38	36
2	135	16
3	724	16
4	4469	15
done	5001	15
0	17	43
1	46	43
2	192	21
3	1025	15
done	5000	15
0	15	43
1	45	43
2	148	19
3	727	15
4	3748	13
done	5000	13
0	15	50
1	47	50
2	175	20
3	949	15
done	5001	15
0	13	35
1	28	35
2	56	35
3	130	27
4	253	21
5	446	21
6	659	21
7	833	21
8	933	21
9	1025	21
10	1239	21
11	2174	21
done	5000	21
0	12	17
1	27	17
2	55	17
3	129	13
4	252	10
5	443	10
6	654	10
7	834	10
8	935	10
9	1018	10
10	1233	10
11	2182	10
done	5000	10
0	13	50
1	38	50
2	156	18
3	825	14
4	4908	11
done	5000	11
0	12	17
1	27	17
2	55	17
3	129	13
4	252	10
5	443	10
6	654	10
7	834	10
8	935	10
9	1018	10
10	1233	10
11	2182	10
done	5000	10
0	12	17
1	27	17
2	55	17
3	129	13
4	252	10
5	443	10
6	654	10
7	834	10
8	935	10
9	1018	10
10	1233	10
11	2182	10
done	5000	10
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	13
1	23	13
2	43	13
3	88	13
4	152	13
5	240	13
6	323	13
7	387	13
8	421	13
9	429	13
done	429	13
0	8	12
1	16	12
2	37	12
3	71	8
4	100	5
5	123	5
6	142	5
7	152	5
8	173	5
9	237	5
10	459	5
11	1384	5
done	5000	5
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	12	13
1	21	13
2	30	13
3	39	13
4	45	13
5	55	13
6	62	13
7	74	13
8	97	13
9	111	13
10	117	13
done	117	13
0	11	12
1	22	12
2	32	12
3	43	12
4	53	12
5	62	12
6	67	12
7	76	12
8	93	12
9	112	12
10	120	12
done	120	12
0	10	11
1	23	11
2	42	11
3	72	11
4	119	11
5	156	11
6	189	11
7	217	11
8	243	11
9	250	11
10	267	11
11	269	11
done	269	11
0	10	11
1	22	11
2	41	11
3	79	11
4	160	11
5	328	11
6	677	11
7	1914	11
done	5000	11
0	12	25
1	28	25
2	115	13
3	427	11
4	1482	11
done	5000	11
0	10	25
1	27	25
2	74	11
3	287	11
4	1106	11
5	3963	11
done	5000	11
0	11	23
1	21	23
2	34	23
3	54	23
4	82	23
5	105	23
6	126	23
7	136	23
8	146	23
done	146	23
0	10	11
1	20	11
2	33	11
3	53	11
4	81	11
5	104	11
6	125	11
7	135	11
8	145	11
done	145	11
0	11	32
1	31	32
2	95	12
3	391	12
4	1908	11
done	5001	11
0	10	11
1	20	11
2	33	11
3	53	11
4	81	11
5	104	11
6	125	11
7	135	11
8	145	11
done	145	11
0	10	11
1	20	11
2	33	11
3	53	11
4	81	11
5	104	11
6	125	11
7	135	11
8	145	11
done	145	11
0	11	12
1	19	12
2	23	12
3	25	12
done	25	12
0	11	12
1	19	12
2	23	12
3	25	12
done	25	12
0	12	13
1	19	13
2	24	13
3	28	13
4	29	13
done	29	13
0	12	13
1	19	13
2	24	13
3	28	13
4	29	13
done	29	13
0	11	12
1	19	12
2	23	12
3	25	12
done	25	12
0	11	12
1	19	12
2	23	12
3	25	12
done	25	12
0	12	13
1	19	13
2	24	13
3	28	13
4	29	13
done	29	13
0	12	13
1	19	13
2	24	13
3	28	13
4	29	13
done	29	13
0	11	20
1	21	20
2	27	20
3	29	20
done	29	20
0	10	11
1	18	11
2	22	11
3	24	11
done	24	11
0	13	22
1	26	22
2	57	22
3	97	22
4	153	22
5	167	22
done	167	22
0	12	17
1	21	17
2	33	17
3	48	17
4	61	17
5	63	17
done	63	17
0	10	14
1	19	12
2	37	12
3	76	12
4	114	12
done	114	12
0	13	18
1	21	18
2	32	18
3	47	18
4	60	18
5	62	18
done	62	18
0	10	14
1	19	12
2	37	12
3	76	12
4	114	12
done	114	12
0	12	17
1	21	17
2	34	17
3	47	17
4	59	17
done	59	17
0	11	12
1	18	12
2	23	12
3	27	12
4	28	12
done	28	12
0	9	9
1	16	7
2	24	7
3	33	7
4	39	7
done	39	7
0	12	13
1	18	13
2	22	13
3	26	13
4	27	13
done	27	13
0	9	9
1	16	7
2	24	7
3	33	7
4	39	7
done	39	7
0	10	14
1	19	14
2	30	12
3	60	12
4	83	12
5	85	12
done	85	12
0	9	9
1	16	9
2	20	7
3	35	7
4	38	7
done	38	7
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	10	10
1	16	10
2	19	8
3	34	8
4	37	8
done	37	8
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	13	18
1	21	18
2	41	18
3	55	18
4	83	18
5	89	18
6	109	18
7	135	18
8	149	18
9	154	18
10	155	18
11	157	18
12	158	18
done	158	18
0	12	13
1	18	13
2	30	13
3	34	13
4	43	13
5	45	13
6	51	13
7	55	13
8	61	13
9	63	13
done	63	13
0	10	10
1	16	8
2	31	8
3	40	8
4	54	8
5	56	8
6	62	8
7	76	8
8	104	8
done	104	8
0	12	14
1	17	14
2	28	14
3	32	14
4	41	14
5	43	14
6	49	14
7	53	14
8	59	14
9	61	14
done	61	14
0	10	10
1	16	8
2	31	8
3	40	8
4	54	8
5	56	8
6	62	8
7	76	8
8	104	8
done	104	8
0	10	14
1	19	14
2	30	12
3	60	12
4	83	12
5	85	12
done	85	12
0	9	9
1	16	9
2	20	7
3	35	7
4	38	7
done	38	7
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	10	10
1	16	10
2	19	8
3	34	8
4	37	8
done	37	8
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	12	14
1	35	14
2	69	14
3	137	14
4	327	14
5	1101	14
6	4974	14
done	5000	14
0	11	14
1	24	14
2	54	14
3	118	14
4	231	14
5	431	14
6	673	14
7	1129	14
8	3055	14
done	5000	14
0	10	11
1	20	11
2	33	11
3	53	11
4	81	11
5	104	11
6	125	11
7	135	11
8	145	11
done	145	11
0	10	11
1	20	11
2	33	11
3	53	11
4	81	11
5	104	11
6	125	11
7	135	11
8	145	11
done	145	11
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	10	11
1	20	11
2	33	11
3	53	11
4	81	11
5	104	11
6	125	11
7	135	11
8	145	11
done	145	11
0	10	11
1	20	11
2	33	11
3	53	11
4	81	11
5	104	11
6	125	11
7	135	11
8	145	11
done	145	11
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
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	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
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

prune106.0ms

Filtered

79 candidates to 116 candidates (-46.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	117	5	122

Merged error: 0b

Counts

122 → 5

regimes612.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	45
1	25	45
done	25	45

end0.0ms

sample947.0ms

Algorithm

intervals

Results

362.0ms	8709×	body	80	valid
0.0ms	1×	body	640	valid

Details

sample35.0ms

simplify583.0ms

prune4.0ms

localize9.0ms

rewrite34.0ms

series65.0ms

simplify55.1s

prune157.0ms

localize17.0ms

rewrite16.0ms

series132.0ms

simplify1.2min

prune108.0ms

localize27.0ms

rewrite24.0ms

series132.0ms

simplify1.5min

prune127.0ms

localize17.0ms

rewrite45.0ms

series143.0ms

simplify1.8min

prune106.0ms

regimes612.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample947.0ms

Profiling