Details

sample99.0ms

Algorithm

intervals

Results

25.0ms	130×	body	160	valid
24.0ms	250×	body	80	nan
12.0ms	126×	body	80	valid

simplify2.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19

prune5.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: 11.3b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (/ t l) 2.0)
0.2b	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
0.6b	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
10.5b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

96×	`add-sqr-sqrt`
65×	`times-frac`
51×	`*-un-lft-identity`
37×	`add-cube-cbrt`
30×	`sqrt-prod`
28×	`difference-of-squares`
27×	`unpow-prod-down`
9×	`add-exp-log`
8×	`associate-/l*` `sqr-pow`
7×	`distribute-lft-out--`
6×	`pow1` `add-cbrt-cube`
4×	`associate-/r/` `add-log-exp`
3×	`pow-unpow` `associate-/r*` `div-inv`
2×	`rem-sqrt-square` `flip3-+` `div-exp` `pow-exp` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `pow-to-exp` `asin-acos` `flip3--` `pow-pow` `frac-2neg` `sqrt-pow1` `pow1/2` `sqrt-div` `div-sub` `clear-num` `flip--`

Counts

4 → 130

Calls

4 calls:

6.0ms	(pow (/ t l) 2.0)
18.0ms	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
1.0ms	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
16.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

series304.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(pow (/ t l) 2.0)
112.0ms	(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))
16.0ms	(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))))
160.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify11.9min

Counts

