Details

sample20.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify23.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	28	17
2	37	17
3	41	17
done	41	17

prune2.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

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.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×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `associate-*r/` `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 → 81

Calls

4 calls:

12.0ms	(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
3.0ms	(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
6.0ms	(* x (+ 0.99229 (* x 0.04481)))
7.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series24.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.8min

Counts

93 → 93

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	29	17
2	38	17
3	42	17
done	42	17
0	14	16
1	29	16
2	39	16
3	44	16
done	44	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	17	47
1	62	47
2	206	19
3	797	17
4	3626	17
done	5000	17
0	15	33
1	27	33
2	35	33
3	39	33
done	39	33
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	15	47
1	34	47
2	74	17
3	166	17
4	455	17
5	1441	17
done	5000	17
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	9	10
1	22	10
2	41	10
3	82	10
4	112	10
5	126	10
6	153	10
7	211	10
8	295	10
9	307	10
10	308	10
done	308	10
0	17	35
1	35	35
2	52	35
3	62	35
done	62	35
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	16	24
1	30	24
2	40	24
3	45	24
done	45	24
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	9	15
1	15	13
2	21	13
3	26	13
done	26	13
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	16	28
1	30	28
2	38	28
3	42	28
done	42	28
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	8	8
1	12	6
2	14	6
done	14	6
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	12	23
1	26	23
2	34	23
3	38	23
done	38	23
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	11	12
1	23	12
2	31	12
3	35	12
done	35	12
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	2	3
1	4	1
done	4	1
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	10	11
1	22	11
2	30	11
3	34	11
done	34	11
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	15	27
1	29	27
2	37	27
3	41	27
done	41	27
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	7	7
1	11	5
2	13	5
done	13	5
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	16	19
1	44	19
2	97	19
3	355	19
4	1056	19
5	3000	19
done	5000	19
0	15	25
1	38	25
2	105	25
3	338	25
4	1019	25
5	2647	25
done	5000	25
0	17	27
1	52	23
2	140	23
3	513	23
4	2312	23
done	5000	23
0	13	15
1	27	15
2	56	15
3	153	15
4	517	15
5	1231	15
6	2465	15
7	4799	15
done	5000	15
0	6	7
1	15	7
2	19	7
done	19	7
0	8	9
1	11	9
done	11	9
0	7	8
1	19	8
2	24	8
done	24	8
0	7	8
1	18	8
2	31	8
3	52	8
4	94	8
5	251	8
6	731	8
7	2588	8
done	5000	8
0	10	23
1	31	23
2	126	11
3	494	11
4	1805	9
done	5000	9
0	8	17
1	17	17
2	21	17
done	21	17
0	7	8
1	16	8
2	20	8
done	20	8
0	8	23
1	27	23
2	101	9
3	387	9
4	1059	9
5	2993	9
done	5000	9
0	7	8
1	16	8
2	20	8
done	20	8
0	7	8
1	16	8
2	20	8
done	20	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	3	3
1	4	3
done	4	3
0	4	5
1	8	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	15	7
2	19	7
done	19	7
0	9	11
1	34	11
2	97	11
3	243	11
4	493	11
5	1443	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	10	11
1	24	10
2	40	10
3	77	10
4	139	10
5	382	10
6	1256	10
done	5000	10
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	9	10
1	22	10
2	38	10
3	70	10
4	113	10
5	306	10
6	1060	10
7	4495	10
done	5000	10
0	10	21
1	20	21
2	28	21
3	32	21
done	32	21
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	10	29
1	33	29
2	101	11
3	473	11
4	2600	11
done	5000	11
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	11	13
1	37	13
2	90	13
3	344	13
4	1111	13
5	3046	13
done	5000	13
0	12	29
1	38	21
2	127	21
3	415	21
4	1151	21
5	2931	21
done	5000	21
0	10	19
1	31	19
2	96	19
3	328	19
4	1006	19
5	2641	19
done	5000	19
0	8	9
1	19	9
2	35	9
3	65	9
4	89	9
5	103	9
6	145	9
7	235	9
8	265	9
done	265	9
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	16	19
1	30	18
2	40	18
3	47	18
4	50	18
5	56	18
6	60	18
7	76	18
8	80	18
9	87	18
10	100	18
11	131	18
12	172	18
13	242	18
14	341	18
15	551	18
16	613	18
17	1088	18
18	4719	18
done	5000	18
0	15	18
1	29	18
2	38	18
3	42	18
done	42	18
0	15	18
1	32	18
2	43	18
3	50	18
4	56	18
5	60	18
6	76	18
7	80	18
8	87	18
9	100	18
10	132	18
11	173	18
12	238	18
13	337	18
14	546	18
15	608	18
16	1083	18
17	4684	18
done	5000	18
0	16	37
1	30	37
2	39	37
3	43	37
done	43	37
0	15	18
1	29	18
2	38	18
3	42	18
done	42	18
0	16	53
1	31	53
2	54	19
3	109	19
4	276	19
5	869	19
6	2921	19
done	5000	19
0	15	18
1	29	18
2	38	18
3	42	18
done	42	18
0	15	18
1	29	18
2	38	18
3	42	18
done	42	18
0	17	21
1	47	21
2	94	21
3	252	21
4	904	21
5	4211	21
done	5001	21
0	18	53
1	43	51
2	75	51
3	114	37
4	214	37
5	509	37
6	1406	37
7	4408	37
done	5000	37
0	2	2
done	2	2
0	16	35
1	37	35
2	65	35
3	111	35
4	231	35
5	593	35
6	1637	35
done	5000	35
0	14	17
1	27	17
2	35	17
3	39	17
done	39	17
0	16	19
1	29	19
2	37	19
3	41	19
done	41	19
0	16	19
1	30	19
2	39	19
3	43	19
done	43	19
0	17	20
1	30	20
2	38	20
3	42	20
done	42	20
0	17	20
1	31	20
2	40	20
3	44	20
done	44	20
0	14	17
1	28	17
2	37	17
3	41	17
done	41	17
0	2	2
done	2	2
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	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	12	15
1	29	15
2	59	11
3	126	11
4	314	11
5	951	9
6	4793	9
done	5000	9
0	12	15
1	29	15
2	59	11
3	126	11
4	314	11
5	951	9
6	4793	9
done	5000	9

prune175.0ms

Filtered

75 candidates to 93 candidates (-24.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	91	3	94

Merged error: 0.0b

Counts

94 → 3

localize21.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 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite30.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 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series48.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.8min

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	19	39
1	40	23
2	65	21
3	87	21
4	110	21
5	143	21
6	201	21
7	244	21
8	252	21
done	252	21
0	19	38
1	39	32
2	58	23
3	81	21
4	104	21
5	135	21
6	202	21
7	241	21
8	262	21
9	263	21
done	263	21
0	19	38
1	39	28
2	64	23
3	88	21
4	106	21
5	137	21
6	180	21
7	249	21
8	265	21
done	265	21
0	19	37
1	37	37
2	57	23
3	81	21
4	97	21
5	122	21
6	167	21
7	229	21
8	257	21
9	259	21
done	259	21
0	18	36
1	39	36
2	68	36
3	101	20
4	140	20
5	174	20
6	228	20
7	270	20
8	307	20
9	310	20
done	310	20
0	18	36
1	36	36
2	55	36
3	71	36
4	83	36
5	115	36
6	195	36
7	417	36
8	1722	36
done	5000	36
0	15	31
1	45	31
2	110	31
3	349	31
4	989	31
5	2940	31
done	5001	31
0	18	77
1	51	77
2	125	35
3	305	24
4	668	24
5	1976	24
done	5001	24
0	18	61
1	51	61
2	133	35
3	442	28
4	1319	28
5	4022	28
done	5001	28
0	21	107
1	56	107
2	198	39
3	996	21
4	3485	21
done	5000	21
0	19	73
1	37	73
2	54	73
3	64	73
done	64	73
0	18	36
1	36	36
2	53	36
3	63	36
done	63	36
0	19	107
1	44	107
2	130	37
3	503	37
4	1878	19
5	4473	19
done	5000	19
0	18	36
1	36	36
2	54	18
3	64	18
done	64	18
0	18	36
1	36	36
2	54	18
3	64	18
done	64	18
0	8	14
1	13	14
done	13	14
0	11	22
1	24	22
2	32	22
3	36	22
done	36	22
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	12	23
1	26	23
2	34	23
3	38	23
done	38	23
0	17	35
1	35	35
2	52	35
3	62	35
done	62	35
0	16	24
1	30	24
2	40	24
3	45	24
done	45	24
0	16	28
1	30	28
2	40	28
3	45	28
done	45	28
0	20	43
1	54	43
2	116	43
3	374	43
4	1100	43
5	3101	43
done	5000	43
0	24	49
1	70	49
2	189	49
3	629	49
4	1896	49
done	5000	49
0	24	49
1	70	49
2	189	49
3	635	49
4	1945	49
done	5000	49
0	19	55
1	48	55
2	122	55
3	361	55
4	1040	55
5	2688	55
done	5000	55
0	22	39
1	59	39
2	129	39
3	399	39
4	1109	39
5	3100	39
done	5000	39
0	21	45
1	52	45
2	131	45
3	376	45
4	1071	45
5	2828	45
done	5001	45
0	22	39
1	59	39
2	129	39
3	399	39
4	1108	39
5	3050	39
done	5000	39
0	21	45
1	52	45
2	131	45
3	381	45
4	1077	45
5	2835	45
done	5000	45
0	21	59
1	56	51
2	116	51
3	175	51
4	207	51
5	228	51
6	249	51
7	302	51
8	449	51
9	712	51
10	772	51
11	784	51
12	810	51
13	848	51
14	870	51
15	902	51
16	933	51
17	947	51
18	950	51
done	950	51
0	23	47
1	59	43
2	126	43
3	191	43
4	218	43
5	238	43
6	259	43
7	312	43
8	459	43
9	722	43
10	782	43
11	796	43
12	822	43
13	862	43
14	884	43
15	916	43
16	947	43
17	961	43
18	964	43
done	964	43
0	23	47
1	59	43
2	126	43
3	191	43
4	218	43
5	238	43
6	259	43
7	312	43
8	459	43
9	722	43
10	782	43
11	796	43
12	822	43
13	862	43
14	884	43
15	916	43
16	947	43
17	961	43
18	964	43
done	964	43
0	17	35
1	37	35
2	63	35
3	68	35
done	68	35
0	20	40
1	51	36
2	102	36
3	159	36
4	191	36
5	212	36
6	233	36
7	286	36
8	433	36
9	696	36
10	756	36
11	768	36
12	794	36
13	832	36
14	854	36
15	886	36
16	917	36
17	931	36
18	934	36
done	934	36
0	16	28
1	32	28
2	49	28
3	53	28
done	53	28
0	20	40
1	51	36
2	102	36
3	159	36
4	191	36
5	212	36
6	233	36
7	286	36
8	433	36
9	696	36
10	756	36
11	768	36
12	794	36
13	832	36
14	854	36
15	886	36
16	917	36
17	931	36
18	934	36
done	934	36
0	16	28
1	32	28
2	49	28
3	53	28
done	53	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

prune467.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

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.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 (* x (+ 0.99229 (* x 0.04481)))))) 6)
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
13.0ms	(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6))

series62.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify7.1min

Counts

149 → 149

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	20	40
1	37	40
2	56	40
3	102	40
4	280	21
5	1076	20
done	5000	20
0	19	21
1	36	21
2	53	21
3	82	21
4	154	21
5	352	21
6	973	20
7	3617	20
done	5000	20
0	19	21
1	36	21
2	53	21
3	78	21
4	147	20
5	351	17
6	1123	16
7	4876	16
done	5000	16
0	19	21
1	36	21
2	53	21
3	78	21
4	147	20
5	351	17
6	1123	16
7	4876	16
done	5000	16
0	22	40
1	39	40
2	59	40
3	106	40
4	325	40
5	2936	40
done	5000	40
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	29
1	38	29
2	58	29
3	105	29
4	309	29
5	2358	29
done	5001	29
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	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	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	22	41
1	41	41
2	64	41
3	134	41
4	580	41
done	5000	41
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	29
1	38	29
2	58	29
3	105	29
4	309	29
5	2359	29
done	5000	29
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	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	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	21	33
1	38	33
2	58	33
3	105	33
4	306	33
5	2333	33
done	5000	33
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	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	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	21	34
1	40	34
2	63	34
3	133	34
4	553	34
done	5000	34
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	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	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	17	28
1	34	27
2	54	27
3	96	27
4	238	27
5	864	27
6	3695	26
done	5000	26
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	16	17
1	33	16
2	53	16
3	95	16
4	229	16
5	762	16
6	3012	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	6	8
1	13	1
done	13	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	17	29
1	36	28
2	59	28
3	124	28
4	448	27
5	3152	15
done	5000	15
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	16	17
1	33	16
2	53	16
3	95	16
4	229	16
5	763	12
6	3013	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2128	21
done	5001	21
0	6	7
1	13	4
2	21	1
3	25	1
done	25	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	22	41
1	41	41
2	66	41
3	147	41
4	741	41
done	5001	41
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	30
1	40	30
2	65	30
3	146	30
4	714	30
done	5001	30
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	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	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	22	42
1	45	42
2	82	42
3	216	42
4	1476	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	30
1	40	30
2	65	30
3	146	30
4	714	30
done	5001	28
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	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	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	21	33
1	38	33
2	58	33
3	105	33
4	306	33
5	2334	33
done	5000	33
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	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	36	21
2	56	21
3	103	21
4	296	21
5	1932	21
done	5001	21
0	21	34
1	40	34
2	63	34
3	133	34
4	553	34
done	5000	32
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1921	17
done	5000	17
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1921	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	36	21
2	56	21
3	103	21
4	296	21
5	1932	21
done	5001	21
0	16	27
1	33	27
2	53	27
3	95	27
4	235	27
5	861	27
6	3644	26
done	5001	26
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	15	16
1	32	16
2	52	16
3	94	16
4	228	16
5	746	16
6	2985	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	6	7
1	13	6
2	24	6
3	55	1
done	55	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	16	28
1	35	28
2	58	28
3	123	28
4	445	27
5	3108	15
done	5000	15
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	15	16
1	32	16
2	52	16
3	94	16
4	228	16
5	747	12
6	2986	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2128	21
done	5001	21
0	5	6
1	12	1
done	12	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	4	4
1	11	1
done	11	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	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	31	15
2	51	15
3	93	15
4	223	15
5	754	15
6	3077	14
done	5000	14
0	21	24
1	52	24
2	115	24
3	410	24
4	1317	24
done	5000	24
0	16	33
1	47	25
2	145	25
3	478	25
4	1800	25
done	5001	25
0	20	30
1	48	30
2	125	30
3	397	30
4	1312	30
done	5000	30
0	12	13
1	28	13
2	53	13
3	112	13
4	321	13
5	1383	13
done	5001	13
0	20	42
1	37	42
2	57	42
3	104	42
4	307	42
5	2125	20
done	5001	20
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	19	21
1	36	21
2	57	21
3	104	17
4	307	17
5	2122	17
done	5000	17
0	19	21
1	36	21
2	57	21
3	104	17
4	307	17
5	2122	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	20	22
1	37	20
2	57	17
3	89	16
4	158	16
5	365	16
6	1034	16
7	4417	16
done	5000	16
0	20	22
1	37	20
2	57	17
3	89	16
4	158	16
5	365	16
6	1034	16
7	4417	16
done	5000	16
0	20	43
1	37	43
2	57	43
3	104	43
4	307	43
5	2125	43
done	5001	43
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	20	62
1	38	62
2	59	22
3	108	19
4	305	19
5	2129	19
done	5001	19
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	19	21
1	34	21
2	49	21
3	58	21
4	63	21
done	63	21
0	18	20
1	34	20
2	44	20
3	55	20
4	60	20
5	65	20
done	65	20
0	18	20
1	34	20
2	44	20
3	55	20
4	60	20
5	65	20
done	65	20
0	3	3
1	6	1
done	6	1
0	19	23
1	35	23
2	50	23
3	78	23
4	135	23
5	296	23
6	907	23
7	3322	23
done	5000	23
0	18	20
1	34	20
2	47	20
3	69	20
4	109	20
5	222	20
6	598	20
7	2223	20
done	5000	20
0	17	19
1	36	17
2	51	17
3	66	17
4	90	17
5	154	17
6	366	17
7	1288	17
done	5000	17
0	19	39
1	36	39
2	55	39
3	101	39
4	272	20
5	1087	19
done	5000	19
0	18	20
1	35	20
2	52	20
3	81	20
4	153	20
5	353	20
6	986	20
7	3671	20
done	5000	20
0	18	20
1	35	20
2	52	20
3	77	20
4	146	19
5	348	19
6	1133	15
done	5000	15
0	18	20
1	35	20
2	52	20
3	77	20
4	146	19
5	348	19
6	1133	15
done	5000	15
0	21	39
1	38	39
2	58	39
3	105	39
4	327	39
5	2951	39
done	5000	39
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	28
1	37	28
2	57	28
3	104	28
4	308	28
5	2344	28
done	5000	28
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	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	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	21	40
1	40	40
2	63	40
3	133	40
4	579	40
done	5001	40
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	28
1	37	28
2	57	28
3	104	28
4	308	28
5	2345	28
done	5001	28
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	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	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	20	32
1	37	32
2	57	32
3	104	32
4	305	32
5	2350	32
done	5000	32
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	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	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	20	33
1	39	33
2	62	33
3	132	33
4	550	33
done	5000	33
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	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	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	16	27
1	33	26
2	53	26
3	95	26
4	235	26
5	879	26
6	3688	25
done	5000	25
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	15	16
1	32	15
2	52	15
3	94	15
4	228	15
5	772	15
6	3015	11
done	5000	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	5	7
1	12	1
done	12	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	16	28
1	35	27
2	58	27
3	123	27
4	449	26
5	3086	17
done	5000	17
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	15	16
1	32	15
2	52	15
3	94	15
4	228	15
5	773	14
6	3016	11
done	5001	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2109	20
done	5001	20
0	5	6
1	12	3
2	20	1
done	20	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	21	40
1	40	40
2	65	40
3	146	40
4	745	40
done	5001	40
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	29
1	39	29
2	64	29
3	145	29
4	714	29
done	5000	29
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	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	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	21	41
1	44	41
2	81	41
3	215	41
4	1473	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	29
1	39	29
2	64	29
3	145	29
4	714	29
done	5000	27
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	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	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	20	32
1	37	32
2	57	32
3	104	32
4	305	32
5	2351	32
done	5000	32
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	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	35	20
2	55	20
3	102	20
4	293	20
5	1917	20
done	5001	20
0	20	33
1	39	33
2	62	33
3	132	33
4	550	33
done	5001	31
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1910	19
done	5000	19
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1910	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	35	20
2	55	20
3	102	20
4	293	20
5	1917	20
done	5001	20
0	15	26
1	32	26
2	52	26
3	94	26
4	234	26
5	874	26
6	3611	25
done	5000	25
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	14	15
1	31	15
2	51	15
3	93	15
4	224	15
5	755	15
6	2974	11
done	5000	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	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	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	15	27
1	34	27
2	57	27
3	122	27
4	448	26
5	3127	17
done	5000	17
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	14	15
1	31	15
2	51	15
3	93	15
4	224	15
5	756	14
6	2975	11
done	5000	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2109	20
done	5001	20
0	4	5
1	11	1
done	11	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	3	3
1	10	1
done	10	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	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	30	14
2	50	14
3	92	14
4	222	14
5	750	14
6	3081	14
done	5000	14
0	20	23
1	51	23
2	114	23
3	402	23
4	1317	23
done	5000	23
0	15	32
1	46	24
2	144	24
3	476	24
4	1804	24
done	5001	24
0	19	29
1	47	29
2	124	29
3	399	29
4	1300	29
done	5000	29
0	11	12
1	27	12
2	52	12
3	111	12
4	322	12
5	1384	12
done	5000	12
0	18	20
1	37	20
2	63	20
3	122	18
4	401	18
5	2717	18
done	5000	18
0	18	20
1	35	20
2	57	20
3	113	20
4	344	20
5	2397	20
done	5000	20
0	19	41
1	36	41
2	56	41
3	103	41
4	308	41
5	2131	19
done	5001	19
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	19	59
1	40	39
2	74	21
3	197	21
4	1167	17
done	5000	17
0	18	20
1	35	20
2	56	20
3	103	16
4	308	16
5	2130	16
done	5001	16
0	18	20
1	35	20
2	56	20
3	103	16
4	308	16
5	2130	16
done	5001	16
0	19	21
1	35	19
2	56	19
3	88	15
4	157	15
5	360	15
6	1026	15
7	4395	15
done	5001	15
0	19	21
1	35	19
2	56	19
3	88	15
4	157	15
5	360	15
6	1026	15
7	4395	15
done	5001	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

prune712.0ms

Filtered

116 candidates to 149 candidates (-28.4%)

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

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.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`
18×	`associate-*r/`
11×	`prod-exp` `cbrt-unprod`
8×	`flip3-+` `flip-+`
7×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `difference-of-squares`
6×	`frac-times`
4×	`flip3--` `associate-/r*` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `add-log-exp`
3×	`associate-l/` `-commutative` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `sub-neg` `pow-plus` `div-exp` `div-inv` `associate-/l/`
1×	`pow2` `frac-2neg` `swap-sqr` `clear-num`

