Details

sample102.0ms

Algorithm

intervals

Results

33.0ms	84×	body	2560	valid
26.0ms	90×	body	1280	valid
12.0ms	33×	body	640	valid
11.0ms	270×	body	80	nan
4.0ms	27×	body	320	valid
1.0ms	11×	body	160	valid
1.0ms	11×	body	80	valid

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.7b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (* 5.0 (* v v)))
0.0b	(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
0.2b	(* 5.0 (* v v))
0.6b	(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
6×	`add-log-exp`
4×	`associate-/r*` `difference-of-squares`
3×	`flip3--` `associate-l` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod` `associate-/l*`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `acos-asin` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `associate-r` `clear-num` `*-commutative` `div-inv` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

3.0ms	(- 1.0 (* 5.0 (* v v)))
9.0ms	(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
6.0ms	(* 5.0 (* v v))
1.0ms	(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series20.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- 1.0 (* 5.0 (* v v)))
7.0ms	(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
3.0ms	(* 5.0 (* v v))
3.0ms	(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify2.9min

Counts

87 → 87

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	11	31
1	21	31
2	43	31
3	83	31
4	152	31
5	237	31
6	314	31
7	465	31
8	1200	31
done	5001	31
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	11	44
1	22	44
2	46	16
3	91	16
4	166	16
5	261	16
6	359	16
7	567	16
8	1516	16
done	5001	16
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	10	15
1	19	15
2	34	15
3	46	15
done	46	15
0	9	14
1	22	14
2	46	14
3	87	14
4	156	14
5	241	14
6	318	14
7	467	14
8	1236	14
done	5000	14
0	9	14
1	19	14
2	44	14
3	86	14
4	163	14
5	279	14
6	451	14
7	943	14
8	3050	14
done	5000	14
0	12	41
1	28	41
2	101	17
3	355	15
4	1426	15
done	5001	15
0	10	29
1	20	29
2	42	29
3	82	29
4	151	29
5	236	29
6	313	29
7	465	29
8	1207	29
done	5000	29
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	10	41
1	27	41
2	77	15
3	295	15
4	1276	15
done	5001	15
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	7	8
1	12	8
2	28	8
3	55	8
4	92	7
done	92	7
0	5	6
1	7	6
2	11	6
3	16	6
4	17	5
done	17	5
0	5	7
1	7	7
2	8	7
done	8	7
0	7	11
1	14	11
2	27	11
3	56	9
4	88	9
5	112	9
6	152	9
7	265	9
8	719	9
done	5000	9
0	12	31
1	25	31
2	48	31
3	66	31
done	66	31
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	11	24
1	20	24
2	36	24
3	49	24
done	49	24
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	10	19
1	19	17
2	38	17
3	55	17
done	55	17
0	9	14
1	16	14
2	30	14
3	42	14
done	42	14
0	11	22
1	19	22
2	34	22
3	47	22
done	47	22
0	10	13
1	17	13
2	31	13
3	43	13
done	43	13
0	11	22
1	20	22
2	34	22
3	46	22
done	46	22
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	9	10
1	16	8
2	31	8
3	43	8
done	43	8
0	9	14
1	16	14
2	30	14
3	42	14
done	42	14
0	10	13
1	16	13
2	29	13
3	41	13
done	41	13
0	10	13
1	17	13
2	31	13
3	43	13
done	43	13
0	8	15
1	14	15
2	15	15
done	15	15
0	9	14
1	19	14
2	41	14
3	72	14
4	117	14
5	155	14
6	175	14
7	177	14
done	177	14
0	7	8
1	11	8
2	12	8
done	12	8
0	9	14
1	19	14
2	41	14
3	72	14
4	117	14
5	155	14
6	175	14
7	177	14
done	177	14
0	2	3
1	4	1
done	4	1
0	8	13
1	18	13
2	40	13
3	80	13
4	149	13
5	234	13
6	311	13
7	461	13
8	1220	13
done	5000	13
0	6	6
1	9	6
done	9	6
0	9	12
1	19	12
2	41	12
3	81	12
4	144	12
5	218	12
6	262	12
7	280	12
done	280	12
0	6	7
1	10	7
2	11	7
done	11	7
0	8	13
1	18	13
2	36	13
3	55	13
4	66	13
5	86	13
6	143	13
7	530	13
8	1628	13
9	4415	13
done	5001	13
0	10	21
1	22	21
2	56	21
3	128	21
4	260	21
5	395	21
6	455	21
7	457	21
done	457	21
0	9	14
1	19	14
2	41	14
3	72	14
4	117	14
5	155	14
6	175	14
7	177	14
done	177	14
0	8	9
1	18	7
2	41	7
3	77	7
4	147	7
5	224	7
6	280	7
done	280	7
0	9	12
1	18	12
2	39	12
3	70	12
4	115	12
5	153	12
6	173	12
7	175	12
done	175	12
0	9	14
1	19	14
2	37	14
3	53	14
4	54	14
done	54	14
0	9	14
1	19	14
2	37	14
3	53	14
4	54	14
done	54	14
0	8	13
1	18	13
2	36	13
3	55	13
4	66	13
5	86	13
6	143	13
7	530	13
8	1628	13
9	4415	13
done	5001	13
0	11	17
1	36	17
2	97	15
3	246	15
4	879	15
5	4100	15
done	5001	15
0	10	19
1	27	19
2	72	17
3	197	15
4	510	15
5	1159	15
6	2728	15
done	5000	15
0	12	29
1	40	23
2	137	23
3	470	23
4	1368	23
5	3026	23
done	5001	23
0	8	13
1	21	13
2	55	13
3	148	13
4	249	13
5	378	13
6	565	13
7	981	13
8	2291	13
9	4814	13
done	5000	13
0	8	9
1	15	8
2	27	8
3	62	8
4	139	8
5	315	8
6	872	8
7	3008	8
done	5001	8
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	7	8
1	15	8
2	36	8
3	75	8
4	146	8
5	355	8
6	1034	8
7	3887	8
done	5000	8
0	8	17
1	13	17
2	26	17
3	38	17
done	38	17
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	8	23
1	14	23
2	41	9
3	144	9
4	642	9
5	2691	9
done	5000	9
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	9	11
1	30	11
2	101	11
3	449	11
4	1570	11
5	4320	11
done	5001	11
0	10	23
1	29	17
2	86	17
3	170	17
4	191	17
5	224	17
6	324	17
7	628	17
8	1692	17
done	5000	17
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	8	15
1	23	15
2	69	15
3	212	13
4	463	11
5	716	11
6	1151	11
7	2343	11
done	5000	11
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	11	13
1	28	11
2	69	11
3	109	11
4	152	11
5	239	11
6	497	11
7	1327	11
8	3917	11
done	5000	11
0	15	18
1	36	18
2	98	14
3	304	14
4	1168	14
5	4230	14
done	5000	14
0	15	18
1	36	18
2	98	14
3	304	14
4	1168	14
5	4230	14
done	5000	14
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7

prune168.0ms

Filtered

69 candidates to 87 candidates (-26.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	83	4	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	4	88

Merged error: 0.6b

Counts

88 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
0.0b	(- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
0.2b	(* 5.0 (* v v))
0.7b	(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
11×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
6×	`add-log-exp` `difference-of-squares`
4×	`associate-/r*`
3×	`flip3--` `associate-l` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod` `associate-/l*`
2×	`asin-acos` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `associate-r` `clear-num` `*-commutative` `div-inv` `distribute-lft-out--` `associate--r-` `unswap-sqr`

Counts

4 → 79

Calls

4 calls:

9.0ms	(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
8.0ms	(- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
7.0ms	(* 5.0 (* v v))
1.0ms	(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series20.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
7.0ms	(- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
3.0ms	(* 5.0 (* v v))
3.0ms	(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify3.7min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	11	31
1	21	31
2	43	31
3	83	31
4	152	31
5	237	31
6	314	31
7	465	31
8	1200	31
done	5001	31
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	11	44
1	22	44
2	46	16
3	91	16
4	166	16
5	261	16
6	359	16
7	567	16
8	1516	16
done	5001	16
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	15	20
1	29	19
2	53	19
3	96	19
4	167	19
5	256	19
6	337	19
7	499	19
8	1325	19
done	5001	19
0	14	19
1	26	19
2	49	19
3	89	19
4	158	19
5	243	19
6	320	19
7	468	19
8	1205	19
done	5000	19
0	14	19
1	29	19
2	56	19
3	99	19
4	173	19
5	260	19
6	350	19
7	503	19
8	1251	19
done	5000	19
0	15	39
1	27	39
2	50	39
3	90	39
4	159	39
5	244	39
6	321	39
7	471	39
8	1197	39
done	5001	39
0	14	19
1	26	19
2	49	19
3	89	19
4	158	19
5	243	19
6	320	19
7	468	19
8	1205	19
done	5000	19
0	15	56
1	28	56
2	65	20
3	155	20
4	376	20
5	922	20
6	2536	20
done	5000	20
0	14	19
1	26	19
2	49	19
3	89	19
4	158	19
5	243	19
6	320	19
7	468	19
8	1205	19
done	5000	19
0	14	19
1	26	19
2	49	19
3	89	19
4	158	19
5	243	19
6	320	19
7	468	19
8	1205	19
done	5000	19
0	16	22
1	44	22
2	101	22
3	199	22
4	403	22
5	927	22
6	2971	22
done	5000	22
0	17	56
1	40	41
2	79	41
3	131	39
4	210	39
5	305	39
6	385	39
7	538	39
8	1342	39
done	5001	39
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	15	37
1	34	37
2	69	37
3	132	35
4	239	35
5	387	35
6	536	35
7	870	35
8	3074	35
done	5001	35
0	13	18
1	24	18
2	46	18
3	86	18
4	155	18
5	240	18
6	317	18
7	467	18
8	1202	18
done	5000	18
0	15	20
1	26	20
2	48	20
3	88	20
4	157	20
5	242	20
6	319	20
7	467	20
8	1200	20
done	5000	20
0	15	20
1	27	20
2	50	20
3	90	20
4	159	20
5	244	20
6	321	20
7	471	20
8	1251	20
done	5000	20
0	16	21
1	27	21
2	49	21
3	89	21
4	158	21
5	243	21
6	320	21
7	469	21
8	1201	21
done	5000	21
0	16	21
1	28	21
2	51	21
3	91	21
4	160	21
5	245	21
6	322	21
7	470	21
8	1203	21
done	5000	21
0	13	18
1	25	18
2	48	18
3	88	18
4	157	18
5	242	18
6	319	18
7	467	18
8	1201	18
done	5001	18
0	4	7
1	7	1
2	9	1
done	9	1
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	10	15
1	19	15
2	34	15
3	46	15
done	46	15
0	9	14
1	22	14
2	46	14
3	87	14
4	156	14
5	241	14
6	318	14
7	467	14
8	1236	14
done	5000	14
0	9	14
1	19	14
2	44	14
3	86	14
4	163	14
5	279	14
6	451	14
7	943	14
8	3050	14
done	5000	14
0	12	41
1	28	41
2	101	17
3	355	15
4	1426	15
done	5001	15
0	10	29
1	20	29
2	42	29
3	82	29
4	151	29
5	236	29
6	313	29
7	465	29
8	1207	29
done	5000	29
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	10	41
1	27	41
2	77	15
3	295	15
4	1276	15
done	5001	15
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	7	8
1	12	8
2	28	8
3	55	8
4	92	7
done	92	7
0	5	6
1	7	6
2	11	6
3	16	6
4	17	5
done	17	5
0	5	7
1	7	7
2	8	7
done	8	7
0	7	11
1	14	11
2	27	11
3	56	9
4	88	9
5	112	9
6	152	9
7	265	9
8	719	9
done	5000	9
0	12	31
1	25	31
2	48	31
3	66	31
done	66	31
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	11	24
1	20	24
2	36	24
3	49	24
done	49	24
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	10	19
1	19	17
2	38	17
3	55	17
done	55	17
0	9	14
1	16	14
2	30	14
3	42	14
done	42	14
0	11	22
1	19	22
2	34	22
3	47	22
done	47	22
0	10	13
1	17	13
2	31	13
3	43	13
done	43	13
0	11	22
1	20	22
2	34	22
3	46	22
done	46	22
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	10	15
1	17	15
2	31	15
3	43	15
done	43	15
0	9	10
1	16	8
2	31	8
3	43	8
done	43	8
0	9	14
1	16	14
2	30	14
3	42	14
done	42	14
0	10	13
1	16	13
2	29	13
3	41	13
done	41	13
0	10	13
1	17	13
2	31	13
3	43	13
done	43	13
0	8	15
1	14	15
2	15	15
done	15	15
0	9	14
1	19	14
2	41	14
3	72	14
4	117	14
5	155	14
6	175	14
7	177	14
done	177	14
0	7	8
1	11	8
2	12	8
done	12	8
0	9	14
1	19	14
2	41	14
3	72	14
4	117	14
5	155	14
6	175	14
7	177	14
done	177	14
0	2	3
1	4	1
done	4	1
0	8	13
1	18	13
2	40	13
3	80	13
4	149	13
5	234	13
6	311	13
7	461	13
8	1220	13
done	5000	13
0	6	6
1	9	6
done	9	6
0	9	12
1	19	12
2	41	12
3	81	12
4	144	12
5	218	12
6	262	12
7	280	12
done	280	12
0	6	7
1	10	7
2	11	7
done	11	7
0	8	13
1	18	13
2	36	13
3	55	13
4	66	13
5	86	13
6	143	13
7	530	13
8	1628	13
9	4415	13
done	5001	13
0	10	21
1	22	21
2	56	21
3	128	21
4	260	21
5	395	21
6	455	21
7	457	21
done	457	21
0	9	14
1	19	14
2	41	14
3	72	14
4	117	14
5	155	14
6	175	14
7	177	14
done	177	14
0	8	9
1	18	7
2	41	7
3	77	7
4	147	7
5	224	7
6	280	7
done	280	7
0	9	12
1	18	12
2	39	12
3	70	12
4	115	12
5	153	12
6	173	12
7	175	12
done	175	12
0	9	14
1	19	14
2	37	14
3	53	14
4	54	14
done	54	14
0	9	14
1	19	14
2	37	14
3	53	14
4	54	14
done	54	14
0	8	13
1	18	13
2	36	13
3	55	13
4	66	13
5	86	13
6	143	13
7	530	13
8	1628	13
9	4415	13
done	5001	13
0	11	17
1	36	17
2	97	15
3	246	15
4	879	15
5	4100	15
done	5001	15
0	10	19
1	27	19
2	72	17
3	197	15
4	510	15
5	1159	15
6	2728	15
done	5000	15
0	12	29
1	40	23
2	137	23
3	470	23
4	1368	23
5	3026	23
done	5001	23
0	8	13
1	21	13
2	55	13
3	148	13
4	249	13
5	378	13
6	565	13
7	981	13
8	2291	13
9	4814	13
done	5000	13
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	14	18
1	30	18
2	60	18
3	100	18
4	174	18
5	266	18
6	374	18
7	612	18
8	1440	18
done	5000	18
0	14	18
1	30	18
2	60	18
3	100	18
4	174	18
5	266	18
6	374	18
7	612	18
8	1440	18
done	5000	18
0	14	18
1	30	18
2	60	18
3	100	18
4	174	18
5	266	18
6	374	18
7	612	18
8	1440	18
done	5000	18
0	11	13
1	28	11
2	69	11
3	109	11
4	152	11
5	239	11
6	497	11
7	1327	11
8	3917	11
done	5000	11
0	15	18
1	36	18
2	98	14
3	304	14
4	1168	14
5	4230	14
done	5000	14
0	15	18
1	36	18
2	98	14
3	304	14
4	1168	14
5	4230	14
done	5000	14

prune182.0ms

Filtered

73 candidates to 91 candidates (-24.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	90	5	95

Merged error: 0.6b

Counts

95 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.2b	(* 5.0 (* v v))
0.2b	(* 5.0 (* v v))
0.6b	(acos (* (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

19×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`associate-r` `*-commutative` `unswap-sqr`
1×	`acos-asin`

Counts

4 → 65

Calls

4 calls:

7.0ms	(* 5.0 (* v v))
7.0ms	(* 5.0 (* v v))
7.0ms	(* 5.0 (* v v))
1.0ms	(acos (* (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))

series14.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 5.0 (* v v))
3.0ms	(* 5.0 (* v v))
4.0ms	(* 5.0 (* v v))
4.0ms	(acos (* (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))

simplify1.8min

Counts

77 → 77

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	12	33
1	24	33
2	44	33
3	66	17
4	81	14
5	105	14
6	143	14
7	232	14
8	503	14
9	1425	14
done	5000	14
0	13	34
1	25	34
2	45	34
3	67	18
4	82	15
5	106	15
6	144	15
7	233	15
8	499	15
9	1409	15
done	5000	15
0	13	34
1	25	34
2	45	34
3	67	18
4	82	15
5	106	15
6	144	15
7	233	15
8	499	15
9	1409	15
done	5000	15
0	14	69
1	26	69
2	46	69
3	68	37
4	83	31
5	107	31
6	145	31
7	234	31
8	505	31
9	1420	31
done	5001	31
0	13	34
1	25	34
2	45	34
3	67	18
4	82	15
5	106	15
6	144	15
7	233	15
8	499	15
9	1409	15
done	5000	15
0	14	101
1	27	101
2	49	35
3	75	19
4	93	16
5	123	16
6	180	16
7	321	16
8	800	16
9	2628	16
done	5000	16
0	13	34
1	25	34
2	45	34
3	67	18
4	82	15
5	106	15
6	144	15
7	233	15
8	499	15
9	1409	15
done	5000	15
0	13	34
1	25	34
2	45	34
3	67	18
4	82	15
5	106	15
6	144	15
7	233	15
8	499	15
9	1409	15
done	5000	15
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune179.0ms

Filtered

55 candidates to 77 candidates (-40.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	77	5	82

Merged error: 0.6b

Counts

82 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.6b	(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
1.0b	(cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3))
1.0b	(pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod` `add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`unpow-prod-down` `cube-prod`
4×	`add-log-exp`
3×	`pow-unpow` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`acos-asin` `pow-to-exp` `pow-pow` `pow1/3` `associate-r` `pow-exp` `*-commutative` `rem-cbrt-cube` `rem-cube-cbrt` `unswap-sqr`

Counts

4 → 71

Calls

4 calls:

7.0ms	(* 5.0 (* v v))
1.0ms	(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
2.0ms	(cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3))
3.0ms	(pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3)

series34.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 5.0 (* v v))
7.0ms	(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
3.0ms	(cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3))
20.0ms	(pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3)

simplify4.0min

Counts

83 → 83

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	17
1	23	17
2	45	17
3	85	17
4	154	17
5	239	17
6	316	17
7	465	17
8	1238	17
done	5001	17
0	12	17
1	23	17
2	45	17
3	85	17
4	154	17
5	239	17
6	316	17
7	465	17
8	1238	17
done	5001	17
0	3	3
1	6	1
done	6	1
0	13	20
1	27	20
2	56	20
3	120	20
4	244	20
5	489	20
6	1173	20
7	3814	20
done	5001	20
0	12	17
1	26	17
2	53	17
3	111	17
4	218	17
5	405	17
6	852	17
7	2624	17
done	5000	17
0	11	16
1	28	14
2	57	14
3	108	14
4	198	14
5	342	14
6	640	14
7	1736	14
done	5000	14
0	13	33
1	33	33
2	76	17
3	145	17
4	286	17
5	589	17
6	1503	17
done	5001	17
0	12	17
1	30	14
2	58	14
3	108	14
4	198	14
5	340	14
6	625	14
7	1713	14
done	5001	14
0	12	17
1	30	17
2	58	17
3	109	17
4	199	17
5	341	17
6	632	17
7	1721	17
done	5000	17
0	12	17
1	30	17
2	58	17
3	109	17
4	199	17
5	341	17
6	632	17
7	1721	17
done	5000	17
0	3	3
1	13	1
done	13	1
0	11	16
1	29	16
2	57	16
3	107	16
4	197	16
5	339	16
6	630	16
7	1711	16
done	5000	16
0	10	29
1	20	29
2	42	29
3	82	29
4	151	29
5	236	29
6	313	29
7	465	29
8	1207	29
done	5000	29
0	12	17
1	32	17
2	66	17
3	121	17
4	230	17
5	426	17
6	877	17
7	2603	17
done	5001	17
0	12	17
1	30	17
2	64	17
3	126	17
4	245	17
5	485	17
6	1113	17
7	3851	17
done	5001	17
0	13	35
1	30	29
2	58	29
3	108	29
4	198	29
5	340	29
6	627	29
7	1714	29
done	5000	29
0	12	17
1	30	14
2	58	14
3	108	14
4	198	14
5	340	14
6	625	14
7	1713	14
done	5001	14
0	13	50
1	35	33
2	96	18
3	237	18
4	629	18
5	2187	16
done	5000	16
0	13	33
1	33	33
2	76	17
3	145	17
4	286	17
5	589	17
6	1503	17
done	5001	17
0	12	17
1	30	14
2	58	14
3	108	14
4	198	14
5	340	14
6	625	14
7	1713	14
done	5001	14
0	12	17
1	30	17
2	58	17
3	109	17
4	199	17
5	341	17
6	632	17
7	1721	17
done	5000	17
0	12	17
1	30	17
2	58	17
3	109	17
4	199	17
5	341	17
6	632	17
7	1721	17
done	5000	17
0	3	3
1	13	1
done	13	1
0	11	16
1	29	16
2	57	16
3	107	16
4	197	16
5	339	16
6	630	16
7	1711	16
done	5000	16
0	10	29
1	20	29
2	42	29
3	82	29
4	151	29
5	236	29
6	313	29
7	465	29
8	1207	29
done	5000	29
0	12	17
1	30	17
2	59	17
3	109	17
4	199	17
5	343	17
6	631	17
7	1719	17
done	5000	17
0	12	17
1	30	17
2	59	17
3	109	17
4	199	17
5	343	17
6	631	17
7	1719	17
done	5000	17
0	13	18
1	28	16
2	56	16
3	106	16
4	196	16
5	343	16
6	628	16
7	1695	16
done	5000	16
0	13	18
1	28	16
2	56	16
3	106	16
4	196	16
5	343	16
6	628	16
7	1695	16
done	5000	16
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	635	15
7	1733	15
done	5000	15
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	635	15
7	1733	15
done	5000	15
0	14	34
1	34	31
2	77	18
3	146	18
4	287	18
5	592	17
6	1518	17
done	5001	17
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	631	15
7	1717	15
done	5000	15
0	13	18
1	31	15
2	59	15
3	110	15
4	200	15
5	346	15
6	628	15
7	1704	15
done	5001	15
0	13	18
1	31	15
2	59	15
3	110	15
4	200	15
5	346	15
6	628	15
7	1704	15
done	5001	15
0	4	4
1	14	1
2	18	1
done	18	1
0	12	17
1	30	14
2	58	14
3	108	14
4	198	14
5	340	14
6	625	14
7	1713	14
done	5001	14
0	11	30
1	21	30
2	43	30
3	83	30
4	152	30
5	237	30
6	314	30
7	465	30
8	1200	30
done	5001	30
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	14	36
1	31	30
2	59	30
3	109	30
4	199	30
5	343	30
6	628	30
7	1694	30
done	5000	30
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	635	15
7	1733	15
done	5000	15
0	14	34
1	34	31
2	77	18
3	146	18
4	287	18
5	592	17
6	1518	17
done	5001	17
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	631	15
7	1717	15
done	5000	15
0	13	18
1	31	15
2	59	15
3	110	15
4	200	15
5	346	15
6	628	15
7	1704	15
done	5001	15
0	13	18
1	31	15
2	59	15
3	110	15
4	200	15
5	346	15
6	628	15
7	1704	15
done	5001	15
0	4	4
1	14	1
2	18	1
done	18	1
0	12	17
1	30	14
2	58	14
3	108	14
4	198	14
5	340	14
6	625	14
7	1713	14
done	5001	14
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	11	30
1	21	30
2	43	30
3	83	30
4	152	30
5	237	30
6	314	30
7	465	30
8	1200	30
done	5001	30
0	13	18
1	31	18
2	60	18
3	110	18
4	200	18
5	344	18
6	622	18
7	1691	18
done	5000	18
0	13	18
1	31	18
2	60	18
3	110	18
4	200	18
5	344	18
6	622	18
7	1691	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	12	17
1	30	14
2	58	14
3	108	14
4	198	14
5	340	14
6	625	14
7	1713	14
done	5001	14
0	14	19
1	29	17
2	57	17
3	107	17
4	197	17
5	341	17
6	635	17
7	1733	17
done	5001	17
0	14	19
1	29	17
2	57	17
3	107	17
4	197	17
5	341	17
6	635	17
7	1733	17
done	5001	17
0	14	37
1	32	31
2	60	31
3	110	31
4	200	31
5	342	31
6	631	31
7	1695	31
done	5000	31
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	635	15
7	1733	15
done	5000	15
0	14	53
1	30	16
2	58	16
3	108	16
4	198	16
5	340	16
6	627	16
7	1721	16
done	5000	16
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	635	15
7	1733	15
done	5000	15
0	13	18
1	31	15
2	59	15
3	109	15
4	199	15
5	343	15
6	635	15
7	1733	15
done	5000	15
0	3	3
done	3	3
0	9	14
1	19	14
2	41	14
3	81	14
4	150	14
5	235	14
6	312	14
7	461	14
8	1202	14
done	5000	14
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	11	31
1	21	31
2	43	31
3	83	31
4	152	31
5	237	31
6	314	31
7	465	31
8	1200	31
done	5001	31
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	11	44
1	22	44
2	46	16
3	91	16
4	166	16
5	261	16
6	359	16
7	567	16
8	1516	16
done	5001	16
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	10	15
1	20	15
2	42	15
3	82	15
4	151	15
5	236	15
6	313	15
7	465	15
8	1207	15
done	5000	15
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	12	16
1	32	16
2	68	16
3	116	16
4	211	16
5	358	16
6	677	16
7	1856	16
done	5000	16
0	12	16
1	32	16
2	68	16
3	116	16
4	211	16
5	358	16
6	677	16
7	1856	16
done	5000	16
0	12	16
1	32	16
2	68	16
3	116	16
4	211	16
5	358	16
6	677	16
7	1856	16
done	5000	16
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	10	14
1	23	14
2	53	14
3	93	14
4	167	14
5	259	14
6	367	14
7	604	14
8	1419	14
done	5001	14
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune141.0ms

Filtered

53 candidates to 83 candidates (-56.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	82	6	88

Merged error: 0.6b

Counts

88 → 6

regimes241.0ms

Accuracy

0% (0.1b remaining)

Error of 0.6b against oracle of 0.6b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	14	33
done	14	33

end0.0ms

sample3.0s

Algorithm

intervals

Results

1.2s	2993×	body	2560	valid
695.0ms	2457×	body	1280	valid
339.0ms	8034×	body	80	nan
270.0ms	1277×	body	640	valid
88.0ms	585×	body	320	valid
48.0ms	465×	body	160	valid
13.0ms	223×	body	80	valid

Details

sample102.0ms

simplify3.7s

prune9.0ms

localize8.0ms

rewrite22.0ms

series20.0ms

simplify2.9min

prune168.0ms

localize11.0ms

rewrite28.0ms

series20.0ms

simplify3.7min

prune182.0ms

localize16.0ms

rewrite24.0ms

series14.0ms

simplify1.8min

prune179.0ms

localize11.0ms

rewrite15.0ms

series34.0ms

simplify4.0min

prune141.0ms

regimes241.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.0s

Profiling