142 → 142

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	39
1	30	39
2	50	39
3	101	39
4	243	39
5	735	39
6	2649	39
done	5000	39
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	56
1	31	36
2	58	20
3	131	20
4	315	20
5	1009	20
6	4236	20
done	5000	20
0	17	38
1	31	19
2	51	19
3	102	19
4	242	19
5	739	19
6	2654	19
done	5001	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	19	40
1	35	40
2	61	20
3	109	20
4	214	20
5	537	20
6	1738	20
done	5001	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	18	29
1	30	29
2	48	29
3	93	29
4	200	29
5	521	29
6	1728	29
done	5000	29
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	12	20
1	22	18
2	38	9
3	68	9
4	127	9
5	307	9
6	990	9
7	3837	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	18	31
1	30	31
2	46	31
3	90	31
4	198	31
5	526	31
6	1716	31
done	5000	31
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	11	11
1	19	9
2	30	9
3	55	9
4	115	9
5	300	9
6	985	9
7	3815	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	19	32
1	30	32
2	42	32
3	77	32
4	166	32
5	412	32
6	1297	32
7	4981	32
done	5000	32
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	18	21
1	27	21
2	39	21
3	76	21
4	163	21
5	415	21
6	1319	21
7	4989	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	12	12
1	19	10
2	26	10
3	44	10
4	85	10
5	187	10
6	561	10
7	1964	10
done	5000	10
0	17	20
1	30	20
2	50	20
3	101	20
4	245	20
5	739	20
6	2640	20
done	5001	20
0	20	33
1	31	33
2	43	33
3	78	33
4	167	33
5	415	33
6	1307	33
done	5000	33
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	19	22
1	28	22
2	40	22
3	75	22
4	159	22
5	414	22
6	1303	22
7	4996	22
done	5000	22
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	13	13
1	20	11
2	27	11
3	45	11
4	84	11
5	195	11
6	568	11
7	1989	11
done	5001	11
0	18	21
1	31	21
2	51	21
3	104	21
4	249	21
5	743	21
6	2660	21
done	5000	21
0	19	32
1	30	32
2	43	32
3	78	32
4	166	32
5	416	32
6	1301	32
done	5000	32
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	18	21
1	27	21
2	40	21
3	77	21
4	162	21
5	410	21
6	1298	21
7	4990	21
done	5000	21
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	12	12
1	19	10
2	27	10
3	45	10
4	84	10
5	189	10
6	567	10
7	1958	10
done	5001	10
0	17	20
1	30	20
2	46	20
3	85	20
4	169	20
5	416	20
6	1304	20
7	4990	20
done	5000	20
0	20	33
1	30	33
2	46	33
3	83	33
4	179	33
5	458	33
6	1507	33
done	5000	33
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	19	22
1	27	22
2	43	22
3	80	22
4	175	22
5	456	22
6	1498	22
done	5001	22
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	13	13
1	19	11
2	29	11
3	50	11
4	97	11
5	226	11
6	723	11
7	2531	11
done	5001	11
0	18	21
1	30	21
2	54	21
3	107	21
4	260	21
5	785	21
6	2852	21
done	5001	21
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	11	12
1	19	12
2	28	12
3	54	12
4	119	12
5	313	12
6	1009	12
7	3784	12
done	5000	12
0	18	22
1	46	22
2	106	22
3	315	22
4	1161	22
done	5000	22
0	13	30
1	35	22
2	98	22
3	291	22
4	866	22
5	2909	22
done	5001	22
0	17	28
1	41	28
2	110	24
3	344	24
4	1314	24
done	5001	24
0	9	10
1	16	10
2	32	10
3	70	10
4	185	10
5	572	10
6	2107	10
done	5000	10
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	9	10
1	15	10
2	24	10
3	50	10
4	115	10
5	304	10
6	998	10
7	3776	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	3	3
done	3	3
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	18	41
1	31	41
2	51	41
3	102	41
4	242	41
5	732	41
6	2647	41
done	5000	41
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	18	59
1	32	59
2	54	21
3	109	21
4	255	21
5	756	21
6	2710	21
done	5000	21
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	16	19
1	28	19
2	45	19
3	87	19
4	194	19
5	531	19
6	1733	19
done	5001	19
0	15	18
1	31	18
2	53	18
3	105	18
4	246	18
5	740	18
6	2645	18
done	5000	18
0	15	18
1	28	18
2	51	18
3	104	18
4	252	18
5	760	18
6	2776	18
done	5001	18
0	18	53
1	49	53
2	158	21
3	562	19
4	2391	19
done	5000	19
0	16	37
1	29	37
2	49	37
3	100	37
4	242	37
5	729	37
6	2658	37
done	5000	37
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	16	53
1	36	53
2	84	19
3	274	19
4	1069	19
done	5001	19
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	8	8
1	14	8
2	26	8
3	57	8
4	143	7
5	413	7
6	1379	7
done	5000	7
0	9	10
1	18	10
2	35	10
3	74	10
4	192	10
5	579	10
6	2127	10
done	5000	10
0	9	11
1	15	11
2	24	11
3	50	11
4	115	11
5	304	11
6	998	11
7	3776	11
done	5000	11
0	13	15
1	21	15
2	35	15
3	76	15
4	185	15
5	519	15
6	1730	15
done	5000	15
0	18	39
1	34	39
2	59	39
3	107	39
4	216	39
5	536	39
6	1746	39
done	5000	39
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	17	28
1	29	28
2	47	28
3	90	28
4	201	28
5	521	28
6	1721	28
done	5001	28
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	11	19
1	21	17
2	36	17
3	66	17
4	126	17
5	306	17
6	988	17
7	3827	17
done	5000	17
0	15	18
1	25	18
2	41	18
3	83	18
4	190	18
5	513	18
6	1716	18
done	5000	18
0	17	30
1	29	30
2	45	30
3	87	30
4	194	30
5	523	30
6	1732	30
done	5001	30
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	10	10
1	18	8
2	29	8
3	54	8
4	119	8
5	305	8
6	978	8
7	3783	8
done	5000	8
0	15	18
1	25	18
2	41	18
3	83	18
4	190	18
5	513	18
6	1716	18
done	5000	18
0	12	23
1	22	23
2	31	23
3	57	23
4	126	23
5	318	23
6	1012	23
7	3817	23
done	5000	23
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2636	18
done	5000	18
0	11	12
1	19	12
2	28	12
3	54	12
4	119	12
5	313	12
6	1009	12
7	3784	12
done	5000	12
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2636	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	14	17
1	27	17
2	47	17
3	98	17
4	244	17
5	731	17
6	2635	17
done	5001	17
0	18	31
1	29	31
2	41	31
3	78	31
4	165	31
5	413	31
6	1310	31
7	4982	31
done	5000	31
0	17	20
1	30	20
2	50	20
3	101	20
4	245	20
5	739	20
6	2641	20
done	5001	20
0	17	20
1	26	20
2	38	20
3	75	20
4	159	20
5	415	20
6	1303	20
done	5000	20
0	17	20
1	30	20
2	50	20
3	101	20
4	245	20
5	739	20
6	2641	20
done	5001	20
0	11	11
1	18	9
2	25	9
3	43	9
4	82	9
5	191	9
6	568	9
7	1982	9
done	5000	9
0	16	19
1	29	19
2	49	19
3	102	19
4	247	19
5	740	19
6	2659	19
done	5000	19
0	19	32
1	30	32
2	42	32
3	77	32
4	166	32
5	414	32
6	1302	32
done	5000	32
0	18	21
1	31	21
2	51	21
3	104	21
4	249	21
5	743	21
6	2662	21
done	5001	21
0	18	21
1	27	21
2	39	21
3	74	21
4	160	21
5	412	21
6	1305	21
7	4980	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	104	21
4	249	21
5	743	21
6	2662	21
done	5001	21
0	12	12
1	19	10
2	26	10
3	44	10
4	85	10
5	190	10
6	559	10
7	1973	10
done	5001	10
0	17	20
1	30	20
2	50	20
3	101	20
4	245	20
5	742	20
6	2653	20
done	5000	20
0	18	31
1	29	31
2	42	31
3	79	31
4	166	31
5	411	31
6	1310	31
7	4985	31
done	5000	31
0	17	20
1	30	20
2	46	20
3	85	20
4	169	20
5	416	20
6	1304	20
7	4990	20
done	5000	20
0	17	20
1	26	20
2	39	20
3	76	20
4	163	20
5	411	20
6	1307	20
7	4976	20
done	5000	20
0	17	20
1	30	20
2	46	20
3	85	20
4	169	20
5	416	20
6	1304	20
7	4990	20
done	5000	20
0	11	11
1	18	9
2	26	9
3	44	9
4	83	9
5	186	9
6	555	9
7	1970	9
done	5000	9
0	16	19
1	29	19
2	45	19
3	82	19
4	170	19
5	424	19
6	1303	19
7	4990	19
done	5000	19
0	19	32
1	29	32
2	45	32
3	82	32
4	176	32
5	453	32
6	1498	32
done	5000	32
0	18	21
1	30	21
2	54	21
3	107	21
4	260	21
5	785	21
6	2861	21
done	5000	21
0	18	21
1	26	21
2	42	21
3	79	21
4	176	21
5	455	21
6	1493	21
done	5000	21
0	18	21
1	30	21
2	54	21
3	107	21
4	260	21
5	785	21
6	2861	21
done	5000	21
0	12	12
1	18	10
2	28	10
3	49	10
4	98	10
5	226	10
6	724	10
7	2545	10
done	5001	10
0	17	20
1	29	20
2	53	20
3	108	20
4	261	20
5	788	20
6	2859	20
done	5000	20
0	12	23
1	22	23
2	31	23
3	57	23
4	126	23
5	318	23
6	1012	23
7	3817	23
done	5000	23
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2636	18
done	5000	18
0	11	12
1	19	12
2	28	12
3	54	12
4	119	12
5	313	12
6	1009	12
7	3784	12
done	5000	12
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2636	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	14	17
1	27	17
2	47	17
3	98	17
4	244	17
5	731	17
6	2635	17
done	5001	17
0	10	11
1	18	11
2	27	11
3	53	11
4	118	11
5	312	11
6	1012	11
7	3779	11
done	5000	11
0	14	17
1	24	17
2	40	17
3	82	17
4	193	17
5	520	17
6	1732	17
done	5000	17
0	16	29
1	31	29
2	58	29
3	125	29
4	329	29
5	1135	29
done	5001	29
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2636	18
done	5000	18
0	9	9
1	20	7
2	35	7
3	70	7
4	182	7
5	586	7
6	2619	7
done	5000	7
0	15	18
1	25	18
2	41	18
3	83	18
4	194	18
5	518	18
6	1723	18
done	5001	18
0	15	18
1	25	18
2	41	18
3	83	18
4	194	18
5	518	18
6	1723	18
done	5001	18
0	14	17
1	24	17
2	40	17
3	82	17
4	193	17
5	520	17
6	1732	17
done	5000	17
0	16	19
1	26	19
2	42	19
3	84	19
4	191	19
5	513	19
6	1729	19
done	5000	19
0	17	20
1	27	20
2	43	20
3	85	20
4	192	20
5	522	20
6	1740	20
done	5000	20
0	16	19
1	26	19
2	40	19
3	75	19
4	159	19
5	417	19
6	1302	19
done	5000	19
0	17	20
1	26	20
2	46	20
3	90	20
4	205	20
5	554	20
6	1912	20
done	5000	20
0	14	17
1	24	17
2	40	17
3	82	17
4	193	17
5	520	17
6	1732	17
done	5000	17
0	17	21
1	45	21
2	105	21
3	313	21
4	1170	21
done	5001	21
0	16	27
1	40	27
2	109	23
3	344	23
4	1309	23
done	5001	23
0	18	33
1	42	27
2	121	27
3	390	27
4	1588	27
done	5000	27
0	14	17
1	30	17
2	70	17
3	193	17
4	627	17
5	2479	17
done	5001	17
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	28	6
done	28	6
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	28	6
done	28	6
0	3	3
1	6	1
done	6	1
0	7	9
1	11	9
2	18	9
3	42	9
4	99	9
5	263	9
6	895	9
7	3356	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	2195	6
done	5000	6
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	7	11
1	11	11
2	16	11
3	34	11
4	74	11
5	181	11
6	552	11
7	1968	11
done	5000	11
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	9	13
1	19	13
2	33	13
3	57	13
4	99	13
5	206	13
6	581	13
7	1999	13
done	5000	13
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	8	10
1	14	10
2	21	10
3	40	10
4	80	10
5	186	10
6	560	10
7	1979	10
done	5001	10
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	9
1	15	7
2	26	7
3	49	7
4	88	7
5	192	7
6	563	7
7	1956	7
done	5000	7
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	8	10
1	14	10
2	19	10
3	37	10
4	77	10
5	182	10
6	564	10
7	1969	10
done	5000	10
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	6	6
1	12	4
2	19	4
3	37	4
4	76	4
5	182	4
6	557	4
7	1966	4
done	5000	4
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	7	9
1	15	9
2	20	9
3	38	9
4	77	9
5	177	9
6	555	9
7	1977	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	12	6
2	17	6
3	35	6
4	74	6
5	180	6
6	564	6
7	1967	6
done	5001	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	5	5
1	11	5
2	16	5
3	34	5
4	73	5
5	176	5
6	552	5
7	1963	5
done	5000	5
0	6	6
1	12	6
2	23	6
3	48	6
4	133	6
5	421	6
6	1610	6
done	5001	6
0	6	6
1	10	6
2	17	6
3	40	6
4	95	6
5	263	6
6	884	6
7	3731	6
done	5000	6
0	7	13
1	11	13
2	16	13
3	34	13
4	74	13
5	183	13
6	561	13
7	1977	13
done	5000	13
0	6	6
1	10	6
2	15	6
3	33	6
4	73	6
5	179	6
6	562	6
7	1956	6
done	5001	6
0	7	17
1	14	13
2	35	7
3	88	7
4	241	7
5	800	7
6	3662	7
done	5000	7
0	6	6
1	10	6
2	16	6
3	34	6
4	74	6
5	183	6
6	559	6
7	1979	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	34	6
4	74	6
5	183	6
6	559	6
7	1979	6
done	5000	6
0	7	7
1	10	7
2	18	7
3	39	7
4	87	7
5	215	7
6	717	7
7	2546	7
done	5001	7
0	7	7
1	10	7
2	18	7
3	39	7
4	87	7
5	215	7
6	717	7
7	2546	7
done	5001	7
0	4	4
1	9	4
2	17	1
3	24	1
4	35	1
5	57	1
6	117	1
7	325	1
8	1251	1
done	5001	1
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	22	27
1	50	27
2	129	27
3	415	27
4	1648	27
done	5000	27
0	19	23
1	42	23
2	113	23
3	201	23
4	360	23
5	632	23
6	1193	23
7	2832	23
done	5001	23
0	25	31
1	58	31
2	163	31
3	772	31
4	4614	31
done	5000	31
0	9	11
1	22	11
2	73	11
3	158	11
4	314	11
5	492	11
6	577	11
7	700	11
8	1121	11
9	2963	11
done	5000	11
0	9	11
1	22	11
2	73	11
3	158	11
4	314	11
5	492	11
6	577	11
7	700	11
8	1121	11
9	2963	11
done	5000	11
0	9	11
1	22	11
2	73	11
3	158	11
4	314	11
5	492	11
6	577	11
7	700	11
8	1121	11
9	2963	11
done	5000	11
0	11	11
1	21	10
2	46	8
3	92	8
4	168	5
5	320	5
6	777	5
7	2257	5
done	5000	5
0	13	15
1	29	12
2	60	9
3	160	8
4	279	7
5	544	5
6	1135	5
7	3179	5
done	5001	5
0	14	15
1	29	14
2	68	12
3	208	12
4	583	9
5	1440	5
6	3719	5
done	5000	5

