Details

sample73.0ms

Algorithm

intervals

Results

47.0ms	256×	body	80	valid
8.0ms	256×	pre	80	true

simplify3.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	18	19
1	34	19
2	68	19
3	147	19
4	395	19
5	1303	19
done	5001	19

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.4b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.1b	(pow (* -2.0 (log u1)) 0.5)
0.3b	(* (* 2.0 PI) u2)
0.4b	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log`
22×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `prod-exp` `add-cbrt-cube`
12×	`pow1`
11×	`times-frac`
8×	`associate-r`
6×	`pow-exp` `add-log-exp`
5×	`cbrt-unprod`
4×	`div-exp` `pow-prod-down` `unswap-sqr` `sqr-pow`
3×	`pow-to-exp` `pow-unpow`
2×	`unpow-prod-down` `pow-pow` `*-commutative`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `associate-*l/` `sum-log` `flip-+` `div-inv`

Counts

4 → 87

Calls

4 calls:

10.0ms	(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
5.0ms	(pow (* -2.0 (log u1)) 0.5)
6.0ms	(* (* 2.0 PI) u2)
11.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

series268.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
40.0ms	(pow (* -2.0 (log u1)) 0.5)
4.0ms	(* (* 2.0 PI) u2)
131.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

simplify3.9min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	14
1	21	14
2	39	14
3	78	14
4	157	14
5	276	14
6	369	14
7	480	14
8	641	14
9	659	14
done	659	14
0	13	13
1	23	13
2	40	13
3	69	13
4	141	13
5	248	13
6	330	13
7	436	13
8	602	13
9	621	13
done	621	13
0	13	13
1	23	13
2	40	13
3	69	13
4	141	13
5	248	13
6	330	13
7	436	13
8	602	13
9	621	13
done	621	13
0	13	13
1	25	13
2	47	13
3	105	13
4	303	13
5	1130	13
done	5001	13
0	13	13
1	19	13
2	33	13
3	58	13
4	110	13
5	179	13
6	330	13
7	432	13
8	550	13
9	698	13
10	710	13
done	710	13
0	12	12
1	21	12
2	34	12
3	52	12
4	100	12
5	174	12
6	312	12
7	409	12
8	526	12
9	674	12
10	688	12
done	688	12
0	12	12
1	21	12
2	34	12
3	52	12
4	100	12
5	174	12
6	312	12
7	409	12
8	526	12
9	674	12
10	688	12
done	688	12
0	12	12
1	23	12
2	41	12
3	89	12
4	258	12
5	934	12
6	4246	12
done	5000	12
0	11	11
1	22	11
2	46	11
3	115	11
4	341	11
5	1272	11
done	5000	11
0	11	11
1	21	11
2	40	11
3	93	11
4	269	11
5	913	11
6	3846	11
done	5000	11
0	16	32
1	38	27
2	136	16
3	682	14
4	4435	14
done	5000	14
0	14	32
1	34	27
2	104	14
3	405	14
4	2167	12
done	5000	12
0	12	23
1	20	23
2	34	23
3	74	23
4	190	23
5	579	23
6	2056	23
done	5000	23
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	12	32
1	30	32
2	107	12
3	507	12
4	2693	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	12	12
1	18	12
2	24	12
3	42	12
4	84	12
5	191	12
6	572	12
7	1986	12
done	5001	12
0	12	12
1	18	12
2	24	12
3	42	12
4	84	12
5	191	12
6	572	12
7	1986	12
done	5001	12
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	13	13
1	21	13
2	30	13
3	50	13
4	92	13
5	200	13
6	570	13
7	1977	13
done	5000	13
0	13	13
1	21	13
2	30	13
3	50	13
4	92	13
5	200	13
6	570	13
7	1977	13
done	5000	13
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	7	7
1	14	7
2	28	7
3	66	7
4	180	7
5	561	7
6	2024	7
done	5001	7
0	12	19
1	22	19
2	35	19
3	61	19
4	110	19
5	227	19
6	612	19
7	2031	19
done	5000	19
0	11	11
1	19	11
2	28	11
3	48	11
4	90	11
5	204	11
6	575	11
7	1980	11
done	5000	11
0	5	5
1	10	3
2	20	3
done	20	3
0	12	12
1	19	12
2	36	12
3	77	12
4	200	12
5	597	12
6	2198	12
done	5000	12
0	11	11
1	17	11
2	26	11
3	52	11
4	119	11
5	312	11
6	1005	11
7	3780	11
done	5000	11
0	11	11
1	17	11
2	26	11
3	52	11
4	119	11
5	312	11
6	1005	11
7	3780	11
done	5000	11
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2028	11
done	5000	11
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2028	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2023	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2023	11
done	5000	11
0	10	10
1	18	10
2	32	10
3	72	10
4	188	10
5	566	10
6	2044	10
done	5000	10
0	10	10
1	18	10
2	32	10
3	72	10
4	188	10
5	566	10
6	2044	10
done	5000	10
0	10	10
1	20	10
2	34	8
3	94	8
4	238	8
5	586	8
6	1674	8
done	5001	8
0	8	8
1	14	8
2	23	8
3	51	8
4	115	8
5	309	8
6	1004	8
7	3765	8
done	5000	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	8	8
1	10	8
2	18	8
done	18	8
0	7	7
1	12	7
2	19	7
3	20	7
done	20	7
0	7	7
1	12	7
2	19	7
3	20	7
done	20	7
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	10
1	13	10
2	20	10
3	44	10
4	103	10
5	262	10
6	872	10
7	3264	10
done	5000	10
0	7	7
1	12	7
2	17	7
3	35	7
4	75	7
5	184	7
6	562	7
7	2185	7
done	5000	7
0	6	6
1	14	4
2	21	4
3	32	4
4	56	4
5	122	4
6	338	4
7	1278	4
done	5000	4
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	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	7	7
1	14	7
2	26	7
3	57	7
4	139	7
5	411	7
6	1535	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	42	7
4	97	7
5	262	7
6	885	7
7	3708	7
done	5000	7
0	8	15
1	13	15
2	18	15
3	36	15
4	78	15
5	182	15
6	563	15
7	1965	15
done	5001	15
0	7	7
1	12	7
2	17	7
3	35	7
4	75	7
5	181	7
6	552	7
7	1978	7
done	5001	7
0	8	20
1	16	15
2	37	8
3	88	8
4	238	8
5	793	8
6	3671	8
done	5001	8
0	7	7
1	12	7
2	18	7
3	36	7
4	78	7
5	182	7
6	562	7
7	1973	7
done	5001	7
0	7	7
1	12	7
2	18	7
3	36	7
4	78	7
5	182	7
6	562	7
7	1973	7
done	5001	7
0	8	8
1	12	8
2	20	8
3	41	8
4	89	8
5	215	8
6	716	8
7	2530	8
done	5001	8
0	8	8
1	12	8
2	20	8
3	41	8
4	89	8
5	215	8
6	716	8
7	2530	8
done	5001	8
0	20	21
1	40	20
2	85	20
3	193	20
4	566	20
5	2118	20
done	5000	20
0	19	20
1	35	20
2	69	20
3	146	20
4	394	20
5	1289	20
done	5000	20
0	19	20
1	38	20
2	79	20
3	181	20
4	528	20
5	1987	20
done	5000	20
0	20	41
1	36	41
2	70	41
3	151	41
4	397	41
5	1290	41
done	5000	41
0	19	20
1	35	20
2	69	20
3	146	20
4	394	20
5	1289	20
done	5000	20
0	20	59
1	49	59
2	139	21
3	645	21
4	4338	21
done	5000	21
0	19	20
1	35	20
2	69	20
3	146	20
4	394	20
5	1289	20
done	5000	20
0	19	20
1	35	20
2	69	20
3	146	20
4	394	20
5	1289	20
done	5000	20
0	21	23
1	52	23
2	144	23
3	696	23
done	5000	23
0	22	59
1	54	57
2	170	57
3	795	41
4	4137	41
done	5000	41
0	20	39
1	47	39
2	135	39
3	570	34
4	2891	34
done	5001	34
0	18	19
1	35	19
2	70	19
3	149	19
4	395	19
5	1289	19
done	5000	19
0	14	15
1	28	14
2	57	12
3	147	12
4	442	12
5	1838	12
done	5000	12
0	15	17
1	33	15
2	66	12
3	166	12
4	459	12
5	1853	12
done	5001	12
0	15	17
1	30	17
2	64	17
3	163	14
4	463	12
5	1960	12
done	5001	12
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	9
1	23	8
2	29	6
3	52	6
4	93	6
5	200	6
6	576	6
7	1992	6
done	5000	6
0	10	11
1	22	9
2	37	6
3	74	6
4	123	6
5	249	6
6	666	6
7	2072	6
done	5000	6
0	10	11
1	19	11
2	35	11
3	72	8
4	138	6
5	366	6
6	1531	6
7	4298	6
done	5001	6
0	25	41
1	57	39
2	184	35
3	951	24
done	5000	24
0	23	26
1	49	24
2	96	21
3	216	21
4	577	21
5	2212	21
done	5000	21
0	23	26
1	46	26
2	94	26
3	208	23
4	576	21
5	2293	21
done	5000	21

prune284.0ms

Filtered

80 candidates to 99 candidates (-23.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	90	9	99
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	90	10	100

Merged error: 0b

Counts

100 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5)
0.1b	(pow (* -2.0 (log u1)) 0.5)
0.3b	(* (* 2.0 PI) u2)
0.3b	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-exp-log`
16×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`times-frac`
12×	`pow1`
11×	`add-cbrt-cube`
6×	`add-log-exp`
5×	`unpow-prod-down` `prod-exp` `associate-/l*` `sqr-pow`
4×	`div-exp` `pow-prod-down` `pow-exp`
3×	`pow-unpow` `associate-r` `associate-/r*` `cbrt-unprod`
2×	`pow-to-exp` `pow-pow`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `associate-l` `clear-num` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