Counts

4 → 148

Calls

4 calls:

7.0ms	(* x (+ 0.99229 (* x 0.04481)))
13.0ms	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
9.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
15.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series42.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* x (+ 0.99229 (* x 0.04481)))
5.0ms	(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
13.0ms	(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
17.0ms	(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify6.3min

Counts

160 → 160

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	35
1	44	35
2	142	35
3	554	17
4	2062	15
done	5000	15
0	20	38
1	49	38
2	138	38
3	449	38
4	1410	19
5	3955	17
done	5000	17
0	19	37
1	47	37
2	134	37
3	448	37
4	1410	18
5	3964	16
done	5001	16
0	18	36
1	48	36
2	152	36
3	586	18
4	2139	16
done	5000	16
0	18	36
1	47	36
2	151	36
3	594	18
4	2220	16
done	5000	16
0	23	107
1	74	107
2	318	41
3	1981	39
done	5001	39
0	21	107
1	58	107
2	231	39
3	1223	39
done	5000	39
0	19	73
1	46	73
2	144	73
3	555	37
4	2054	33
done	5001	33
0	18	36
1	45	36
2	143	36
3	559	18
4	2060	16
done	5000	16
0	19	107
1	56	107
2	223	37
3	1290	19
done	5000	19
0	18	36
1	45	36
2	143	36
3	559	18
4	2060	16
done	5000	16
0	18	36
1	45	36
2	143	36
3	559	18
4	2060	16
done	5000	16
0	16	19
1	46	19
2	130	19
3	610	19
4	3299	19
done	5000	19
0	14	49
1	51	41
2	202	41
3	1050	41
done	5002	41
0	15	25
1	39	25
2	122	25
3	469	25
4	2053	25
done	5001	25
0	12	29
1	40	29
2	149	29
3	700	29
4	3534	29
done	5000	29
0	19	37
1	44	37
2	123	37
3	421	37
4	1344	37
5	3821	37
done	5000	37
0	19	37
1	44	37
2	123	37
3	421	37
4	1344	37
5	3821	37
done	5000	37
0	20	38
1	47	38
2	127	38
3	424	38
4	1336	38
5	3854	38
done	5000	38
0	20	38
1	47	38
2	127	38
3	424	38
4	1336	38
5	3854	38
done	5000	38
0	16	27
1	42	27
2	116	27
3	380	27
4	1137	27
5	3103	27
done	5000	27
0	17	34
1	49	34
2	164	34
3	694	34
4	2452	34
done	5001	34
0	16	27
1	42	27
2	116	27
3	380	27
4	1137	27
5	3103	27
done	5000	27
0	17	34
1	49	34
2	164	34
3	694	34
4	2452	34
done	5001	34
0	16	27
1	42	27
2	125	27
3	394	27
4	1159	27
5	3132	27
done	5000	27
0	17	34
1	49	34
2	167	34
3	707	34
4	2340	34
done	5000	34
0	16	27
1	42	27
2	125	27
3	394	27
4	1159	27
5	3132	27
done	5000	27
0	17	34
1	49	34
2	167	34
3	707	34
4	2340	34
done	5000	34
0	19	47
1	48	47
2	139	47
3	491	47
4	1592	47
5	4858	47
done	5000	47
0	18	36
1	45	36
2	131	36
3	462	36
4	1462	36
5	4321	36
done	5000	36
0	17	27
1	45	25
2	126	25
3	397	25
4	1195	25
5	3363	25
done	5000	25
0	18	36
1	43	36
2	128	36
3	450	36
4	1449	36
5	4048	36
done	5001	36
0	18	36
1	43	36
2	128	36
3	450	36
4	1449	36
5	4048	36
done	5001	36
0	19	37
1	46	37
2	138	37
3	489	37
4	1617	37
5	4406	37
done	5000	37
0	19	37
1	46	37
2	138	37
3	489	37
4	1617	37
5	4406	37
done	5000	37
0	18	36
1	45	36
2	143	36
3	533	18
4	1898	16
done	5000	16
0	15	26
1	31	26
2	62	26
3	157	8
4	412	6
5	1967	6
done	5001	6
0	19	37
1	46	37
2	138	37
3	489	37
4	1617	37
5	4406	37
done	5000	37
0	19	37
1	46	37
2	138	37
3	489	37
4	1617	37
5	4406	37
done	5000	37
0	18	36
1	45	36
2	143	36
3	533	18
4	1898	16
done	5000	16
0	15	26
1	31	26
2	62	26
3	157	8
4	412	6
5	1967	6
done	5001	6
0	18	36
1	45	36
2	137	36
3	512	36
4	1777	36
done	5000	36
0	18	36
1	45	36
2	137	36
3	512	36
4	1777	36
done	5000	36
0	17	35
1	44	35
2	142	35
3	554	17
4	2062	15
done	5000	15
0	14	25
1	30	25
2	61	25
3	180	7
4	573	5
5	2628	5
done	5000	5
0	17	35
1	44	35
2	142	35
3	554	17
4	2062	15
done	5000	15
0	14	31
1	41	31
2	139	29
3	590	11
4	2697	11
done	5001	11
0	16	69
1	56	53
2	266	45
3	1354	43
done	5002	43
0	12	29
1	32	29
2	100	29
3	334	29
4	1314	29
done	5000	29
0	20	39
1	62	39
2	204	39
3	925	39
done	5000	39
0	16	45
1	42	45
2	134	45
3	574	7
4	2955	5
done	5000	5
0	13	15
1	27	15
2	57	15
3	146	15
4	438	15
5	1074	15
6	2260	15
7	4929	15
done	5000	15
0	17	27
1	42	27
2	111	27
3	349	27
4	1038	27
5	2693	27
done	5000	27
0	16	26
1	42	26
2	114	26
3	358	26
4	1053	26
5	2692	26
done	5001	26
0	16	26
1	39	26
2	106	26
3	336	26
4	1014	26
5	2640	26
done	5001	26
0	19	77
1	63	77
2	233	29
3	1082	27
done	5000	27
0	17	53
1	40	53
2	107	53
3	338	53
4	1019	53
5	2654	53
done	5001	53
0	16	26
1	39	26
2	106	26
3	336	26
4	1014	26
5	2640	26
done	5001	26
0	17	77
1	47	77
2	157	27
3	629	27
4	2686	27
done	5000	27
0	16	26
1	39	26
2	106	26
3	336	26
4	1014	26
5	2640	26
done	5001	26
0	16	26
1	39	26
2	106	26
3	336	26
4	1014	26
5	2640	26
done	5001	26
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	11	20
1	32	20
2	104	20
3	375	20
4	1376	19
5	4835	19
done	5000	19
0	19	55
1	48	55
2	122	55
3	361	55
4	1040	55
5	2688	55
done	5000	55
0	17	27
1	40	27
2	105	27
3	337	27
4	1017	27
5	2659	27
done	5000	27
0	18	34
1	43	34
2	110	34
3	344	34
4	1029	34
5	2650	34
done	5000	34
0	17	27
1	40	27
2	105	27
3	337	27
4	1017	27
5	2659	27
done	5000	27
0	9	15
1	15	13
2	21	13
3	26	13
done	26	13
0	16	26
1	39	26
2	106	26
3	336	26
4	1012	26
5	2632	26
done	5001	26
0	15	23
1	29	23
2	39	23
3	44	23
done	44	23
0	14	16
1	27	16
2	43	16
3	73	16
4	96	16
5	110	16
6	152	16
7	242	16
8	272	16
done	272	16
0	18	48
1	43	48
2	108	48
3	340	48
4	1025	48
5	2661	48
done	5001	48
0	17	27
1	40	27
2	105	27
3	337	27
4	1017	27
5	2659	27
done	5000	27
0	17	27
1	40	27
2	105	27
3	337	27
4	1017	27
5	2659	27
done	5000	27
0	17	27
1	40	27
2	105	27
3	337	27
4	1017	27
5	2659	27
done	5000	27
0	8	8
1	12	6
2	14	6
done	14	6
0	16	26
1	39	26
2	106	26
3	336	26
4	1012	26
5	2632	26
done	5001	26
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	14	16
1	27	16
2	43	16
3	73	16
4	96	16
5	110	16
6	152	16
7	242	16
8	272	16
done	272	16
0	14	43
1	39	43
2	104	43
3	336	43
4	1017	43
5	2659	43
done	5000	43
0	16	26
1	39	26
2	104	26
3	334	26
4	1013	26
5	2666	26
done	5000	26
0	13	22
1	36	22
2	101	22
3	333	22
4	1014	22
5	2646	22
done	5001	22
0	16	26
1	39	26
2	104	26
3	334	26
4	1013	26
5	2666	26
done	5000	26
0	2	3
1	4	1
done	4	1
0	15	25
1	38	25
2	105	25
3	338	25
4	1019	25
5	2647	25
done	5000	25
0	10	11
1	22	11
2	30	11
3	34	11
done	34	11
0	13	15
1	26	15
2	42	15
3	72	15
4	95	15
5	109	15
6	151	15
7	241	15
8	271	15
done	271	15
0	12	21
1	35	21
2	102	21
3	334	21
4	1013	21
5	2664	21
done	5001	21
0	15	25
1	41	25
2	120	25
3	393	25
4	1259	25
5	3679	25
done	5000	25
0	17	47
1	42	47
2	107	47
3	340	47
4	1018	47
5	2657	47
done	5000	47
0	16	26
1	39	26
2	104	26
3	334	26
4	1013	26
5	2666	26
done	5000	26
0	7	7
1	11	5
2	13	5
done	13	5
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	16	26
1	42	26
2	121	26
3	393	26
4	1252	26
5	3686	26
done	5001	26
0	16	26
1	42	26
2	121	26
3	393	26
4	1252	26
5	3686	26
done	5001	26
0	15	25
1	41	25
2	120	25
3	393	25
4	1259	25
5	3679	25
done	5000	25
0	18	29
1	55	29
2	201	19
3	1016	19
done	5000	19
0	17	45
1	48	45
2	165	29
3	866	19
4	4277	19
done	5000	19
0	19	37
1	64	33
2	216	33
3	945	33
done	5001	33
0	15	25
1	40	25
2	127	25
3	484	25
4	2224	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	23	15
2	65	15
3	169	15
4	324	15
5	483	15
6	667	15
7	935	15
8	1215	15
9	2119	15
done	5001	15
0	7	15
1	23	15
2	65	15
3	169	15
4	324	15
5	483	15
6	667	15
7	935	15
8	1215	15
9	2119	15
done	5001	15
0	7	15
1	23	15
2	65	15
3	169	15
4	324	15
5	483	15
6	667	15
7	935	15
8	1215	15
9	2119	15
done	5001	15
0	7	15
1	23	15
2	65	15
3	169	15
4	324	15
5	483	15
6	667	15
7	935	15
8	1215	15
9	2119	15
done	5001	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	24	17
2	36	17
3	44	10
4	51	10
done	51	10
0	11	18
1	24	17
2	36	17
3	44	10
4	51	10
done	51	10
0	8	17
1	22	10
2	38	10
3	47	10
4	50	10
done	50	10
0	8	16
1	26	16
2	81	10
3	210	10
4	363	10
5	522	10
6	705	10
7	971	10
8	1254	10
9	2170	10
done	5000	10
0	8	16
1	26	16
2	84	16
3	239	16
4	522	16
5	1190	16
6	3500	16
done	5000	16
0	11	47
1	39	47
2	211	23
3	1170	11
done	5001	11
0	14	47
1	55	47
2	262	19
3	1459	9
done	5000	9
0	14	47
1	55	47
2	262	19
3	1424	9
done	5000	9
0	9	47
1	34	47
2	174	19
3	967	9
4	4773	9
done	5000	9
0	9	33
1	25	33
2	67	33
3	175	33
4	325	33
5	489	33
6	673	33
7	944	33
8	1234	33
9	2162	33
done	5000	33
0	8	16
1	24	16
2	66	16
3	170	16
4	318	16
5	475	16
6	659	16
7	928	16
8	1216	16
9	2131	16
done	5000	16
0	9	47
1	33	47
2	168	17
3	1049	9
done	5000	9
0	8	16
1	25	8
2	67	8
3	176	8
4	326	8
5	488	8
6	672	8
7	943	8
8	1227	8
9	2131	8
done	5000	8
0	8	16
1	25	8
2	67	8
3	176	8
4	326	8
5	488	8
6	672	8
7	943	8
8	1227	8
9	2131	8
done	5000	8
0	10	23
1	42	23
2	143	23
3	570	23
4	2965	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	55	25
2	182	25
3	664	25
4	3712	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	55	25
2	190	25
3	771	25
4	4713	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	475	27
4	2708	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	2	3
done	2	3
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	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	8	11
1	21	11
2	44	11
3	95	11
4	135	11
5	147	11
6	152	11
7	170	11
8	212	11
9	336	11
10	731	11
11	2177	11
done	5000	11
0	8	13
1	23	13
2	51	13
3	138	13
4	234	11
5	256	11
6	305	11
7	470	11
8	949	11
9	2652	11
done	5000	11
0	8	11
1	21	11
2	45	11
3	96	11
4	142	11
5	152	11
6	157	11
7	175	11
8	219	11
9	341	11
10	732	11
11	2182	11
done	5000	11
0	8	13
1	21	13
2	48	13
3	134	13
4	230	11
5	256	11
6	305	11
7	470	11
8	953	11
9	2670	11
done	5001	11
0	8	11
1	21	11
2	58	11
3	120	11
4	149	11
5	151	11
6	156	11
7	174	11
8	218	11
9	340	11
10	724	11
11	2157	11
done	5001	11
0	8	13
1	23	13
2	65	13
3	177	13
4	248	11
5	259	11
6	308	11
7	468	11
8	951	11
9	2658	11
done	5001	11
0	8	11
1	21	11
2	56	11
3	121	11
4	159	11
5	164	11
6	182	11
7	228	11
8	347	11
9	739	11
10	2175	11
done	5000	11
0	8	13
1	21	13
2	60	13
3	167	13
4	234	11
5	253	11
6	302	11
7	468	11
8	949	11
9	2657	11
done	5001	11
0	7	9
1	17	9
2	29	9
3	38	9
4	40	9
5	45	9
6	55	9
7	73	9
8	122	9
9	267	9
10	794	9
11	3094	9
done	5001	9
0	7	13
1	17	13
2	38	13
3	95	13
4	189	13
5	272	13
6	366	13
7	483	13
8	521	13
9	555	13
10	649	13
11	930	13
12	1956	13
done	5000	13
0	12	19
1	50	19
2	153	19
3	591	19
4	2543	19
done	5000	19
0	11	21
1	36	21
2	101	21
3	393	21
4	1549	21
5	3876	21
done	5000	21
0	12	19
1	50	19
2	153	19
3	508	19
4	1944	19
done	5000	19
0	11	21
1	36	21
2	110	21
3	389	21
4	1532	21
5	4055	21
done	5000	21
0	6	7
1	15	7
2	19	7
done	19	7
0	8	9
1	11	9
done	11	9
0	7	8
1	19	8
2	24	8
done	24	8
0	7	8
1	18	8
2	31	8
3	52	8
4	94	8
5	251	8
6	731	8
7	2588	8
done	5000	8
0	10	23
1	31	23
2	126	11
3	494	11
4	1805	9
done	5000	9
0	8	17
1	17	17
2	21	17
done	21	17
0	7	8
1	16	8
2	20	8
done	20	8
0	8	23
1	27	23
2	101	9
3	387	9
4	1059	9
5	2993	9
done	5000	9
0	7	8
1	16	8
2	20	8
done	20	8
0	7	8
1	16	8
2	20	8
done	20	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	3	3
1	4	3
done	4	3
0	4	5
1	8	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	15	7
2	19	7
done	19	7
0	9	11
1	34	11
2	97	11
3	243	11
4	493	11
5	1443	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	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

prune387.0ms

Filtered

121 candidates to 160 candidates (-32.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	160	4	164

Merged error: 0b

Counts

164 → 4

regimes80.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

sample548.0ms

Algorithm

intervals

Results

384.0ms

8000×

body

valid

Details

sample20.0ms

simplify23.0ms

prune2.0ms

localize11.0ms

rewrite31.0ms

series24.0ms

simplify1.8min

prune175.0ms

localize21.0ms

rewrite30.0ms

series48.0ms

simplify1.8min

prune467.0ms

localize20.0ms

rewrite39.0ms

series62.0ms

simplify7.1min

prune712.0ms

localize16.0ms

rewrite49.0ms

series42.0ms

simplify6.3min

prune387.0ms

regimes80.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample548.0ms

Profiling