prune494.0ms

Filtered

116 candidates to 142 candidates (-22.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	136	6	142
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	136	7	143

Merged error: 11.3b

Counts

143 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

10.5b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (* (pow (* (cbrt (/ t l)) (cbrt (/ t l))) 2.0) (pow (cbrt (/ t l)) 2.0))))))
15.8b	(cbrt (/ t l))
15.8b	(cbrt (/ t l))
15.8b	(cbrt (/ t l))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
55×	`times-frac`
43×	`*-un-lft-identity`
39×	`cbrt-prod`
37×	`add-cube-cbrt`
30×	`sqrt-prod`
12×	`difference-of-squares`
6×	`unpow-prod-down`
5×	`pow1`
4×	`add-exp-log` `add-cbrt-cube` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `distribute-lft-out--` `sqr-pow`
2×	`rem-sqrt-square` `associate-/r/`
1×	`sqrt-pow1` `flip3-+` `pow1/2` `sqrt-div` `flip-+`

Counts

4 → 108

Calls

4 calls:

15.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (* (pow (* (cbrt (/ t l)) (cbrt (/ t l))) 2.0) (pow (cbrt (/ t l)) 2.0))))))
3.0ms	(cbrt (/ t l))
9.0ms	(cbrt (/ t l))
3.0ms	(cbrt (/ t l))