4 → 84

Calls

4 calls:

11.0ms	(+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5)
5.0ms	(pow (* -2.0 (log u1)) 0.5)
6.0ms	(* (* 2.0 PI) u2)
6.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

series253.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5)
41.0ms	(pow (* -2.0 (log u1)) 0.5)
4.0ms	(* (* 2.0 PI) u2)
117.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

simplify4.4min

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	15	11
2	24	11
3	36	11
4	38	11
5	42	11
6	50	11
7	71	11
8	102	11
9	170	11
10	190	11
11	201	11
12	218	11
13	219	11
done	219	11
0	10	10
1	17	10
2	25	10
3	32	10
4	39	10
5	42	10
6	48	10
7	63	10
8	89	10
9	130	10
10	170	10
11	184	10
12	201	10
13	203	10
done	203	10
0	10	10
1	17	10
2	25	10
3	32	10
4	39	10
5	42	10
6	48	10
7	63	10
8	89	10
9	130	10
10	170	10
11	184	10
12	201	10
13	203	10
done	203	10
0	10	10
1	19	10
2	32	10
3	69	10
4	174	10
5	535	10
6	2001	10
done	5000	10
0	9	9
1	17	9
2	30	9
3	71	9
4	202	9
5	691	9
6	2740	9
done	5000	9
0	9	9
1	14	9
2	21	9
3	45	9
4	108	9
5	300	9
6	1038	9
7	4203	9
done	5000	9
0	12	26
1	28	21
2	86	12
3	344	10
4	1641	10
done	5001	10
0	10	19
1	15	19
2	22	19
3	46	19
4	109	19
5	298	19
6	979	19
7	3825	19
done	5000	19
0	9	9
1	14	9
2	21	9
3	45	9
4	106	9
5	291	9
6	979	9
7	3837	9
done	5000	9
0	10	26
1	22	26
2	52	10
3	171	10
4	753	10
5	4316	10
done	5000	10
0	9	9
1	14	9
2	21	9
3	45	9
4	106	9
5	291	9
6	979	9
7	3837	9
done	5000	9
0	9	9
1	14	9
2	21	9
3	45	9
4	106	9
5	291	9
6	979	9
7	3837	9
done	5000	9
0	7	7
1	12	7
2	20	7
3	45	7
4	107	7
5	285	7
6	976	7
7	3805	7
done	5000	7
0	2	2
done	2	2
0	7	9
1	13	9
2	24	9
3	60	9
4	169	9
5	548	9
6	2169	9
done	5001	9
0	7	7
1	11	7
2	18	7
3	42	7
4	103	7
5	285	7
6	971	7
7	3823	7
done	5000	7
0	6	6
1	10	6
2	17	6
3	41	6
4	104	6
5	291	6
6	970	6
7	3817	6
done	5000	6
0	7	7
1	11	7
2	18	7
3	42	7
4	103	7
5	285	7
6	971	7
7	3823	7
done	5000	7
0	5	5
1	11	3
2	20	3
3	46	3
4	120	3
5	349	3
6	1274	3
done	5000	3
0	6	6
1	10	6
2	17	6
3	41	6
4	102	6
5	284	6
6	962	6
7	3816	6
done	5000	6
0	12	21
1	23	21
2	37	21
3	61	21
4	101	21
5	210	21
6	581	21
7	1973	21
done	5000	21
0	10	10
1	15	10
2	20	10
3	38	10
4	80	10
5	186	10
6	566	10
7	1987	10
done	5000	10
0	11	18
1	18	18
2	25	18
3	44	18
4	86	18
5	192	18
6	570	18
7	1978	18
done	5000	18
0	10	10
1	15	10
2	20	10
3	38	10
4	80	10
5	186	10
6	566	10
7	1987	10
done	5000	10
0	10	17
1	19	15
2	30	15
3	53	15
4	94	15
5	198	15
6	577	15
7	1979	15
done	5000	15
0	9	9
1	14	9
2	19	9
3	37	9
4	77	9
5	183	9
6	560	9
7	1970	9
done	5000	9
0	11	13
1	18	13
2	24	13
3	42	13
4	84	13
5	186	13
6	561	13
7	1966	13
done	5001	13
0	10	10
1	15	10
2	21	10
3	39	10
4	79	10
5	181	10
6	553	10
7	1960	10
done	5000	10
0	10	10
1	15	10
2	21	10
3	39	10
4	79	10
5	181	10
6	553	10
7	1960	10
done	5000	10
0	10	10
1	15	10
2	21	10
3	39	10
4	79	10
5	181	10
6	553	10
7	1960	10
done	5000	10
0	9	9
1	16	7
2	24	7
3	42	7
4	83	7
5	183	7
6	549	7
7	1954	7
done	5001	7
0	9	9
1	14	9
2	20	9
3	38	9
4	80	9
5	186	9
6	566	9
7	1967	9
done	5000	9
0	5	7
1	9	7
done	9	7
0	9	9
1	14	9
2	21	9
3	45	9
4	106	9
5	290	9
6	979	9
7	3833	9
done	5000	9
0	4	4
1	6	4
done	6	4
0	9	9
1	14	9
2	21	9
3	45	9
4	106	9
5	290	9
6	979	9
7	3833	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	8	8
1	13	8
2	20	8
3	44	8
4	107	8
5	288	8
6	962	8
7	3832	8
done	5000	8
0	12	14
1	18	14
2	32	14
3	71	14
4	186	14
5	584	14
6	2351	14
done	5000	14
0	11	11
1	15	11
2	25	11
3	52	11
4	121	11
5	331	11
6	1140	11
7	4413	11
done	5000	11
0	11	11
1	15	11
2	25	11
3	52	11
4	121	11
5	331	11
6	1140	11
7	4413	11
done	5000	11
0	11	11
1	15	11
2	25	11
3	52	11
4	121	11
5	331	11
6	1140	11
7	4413	11
done	5000	11
0	10	10
1	16	8
2	28	8
3	57	8
4	139	8
5	386	8
6	1452	8
done	5000	8
0	10	10
1	14	10
2	24	10
3	51	10
4	120	10
5	330	10
6	1146	10
7	4428	10
done	5000	10
0	3	3
1	5	3
done	5	3
0	8	8
1	13	8
2	20	8
3	42	8
4	95	8
5	234	8
6	714	8
7	2564	8
done	5001	8
0	10	12
1	17	12
2	28	12
3	64	12
4	171	12
5	549	12
6	2163	12
done	5000	12
0	9	9
1	14	9
2	21	9
3	45	9
4	106	9
5	290	9
6	979	9
7	3833	9
done	5000	9
0	8	8
1	15	6
2	24	6
3	50	6
4	122	6
5	343	6
6	1270	6
done	5000	6
0	6	6
1	10	6
2	17	6
3	39	6
4	92	6
5	236	6
6	718	6
7	2562	6
done	5000	6
0	9	9
1	14	9
2	19	9
3	37	9
4	77	9
5	182	9
6	564	9
7	1964	9
done	5000	9
0	9	9
1	14	9
2	20	9
3	38	9
4	78	9
5	180	9
6	559	9
7	1973	9
done	5001	9
0	8	8
1	13	8
2	20	8
3	42	8
4	95	8
5	234	8
6	714	8
7	2564	8
done	5001	8
0	10	10
1	14	10
2	24	10
3	49	10
4	112	10
5	277	10
6	890	10
7	3150	10
done	5000	10
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	8	8
1	10	8
2	18	8
done	18	8
0	7	7
1	12	7
2	19	7
3	20	7
done	20	7
0	7	7
1	12	7
2	19	7
3	20	7
done	20	7
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	10
1	13	10
2	20	10
3	44	10
4	103	10
5	262	10
6	872	10
7	3264	10
done	5000	10
0	7	7
1	12	7
2	17	7
3	35	7
4	75	7
5	184	7
6	562	7
7	2185	7
done	5000	7
0	6	6
1	14	4
2	21	4
3	32	4
4	56	4
5	122	4
6	338	4
7	1278	4
done	5000	4
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	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	7	7
1	14	7
2	26	7
3	57	7
4	139	7
5	411	7
6	1535	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	42	7
4	97	7
5	262	7
6	885	7
7	3708	7
done	5000	7
0	8	15
1	13	15
2	18	15
3	36	15
4	78	15
5	182	15
6	563	15
7	1965	15
done	5001	15
0	7	7
1	12	7
2	17	7
3	35	7
4	75	7
5	181	7
6	552	7
7	1978	7
done	5001	7
0	8	20
1	16	15
2	37	8
3	88	8
4	238	8
5	793	8
6	3671	8
done	5001	8
0	7	7
1	12	7
2	18	7
3	36	7
4	78	7
5	182	7
6	562	7
7	1973	7
done	5001	7
0	7	7
1	12	7
2	18	7
3	36	7
4	78	7
5	182	7
6	562	7
7	1973	7
done	5001	7
0	8	8
1	12	8
2	20	8
3	41	8
4	89	8
5	215	8
6	716	8
7	2530	8
done	5001	8
0	8	8
1	12	8
2	20	8
3	41	8
4	89	8
5	215	8
6	716	8
7	2530	8
done	5001	8
0	20	21
1	40	20
2	81	20
3	172	20
4	486	20
5	1884	20
done	5000	20
0	19	20
1	35	20
2	65	20
3	128	20
4	348	20
5	1220	20
6	4869	20
done	5000	20
0	19	20
1	38	20
2	75	20
3	157	20
4	446	20
5	1745	20
done	5000	20
0	20	41
1	36	41
2	66	41
3	131	41
4	351	41
5	1211	41
6	4894	41
done	5000	41
0	19	20
1	35	20
2	65	20
3	128	20
4	348	20
5	1220	20
6	4869	20
done	5000	20
0	20	59
1	49	59
2	135	21
3	560	21
4	3342	21
done	5000	21
0	19	20
1	35	20
2	65	20
3	128	20
4	348	20
5	1220	20
6	4869	20
done	5000	20
0	19	20
1	35	20
2	65	20
3	128	20
4	348	20
5	1220	20
6	4869	20
done	5000	20
0	21	23
1	52	23
2	140	23
3	575	23
4	3764	23
done	5000	23
0	22	59
1	54	57
2	166	57
3	652	41
4	3139	41
done	5000	41
0	20	39
1	47	39
2	131	39
3	466	39
4	2207	39
done	5001	39
0	18	19
1	35	19
2	66	19
3	131	19
4	351	19
5	1211	19
6	4892	19
done	5000	19
0	14	15
1	28	14
2	57	12
3	147	12
4	442	12
5	1838	12
done	5000	12
0	15	17
1	33	15
2	66	12
3	166	12
4	459	12
5	1853	12
done	5001	12
0	15	17
1	30	17
2	64	17
3	163	14
4	463	12
5	1960	12
done	5001	12
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	9
1	23	8
2	29	6
3	52	6
4	93	6
5	200	6
6	576	6
7	1992	6
done	5000	6
0	10	11
1	22	9
2	37	6
3	74	6
4	123	6
5	249	6
6	666	6
7	2072	6
done	5000	6
0	10	11
1	19	11
2	35	11
3	72	8
4	138	6
5	366	6
6	1531	6
7	4298	6
done	5001	6
0	25	41
1	57	39
2	184	35
3	951	24
done	5000	24
0	23	26
1	49	24
2	96	21
3	216	21
4	577	21
5	2212	21
done	5000	21
0	23	26
1	46	26
2	94	26
3	208	23
4	576	21
5	2293	21
done	5000	21

