Details

sample19.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify2.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	33	17
3	48	17
4	56	17
5	62	17
6	84	17
7	112	17
8	140	17
9	163	17
10	205	17
11	251	17
12	261	17
13	278	17
14	314	17
15	404	17
16	634	17
17	844	17
18	985	17
19	1090	17
20	1160	17
21	1235	17
22	1251	17
23	1256	17
done	1256	17

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.0b	(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
0.0b	(* (+ 0.99229 (* x 0.04481)) x)
15.1b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

10.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
3.0ms	(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
6.0ms	(* (+ 0.99229 (* x 0.04481)) x)
8.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
4.0ms	(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
7.0ms	(* (+ 0.99229 (* x 0.04481)) x)
5.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify4.8min

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	23	17
2	32	17
3	43	17
done	43	17
0	14	16
1	23	16
2	33	16
3	45	16
done	45	16
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	17	47
1	56	47
2	188	19
3	654	17
4	2535	17
done	5001	17
0	15	33
1	21	33
2	29	33
3	40	33
done	40	33
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	15	47
1	28	47
2	68	17
3	167	17
4	460	17
5	1448	17
done	5002	17
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	9	10
1	16	10
2	32	10
3	64	10
4	124	10
5	142	10
6	165	10
7	230	10
8	313	10
9	322	10
10	328	10
done	328	10
0	17	35
1	29	35
2	46	35
3	63	35
done	63	35
0	15	17
1	21	17
2	29	17
3	40	17
4	42	17
done	42	17
0	16	24
1	24	24
2	34	24
3	46	24
4	50	24
done	50	24
0	15	17
1	21	17
2	29	17
3	40	17
4	42	17
done	42	17
0	9	15
1	15	13
2	21	13
3	26	13
done	26	13
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	16	28
1	24	28
2	32	28
3	43	28
done	43	28
0	15	17
1	21	17
2	29	17
3	40	17
4	42	17
done	42	17
0	15	17
1	21	17
2	29	17
3	40	17
4	42	17
done	42	17
0	15	17
1	21	17
2	29	17
3	40	17
4	42	17
done	42	17
0	8	8
1	12	6
2	14	6
done	14	6
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	12	23
1	20	23
2	28	23
3	39	23
4	41	23
done	41	23
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	11	12
1	17	12
2	25	12
3	36	12
done	36	12
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	2	3
1	4	1
done	4	1
0	13	15
1	19	15
2	27	15
3	38	15
done	38	15
0	10	11
1	16	11
2	24	11
3	35	11
4	37	11
done	37	11
0	13	15
1	19	15
2	27	15
3	38	15
done	38	15
0	15	27
1	23	27
2	31	27
3	42	27
done	42	27
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	7	7
1	11	5
2	13	5
done	13	5
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	13	15
1	19	15
2	27	15
3	38	15
done	38	15
0	16	19
1	38	19
2	84	19
3	243	19
4	742	19
5	2107	19
done	5000	19
0	15	25
1	32	25
2	88	25
3	278	25
4	808	25
5	2130	25
done	5001	25
0	17	27
1	46	23
2	135	23
3	442	23
4	1831	23
done	5001	23
0	13	15
1	21	15
2	50	15
3	122	15
4	424	15
5	1063	15
6	2147	15
7	3766	15
done	5001	15
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1327	8
8	4815	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	370	11
4	1394	9
done	5002	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	872	9
5	2333	9
done	5001	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	61	11
5	63	11
done	63	11
0	7	8
1	10	8
2	18	8
3	26	8
4	30	8
done	30	8
0	7	7
1	12	5
2	23	5
3	39	5
4	53	5
done	53	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	425	11
5	1222	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	318	13
5	510	13
6	756	13
7	1292	13
8	4447	13
done	5000	13
0	10	11
1	18	10
2	37	10
3	67	10
4	132	10
5	262	10
6	693	10
7	2218	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	9	10
1	16	10
2	29	10
3	55	10
4	97	10
5	172	10
6	456	10
7	1477	10
done	5000	10
0	10	21
1	14	21
2	22	21
3	33	21
done	33	21
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	10	29
1	27	29
2	83	11
3	328	11
4	1552	11
done	5000	11
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	11	13
1	31	13
2	77	13
3	248	13
4	780	13
5	2161	13
done	5000	13
0	12	29
1	32	21
2	106	21
3	326	21
4	855	21
5	2005	21
done	5000	21
0	10	19
1	25	19
2	79	19
3	268	19
4	793	19
5	2125	19
done	5000	19
0	8	9
1	13	9
2	28	9
3	51	9
4	95	9
5	105	9
6	124	9
7	179	9
8	271	9
9	283	9
10	284	9
done	284	9
0	16	19
1	24	18
2	34	18
3	50	18
4	61	18
5	75	18
6	85	18
7	129	18
8	188	18
9	283	18
10	412	18
11	773	18
12	2484	18
done	5000	18
0	15	18
1	23	18
2	34	18
3	49	18
4	57	18
5	63	18
6	85	18
7	113	18
8	141	18
9	164	18
10	206	18
11	252	18
12	262	18
13	279	18
14	315	18
15	405	18
16	641	18
17	848	18
18	987	18
19	1094	18
20	1170	18
21	1253	18
22	1286	18
23	1316	18
24	1404	18
25	1767	18
26	2890	18
done	5000	18
0	15	18
1	26	18
2	39	18
3	57	18
4	71	18
5	81	18
6	125	18
7	184	18
8	281	18
9	410	18
10	770	18
11	2471	18
done	5001	18
0	16	37
1	24	37
2	35	37
3	50	37
4	58	37
5	64	37
6	86	37
7	114	37
8	142	37
9	165	37
10	207	37
11	253	37
12	263	37
13	280	37
14	316	37
15	406	37
16	640	37
17	854	37
18	997	37
19	1105	37
20	1175	37
21	1252	37
22	1268	37
23	1273	37
done	1273	37
0	15	18
1	23	18
2	34	18
3	49	18
4	57	18
5	63	18
6	85	18
7	113	18
8	141	18
9	164	18
10	206	18
11	252	18
12	262	18
13	279	18
14	315	18
15	405	18
16	641	18
17	848	18
18	987	18
19	1092	18
20	1162	18
21	1237	18
22	1253	18
23	1258	18
done	1258	18
0	16	53
1	25	53
2	50	19
3	115	19
4	303	19
5	1036	19
6	3956	19
done	5000	19
0	15	18
1	23	18
2	34	18
3	49	18
4	57	18
5	63	18
6	85	18
7	113	18
8	141	18
9	164	18
10	206	18
11	252	18
12	262	18
13	279	18
14	315	18
15	405	18
16	641	18
17	848	18
18	987	18
19	1092	18
20	1162	18
21	1237	18
22	1253	18
23	1258	18
done	1258	18
0	15	18
1	23	18
2	34	18
3	49	18
4	57	18
5	63	18
6	85	18
7	113	18
8	141	18
9	164	18
10	206	18
11	252	18
12	262	18
13	279	18
14	315	18
15	405	18
16	641	18
17	848	18
18	987	18
19	1092	18
20	1162	18
21	1237	18
22	1253	18
23	1258	18
done	1258	18
0	17	21
1	41	21
2	91	21
3	259	21
4	921	21
5	3775	21
done	5000	21
0	18	53
1	37	37
2	79	37
3	126	37
4	259	37
5	628	37
6	1670	37
7	4881	37
done	5000	37
0	14	16
1	22	16
2	34	16
3	53	16
4	59	16
5	73	16
6	87	16
7	95	16
done	95	16
0	16	35
1	31	35
2	62	35
3	130	35
4	302	35
5	761	35
6	2129	35
done	5000	35
0	14	17
1	21	17
2	29	17
3	40	17
done	40	17
0	16	19
1	23	19
2	31	19
3	42	19
4	46	19
done	46	19
0	16	19
1	24	19
2	33	19
3	44	19
4	48	19
done	48	19
0	17	20
1	24	20
2	32	20
3	43	20
4	47	20
done	47	20
0	17	20
1	25	20
2	36	20
3	47	20
4	51	20
done	51	20
0	14	17
1	22	17
2	33	17
3	48	17
4	56	17
5	62	17
6	84	17
7	112	17
8	140	17
9	163	17
10	205	17
11	251	17
12	261	17
13	278	17
14	314	17
15	404	17
16	634	17
17	844	17
18	985	17
19	1090	17
20	1160	17
21	1235	17
22	1251	17
23	1256	17
done	1256	17
0	14	16
1	22	16
2	34	16
3	53	16
4	59	16
5	73	16
6	87	16
7	95	16
done	95	16
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	10	11
1	22	11
2	47	11
3	74	11
4	110	9
5	141	9
6	206	9
7	346	9
8	595	9
9	1530	9
done	5000	9
0	12	15
1	29	15
2	65	11
3	120	11
4	253	11
5	715	9
6	3637	9
done	5000	9
0	12	15
1	29	15
2	65	11
3	120	11
4	253	11
5	715	9
6	3637	9
done	5000	9

prune158.0ms

Filtered

70 candidates to 89 candidates (-27.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	87	2	89
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	3	90

Merged error: 0.0b

Counts

90 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

7.5b	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
15.4b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.4b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.4b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-div`
16×	`add-exp-log`
15×	`flip3-+` `flip-+`
9×	`cbrt-prod`
8×	`frac-times` `associate-/r/` `add-cbrt-cube` `associate-/l/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 76

Calls

4 calls:

18.0ms	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
3.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series44.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
10.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
10.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
10.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.8min

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	22
1	15	22
2	23	22
3	34	22
done	34	22
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	12	14
1	32	14
2	78	14
3	250	14
4	774	14
5	2205	14
done	5000	14
0	13	30
1	33	22
2	107	22
3	327	22
4	855	22
5	2004	22
done	5000	22
0	11	20
1	26	20
2	80	20
3	269	20
4	795	20
5	2110	20
done	5000	20
0	9	10
1	14	10
2	29	10
3	52	10
4	96	10
5	104	10
6	123	10
7	178	10
8	270	10
9	282	10
10	283	10
done	283	10
0	11	23
1	15	23
2	23	23
3	34	23
done	34	23
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	32
1	16	32
2	26	12
3	42	9
4	48	9
5	58	9
6	79	9
7	139	9
8	351	9
9	1279	9
done	5000	9
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	22
1	15	22
2	23	22
3	34	22
done	34	22
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	12	14
1	32	14
2	78	14
3	250	14
4	774	14
5	2205	14
done	5000	14
0	13	30
1	33	22
2	107	22
3	327	22
4	855	22
5	2004	22
done	5000	22
0	11	20
1	26	20
2	80	20
3	269	20
4	795	20
5	2110	20
done	5000	20
0	9	10
1	14	10
2	29	10
3	52	10
4	96	10
5	104	10
6	123	10
7	178	10
8	270	10
9	282	10
10	283	10
done	283	10
0	11	23
1	15	23
2	23	23
3	34	23
done	34	23
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	32
1	16	32
2	26	12
3	42	9
4	48	9
5	58	9
6	79	9
7	139	9
8	351	9
9	1279	9
done	5000	9
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	22
1	15	22
2	23	22
3	34	22
done	34	22
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	12	14
1	32	14
2	78	14
3	250	14
4	774	14
5	2205	14
done	5000	14
0	13	30
1	33	22
2	107	22
3	327	22
4	855	22
5	2004	22
done	5000	22
0	11	20
1	26	20
2	80	20
3	269	20
4	795	20
5	2110	20
done	5000	20
0	9	10
1	14	10
2	29	10
3	52	10
4	96	10
5	104	10
6	123	10
7	178	10
8	270	10
9	282	10
10	283	10
done	283	10
0	11	23
1	15	23
2	23	23
3	34	23
done	34	23
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	32
1	16	32
2	26	12
3	42	9
4	48	9
5	58	9
6	79	9
7	139	9
8	351	9
9	1279	9
done	5000	9
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	19	39
1	34	23
2	59	21
3	88	21
4	111	21
5	144	21
6	202	21
7	245	21
8	253	21
done	253	21
0	19	38
1	33	32
2	52	23
3	82	21
4	105	21
5	136	21
6	203	21
7	243	21
8	264	21
9	265	21
done	265	21
0	19	38
1	33	28
2	58	23
3	89	21
4	107	21
5	138	21
6	182	21
7	251	21
8	267	21
done	267	21
0	19	37
1	31	37
2	51	23
3	82	21
4	100	21
5	125	21
6	170	21
7	232	21
8	260	21
9	262	21
done	262	21
0	18	36
1	33	36
2	62	36
3	102	20
4	141	20
5	176	20
6	230	20
7	272	20
8	309	20
9	312	20
done	312	20
0	18	36
1	30	36
2	49	36
3	72	36
4	84	36
5	116	36
6	196	36
7	414	36
8	1728	36
done	5000	36
0	15	31
1	39	31
2	98	31
3	265	31
4	713	31
5	2294	31
done	5000	31
0	18	77
1	45	77
2	119	35
3	306	24
4	674	24
5	1988	24
done	5001	24
0	18	61
1	45	61
2	121	35
3	358	28
4	1030	28
5	3336	28
done	5000	28
0	21	107
1	50	107
2	192	39
3	996	21
4	3518	21
done	5000	21
0	19	73
1	31	73
2	48	73
3	65	73
4	67	73
done	67	73
0	18	36
1	30	36
2	47	36
3	64	36
done	64	36
0	19	107
1	38	107
2	124	37
3	510	37
4	1896	19
5	4434	19
done	5000	19
0	18	36
1	30	36
2	48	18
3	65	18
4	67	18
done	67	18
0	18	36
1	30	36
2	48	18
3	65	18
4	67	18
done	67	18
0	8	14
1	13	14
done	13	14
0	11	22
1	18	22
2	26	22
3	37	22
4	39	22
done	39	22
0	15	17
1	21	17
2	29	17
3	40	17
4	42	17
done	42	17
0	15	17
1	21	17
2	29	17
3	40	17
4	42	17
done	42	17
0	12	23
1	20	23
2	28	23
3	39	23
4	41	23
done	41	23
0	17	35
1	29	35
2	46	35
3	63	35
4	65	35
done	65	35
0	16	24
1	24	24
2	34	24
3	46	24
4	50	24
done	50	24
0	16	28
1	24	28
2	34	28
3	46	28
done	46	28
0	20	43
1	48	43
2	103	43
3	276	43
4	781	43
5	2171	43
done	5000	43
0	24	49
1	64	49
2	166	49
3	517	49
4	1489	49
5	4672	49
done	5000	49
0	24	49
1	64	49
2	166	49
3	511	49
4	1490	49
5	4661	49
done	5000	49
0	19	55
1	42	55
2	105	55
3	298	55
4	828	55
5	2155	55
done	5000	55
0	22	39
1	53	39
2	112	39
3	300	39
4	806	39
5	2243	39
done	5000	39
0	21	45
1	46	45
2	112	45
3	313	45
4	840	45
5	2169	45
done	5001	45
0	22	39
1	53	39
2	112	39
3	300	39
4	810	39
5	2177	39
done	5001	39
0	21	45
1	46	45
2	112	45
3	311	45
4	840	45
5	2173	45
done	5000	45
0	21	59
1	50	51
2	111	51
3	174	51
4	208	51
5	229	51
6	250	51
7	303	51
8	450	51
9	713	51
10	773	51
11	785	51
12	811	51
13	846	51
14	868	51
15	900	51
16	931	51
17	945	51
18	948	51
done	948	51
0	23	47
1	53	43
2	121	43
3	193	43
4	222	43
5	242	43
6	263	43
7	316	43
8	463	43
9	726	43
10	785	43
11	797	43
12	823	43
13	861	43
14	883	43
15	915	43
16	946	43
17	960	43
18	963	43
done	963	43
0	23	47
1	53	43
2	121	43
3	190	43
4	220	43
5	240	43
6	261	43
7	314	43
8	461	43
9	724	43
10	784	43
11	796	43
12	822	43
13	860	43
14	882	43
15	914	43
16	945	43
17	959	43
18	960	43
done	960	43
0	17	35
1	31	35
2	57	35
3	70	35
4	72	35
done	72	35
0	20	40
1	45	36
2	97	36
3	160	36
4	194	36
5	215	36
6	236	36
7	289	36
8	436	36
9	699	36
10	758	36
11	772	36
12	798	36
13	835	36
14	857	36
15	889	36
16	920	36
17	934	36
18	937	36
done	937	36
0	16	28
1	26	28
2	43	28
3	54	28
4	56	28
done	56	28
0	20	40
1	45	36
2	97	36
3	160	36
4	194	36
5	215	36
6	236	36
7	289	36
8	436	36
9	699	36
10	758	36
11	772	36
12	798	36
13	835	36
14	857	36
15	889	36
16	920	36
17	934	36
18	937	36
done	937	36
0	16	28
1	26	28
2	43	28
3	54	28
4	56	28
done	56	28
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	180	30
3	559	27
4	2228	26
done	5000	26
0	27	71
1	71	67
2	198	67
3	862	45
done	5000	35
0	27	71
1	69	71
2	195	71
3	559	45
4	2432	37
done	5000	37

prune458.0ms

Filtered

79 candidates to 88 candidates (-11.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Merged error: 0b

Counts

91 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

1.1b	(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6)
15.4b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.4b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.7b	(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

124×	`cbrt-prod`
84×	`unpow-prod-down`
72×	`times-frac`
58×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`cbrt-div`
7×	`add-exp-log`
5×	`pow1`
4×	`flip3-+` `associate-/r/` `add-cbrt-cube` `flip-+` `add-log-exp`
3×	`pow-unpow` `pow1/3`
2×	`pow-exp` `div-inv` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `div-exp`

Counts

4 → 137

Calls

4 calls:

12.0ms	(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6)
3.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.0ms	(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6))

series57.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6)
10.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
10.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.0ms	(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6))

simplify7.3min

Counts

149 → 149

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2131	21
done	5001	21
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2131	21
done	5001	21
0	20	40
1	31	40
2	50	40
3	103	40
4	278	21
5	1068	20
done	5000	20
0	19	21
1	30	21
2	47	21
3	83	21
4	157	21
5	343	21
6	965	20
7	3648	20
done	5000	20
0	19	21
1	30	21
2	47	21
3	79	21
4	142	20
5	343	17
6	1144	16
7	4903	16
done	5000	16
0	19	21
1	30	21
2	47	21
3	79	21
4	142	20
5	343	17
6	1144	16
7	4903	16
done	5000	16
0	22	40
1	33	40
2	53	40
3	107	40
4	330	40
5	2959	40
done	5000	40
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	21	29
1	32	29
2	52	29
3	106	29
4	312	29
5	2357	29
done	5000	29
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	14	20
1	23	19
2	35	19
3	73	19
4	229	19
5	834	16
6	2546	9
done	5000	9
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1932	21
done	5001	21
0	22	41
1	35	41
2	58	41
3	135	41
4	583	41
done	5000	41
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	21	29
1	32	29
2	52	29
3	106	29
4	312	29
5	2358	29
done	5001	29
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	13	19
1	22	17
2	35	17
3	74	17
4	213	16
5	892	9
6	3479	9
done	5000	9
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1932	21
done	5001	21
0	21	33
1	32	33
2	52	33
3	106	33
4	307	33
5	2352	33
done	5000	33
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	13	13
1	22	12
2	34	12
3	72	12
4	218	12
5	720	6
6	2001	6
done	5000	6
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1932	21
done	5001	21
0	21	34
1	34	34
2	57	34
3	134	34
4	554	34
done	5000	34
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	12	12
1	21	10
2	34	10
3	63	6
4	155	6
5	576	6
6	2376	6
done	5000	6
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1932	21
done	5001	21
0	17	28
1	28	27
2	48	27
3	97	27
4	241	27
5	867	27
6	3765	26
done	5000	26
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2126	21
done	5001	21
0	16	17
1	27	16
2	47	16
3	96	16
4	236	16
5	768	16
6	3052	12
done	5001	12
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2126	21
done	5001	21
0	6	8
1	13	1
done	13	1
0	18	20
1	29	20
2	49	20
3	103	20
4	306	20
5	2114	20
done	5000	20
0	17	29
1	30	28
2	53	28
3	125	28
4	449	27
5	3119	15
done	5000	15
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2126	21
done	5001	21
0	16	17
1	27	16
2	47	16
3	96	16
4	236	16
5	769	12
6	3053	12
done	5000	12
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2127	21
done	5000	21
0	6	7
1	13	4
2	21	1
3	25	1
done	25	1
0	18	20
1	29	20
2	49	20
3	103	20
4	306	20
5	2114	20
done	5000	20
0	22	41
1	35	41
2	60	41
3	148	41
4	746	41
done	5001	41
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	21	30
1	34	30
2	59	30
3	147	30
4	719	30
done	5000	30
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	14	21
1	25	20
2	42	20
3	107	18
4	389	16
5	2319	9
done	5000	9
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1932	21
done	5001	21
0	22	42
1	39	42
2	76	42
3	217	42
4	1460	22
done	5001	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1925	22
done	5000	22
0	21	30
1	34	30
2	59	30
3	147	30
4	719	30
done	5000	28
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	13	20
1	24	18
2	45	18
3	125	18
4	473	10
5	3115	9
done	5001	9
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1932	21
done	5001	21
0	21	33
1	32	33
2	52	33
3	106	33
4	307	33
5	2353	33
done	5001	33
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	13	13
1	22	12
2	34	12
3	72	12
4	218	11
5	725	6
6	3457	6
done	5000	6
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1933	21
done	5000	21
0	21	34
1	34	34
2	57	34
3	134	34
4	554	34
done	5000	32
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1926	22
done	5001	22
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1927	17
done	5000	17
0	20	22
1	31	22
2	51	22
3	105	22
4	292	22
5	1927	17
done	5000	17
0	12	12
1	21	10
2	34	10
3	63	10
4	155	9
5	576	6
6	2375	6
done	5001	6
0	19	21
1	30	21
2	50	21
3	104	21
4	303	21
5	1933	21
done	5000	21
0	16	27
1	27	27
2	47	27
3	96	27
4	240	27
5	861	27
6	3651	26
done	5001	26
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2126	21
done	5001	21
0	15	16
1	26	16
2	46	16
3	95	16
4	227	16
5	761	16
6	3026	12
done	5001	12
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2126	21
done	5001	21
0	6	7
1	13	6
2	24	6
3	55	1
done	55	1
0	18	20
1	29	20
2	49	20
3	103	20
4	306	20
5	2114	20
done	5000	20
0	16	28
1	29	28
2	52	28
3	124	28
4	450	27
5	3140	15
done	5001	15
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2126	21
done	5001	21
0	15	16
1	26	16
2	46	16
3	95	16
4	227	16
5	762	12
6	3027	12
done	5000	12
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2127	21
done	5000	21
0	5	6
1	12	1
done	12	1
0	18	20
1	29	20
2	49	20
3	103	20
4	306	20
5	2114	20
done	5000	20
0	4	4
1	11	1
done	11	1
0	18	20
1	29	20
2	49	20
3	103	20
4	306	20
5	2114	20
done	5000	20
0	9	9
1	16	9
2	25	9
3	54	9
4	154	9
5	426	9
6	1192	8
7	4415	8
done	5000	8
0	14	15
1	25	15
2	45	15
3	94	15
4	224	15
5	755	15
6	3124	14
done	5001	14
0	21	24
1	46	24
2	102	24
3	306	24
4	1008	24
5	4241	24
done	5000	24
0	16	33
1	41	25
2	124	25
3	385	25
4	1361	25
done	5002	25
0	20	30
1	42	30
2	108	30
3	339	30
4	1096	30
done	5000	30
0	12	13
1	22	13
2	46	13
3	98	13
4	268	13
5	1023	13
6	4378	12
done	5000	12
0	20	42
1	31	42
2	51	42
3	105	42
4	310	42
5	2120	20
done	5000	20
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2131	21
done	5001	21
0	19	21
1	30	21
2	51	21
3	105	17
4	310	17
5	2116	17
done	5001	17
0	19	21
1	30	21
2	51	21
3	105	17
4	310	17
5	2116	17
done	5001	17
0	2	2
1	4	1
done	4	1
0	18	20
1	29	20
2	49	20
3	103	20
4	306	20
5	2114	20
done	5000	20
0	20	22
1	30	20
2	50	17
3	90	16
4	159	16
5	362	16
6	1028	16
7	4413	16
done	5000	16
0	20	22
1	30	20
2	50	17
3	90	16
4	159	16
5	362	16
6	1028	16
7	4413	16
done	5000	16
0	20	43
1	31	43
2	51	43
3	105	43
4	310	43
5	2120	43
done	5000	43
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2131	21
done	5001	21
0	20	62
1	32	62
2	53	22
3	109	19
4	306	19
5	2148	19
done	5000	19
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2131	21
done	5001	21
0	19	21
1	30	21
2	50	21
3	104	21
4	311	21
5	2131	21
done	5001	21
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	22
1	15	22
2	23	22
3	34	22
done	34	22
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	12	14
1	32	14
2	78	14
3	250	14
4	774	14
5	2205	14
done	5000	14
0	13	30
1	33	22
2	107	22
3	327	22
4	855	22
5	2004	22
done	5000	22
0	11	20
1	26	20
2	80	20
3	269	20
4	795	20
5	2110	20
done	5000	20
0	9	10
1	14	10
2	29	10
3	52	10
4	96	10
5	104	10
6	123	10
7	178	10
8	270	10
9	282	10
10	283	10
done	283	10
0	11	23
1	15	23
2	23	23
3	34	23
done	34	23
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	32
1	16	32
2	26	12
3	42	9
4	48	9
5	58	9
6	79	9
7	139	9
8	351	9
9	1279	9
done	5000	9
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	22
1	15	22
2	23	22
3	34	22
done	34	22
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	12	14
1	32	14
2	78	14
3	250	14
4	774	14
5	2205	14
done	5000	14
0	13	30
1	33	22
2	107	22
3	327	22
4	855	22
5	2004	22
done	5000	22
0	11	20
1	26	20
2	80	20
3	269	20
4	795	20
5	2110	20
done	5000	20
0	9	10
1	14	10
2	29	10
3	52	10
4	96	10
5	104	10
6	123	10
7	178	10
8	270	10
9	282	10
10	283	10
done	283	10
0	11	23
1	15	23
2	23	23
3	34	23
done	34	23
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	11	32
1	16	32
2	26	12
3	42	9
4	48	9
5	58	9
6	79	9
7	139	9
8	351	9
9	1279	9
done	5000	9
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	10	11
1	14	11
2	22	11
3	33	11
done	33	11
0	19	21
1	28	21
2	43	21
3	59	21
4	64	21
done	64	21
0	18	20
1	28	20
2	38	20
3	56	20
4	61	20
5	66	20
done	66	20
0	18	20
1	28	20
2	38	20
3	56	20
4	61	20
5	66	20
done	66	20
0	3	3
1	6	1
done	6	1
0	19	23
1	29	23
2	44	23
3	79	23
4	136	23
5	289	23
6	894	23
7	3321	23
done	5000	23
0	18	20
1	28	20
2	41	20
3	70	20
4	112	20
5	219	20
6	597	20
7	2191	20
done	5001	20
0	17	19
1	30	17
2	45	17
3	67	17
4	89	17
5	155	17
6	367	17
7	1291	17
done	5000	17
0	19	39
1	30	39
2	49	39
3	102	39
4	278	20
5	1066	19
done	5001	19
0	18	20
1	29	20
2	46	20
3	82	20
4	154	20
5	338	20
6	956	20
7	3710	20
done	5000	20
0	18	20
1	29	20
2	46	20
3	78	20
4	147	19
5	355	19
6	1118	15
7	4810	15
done	5000	15
0	18	20
1	29	20
2	46	20
3	78	20
4	147	19
5	355	19
6	1118	15
7	4810	15
done	5000	15
0	21	39
1	32	39
2	52	39
3	106	39
4	326	39
5	2913	39
done	5000	39
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	20	28
1	31	28
2	51	28
3	105	28
4	309	28
5	2348	28
done	5001	28
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	13	19
1	22	18
2	34	18
3	72	18
4	229	18
5	833	15
6	2554	8
done	5000	8
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1909	20
done	5001	20
0	21	40
1	34	40
2	57	40
3	134	40
4	583	40
done	5001	40
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	20	28
1	31	28
2	51	28
3	105	28
4	309	28
5	2349	28
done	5000	28
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	12	18
1	21	16
2	34	16
3	73	16
4	214	15
5	898	8
6	3436	8
done	5000	8
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1909	20
done	5001	20
0	20	32
1	31	32
2	51	32
3	105	32
4	306	32
5	2323	32
done	5000	32
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	12	12
1	21	11
2	33	11
3	71	11
4	217	11
5	708	5
6	2005	5
done	5000	5
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1909	20
done	5001	20
0	20	33
1	33	33
2	56	33
3	133	33
4	550	33
done	5001	33
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	11	11
1	20	9
2	33	9
3	62	5
4	154	5
5	574	5
6	2383	5
done	5001	5
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1909	20
done	5001	20
0	16	27
1	27	26
2	47	26
3	96	26
4	242	26
5	869	26
6	3647	25
done	5000	25
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2115	20
done	5000	20
0	15	16
1	26	15
2	46	15
3	95	15
4	229	15
5	759	15
6	2995	11
done	5000	11
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2115	20
done	5000	20
0	5	7
1	12	1
done	12	1
0	17	19
1	28	19
2	48	19
3	102	19
4	303	19
5	2121	19
done	5000	19
0	16	28
1	29	27
2	52	27
3	124	27
4	449	26
5	3137	17
done	5000	17
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2115	20
done	5000	20
0	15	16
1	26	15
2	46	15
3	95	15
4	229	15
5	760	14
6	2996	11
done	5000	11
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2116	20
done	5001	20
0	5	6
1	12	3
2	20	1
done	20	1
0	17	19
1	28	19
2	48	19
3	102	19
4	303	19
5	2121	19
done	5000	19
0	21	40
1	34	40
2	59	40
3	147	40
4	743	40
done	5000	40
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	20	29
1	33	29
2	58	29
3	146	29
4	712	29
done	5001	29
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	13	20
1	24	19
2	41	19
3	106	17
4	379	15
5	2291	8
done	5001	8
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1909	20
done	5001	20
0	21	41
1	38	41
2	75	41
3	216	41
4	1459	21
done	5001	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1926	21
done	5001	21
0	20	29
1	33	29
2	58	29
3	146	29
4	712	29
done	5000	27
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	12	19
1	23	17
2	44	17
3	124	17
4	467	9
5	3065	8
done	5000	8
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1909	20
done	5001	20
0	20	32
1	31	32
2	51	32
3	105	32
4	306	32
5	2324	32
done	5001	32
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	12	12
1	21	11
2	33	11
3	71	11
4	217	10
5	713	8
6	3516	5
done	5000	5
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1910	20
done	5000	20
0	20	33
1	33	33
2	56	33
3	133	33
4	550	33
done	5001	31
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1927	21
done	5000	21
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1928	19
done	5000	19
0	19	21
1	30	21
2	50	21
3	104	21
4	294	21
5	1928	19
done	5000	19
0	11	11
1	20	9
2	33	9
3	62	9
4	154	8
5	574	5
6	2382	5
done	5000	5
0	18	20
1	29	20
2	49	20
3	103	20
4	298	20
5	1910	20
done	5000	20
0	15	26
1	26	26
2	46	26
3	95	26
4	235	26
5	864	26
6	3623	25
done	5000	25
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2115	20
done	5000	20
0	14	15
1	25	15
2	45	15
3	94	15
4	226	15
5	751	15
6	3011	11
done	5000	11
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2115	20
done	5000	20
0	5	6
1	12	5
2	23	5
3	54	1
4	68	1
5	72	1
done	72	1
0	17	19
1	28	19
2	48	19
3	102	19
4	303	19
5	2121	19
done	5000	19
0	15	27
1	28	27
2	51	27
3	123	27
4	449	26
5	3146	17
done	5000	17
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2115	20
done	5000	20
0	14	15
1	25	15
2	45	15
3	94	15
4	226	15
5	752	14
6	3012	11
done	5000	11
0	18	20
1	29	20
2	49	20
3	103	20
4	304	20
5	2116	20
done	5001	20
0	4	5
1	11	1
done	11	1
0	17	19
1	28	19
2	48	19
3	102	19
4	303	19
5	2121	19
done	5000	19
0	3	3
1	10	1
done	10	1
0	17	19
1	28	19
2	48	19
3	102	19
4	303	19
5	2121	19
done	5000	19
0	8	8
1	15	8
2	24	8
3	53	8
4	151	8
5	417	8
6	1179	8
7	4294	8
done	5001	8
0	13	14
1	24	14
2	44	14
3	93	14
4	223	14
5	741	14
6	3120	14
done	5001	14
0	20	23
1	45	23
2	101	23
3	307	23
4	1019	23
5	4226	23
done	5000	23
0	15	32
1	40	24
2	123	24
3	384	24
4	1359	24
done	5000	24
0	19	29
1	41	29
2	107	29
3	338	29
4	1092	29
done	5000	29
0	11	12
1	21	12
2	45	12
3	97	12
4	267	12
5	1021	12
6	4380	12
done	5000	12
0	18	20
1	31	20
2	57	20
3	123	18
4	406	18
5	2734	18
done	5000	18
0	18	20
1	29	20
2	51	20
3	114	20
4	357	20
5	2441	20
done	5000	20
0	19	41
1	30	41
2	50	41
3	104	41
4	311	41
5	2131	19
done	5001	19
0	18	20
1	29	20
2	49	20
3	103	20
4	306	20
5	2114	20
done	5000	20
0	19	59
1	34	39
2	68	21
3	198	21
4	1159	17
done	5001	17
0	18	20
1	29	20
2	50	20
3	104	16
4	311	16
5	2129	16
done	5001	16
0	18	20
1	29	20
2	50	20
3	104	16
4	311	16
5	2129	16
done	5001	16
0	19	21
1	30	19
2	50	19
3	89	15
4	158	15
5	361	15
6	1029	15
7	4417	15
done	5000	15
0	19	21
1	30	19
2	50	19
3	89	15
4	158	15
5	361	15
6	1029	15
7	4417	15
done	5000	15
0	23	35
1	61	31
2	180	30
3	559	27
4	2228	26
done	5000	26
0	27	71
1	71	67
2	198	67
3	862	45
done	5000	35
0	27	71
1	69	71
2	195	71
3	559	45
4	2432	37
done	5000	37
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	16	21
1	37	21
2	109	21
3	212	21
4	414	17
5	754	17
6	1273	15
7	2005	15
8	2513	15
9	4362	15
done	5000	15
0	28	71
1	74	67
2	223	63
3	1127	45
done	5001	45
0	28	71
1	72	71
2	219	71
3	764	51
done	5000	39

prune687.0ms

Filtered

113 candidates to 149 candidates (-31.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	149	4	153

Merged error: 0b

Counts

153 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ 0.99229 (* x 0.04481)) x)
0.2b	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
1.5b	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
19.7b	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

47×	`pow1`
31×	`add-sqr-sqrt`
25×	`add-exp-log` `times-frac` `add-cbrt-cube`
24×	`add-cube-cbrt` `*-un-lft-identity`
22×	`associate-l`
19×	`pow-prod-down`
17×	`associate-*l/`
11×	`prod-exp` `cbrt-unprod`
8×	`flip3-+` `flip-+`
7×	`associate-r` `difference-of-squares`
6×	`frac-times`
4×	`flip3--` `associate-r/` `associate-/r` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `add-log-exp`
3×	`-commutative` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow-plus` `div-exp` `div-inv` `associate-/l/`
1×	`pow2` `frac-2neg` `swap-sqr` `clear-num`

Counts

4 → 142

Calls

4 calls:

6.0ms	(* (+ 0.99229 (* x 0.04481)) x)
12.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
9.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
14.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series30.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (+ 0.99229 (* x 0.04481)) x)
4.0ms	(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
8.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
11.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify5.8min

Counts

154 → 154

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	17	35
1	38	35
2	122	35
3	446	17
4	1691	15
done	5000	15
0	20	38
1	43	38
2	118	38
3	359	38
4	1145	19
5	3094	17
done	5000	17
0	19	37
1	41	37
2	114	37
3	357	37
4	1143	18
5	3086	16
done	5000	16
0	18	36
1	42	36
2	132	36
3	477	18
4	1757	16
done	5000	16
0	18	36
1	41	36
2	131	36
3	477	18
4	1819	16
done	5000	16
0	23	107
1	68	107
2	298	41
3	1855	39
done	5001	39
0	21	107
1	52	107
2	211	39
3	1114	39
done	5001	39
0	19	73
1	40	73
2	124	73
3	448	37
4	1689	33
done	5001	33
0	18	36
1	39	36
2	123	36
3	448	18
4	1687	16
done	5000	16
0	19	107
1	50	107
2	203	37
3	1160	19
done	5001	19
0	18	36
1	39	36
2	123	36
3	448	18
4	1687	16
done	5000	16
0	18	36
1	39	36
2	123	36
3	448	18
4	1687	16
done	5000	16
0	16	19
1	40	19
2	117	19
3	494	19
4	2696	19
done	5001	19
0	14	49
1	45	41
2	177	41
3	855	41
done	5000	41
0	15	25
1	33	25
2	105	25
3	400	25
4	1696	25
done	5000	25
0	12	29
1	34	29
2	124	29
3	551	29
4	2609	29
done	5000	29
0	19	37
1	38	37
2	103	37
3	324	37
4	1061	37
5	2952	37
done	5000	37
0	19	37
1	38	37
2	103	37
3	324	37
4	1061	37
5	2952	37
done	5000	37
0	20	38
1	41	38
2	107	38
3	330	38
4	1068	38
5	2939	38
done	5000	38
0	20	38
1	41	38
2	107	38
3	330	38
4	1068	38
5	2939	38
done	5000	38
0	16	27
1	36	27
2	99	27
3	319	27
4	908	27
5	2445	27
done	5000	27
0	17	34
1	43	34
2	130	34
3	544	34
4	2157	34
done	5000	34
0	16	27
1	36	27
2	99	27
3	319	27
4	908	27
5	2445	27
done	5000	27
0	17	34
1	43	34
2	130	34
3	544	34
4	2157	34
done	5000	34
0	16	27
1	36	27
2	108	27
3	333	27
4	929	27
5	2471	27
done	5001	27
0	17	34
1	43	34
2	139	34
3	557	34
4	2086	34
done	5000	34
0	16	27
1	36	27
2	108	27
3	333	27
4	929	27
5	2471	27
done	5001	27
0	17	34
1	43	34
2	139	34
3	557	34
4	2086	34
done	5000	34
0	19	47
1	42	47
2	119	47
3	398	47
4	1298	47
5	3709	47
done	5000	47
0	18	36
1	39	36
2	111	36
3	365	36
4	1162	36
5	3279	36
done	5000	36
0	17	27
1	39	25
2	109	25
3	334	25
4	966	25
5	2620	25
done	5000	25
0	18	36
1	37	36
2	108	36
3	351	36
4	1158	36
5	3138	36
done	5001	36
0	18	36
1	37	36
2	108	36
3	351	36
4	1158	36
5	3138	36
done	5001	36
0	19	37
1	40	37
2	118	37
3	383	37
4	1288	37
5	3484	37
done	5000	37
0	19	37
1	40	37
2	118	37
3	383	37
4	1288	37
5	3484	37
done	5000	37
0	18	36
1	39	36
2	123	36
3	424	18
4	1530	16
done	5001	16
0	15	26
1	25	26
2	55	26
3	128	8
4	359	6
5	1403	6
done	5000	6
0	19	37
1	40	37
2	118	37
3	383	37
4	1288	37
5	3484	37
done	5000	37
0	19	37
1	40	37
2	118	37
3	383	37
4	1288	37
5	3484	37
done	5000	37
0	18	36
1	39	36
2	123	36
3	424	18
4	1530	16
done	5001	16
0	15	26
1	25	26
2	55	26
3	128	8
4	359	6
5	1403	6
done	5000	6
0	18	36
1	39	36
2	117	36
3	406	36
4	1449	36
5	4095	36
done	5000	36
0	18	36
1	39	36
2	117	36
3	406	36
4	1449	36
5	4095	36
done	5000	36
0	17	35
1	38	35
2	122	35
3	446	17
4	1691	15
done	5000	15
0	14	25
1	24	25
2	54	25
3	151	7
4	518	5
5	2011	5
done	5001	5
0	17	35
1	38	35
2	122	35
3	446	17
4	1691	15
done	5000	15
0	14	31
1	35	31
2	119	29
3	475	11
4	2141	11
done	5001	11
0	16	69
1	50	53
2	218	45
3	1041	43
4	4670	43
done	5000	43
0	12	29
1	26	29
2	82	29
3	274	29
4	906	29
5	3411	29
done	5001	29
0	20	39
1	56	39
2	181	39
3	796	39
4	4563	39
done	5000	39
0	16	45
1	36	45
2	117	45
3	504	7
4	2526	5
done	5000	5
0	13	15
1	21	15
2	50	15
3	126	15
4	388	15
5	969	15
6	2257	15
7	4233	15
done	5000	15
0	17	27
1	36	27
2	94	27
3	287	27
4	825	27
5	2166	27
done	5001	27
0	16	26
1	36	26
2	97	26
3	295	26
4	832	26
5	2177	26
done	5001	26
0	16	26
1	33	26
2	89	26
3	279	26
4	810	26
5	2130	26
done	5000	26
0	19	77
1	57	77
2	216	29
3	1004	27
done	5000	27
0	17	53
1	34	53
2	90	53
3	279	53
4	807	53
5	2143	53
done	5000	53
0	16	26
1	33	26
2	89	26
3	279	26
4	810	26
5	2130	26
done	5000	26
0	17	77
1	41	77
2	140	27
3	569	27
4	2387	27
done	5000	27
0	16	26
1	33	26
2	89	26
3	279	26
4	810	26
5	2130	26
done	5000	26
0	16	26
1	33	26
2	89	26
3	279	26
4	810	26
5	2130	26
done	5000	26
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	11	20
1	26	20
2	87	20
3	311	20
4	1098	19
5	3895	19
done	5000	19
0	19	55
1	42	55
2	105	55
3	298	55
4	828	55
5	2155	55
done	5000	55
0	17	27
1	34	27
2	88	27
3	276	27
4	804	27
5	2131	27
done	5001	27
0	18	34
1	37	34
2	93	34
3	282	34
4	812	34
5	2140	34
done	5001	34
0	17	27
1	34	27
2	88	27
3	276	27
4	804	27
5	2131	27
done	5001	27
0	9	15
1	15	13
2	21	13
3	26	13
done	26	13
0	16	26
1	33	26
2	89	26
3	279	26
4	805	26
5	2129	26
done	5001	26
0	15	23
1	23	23
2	33	23
3	45	23
4	49	23
done	49	23
0	14	16
1	21	16
2	36	16
3	59	16
4	103	16
5	115	16
6	134	16
7	189	16
8	281	16
9	293	16
10	294	16
done	294	16
0	18	48
1	37	48
2	91	48
3	278	48
4	808	48
5	2132	48
done	5000	48
0	17	27
1	34	27
2	88	27
3	276	27
4	804	27
5	2131	27
done	5001	27
0	17	27
1	34	27
2	88	27
3	276	27
4	804	27
5	2131	27
done	5001	27
0	17	27
1	34	27
2	88	27
3	276	27
4	804	27
5	2131	27
done	5001	27
0	8	8
1	12	6
2	14	6
done	14	6
0	16	26
1	33	26
2	89	26
3	279	26
4	805	26
5	2129	26
done	5001	26
0	14	16
1	20	16
2	28	16
3	39	16
4	41	16
done	41	16
0	14	16
1	21	16
2	36	16
3	59	16
4	103	16
5	115	16
6	134	16
7	189	16
8	281	16
9	293	16
10	294	16
done	294	16
0	14	43
1	33	43
2	87	43
3	275	43
4	802	43
5	2117	43
done	5000	43
0	16	26
1	33	26
2	87	26
3	276	26
4	806	26
5	2124	26
done	5000	26
0	13	22
1	30	22
2	84	22
3	273	22
4	801	22
5	2128	22
done	5000	22
0	16	26
1	33	26
2	87	26
3	276	26
4	806	26
5	2124	26
done	5000	26
0	2	3
1	4	1
done	4	1
0	15	25
1	32	25
2	88	25
3	278	25
4	808	25
5	2130	25
done	5001	25
0	10	11
1	16	11
2	24	11
3	35	11
4	37	11
done	37	11
0	13	15
1	20	15
2	35	15
3	58	15
4	102	15
5	112	15
6	131	15
7	186	15
8	278	15
9	290	15
10	291	15
done	291	15
0	12	21
1	29	21
2	85	21
3	277	21
4	806	21
5	2134	21
done	5000	21
0	15	25
1	35	25
2	103	25
3	332	25
4	1010	25
5	2877	25
done	5000	25
0	17	47
1	36	47
2	90	47
3	277	47
4	805	47
5	2119	47
done	5000	47
0	16	26
1	33	26
2	87	26
3	276	26
4	806	26
5	2124	26
done	5000	26
0	7	7
1	11	5
2	13	5
done	13	5
0	13	15
1	19	15
2	27	15
3	38	15
done	38	15
0	16	26
1	36	26
2	104	26
3	333	26
4	1012	26
5	2885	26
done	5000	26
0	16	26
1	36	26
2	104	26
3	333	26
4	1012	26
5	2885	26
done	5000	26
0	15	25
1	35	25
2	103	25
3	332	25
4	1010	25
5	2877	25
done	5000	25
0	18	29
1	49	29
2	188	19
3	945	19
done	5000	19
0	17	45
1	42	45
2	140	29
3	657	19
4	3183	19
done	5000	19
0	19	37
1	58	33
2	199	33
3	869	33
done	5000	33
0	15	25
1	34	25
2	110	25
3	418	25
4	1836	25
done	5000	25
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	7	15
1	17	15
2	52	15
3	147	15
4	299	15
5	480	15
6	665	15
7	910	15
8	1225	15
9	1978	15
10	4655	15
done	5000	15
0	7	15
1	17	15
2	52	15
3	147	15
4	299	15
5	480	15
6	665	15
7	910	15
8	1225	15
9	1978	15
10	4655	15
done	5000	15
0	7	15
1	17	15
2	52	15
3	147	15
4	299	15
5	480	15
6	665	15
7	910	15
8	1225	15
9	1978	15
10	4655	15
done	5000	15
0	7	15
1	17	15
2	52	15
3	147	15
4	299	15
5	480	15
6	665	15
7	910	15
8	1225	15
9	1978	15
10	4655	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	9	19
1	18	11
2	35	11
3	38	11
done	38	11
0	11	18
1	18	17
2	34	17
3	45	10
4	52	10
done	52	10
0	11	18
1	18	17
2	34	17
3	45	10
4	52	10
done	52	10
0	8	17
1	16	10
2	36	10
3	48	10
4	51	10
done	51	10
0	8	16
1	20	16
2	68	10
3	188	10
4	340	10
5	525	10
6	709	10
7	951	10
8	1256	10
9	2002	10
10	4722	10
done	5000	10
0	8	16
1	20	16
2	68	16
3	212	16
4	494	16
5	1122	16
6	2874	16
done	5000	16
0	11	47
1	39	47
2	192	23
3	1033	11
done	5000	11
0	14	47
1	49	47
2	219	19
3	1173	9
done	5000	9
0	14	47
1	49	47
2	225	19
3	1276	9
done	5000	9
0	9	47
1	28	47
2	150	19
3	803	9
4	4027	9
done	5000	9
0	9	33
1	19	33
2	54	33
3	148	33
4	297	33
5	486	33
6	668	33
7	908	33
8	1214	33
9	1971	33
10	4525	33
done	5000	33
0	8	16
1	18	16
2	53	16
3	148	16
4	299	16
5	480	16
6	660	16
7	902	16
8	1199	16
9	1933	16
10	4500	16
done	5001	16
0	9	47
1	27	47
2	131	17
3	741	9
4	3594	9
done	5000	9
0	8	16
1	19	8
2	54	8
3	149	8
4	303	8
5	491	8
6	670	8
7	912	8
8	1212	8
9	1955	8
10	4543	8
done	5001	8
0	8	16
1	19	8
2	54	8
3	149	8
4	303	8
5	491	8
6	670	8
7	912	8
8	1212	8
9	1955	8
10	4543	8
done	5001	8
0	10	23
1	36	23
2	108	23
3	394	23
4	2128	23
done	5000	23
0	10	35
1	34	27
2	103	27
3	398	27
4	2151	27
done	5000	27
0	14	25
1	49	25
2	155	25
3	562	25
4	2635	25
done	5000	25
0	11	23
1	32	19
2	93	19
3	252	19
4	895	19
5	2243	19
done	5000	19
0	14	25
1	49	25
2	157	25
3	573	25
4	3291	25
done	5000	25
0	11	23
1	38	19
2	118	19
3	401	19
4	1290	19
5	2925	19
done	5000	19
0	9	27
1	29	27
2	103	27
3	490	27
4	2858	27
done	5000	27
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	6	11
1	14	11
2	35	11
3	83	11
4	118	11
5	154	11
6	193	11
7	203	11
done	203	11
0	2	3
done	2	3
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	13
1	17	13
2	49	13
3	116	13
4	192	13
5	278	13
6	373	13
7	492	13
8	548	13
9	639	13
10	919	13
11	1941	13
done	5000	13
0	7	9
1	11	9
2	22	9
3	40	9
4	46	9
5	48	9
6	53	9
7	63	9
8	83	9
9	130	9
10	280	9
11	803	9
12	3117	9
done	5001	9
0	12	19
1	38	19
2	112	19
3	388	19
4	1724	19
done	5001	19
0	11	21
1	31	21
2	97	21
3	372	21
4	1467	21
5	3750	21
done	5000	21
0	12	19
1	38	19
2	112	19
3	349	19
4	1283	19
done	5000	19
0	11	21
1	31	21
2	99	21
3	340	21
4	1281	21
5	3636	21
done	5001	21
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1327	8
8	4815	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	370	11
4	1394	9
done	5002	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	872	9
5	2333	9
done	5001	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	61	11
5	63	11
done	63	11
0	7	8
1	10	8
2	18	8
3	26	8
4	30	8
done	30	8
0	7	7
1	12	5
2	23	5
3	39	5
4	53	5
done	53	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	425	11
5	1222	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	318	13
5	510	13
6	756	13
7	1292	13
8	4447	13
done	5000	13
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	19	23
1	50	23
2	110	17
3	278	17
4	879	17
5	4087	17
done	5001	17
0	19	23
1	50	23
2	110	17
3	278	17
4	879	17
5	4087	17
done	5001	17
0	15	17
1	36	17
2	96	17
3	163	15
4	309	13
5	736	13
6	2364	13
done	5000	13
0	15	17
1	36	17
2	96	17
3	163	15
4	309	13
5	736	13
6	2364	13
done	5000	13
0	15	17
1	36	17
2	96	17
3	163	15
4	309	13
5	736	13
6	2364	13
done	5000	13
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7

prune371.0ms

Filtered

114 candidates to 154 candidates (-35.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	154	4	158

Merged error: 0b

Counts

158 → 4

regimes78.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	17
1	20	17
done	20	17

end0.0ms

sample527.0ms

Algorithm

intervals

Results

377.0ms

8000×

body

valid

Details

sample19.0ms

simplify2.5s

prune6.0ms

localize12.0ms

rewrite29.0ms

series24.0ms

simplify4.8min

prune158.0ms

localize25.0ms

rewrite29.0ms

series44.0ms

simplify1.8min

prune458.0ms

localize19.0ms

rewrite44.0ms

series57.0ms

simplify7.3min

prune687.0ms

localize17.0ms

rewrite51.0ms

series30.0ms

simplify5.8min

prune371.0ms

regimes78.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample527.0ms

Profiling