series215.0ms

Counts

4 → 12

Calls

4 calls:

170.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (* (pow (* (cbrt (/ t l)) (cbrt (/ t l))) 2.0) (pow (cbrt (/ t l)) 2.0))))))
16.0ms	(cbrt (/ t l))
14.0ms	(cbrt (/ t l))
15.0ms	(cbrt (/ t l))

simplify4.0min

Counts

120 → 120

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	21	65
1	39	65
2	80	65
3	210	65
4	735	65
5	3628	65
done	5000	65
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	21	95
1	40	62
2	88	33
3	245	33
4	808	33
5	3715	33
done	5001	33
0	21	64
1	40	32
2	81	32
3	211	32
4	726	32
5	3469	32
done	5001	32
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	23	66
1	44	66
2	91	33
3	220	33
4	694	33
5	3358	33
done	5001	33
0	21	33
1	36	33
2	73	33
3	194	33
4	671	33
5	3348	33
done	5000	33
0	22	42
1	39	42
2	78	42
3	204	42
4	686	42
5	3397	42
done	5000	42
0	21	33
1	36	33
2	73	33
3	194	33
4	671	33
5	3348	33
done	5000	33
0	12	20
1	22	18
2	38	9
3	68	9
4	127	9
5	307	9
6	990	9
7	3837	9
done	5000	9
0	20	32
1	35	32
2	72	32
3	196	32
4	677	32
5	3360	32
done	5000	32
0	22	57
1	39	57
2	76	57
3	204	57
4	682	57
5	3348	57
done	5001	57
0	21	33
1	36	33
2	73	33
3	194	33
4	671	33
5	3348	33
done	5000	33
0	21	33
1	36	33
2	73	33
3	194	33
4	671	33
5	3348	33
done	5000	33
0	21	33
1	36	33
2	73	33
3	194	33
4	671	33
5	3348	33
done	5000	33
0	11	11
1	19	9
2	30	9
3	55	9
4	115	9
5	300	9
6	985	9
7	3815	9
done	5000	9
0	20	32
1	35	32
2	72	32
3	196	32
4	677	32
5	3360	32
done	5000	32
0	17	50
1	32	50
2	62	50
3	164	50
4	598	50
5	3044	50
done	5000	50
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3598	32
done	5000	32
0	16	26
1	29	26
2	59	26
3	161	26
4	596	26
5	3142	26
done	5000	26
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3598	32
done	5000	32
0	3	4
1	5	1
done	5	1
0	19	31
1	37	31
2	78	31
3	212	31
4	731	31
5	3563	31
done	5000	31
0	23	58
1	39	58
2	72	58
3	187	58
4	636	58
5	3182	58
done	5001	58
0	22	34
1	40	34
2	81	34
3	213	34
4	724	34
5	3549	34
done	5000	34
0	22	34
1	36	34
2	69	34
3	188	34
4	637	34
5	3238	34
done	5001	34
0	22	34
1	40	34
2	81	34
3	213	34
4	724	34
5	3549	34
done	5000	34
0	12	12
1	19	10
2	26	10
3	44	10
4	85	10
5	187	10
6	561	10
7	1964	10
done	5000	10
0	21	33
1	39	33
2	80	33
3	215	33
4	741	33
5	3602	33
done	5000	33
0	24	59
1	40	59
2	73	59
3	188	59
4	650	59
5	3263	59
done	5001	59
0	23	35
1	41	35
2	82	35
3	211	35
4	733	35
5	3526	35
done	5000	35
0	23	35
1	37	35
2	70	35
3	189	35
4	645	35
5	3249	35
done	5000	35
0	23	35
1	41	35
2	82	35
3	211	35
4	733	35
5	3526	35
done	5000	35
0	13	13
1	20	11
2	27	11
3	45	11
4	84	11
5	195	11
6	568	11
7	1989	11
done	5001	11
0	22	34
1	40	34
2	81	34
3	213	34
4	736	34
5	3483	34
done	5000	34
0	23	58
1	39	58
2	73	58
3	188	58
4	652	58
5	3315	58
done	5000	58
0	22	34
1	40	34
2	77	34
3	198	34
4	645	34
5	3248	34
done	5000	34
0	22	34
1	36	34
2	70	34
3	189	34
4	642	34
5	3239	34
done	5000	34
0	22	34
1	40	34
2	77	34
3	198	34
4	645	34
5	3248	34
done	5000	34
0	12	12
1	19	10
2	27	10
3	45	10
4	84	10
5	189	10
6	567	10
7	1958	10
done	5001	10
0	21	33
1	39	33
2	76	33
3	196	33
4	652	33
5	3270	33
done	5000	33
0	24	59
1	39	59
2	76	59
3	188	59
4	646	59
5	3311	59
done	5000	59
0	23	35
1	40	35
2	85	35
3	213	35
4	731	35
5	3564	35
done	5000	35
0	23	35
1	36	35
2	73	35
3	189	35
4	653	35
5	3244	35
done	5000	35
0	23	35
1	40	35
2	85	35
3	213	35
4	731	35
5	3564	35
done	5000	35
0	13	13
1	19	11
2	29	11
3	50	11
4	97	11
5	226	11
6	723	11
7	2531	11
done	5001	11
0	22	34
1	39	34
2	84	34
3	216	34
4	739	34
5	3493	34
done	5000	34
0	17	50
1	32	50
2	62	50
3	164	50
4	598	50
5	3044	50
done	5000	50
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3598	32
done	5000	32
0	16	26
1	29	26
2	59	26
3	161	26
4	596	26
5	3142	26
done	5000	26
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3598	32
done	5000	32
0	3	4
1	5	1
done	5	1
0	19	31
1	37	31
2	78	31
3	212	31
4	731	31
5	3563	31
done	5000	31
0	2	2
1	4	1
done	4	1
0	19	31
1	37	31
2	78	31
3	212	31
4	731	31
5	3563	31
done	5000	31
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	15	25
1	28	25
2	58	25
3	160	25
4	589	25
5	3054	25
done	5000	25
0	22	35
1	55	35
2	151	35
3	747	35
done	5000	35
0	17	69
1	44	48
2	154	48
3	843	48
done	5000	48
0	21	54
1	50	54
2	158	54
3	808	39
done	5000	39
0	13	23
1	25	23
2	66	23
3	248	23
4	1139	23
done	5000	23
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	13	23
1	24	23
2	54	23
3	161	23
4	597	23
5	3042	23
done	5000	23
0	3	3
1	6	1
done	6	1
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	20	32
1	38	32
2	79	32
3	210	32
4	735	32
5	3595	32
done	5000	32
0	11	11
1	21	10
2	46	8
3	94	7
4	167	4
5	315	4
6	762	4
7	2220	4
done	5000	4
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	11	11
1	21	10
2	46	8
3	94	7
4	167	4
5	315	4
6	762	4
7	2220	4
done	5000	4
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	11	11
1	21	10
2	46	8
3	94	7
4	167	4
5	315	4
6	762	4
7	2220	4
done	5000	4
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	4	4
1	9	4
2	17	1
3	24	1
4	35	1
5	57	1
6	117	1
7	325	1
8	1251	1
done	5001	1
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6