prune260.0ms

Filtered

77 candidates to 96 candidates (-24.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	96	10	106

Merged error: 0b

Counts

106 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (* -2.0 (log u1)) (/ 0.5 2))
0.3b	(* (* 2.0 PI) u2)
0.3b	(* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
0.4b	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

152×	`add-exp-log`
99×	`prod-exp`
40×	`pow-exp`
29×	`add-sqr-sqrt`
23×	`add-cbrt-cube`
21×	`add-cube-cbrt` `*-un-lft-identity`
20×	`pow-to-exp` `times-frac` `div-exp`
15×	`associate-l`
13×	`pow-unpow` `associate-r`
12×	`pow1`
10×	`cbrt-unprod`
5×	`sqr-pow`
4×	`pow-prod-down` `add-log-exp` `unswap-sqr`
3×	`unpow-prod-down` `associate-l/` `-commutative`
2×	`cbrt-undiv` `pow-pow` `div-inv`

Counts

4 → 140

Calls

4 calls:

6.0ms	(pow (* -2.0 (log u1)) (/ 0.5 2))
6.0ms	(* (* 2.0 PI) u2)
12.0ms	(* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
9.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))

series279.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(pow (* -2.0 (log u1)) (/ 0.5 2))
4.0ms	(* (* 2.0 PI) u2)
116.0ms	(* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
117.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))

simplify7.2min

Counts

152 → 152

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	16	16
1	25	16
2	46	16
3	104	16
4	215	16
5	403	16
6	623	16
7	777	16
8	938	16
9	956	16
done	956	16
0	15	15
1	27	15
2	47	15
3	95	15
4	197	15
5	371	15
6	583	15
7	734	15
8	907	15
9	926	15
done	926	15
0	15	15
1	27	15
2	47	15
3	95	15
4	197	15
5	371	15
6	583	15
7	734	15
8	907	15
9	926	15
done	926	15
0	15	15
1	26	15
2	53	15
3	127	15
4	355	15
5	1302	15
done	5001	15
0	15	15
1	23	15
2	40	15
3	81	15
4	150	15
5	254	15
6	489	15
7	688	15
8	843	15
9	991	15
10	1003	15
done	1003	15
0	14	14
1	25	14
2	41	14
3	75	14
4	138	14
5	248	14
6	468	14
7	661	14
8	817	14
9	967	14
10	981	14
done	981	14
0	14	14
1	25	14
2	41	14
3	75	14
4	138	14
5	248	14
6	468	14
7	661	14
8	817	14
9	967	14
10	981	14
done	981	14
0	14	14
1	24	14
2	47	14
3	109	14
4	295	14
5	1069	14
6	4798	14
done	5000	14
0	13	13
1	23	13
2	50	13
3	122	13
4	367	13
5	1374	13
done	5001	13
0	13	13
1	22	13
2	44	13
3	102	13
4	281	13
5	943	13
6	3976	13
done	5001	13
0	18	38
1	39	31
2	142	18
3	690	16
4	4447	16
done	5000	16
0	16	38
1	35	31
2	110	16
3	418	16
4	2174	14
done	5001	14
0	14	27
1	21	27
2	38	27
3	79	27
4	200	27
5	599	27
6	2198	27
done	5000	27
0	13	13
1	20	13
2	37	13
3	78	13
4	199	13
5	600	13
6	2187	13
done	5001	13
0	14	38
1	31	38
2	111	14
3	512	14
4	2732	14
done	5000	14
0	13	13
1	20	13
2	37	13
3	78	13
4	199	13
5	600	13
6	2187	13
done	5001	13
0	13	13
1	20	13
2	37	13
3	78	13
4	199	13
5	600	13
6	2187	13
done	5001	13
0	14	14
1	19	14
2	28	14
3	49	14
4	97	14
5	222	14
6	728	14
7	2570	14
done	5000	14
0	14	14
1	19	14
2	28	14
3	49	14
4	97	14
5	222	14
6	728	14
7	2570	14
done	5000	14
0	14	15
1	22	13
2	35	13
3	71	13
4	154	13
5	397	13
6	1330	13
7	4973	13
done	5000	13
0	14	15
1	22	13
2	35	13
3	71	13
4	154	13
5	397	13
6	1330	13
7	4973	13
done	5000	13
0	15	15
1	22	15
2	34	15
3	57	15
4	107	15
5	240	15
6	739	15
7	2560	15
done	5000	15
0	15	15
1	22	15
2	34	15
3	57	15
4	107	15
5	240	15
6	739	15
7	2560	15
done	5000	15
0	15	16
1	25	14
2	43	14
3	89	14
4	221	14
5	646	14
6	2361	14
done	5000	14
0	15	16
1	25	14
2	43	14
3	89	14
4	221	14
5	646	14
6	2361	14
done	5000	14
0	9	9
1	15	9
2	32	9
3	73	9
4	197	9
5	602	9
6	2191	9
done	5000	9
0	14	23
1	23	23
2	39	23
3	68	23
4	125	23
5	258	23
6	754	23
7	2574	23
done	5001	23
0	13	13
1	20	13
2	32	13
3	55	13
4	105	13
5	235	13
6	738	13
7	2552	13
done	5000	13
0	5	5
1	10	3
2	20	3
done	20	3
0	13	14
1	23	12
2	41	12
3	87	12
4	217	12
5	639	12
6	2336	12
done	5000	12
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	13	13
1	20	13
2	37	13
3	78	13
4	199	13
5	599	13
6	2178	13
done	5000	13
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	13	13
1	20	13
2	37	13
3	78	13
4	199	13
5	599	13
6	2178	13
done	5000	13
0	13	13
1	20	13
2	37	13
3	78	13
4	199	13
5	599	13
6	2178	13
done	5000	13
0	13	13
1	20	13
2	37	13
3	78	13
4	199	13
5	599	13
6	2178	13
done	5000	13
0	12	12
1	19	12
2	36	12
3	77	12
4	200	12
5	597	12
6	2198	12
done	5000	12
0	12	12
1	19	12
2	36	12
3	77	12
4	200	12
5	597	12
6	2198	12
done	5000	12
0	12	12
1	21	12
2	38	10
3	99	10
4	246	10
5	600	10
6	1795	10
done	5000	10
0	10	10
1	15	10
2	27	10
3	58	10
4	133	10
5	348	10
6	1168	10
7	4363	10
done	5000	10
0	17	27
1	29	27
2	63	18
3	195	18
4	647	18
5	1823	16
6	3560	14
done	5000	14
0	20	26
1	36	25
2	69	19
3	188	17
4	594	17
5	1719	15
6	3396	15
done	5000	15
0	20	26
1	36	25
2	69	19
3	188	17
4	594	17
5	1719	15
6	3396	15
done	5000	15
0	20	26
1	38	26
2	88	21
3	253	19
4	915	17
5	4314	15
done	5000	15
0	20	26
1	36	25
2	69	19
3	188	17
4	592	17
5	1744	15
6	3412	15
done	5000	15
0	16	25
1	31	25
2	64	17
3	174	17
4	530	17
5	1502	15
6	3146	13
done	5000	13
0	16	25
1	31	25
2	64	17
3	174	17
4	530	17
5	1502	15
6	3146	13
done	5000	13
0	18	25
1	36	25
2	78	19
3	224	17
4	828	17
5	4057	15
done	5000	15
0	20	26
1	36	25
2	69	19
3	188	17
4	592	17
5	1744	15
6	3412	15
done	5000	15
0	16	25
1	31	25
2	64	17
3	174	17
4	530	17
5	1502	15
6	3146	13
done	5000	13
0	16	25
1	31	25
2	64	17
3	174	17
4	530	17
5	1502	15
6	3146	13
done	5000	13
0	18	25
1	36	25
2	78	19
3	224	17
4	828	17
5	4057	15
done	5000	15
0	20	26
1	38	26
2	88	21
3	253	19
4	921	17
5	4323	15
done	5000	15
0	18	25
1	36	25
2	78	19
3	224	17
4	828	17
5	4054	15
done	5000	15
0	18	25
1	36	25
2	78	19
3	224	17
4	828	17
5	4054	15
done	5000	15
0	16	25
1	30	25
2	70	17
3	200	17
4	719	17
5	3653	15
done	5001	15
0	16	26
1	27	26
2	52	17
3	150	17
4	459	17
5	1231	15
6	2943	13
done	5000	13
0	19	25
1	34	24
2	58	18
3	143	16
4	415	16
5	1160	14
6	2843	14
7	4577	12
done	5000	12
0	19	25
1	34	24
2	58	18
3	143	16
4	415	16
5	1160	14
6	2843	14
7	4577	12
done	5000	12
0	19	25
1	36	25
2	76	20
3	201	18
4	675	16
5	3081	14
done	5001	14
0	19	25
1	34	24
2	58	18
3	143	16
4	415	16
5	1160	14
6	2832	14
7	4581	12
done	5000	12
0	15	24
1	29	24
2	53	16
3	134	16
4	396	16
5	1084	14
6	2683	12
done	5001	12
0	15	24
1	29	24
2	53	16
3	134	16
4	396	16
5	1084	14
6	2683	12
done	5001	12
0	17	24
1	34	24
2	67	18
3	178	16
4	629	16
5	3025	14
done	5001	14
0	19	25
1	34	24
2	58	18
3	143	16
4	415	16
5	1160	14
6	2832	14
7	4581	12
done	5000	12
0	15	24
1	29	24
2	53	16
3	134	16
4	396	16
5	1084	14
6	2683	12
done	5001	12
0	15	24
1	29	24
2	53	16
3	134	16
4	396	16
5	1084	14
6	2683	12
done	5001	12
0	17	24
1	34	24
2	67	18
3	178	16
4	629	16
5	3025	14
done	5001	14
0	19	25
1	36	25
2	76	20
3	201	18
4	675	16
5	3088	14
done	5000	14
0	17	24
1	34	24
2	67	18
3	178	16
4	633	16
5	3024	14
done	5000	14
0	17	24
1	34	24
2	67	18
3	178	16
4	633	16
5	3024	14
done	5000	14
0	15	24
1	28	24
2	59	16
3	162	16
4	564	16
5	2804	14
done	5001	14
0	18	24
1	33	24
2	75	24
3	193	20
4	626	16
5	2861	14
done	5001	14
0	16	23
1	33	23
2	72	23
3	184	18
4	609	16
5	2828	14
done	5001	14
0	16	23
1	33	23
2	72	23
3	184	18
4	609	16
5	2828	14
done	5001	14
0	15	23
1	27	23
2	61	23
3	164	16
4	555	16
5	2694	14
done	5000	14
0	14	22
1	27	22
2	74	15
3	213	15
4	777	15
5	3500	13
done	5000	13
0	14	22
1	26	22
2	69	15
3	188	15
4	635	15
5	2689	13
done	5001	13
0	19	65
1	45	51
2	187	29
3	1118	16
done	5001	16
0	17	65
1	41	51
2	152	27
3	735	16
4	4604	16
done	5000	16
0	17	65
1	41	51
2	171	25
3	966	25
done	5000	25
0	15	45
1	25	45
2	59	31
3	148	31
4	477	31
5	1807	27
done	5000	27
0	14	22
1	24	22
2	58	15
3	147	15
4	465	15
5	1790	13
done	5001	13
0	15	65
1	34	65
2	137	16
3	768	16
done	5000	16
0	14	22
1	24	22
2	58	15
3	147	15
4	465	15
5	1790	13
done	5001	13
0	14	22
1	24	22
2	58	15
3	147	15
4	465	15
5	1790	13
done	5001	13
0	14	18
1	26	18
2	68	18
3	217	18
4	897	18
done	5000	18
0	15	32
1	27	32
2	69	32
3	197	32
4	626	32
5	2305	32
done	5000	32
0	14	22
1	24	22
2	56	22
3	134	22
4	384	22
5	1309	22
done	5000	22
0	14	14
1	26	12
2	63	12
3	160	12
4	406	12
5	987	12
6	3053	12
done	5001	12
0	15	23
1	29	21
2	70	21
3	202	14
4	756	14
5	3445	14
done	5000	14
0	9	17
1	15	10
2	33	10
3	73	10
4	182	8
5	561	6
6	1986	6
done	5000	6
0	11	19
1	19	19
2	42	12
3	101	12
4	283	12
5	900	10
6	3556	8
done	5000	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	10	10
1	14	10
2	25	10
3	41	10
4	48	10
5	52	10
6	58	10
7	60	10
done	60	10
0	9	9
1	16	9
2	26	9
3	43	9
4	50	9
5	54	9
6	60	9
7	62	9
done	62	9
0	9	9
1	16	9
2	26	9
3	43	9
4	50	9
5	54	9
6	60	9
7	62	9
done	62	9
0	5	5
1	10	3
2	20	3
3	23	3
4	26	3
5	28	3
done	28	3
0	5	5
1	10	3
2	20	3
3	23	3
4	26	3
5	28	3
done	28	3
0	10	14
1	14	14
2	21	14
3	45	14
4	102	14
5	260	14
6	879	14
7	3295	14
done	5000	14
0	9	9
1	13	9
2	18	9
3	36	9
4	76	9
5	187	9
6	570	9
7	2177	9
done	5000	9
0	12	16
1	22	16
2	44	16
3	109	16
4	327	16
5	955	16
6	3859	16
done	5000	16
0	11	13
1	17	13
2	28	13
3	66	13
4	182	13
5	515	13
6	2174	13
done	5000	13
0	10	12
1	19	10
2	36	10
3	72	10
4	157	10
5	377	10
6	1352	10
7	4877	10
done	5000	10
0	11	13
1	17	13
2	26	13
3	60	13
4	152	13
5	416	13
6	1823	13
done	5000	13
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	9	9
1	16	7
2	25	7
3	43	7
4	85	7
5	188	7
6	624	7
7	2401	7
done	5001	7
0	10	12
1	18	12
2	27	12
3	62	12
4	148	12
5	446	12
6	1697	12
done	5001	12
0	9	9
1	15	9
2	22	9
3	48	9
4	105	9
5	276	9
6	820	9
7	2562	9
done	5000	9
0	7	8
1	15	6
2	22	4
3	33	4
4	55	4
5	116	4
6	328	4
7	1249	4
done	5000	4
0	6	6
1	14	4
2	21	4
3	32	4
4	56	4
5	122	4
6	338	4
7	1278	4
done	5000	4
0	6	6
1	11	6
2	16	6
3	34	6
4	76	6
5	182	6
6	566	6
7	1986	6
done	5000	6
0	5	5
1	8	5
2	16	5
3	37	5
4	85	5
5	214	5
6	724	5
7	2528	5
done	5000	5
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	9	9
1	15	9
2	32	9
3	77	9
4	174	9
5	520	9
6	1933	9
done	5000	9
0	9	9
1	13	9
2	23	9
3	49	9
4	114	9
5	300	9
6	1034	9
7	4314	9
done	5000	9
0	10	19
1	14	19
2	22	19
3	43	19
4	91	19
5	224	19
6	728	19
7	2529	19
done	5001	19
0	9	9
1	13	9
2	21	9
3	42	9
4	90	9
5	222	9
6	718	9
7	2522	9
done	5001	9
0	10	26
1	17	19
2	43	10
3	103	10
4	276	10
5	924	10
6	3928	10
done	5000	10
0	9	9
1	13	9
2	22	9
3	43	9
4	91	9
5	224	9
6	722	9
7	2549	9
done	5001	9
0	9	9
1	13	9
2	22	9
3	43	9
4	91	9
5	224	9
6	722	9
7	2549	9
done	5001	9
0	9	10
1	16	8
2	25	8
3	51	8
4	110	8
5	264	8
6	895	8
7	3172	8
done	5000	8
0	9	10
1	16	8
2	25	8
3	51	8
4	110	8
5	264	8
6	895	8
7	3172	8
done	5000	8
0	14	15
1	28	14
2	57	12
3	147	12
4	442	12
5	1838	12
done	5000	12
0	15	17
1	33	15
2	66	12
3	166	12
4	459	12
5	1853	12
done	5001	12
0	15	17
1	30	17
2	64	17
3	163	14
4	463	12
5	1960	12
done	5001	12
0	14	15
1	28	14
2	57	12
3	147	12
4	442	12
5	1838	12
done	5000	12
0	15	17
1	33	15
2	66	12
3	166	12
4	459	12
5	1853	12
done	5001	12
0	15	17
1	30	17
2	64	17
3	163	14
4	463	12
5	1960	12
done	5001	12
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	9
1	23	8
2	29	6
3	52	6
4	93	6
5	200	6
6	576	6
7	1992	6
done	5000	6
0	10	11
1	22	9
2	37	6
3	74	6
4	123	6
5	249	6
6	666	6
7	2072	6
done	5000	6
0	10	11
1	19	11
2	35	11
3	72	8
4	138	6
5	366	6
6	1531	6
7	4298	6
done	5001	6