prune367.0ms

Filtered

94 candidates to 120 candidates (-27.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	120	7	127

Merged error: 11.3b

Counts

127 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

6.9b	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
6.9b	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
10.5b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
10.5b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-sqr-sqrt`
66×	`sqrt-prod`
56×	`times-frac`
42×	`*-un-lft-identity`
30×	`add-cube-cbrt`
24×	`difference-of-squares`
12×	`unpow-prod-down`
8×	`pow1`
6×	`rem-sqrt-square` `distribute-lft-out--` `sqr-pow`
4×	`add-exp-log` `sqrt-pow1` `pow1/2` `associate-/r/` `add-cbrt-cube` `add-log-exp`
2×	`flip3-+` `sqrt-div` `flip-+` `div-inv`

Counts

4 → 110

Calls

4 calls:

2.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
2.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
14.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
15.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

series406.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
39.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
160.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
165.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))

simplify7.8min

Counts

122 → 122

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	39
1	30	39
2	50	39
3	101	39
4	243	39
5	735	39
6	2649	39
done	5000	39
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	56
1	31	36
2	58	20
3	131	20
4	315	20
5	1009	20
6	4236	20
done	5000	20
0	17	38
1	31	19
2	51	19
3	102	19
4	242	19
5	739	19
6	2654	19
done	5001	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	19	40
1	35	40
2	61	20
3	109	20
4	214	20
5	537	20
6	1738	20
done	5001	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	18	29
1	30	29
2	48	29
3	93	29
4	200	29
5	521	29
6	1728	29
done	5000	29
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	12	20
1	22	18
2	38	9
3	68	9
4	127	9
5	307	9
6	990	9
7	3837	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	18	31
1	30	31
2	46	31
3	90	31
4	198	31
5	526	31
6	1716	31
done	5000	31
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	11	11
1	19	9
2	30	9
3	55	9
4	115	9
5	300	9
6	985	9
7	3815	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	19	32
1	30	32
2	42	32
3	77	32
4	166	32
5	412	32
6	1297	32
7	4981	32
done	5000	32
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	18	21
1	27	21
2	39	21
3	76	21
4	163	21
5	415	21
6	1319	21
7	4989	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	12	12
1	19	10
2	26	10
3	44	10
4	85	10
5	187	10
6	561	10
7	1964	10
done	5000	10
0	17	20
1	30	20
2	50	20
3	101	20
4	245	20
5	739	20
6	2640	20
done	5001	20
0	20	33
1	31	33
2	43	33
3	78	33
4	167	33
5	415	33
6	1307	33
done	5000	33
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	19	22
1	28	22
2	40	22
3	75	22
4	159	22
5	414	22
6	1303	22
7	4996	22
done	5000	22
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	13	13
1	20	11
2	27	11
3	45	11
4	84	11
5	195	11
6	568	11
7	1989	11
done	5001	11
0	18	21
1	31	21
2	51	21
3	104	21
4	249	21
5	743	21
6	2660	21
done	5000	21
0	19	32
1	30	32
2	43	32
3	78	32
4	166	32
5	416	32
6	1301	32
done	5000	32
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	18	21
1	27	21
2	40	21
3	77	21
4	162	21
5	410	21
6	1298	21
7	4990	21
done	5000	21
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	12	12
1	19	10
2	27	10
3	45	10
4	84	10
5	189	10
6	567	10
7	1958	10
done	5001	10
0	17	20
1	30	20
2	46	20
3	85	20
4	169	20
5	416	20
6	1304	20
7	4990	20
done	5000	20
0	20	33
1	30	33
2	46	33
3	83	33
4	179	33
5	458	33
6	1507	33
done	5000	33
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	19	22
1	27	22
2	43	22
3	80	22
4	175	22
5	456	22
6	1498	22
done	5001	22
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	13	13
1	19	11
2	29	11
3	50	11
4	97	11
5	226	11
6	723	11
7	2531	11
done	5001	11
0	18	21
1	30	21
2	54	21
3	107	21
4	260	21
5	785	21
6	2852	21
done	5001	21
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	11	12
1	19	12
2	28	12
3	54	12
4	119	12
5	313	12
6	1009	12
7	3784	12
done	5000	12
0	18	22
1	46	22
2	106	22
3	315	22
4	1161	22
done	5000	22
0	13	30
1	35	22
2	98	22
3	291	22
4	866	22
5	2909	22
done	5001	22
0	17	28
1	41	28
2	110	24
3	344	24
4	1314	24
done	5001	24
0	9	10
1	16	10
2	32	10
3	70	10
4	185	10
5	572	10
6	2107	10
done	5000	10
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	9	10
1	15	10
2	24	10
3	50	10
4	115	10
5	304	10
6	998	10
7	3776	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	39
1	30	39
2	50	39
3	101	39
4	243	39
5	735	39
6	2649	39
done	5000	39
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	56
1	31	36
2	58	20
3	131	20
4	315	20
5	1009	20
6	4236	20
done	5000	20
0	17	38
1	31	19
2	51	19
3	102	19
4	242	19
5	739	19
6	2654	19
done	5001	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	19	40
1	35	40
2	61	20
3	109	20
4	214	20
5	537	20
6	1738	20
done	5001	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	18	29
1	30	29
2	48	29
3	93	29
4	200	29
5	521	29
6	1728	29
done	5000	29
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	12	20
1	22	18
2	38	9
3	68	9
4	127	9
5	307	9
6	990	9
7	3837	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	18	31
1	30	31
2	46	31
3	90	31
4	198	31
5	526	31
6	1716	31
done	5000	31
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	11	11
1	19	9
2	30	9
3	55	9
4	115	9
5	300	9
6	985	9
7	3815	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	19	32
1	30	32
2	42	32
3	77	32
4	166	32
5	412	32
6	1297	32
7	4981	32
done	5000	32
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	18	21
1	27	21
2	39	21
3	76	21
4	163	21
5	415	21
6	1319	21
7	4989	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	12	12
1	19	10
2	26	10
3	44	10
4	85	10
5	187	10
6	561	10
7	1964	10
done	5000	10
0	17	20
1	30	20
2	50	20
3	101	20
4	245	20
5	739	20
6	2640	20
done	5001	20
0	20	33
1	31	33
2	43	33
3	78	33
4	167	33
5	415	33
6	1307	33
done	5000	33
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	19	22
1	28	22
2	40	22
3	75	22
4	159	22
5	414	22
6	1303	22
7	4996	22
done	5000	22
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	13	13
1	20	11
2	27	11
3	45	11
4	84	11
5	195	11
6	568	11
7	1989	11
done	5001	11
0	18	21
1	31	21
2	51	21
3	104	21
4	249	21
5	743	21
6	2660	21
done	5000	21
0	19	32
1	30	32
2	43	32
3	78	32
4	166	32
5	416	32
6	1301	32
done	5000	32
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	18	21
1	27	21
2	40	21
3	77	21
4	162	21
5	410	21
6	1298	21
7	4990	21
done	5000	21
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	12	12
1	19	10
2	27	10
3	45	10
4	84	10
5	189	10
6	567	10
7	1958	10
done	5001	10
0	17	20
1	30	20
2	46	20
3	85	20
4	169	20
5	416	20
6	1304	20
7	4990	20
done	5000	20
0	20	33
1	30	33
2	46	33
3	83	33
4	179	33
5	458	33
6	1507	33
done	5000	33
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	19	22
1	27	22
2	43	22
3	80	22
4	175	22
5	456	22
6	1498	22
done	5001	22
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	13	13
1	19	11
2	29	11
3	50	11
4	97	11
5	226	11
6	723	11
7	2531	11
done	5001	11
0	18	21
1	30	21
2	54	21
3	107	21
4	260	21
5	785	21
6	2852	21
done	5001	21
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	11	12
1	19	12
2	28	12
3	54	12
4	119	12
5	313	12
6	1009	12
7	3784	12
done	5000	12
0	18	22
1	46	22
2	106	22
3	315	22
4	1161	22
done	5000	22
0	13	30
1	35	22
2	98	22
3	291	22
4	866	22
5	2909	22
done	5001	22
0	17	28
1	41	28
2	110	24
3	344	24
4	1314	24
done	5001	24
0	9	10
1	16	10
2	32	10
3	70	10
4	185	10
5	572	10
6	2107	10
done	5000	10
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	9	10
1	15	10
2	24	10
3	50	10
4	115	10
5	304	10
6	998	10
7	3776	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	19	43
1	32	43
2	52	43
3	103	43
4	246	43
5	742	43
6	2640	43
done	5000	43
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	19	62
1	33	40
2	56	22
3	111	22
4	264	22
5	764	22
6	2722	22
done	5000	22
0	19	42
1	33	21
2	53	21
3	104	21
4	244	21
5	740	21
6	2657	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	2	2
1	4	1
done	4	1
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	3	3
1	6	1
done	6	1
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	19	43
1	32	43
2	52	43
3	103	43
4	246	43
5	742	43
6	2640	43
done	5000	43
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	19	62
1	33	40
2	56	22
3	111	22
4	264	22
5	764	22
6	2722	22
done	5000	22
0	19	42
1	33	21
2	53	21
3	104	21
4	244	21
5	740	21
6	2657	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	2	2
1	4	1
done	4	1
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	3	3
1	6	1
done	6	1
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	4	4
1	9	4
2	17	1
3	24	1
4	35	1
5	57	1
6	117	1
7	325	1
8	1251	1
done	5001	1
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	17	1
3	24	1
4	35	1
5	57	1
6	117	1
7	325	1
8	1251	1
done	5001	1
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	23	28
1	51	28
2	130	28
3	419	28
4	1660	28
done	5001	28
0	20	24
1	43	24
2	114	24
3	202	24
4	361	24
5	636	24
6	1189	24
7	2707	24
done	5001	24
0	26	32
1	59	32
2	164	32
3	773	32
4	4600	32
done	5001	32
0	23	28
1	51	28
2	130	28
3	419	28
4	1660	28
done	5001	28
0	20	24
1	43	24
2	114	24
3	202	24
4	361	24
5	636	24
6	1189	24
7	2707	24
done	5001	24
0	26	32
1	59	32
2	164	32
3	773	32
4	4600	32
done	5001	32

prune651.0ms

Filtered

100 candidates to 122 candidates (-22.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	0	4	4
Picked	1	0	1
Done	1	1	2
Total	121	8	129

Merged error: 11.2b

Counts

129 → 8

localize31.0ms

Local error

Found 4 expressions with local error:

6.9b	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
6.9b	(sqrt (asin (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
10.5b	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
10.7b	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
39×	`sqrt-prod`
28×	`times-frac`
25×	`*-un-lft-identity`
19×	`add-cube-cbrt`
12×	`difference-of-squares`
8×	`pow1`
6×	`unpow-prod-down`
5×	`rem-sqrt-square`
4×	`add-exp-log` `sqrt-pow1` `pow1/2` `add-cbrt-cube` `add-log-exp`
3×	`sqrt-div` `distribute-lft-out--` `sqr-pow`
2×	`flip3-+` `associate-/r/` `flip-+`
1×	`div-inv`

Counts

4 → 83

Calls

4 calls:

1.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
2.0ms	(sqrt (asin (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
14.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
3.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

series307.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(sqrt (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
40.0ms	(sqrt (asin (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
168.0ms	(sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))
56.0ms	(sqrt (+ 1.0 (* 2.0 (pow (/ t l) 2.0))))

simplify5.7min

Counts

95 → 95

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	11	23
1	17	23
2	26	23
3	52	23
4	119	23
5	315	23
6	1013	23
7	3800	23
done	5000	23
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	11	32
1	18	20
2	38	12
3	84	12
4	200	12
5	587	12
6	1963	12
done	5000	12
0	11	22
1	18	11
2	27	11
3	53	11
4	118	11
5	312	11
6	1005	11
7	3786	11
done	5000	11
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	24	10
3	50	10
4	115	10
5	304	10
6	998	10
7	3776	10
done	5000	10
0	12	14
1	33	14
2	82	14
3	272	14
4	1042	14
done	5001	14
0	13	30
1	35	22
2	98	22
3	291	22
4	866	22
5	2909	22
done	5001	22
0	11	20
1	28	20
2	77	16
3	255	16
4	936	16
5	3960	16
done	5001	16
0	9	10
1	16	10
2	32	10
3	70	10
4	185	10
5	572	10
6	2107	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	10	11
1	16	11
2	25	11
3	51	11
4	116	11
5	308	11
6	1002	11
7	3789	11
done	5000	11
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	39
1	30	39
2	50	39
3	101	39
4	243	39
5	735	39
6	2649	39
done	5000	39
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	17	56
1	31	36
2	58	20
3	131	20
4	315	20
5	1009	20
6	4236	20
done	5000	20
0	17	38
1	31	19
2	51	19
3	102	19
4	242	19
5	739	19
6	2654	19
done	5001	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	19	40
1	35	40
2	61	20
3	109	20
4	214	20
5	537	20
6	1738	20
done	5001	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	18	29
1	30	29
2	48	29
3	93	29
4	200	29
5	521	29
6	1728	29
done	5000	29
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	12	20
1	22	18
2	38	9
3	68	9
4	127	9
5	307	9
6	990	9
7	3837	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	18	31
1	30	31
2	46	31
3	90	31
4	198	31
5	526	31
6	1716	31
done	5000	31
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	17	20
1	27	20
2	43	20
3	85	20
4	189	20
5	515	20
6	1724	20
done	5000	20
0	11	11
1	19	9
2	30	9
3	55	9
4	115	9
5	300	9
6	985	9
7	3815	9
done	5000	9
0	16	19
1	26	19
2	42	19
3	84	19
4	188	19
5	508	19
6	1726	19
done	5000	19
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	19	32
1	30	32
2	42	32
3	77	32
4	166	32
5	412	32
6	1297	32
7	4981	32
done	5000	32
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	18	21
1	27	21
2	39	21
3	76	21
4	163	21
5	415	21
6	1319	21
7	4989	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	248	21
5	744	21
6	2660	21
done	5000	21
0	12	12
1	19	10
2	26	10
3	44	10
4	85	10
5	187	10
6	561	10
7	1964	10
done	5000	10
0	17	20
1	30	20
2	50	20
3	101	20
4	245	20
5	739	20
6	2640	20
done	5001	20
0	20	33
1	31	33
2	43	33
3	78	33
4	167	33
5	415	33
6	1307	33
done	5000	33
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	19	22
1	28	22
2	40	22
3	75	22
4	159	22
5	414	22
6	1303	22
7	4996	22
done	5000	22
0	19	22
1	32	22
2	52	22
3	103	22
4	249	22
5	747	22
6	2673	22
done	5000	22
0	13	13
1	20	11
2	27	11
3	45	11
4	84	11
5	195	11
6	568	11
7	1989	11
done	5001	11
0	18	21
1	31	21
2	51	21
3	104	21
4	249	21
5	743	21
6	2660	21
done	5000	21
0	19	32
1	30	32
2	43	32
3	78	32
4	166	32
5	416	32
6	1301	32
done	5000	32
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	18	21
1	27	21
2	40	21
3	77	21
4	162	21
5	410	21
6	1298	21
7	4990	21
done	5000	21
0	18	21
1	31	21
2	47	21
3	86	21
4	173	21
5	425	21
6	1314	21
done	5001	21
0	12	12
1	19	10
2	27	10
3	45	10
4	84	10
5	189	10
6	567	10
7	1958	10
done	5001	10
0	17	20
1	30	20
2	46	20
3	85	20
4	169	20
5	416	20
6	1304	20
7	4990	20
done	5000	20
0	20	33
1	30	33
2	46	33
3	83	33
4	179	33
5	458	33
6	1507	33
done	5000	33
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	19	22
1	27	22
2	43	22
3	80	22
4	175	22
5	456	22
6	1498	22
done	5001	22
0	19	22
1	31	22
2	55	22
3	110	22
4	266	22
5	794	22
6	2860	22
done	5000	22
0	13	13
1	19	11
2	29	11
3	50	11
4	97	11
5	226	11
6	723	11
7	2531	11
done	5001	11
0	18	21
1	30	21
2	54	21
3	107	21
4	260	21
5	785	21
6	2852	21
done	5001	21
0	13	24
1	23	24
2	32	24
3	58	24
4	122	24
5	316	24
6	1006	24
7	3784	24
done	5000	24
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	12	13
1	20	13
2	29	13
3	55	13
4	120	13
5	312	13
6	1008	13
7	3799	13
done	5000	13
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2653	19
done	5000	19
0	3	4
1	5	1
done	5	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	15	18
1	28	18
2	48	18
3	99	18
4	245	18
5	734	18
6	2637	18
done	5000	18
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	11	12
1	19	12
2	28	12
3	54	12
4	119	12
5	313	12
6	1009	12
7	3784	12
done	5000	12
0	18	22
1	46	22
2	106	22
3	315	22
4	1161	22
done	5000	22
0	13	30
1	35	22
2	98	22
3	291	22
4	866	22
5	2909	22
done	5001	22
0	17	28
1	41	28
2	110	24
3	344	24
4	1314	24
done	5001	24
0	9	10
1	16	10
2	32	10
3	70	10
4	185	10
5	572	10
6	2107	10
done	5000	10
0	8	8
1	14	8
2	23	8
3	48	8
4	112	8
5	305	8
6	998	8
7	3811	8
done	5000	8
0	9	10
1	15	10
2	24	10
3	50	10
4	115	10
5	304	10
6	998	10
7	3776	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	16	19
1	29	19
2	49	19
3	100	19
4	242	19
5	729	19
6	2658	19
done	5000	19
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	20	45
1	30	45
2	46	45
3	90	45
4	194	45
5	514	45
6	1719	45
done	5000	45
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	20	65
1	31	42
2	50	23
3	96	23
4	209	23
5	542	23
6	1759	23
done	5001	23
0	20	44
1	31	22
2	47	22
3	89	22
4	199	22
5	519	22
6	1723	22
done	5000	22
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	2	2
1	4	1
done	4	1
0	18	21
1	28	21
2	44	21
3	86	21
4	190	21
5	509	21
6	1698	21
done	5001	21
0	3	3
1	6	1
done	6	1
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	19	22
1	29	22
2	45	22
3	87	22
4	194	22
5	525	22
6	1723	22
done	5000	22
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	19	43
1	32	43
2	52	43
3	103	43
4	246	43
5	742	43
6	2640	43
done	5000	43
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	19	62
1	33	40
2	56	22
3	111	22
4	264	22
5	764	22
6	2722	22
done	5000	22
0	19	42
1	33	21
2	53	21
3	104	21
4	244	21
5	740	21
6	2657	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	2	2
1	4	1
done	4	1
0	17	20
1	30	20
2	50	20
3	101	20
4	243	20
5	735	20
6	2649	20
done	5000	20
0	3	3
1	6	1
done	6	1
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	18	21
1	31	21
2	51	21
3	102	21
4	242	21
5	732	21
6	2647	21
done	5000	21
0	20	26
1	48	25
2	106	23
3	310	21
4	1155	21
done	5000	21
0	22	30
1	56	28
2	136	24
3	552	23
4	2837	22
done	5001	22
0	23	30
1	57	29
2	135	25
3	566	23
4	2882	23
done	5000	23
0	4	4
1	9	4
2	17	1
3	24	1
4	35	1
5	57	1
6	117	1
7	325	1
8	1251	1
done	5001	1
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	23	28
1	51	28
2	130	28
3	419	28
4	1660	28
done	5001	28
0	20	24
1	43	24
2	114	24
3	202	24
4	361	24
5	636	24
6	1189	24
7	2707	24
done	5001	24
0	26	32
1	59	32
2	164	32
3	773	32
4	4600	32
done	5001	32
0	23	28
1	51	28
2	130	28
3	419	28
4	1660	28
done	5001	28
0	20	24
1	43	24
2	114	24
3	202	24
4	361	24
5	636	24
6	1189	24
7	2707	24
done	5001	24
0	26	32
1	59	32
2	164	32
3	773	32
4	4600	32
done	5001	32

prune479.0ms

Filtered

78 candidates to 95 candidates (-21.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	94	9	103

Merged error: 11.2b

Counts

103 → 9

regimes2.0s

Accuracy

0% (0.3b remaining)

Error of 10.7b against oracle of 10.4b and baseline of 10.7b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	32
1	23	32
done	23	32

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.1s	7935×	body	80	nan
800.0ms	3818×	body	160	valid
399.0ms	4182×	body	80	valid

Details

sample99.0ms

simplify2.3s

prune5.0ms

localize15.0ms

rewrite47.0ms

series304.0ms

simplify11.9min

prune494.0ms

localize20.0ms

rewrite35.0ms

series215.0ms

simplify4.0min

prune367.0ms

localize18.0ms

rewrite39.0ms

series406.0ms

simplify7.8min

prune651.0ms

localize31.0ms

rewrite24.0ms

series307.0ms

simplify5.7min

prune479.0ms

regimes2.0s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.2s

Profiling