prune407.0ms

Filtered

109 candidates to 152 candidates (-39.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	152	10	162

Merged error: 0b

Counts

162 → 10

localize28.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
0.4b	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
0.5b	(* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) (- 0.5 (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)))))
0.8b	(pow (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 3)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-exp-log`
68×	`prod-exp`
38×	`add-sqr-sqrt` `add-cbrt-cube`
27×	`associate-l`
26×	`pow-exp`
22×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
18×	`cbrt-unprod`
16×	`div-exp`
13×	`associate-r`
12×	`pow1`
11×	`associate-*l/`
9×	`pow-to-exp`
8×	`unswap-sqr`
7×	`sqr-pow`
4×	`cbrt-undiv` `pow-prod-down` `add-log-exp` `rem-cube-cbrt`
3×	`unpow-prod-down` `pow-unpow` `*-commutative`
2×	`distribute-rgt-in` `frac-times` `sub-neg` `flip3--` `pow-pow` `distribute-lft-in` `associate-*r/` `flip--` `div-inv`
1×	`cube-div` `cube-mult` `unpow3` `cube-prod`

Counts

4 → 152

Calls

4 calls:

9.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
10.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
15.0ms	(* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) (- 0.5 (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)))))
13.0ms	(pow (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 3)

series555.0ms

Counts

4 → 12

Calls

4 calls:

119.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
119.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
206.0ms	(* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) (- 0.5 (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)))))
111.0ms	(pow (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 3)

simplify7.6min

Counts

164 → 164

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	24	24
1	39	24
2	91	24
3	229	24
4	618	24
5	1395	24
6	2137	24
7	3243	24
8	4490	24
done	5000	24
0	23	23
1	41	23
2	92	23
3	212	23
4	536	23
5	1218	23
6	1921	23
7	2962	23
8	4352	23
done	5000	23
0	23	23
1	41	23
2	92	23
3	212	23
4	536	23
5	1218	23
6	1921	23
7	2962	23
8	4352	23
done	5000	23
0	23	23
1	43	23
2	99	23
3	250	23
4	737	23
5	2890	23
done	5001	23
0	23	23
1	37	23
2	79	23
3	165	23
4	435	23
5	983	23
6	2002	23
7	2718	23
8	3881	23
done	5000	23
0	22	22
1	39	22
2	80	22
3	153	22
4	378	22
5	879	22
6	1802	22
7	2552	22
8	3710	22
done	5001	22
0	22	22
1	39	22
2	80	22
3	153	22
4	378	22
5	879	22
6	1802	22
7	2552	22
8	3710	22
done	5001	22
0	22	22
1	41	22
2	87	22
3	188	22
4	563	22
5	2256	22
done	5000	22
0	21	21
1	38	21
2	80	21
3	181	21
4	529	21
5	2112	21
done	5001	21
0	20	20
1	39	20
2	89	20
3	219	20
4	646	20
5	2245	20
done	5000	20
0	20	20
1	39	20
2	89	20
3	219	20
4	646	20
5	2245	20
done	5000	20
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	21	23
1	39	23
2	80	23
3	179	23
4	479	23
5	1547	23
done	5000	23
0	20	20
1	38	20
2	77	20
3	174	20
4	455	20
5	1469	20
done	5000	20
0	19	19
1	40	17
2	81	17
3	169	17
4	440	17
5	1406	17
done	5000	17
0	12	12
1	30	12
2	94	12
3	413	12
4	2291	12
done	5000	12
0	8	8
1	20	8
2	32	8
3	42	8
4	63	8
5	124	8
6	338	8
7	1257	8
done	5000	8
0	18	35
1	40	35
2	121	35
3	551	30
4	2734	30
done	5000	30
0	20	20
1	47	20
2	152	20
3	792	20
done	5000	20
0	20	20
1	45	20
2	142	20
3	743	20
done	5000	20
0	21	41
1	45	35
2	134	35
3	675	35
done	5000	35
0	20	20
1	45	17
2	134	17
3	673	17
done	5000	17
0	21	59
1	50	39
2	183	21
3	1510	21
done	5000	21
0	12	12
1	30	12
2	94	12
3	413	12
4	2291	12
done	5000	12
0	8	8
1	20	8
2	32	8
3	42	8
4	63	8
5	124	8
6	338	8
7	1257	8
done	5000	8
0	17	17
1	40	17
2	115	17
3	497	17
4	3080	17
done	5000	17
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	18	35
1	40	35
2	121	35
3	551	30
4	2734	30
done	5000	30
0	20	20
1	45	20
2	135	20
3	674	20
done	5002	20
0	20	20
1	45	20
2	135	20
3	674	20
done	5002	20
0	21	21
1	40	19
2	80	19
3	169	19
4	436	19
5	1402	19
done	5001	19
0	21	21
1	40	19
2	80	19
3	169	19
4	436	19
5	1402	19
done	5001	19
0	19	37
1	39	37
2	112	37
3	460	37
4	2699	37
done	5001	37
0	19	37
1	39	37
2	112	37
3	460	37
4	2699	37
done	5001	37
0	30	43
1	60	43
2	153	43
3	481	43
4	1579	43
done	5001	43
0	28	42
1	60	42
2	152	42
3	460	42
4	1456	42
5	4748	42
done	5000	42
0	28	42
1	60	42
2	152	42
3	460	42
4	1456	42
5	4748	42
done	5000	42
0	27	42
1	57	42
2	149	42
3	468	42
4	1592	42
done	5001	42
0	28	42
1	57	42
2	138	42
3	402	42
4	1337	42
5	4406	42
done	5000	42
0	26	41
1	57	41
2	137	41
3	386	41
4	1247	41
5	4145	41
done	5000	41
0	26	41
1	57	41
2	137	41
3	386	41
4	1247	41
5	4145	41
done	5000	41
0	25	41
1	54	41
2	134	41
3	399	41
4	1378	41
done	5001	41
0	23	40
1	47	40
2	114	40
3	332	40
4	1156	40
5	4808	40
done	5000	40
0	21	39
1	42	39
2	101	39
3	300	39
4	1025	39
5	3884	39
done	5000	39
0	20	38
1	43	38
2	126	38
3	519	38
4	2980	38
done	5000	38
0	20	38
1	42	38
2	127	38
3	526	38
4	3081	38
done	5001	38
0	32	113
1	77	108
2	321	47
3	2348	45
done	5001	45
0	29	113
1	73	108
2	286	45
3	1795	45
done	5001	45
0	26	113
1	65	113
2	272	43
3	1942	43
done	5000	43
0	23	113
1	56	113
2	233	41
3	1800	41
done	5000	41
0	21	77
1	41	77
2	114	77
3	458	77
4	2680	77
done	5001	77
0	20	38
1	40	38
2	113	38
3	459	38
4	2698	38
done	5001	38
0	21	113
1	51	113
2	219	39
3	1809	39
done	5001	39
0	20	38
1	40	38
2	113	38
3	459	38
4	2698	38
done	5001	38
0	20	38
1	40	38
2	113	38
3	459	38
4	2698	38
done	5001	38
0	24	39
1	61	39
2	199	39
3	1161	39
done	5000	39
0	23	61
1	61	43
2	196	43
3	906	43
4	4762	43
done	5000	43
0	23	55
1	55	55
2	190	55
3	1054	50
done	5001	50
0	19	21
1	42	21
2	89	21
3	239	21
4	734	21
5	2756	21
done	5001	21
0	18	19
1	36	19
2	86	19
3	244	19
4	755	19
5	2791	19
done	5000	19
0	19	36
1	43	36
2	139	36
3	714	36
4	4474	31
done	5000	31
0	18	19
1	36	19
2	86	19
3	244	19
4	755	19
5	2791	19
done	5000	19
0	19	36
1	43	36
2	139	36
3	714	36
4	4474	31
done	5000	31
0	18	19
1	36	19
2	85	19
3	247	19
4	742	19
5	2707	19
done	5000	19
0	19	36
1	43	36
2	138	36
3	751	36
4	4772	31
done	5000	31
0	18	19
1	36	19
2	85	19
3	247	19
4	742	19
5	2707	19
done	5000	19
0	19	36
1	43	36
2	138	36
3	751	36
4	4772	31
done	5000	31
0	21	59
1	43	59
2	113	59
3	400	59
4	1456	59
done	5000	59
0	20	38
1	40	38
2	101	38
3	319	38
4	1079	38
5	4211	38
done	5000	38
0	19	19
1	39	17
2	95	17
3	237	17
4	675	17
5	2077	17
done	5000	17
0	19	26
1	37	26
2	88	26
3	249	26
4	974	26
5	4034	26
done	5001	26
0	22	41
1	57	41
2	194	41
3	1193	41
done	5001	41
0	21	57
1	51	57
2	185	57
3	1101	52
done	5000	52
0	21	35
1	43	35
2	117	35
3	431	35
4	2552	35
done	5000	35
0	14	14
1	21	14
2	39	14
3	78	14
4	157	14
5	276	14
6	369	14
7	480	14
8	641	14
9	659	14
done	659	14
0	13	13
1	23	13
2	40	13
3	69	13
4	141	13
5	248	13
6	330	13
7	436	13
8	602	13
9	621	13
done	621	13
0	13	13
1	23	13
2	40	13
3	69	13
4	141	13
5	248	13
6	330	13
7	436	13
8	602	13
9	621	13
done	621	13
0	13	13
1	25	13
2	47	13
3	105	13
4	303	13
5	1130	13
done	5001	13
0	13	13
1	19	13
2	33	13
3	58	13
4	110	13
5	179	13
6	330	13
7	432	13
8	550	13
9	698	13
10	710	13
done	710	13
0	12	12
1	21	12
2	34	12
3	52	12
4	100	12
5	174	12
6	312	12
7	409	12
8	526	12
9	674	12
10	688	12
done	688	12
0	12	12
1	21	12
2	34	12
3	52	12
4	100	12
5	174	12
6	312	12
7	409	12
8	526	12
9	674	12
10	688	12
done	688	12
0	12	12
1	23	12
2	41	12
3	89	12
4	258	12
5	934	12
6	4246	12
done	5000	12
0	11	11
1	22	11
2	46	11
3	115	11
4	341	11
5	1272	11
done	5000	11
0	11	11
1	21	11
2	40	11
3	93	11
4	269	11
5	913	11
6	3846	11
done	5000	11
0	16	32
1	38	27
2	136	16
3	682	14
4	4435	14
done	5000	14
0	14	32
1	34	27
2	104	14
3	405	14
4	2167	12
done	5000	12
0	12	23
1	20	23
2	34	23
3	74	23
4	190	23
5	579	23
6	2056	23
done	5000	23
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	12	32
1	30	32
2	107	12
3	507	12
4	2693	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	12	12
1	18	12
2	24	12
3	42	12
4	84	12
5	191	12
6	572	12
7	1986	12
done	5001	12
0	12	12
1	18	12
2	24	12
3	42	12
4	84	12
5	191	12
6	572	12
7	1986	12
done	5001	12
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	13	13
1	21	13
2	30	13
3	50	13
4	92	13
5	200	13
6	570	13
7	1977	13
done	5000	13
0	13	13
1	21	13
2	30	13
3	50	13
4	92	13
5	200	13
6	570	13
7	1977	13
done	5000	13
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	7	7
1	14	7
2	28	7
3	66	7
4	180	7
5	561	7
6	2024	7
done	5001	7
0	12	19
1	22	19
2	35	19
3	61	19
4	110	19
5	227	19
6	612	19
7	2031	19
done	5000	19
0	11	11
1	19	11
2	28	11
3	48	11
4	90	11
5	204	11
6	575	11
7	1980	11
done	5000	11
0	5	5
1	10	3
2	20	3
done	20	3
0	12	12
1	19	12
2	36	12
3	77	12
4	200	12
5	597	12
6	2198	12
done	5000	12
0	11	11
1	17	11
2	26	11
3	52	11
4	119	11
5	312	11
6	1005	11
7	3780	11
done	5000	11
0	11	11
1	17	11
2	26	11
3	52	11
4	119	11
5	312	11
6	1005	11
7	3780	11
done	5000	11
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2028	11
done	5000	11
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2028	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2023	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2023	11
done	5000	11
0	10	10
1	18	10
2	32	10
3	72	10
4	188	10
5	566	10
6	2044	10
done	5000	10
0	10	10
1	18	10
2	32	10
3	72	10
4	188	10
5	566	10
6	2044	10
done	5000	10
0	10	10
1	20	10
2	34	8
3	94	8
4	238	8
5	586	8
6	1674	8
done	5001	8
0	8	8
1	14	8
2	23	8
3	51	8
4	115	8
5	309	8
6	1004	8
7	3765	8
done	5000	8
0	14	14
1	21	14
2	39	14
3	78	14
4	157	14
5	276	14
6	369	14
7	480	14
8	641	14
9	659	14
done	659	14
0	13	13
1	23	13
2	40	13
3	69	13
4	141	13
5	248	13
6	330	13
7	436	13
8	602	13
9	621	13
done	621	13
0	13	13
1	23	13
2	40	13
3	69	13
4	141	13
5	248	13
6	330	13
7	436	13
8	602	13
9	621	13
done	621	13
0	13	13
1	25	13
2	47	13
3	105	13
4	303	13
5	1130	13
done	5001	13
0	13	13
1	19	13
2	33	13
3	58	13
4	110	13
5	179	13
6	330	13
7	432	13
8	550	13
9	698	13
10	710	13
done	710	13
0	12	12
1	21	12
2	34	12
3	52	12
4	100	12
5	174	12
6	312	12
7	409	12
8	526	12
9	674	12
10	688	12
done	688	12
0	12	12
1	21	12
2	34	12
3	52	12
4	100	12
5	174	12
6	312	12
7	409	12
8	526	12
9	674	12
10	688	12
done	688	12
0	12	12
1	23	12
2	41	12
3	89	12
4	258	12
5	934	12
6	4246	12
done	5000	12
0	11	11
1	22	11
2	46	11
3	115	11
4	341	11
5	1272	11
done	5000	11
0	11	11
1	21	11
2	40	11
3	93	11
4	269	11
5	913	11
6	3846	11
done	5000	11
0	16	32
1	38	27
2	136	16
3	682	14
4	4435	14
done	5000	14
0	14	32
1	34	27
2	104	14
3	405	14
4	2167	12
done	5000	12
0	12	23
1	20	23
2	34	23
3	74	23
4	190	23
5	579	23
6	2056	23
done	5000	23
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	12	32
1	30	32
2	107	12
3	507	12
4	2693	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	73	11
4	189	11
5	568	11
6	2039	11
done	5000	11
0	12	12
1	18	12
2	24	12
3	42	12
4	84	12
5	191	12
6	572	12
7	1986	12
done	5001	12
0	12	12
1	18	12
2	24	12
3	42	12
4	84	12
5	191	12
6	572	12
7	1986	12
done	5001	12
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	13	13
1	18	13
2	30	13
3	59	13
4	132	13
5	345	13
6	1164	13
7	4347	13
done	5001	13
0	13	13
1	21	13
2	30	13
3	50	13
4	92	13
5	200	13
6	570	13
7	1977	13
done	5000	13
0	13	13
1	21	13
2	30	13
3	50	13
4	92	13
5	200	13
6	570	13
7	1977	13
done	5000	13
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	14	14
1	21	14
2	38	14
3	81	14
4	202	14
5	600	14
6	2185	14
done	5001	14
0	7	7
1	14	7
2	28	7
3	66	7
4	180	7
5	561	7
6	2024	7
done	5001	7
0	12	19
1	22	19
2	35	19
3	61	19
4	110	19
5	227	19
6	612	19
7	2031	19
done	5000	19
0	11	11
1	19	11
2	28	11
3	48	11
4	90	11
5	204	11
6	575	11
7	1980	11
done	5000	11
0	5	5
1	10	3
2	20	3
done	20	3
0	12	12
1	19	12
2	36	12
3	77	12
4	200	12
5	597	12
6	2198	12
done	5000	12
0	11	11
1	17	11
2	26	11
3	52	11
4	119	11
5	312	11
6	1005	11
7	3780	11
done	5000	11
0	11	11
1	17	11
2	26	11
3	52	11
4	119	11
5	312	11
6	1005	11
7	3780	11
done	5000	11
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2028	11
done	5000	11
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	12	12
1	20	12
2	34	12
3	72	12
4	187	12
5	560	12
6	2031	12
done	5000	12
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2028	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2023	11
done	5000	11
0	11	11
1	19	11
2	33	11
3	71	11
4	186	11
5	562	11
6	2023	11
done	5000	11
0	10	10
1	18	10
2	32	10
3	72	10
4	188	10
5	566	10
6	2044	10
done	5000	10
0	10	10
1	18	10
2	32	10
3	72	10
4	188	10
5	566	10
6	2044	10
done	5000	10
0	10	10
1	20	10
2	34	8
3	94	8
4	238	8
5	586	8
6	1674	8
done	5001	8
0	8	8
1	14	8
2	23	8
3	51	8
4	115	8
5	309	8
6	1004	8
7	3765	8
done	5000	8
0	24	39
1	53	37
2	174	33
3	945	22
done	5000	22
0	24	26
1	56	24
2	131	21
3	365	21
4	1200	21
done	5001	21
0	24	26
1	53	26
2	129	26
3	358	23
4	1194	21
done	5000	21
0	37	81
1	91	77
2	332	63
3	1404	55
done	5000	55
0	26	51
1	59	47
2	150	41
3	490	41
4	2092	41
done	5000	41
0	26	51
1	56	51
2	148	51
3	482	45
4	2085	41
done	5000	41
0	14	15
1	28	14
2	57	12
3	147	12
4	442	12
5	1838	12
done	5000	12
0	15	17
1	33	15
2	66	12
3	166	12
4	459	12
5	1853	12
done	5001	12
0	15	17
1	30	17
2	64	17
3	163	14
4	463	12
5	1960	12
done	5001	12
0	14	15
1	28	14
2	57	12
3	147	12
4	442	12
5	1838	12
done	5000	12
0	15	17
1	33	15
2	66	12
3	166	12
4	459	12
5	1853	12
done	5001	12
0	15	17
1	30	17
2	64	17
3	163	14
4	463	12
5	1960	12
done	5001	12

prune1.2s

Filtered

138 candidates to 164 candidates (-18.8%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	164	10	174

Merged error: 0b

Counts

174 → 10

regimes1.0s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	19
1	24	19
done	24	19

end0.0ms

sample1.3s

Algorithm

intervals

Results

826.0ms	8000×	body	80	valid
217.0ms	8000×	pre	80	true

Details

sample73.0ms

simplify3.0s

prune6.0ms

localize20.0ms

rewrite36.0ms

series268.0ms

simplify3.9min

prune284.0ms

localize20.0ms

rewrite30.0ms

series253.0ms

simplify4.4min

prune260.0ms

localize21.0ms

rewrite45.0ms

series279.0ms

simplify7.2min

prune407.0ms

localize28.0ms

rewrite55.0ms

series555.0ms

simplify7.6min

prune1.2s

regimes1.0s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling