Details

sample74.0ms

Algorithm

intervals

Results

18.0ms	58×	body	1280	valid
16.0ms	327×	body	80	valid
13.0ms	64×	body	640	valid
5.0ms	32×	body	320	valid
2.0ms	17×	body	160	valid

simplify19.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	32	7
3	68	7
4	141	7
5	255	7
6	464	7
7	1043	7
8	2188	7
9	2998	7
10	4255	7
11	4761	7
12	4803	7
done	4803	7

prune3.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: 15.9b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh y)
0.1b	(* (sin x) (sinh y))
15.8b	(/ (* (sin x) (sinh y)) x)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
5×	`pow1`
3×	`sinh-def` `times-frac` `associate-r` `associate-l` `associate-/r*` `add-log-exp`
2×	`cbrt-undiv` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l/` `associate-/l` `unswap-sqr`

Counts

3 → 49

Calls

3 calls:

1.0ms	(sinh y)
5.0ms	(* (sin x) (sinh y))
6.0ms	(/ (* (sin x) (sinh y)) x)

series57.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(sinh y)
19.0ms	(* (sin x) (sinh y))
28.0ms	(/ (* (sin x) (sinh y)) x)

simplify3.8min

Counts

58 → 58

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	9	10
1	20	10
2	37	10
3	65	10
4	123	10
5	229	10
6	303	10
7	403	10
8	520	10
9	531	10
done	531	10
0	8	9
1	20	9
2	40	9
3	81	9
4	165	9
5	314	9
6	462	9
7	740	9
8	1172	9
9	1856	9
10	2549	9
11	2947	9
12	3124	9
13	3161	9
done	3161	9
0	7	8
1	19	8
2	44	8
3	103	8
4	231	8
5	460	8
6	823	8
7	1514	8
8	2845	8
9	4357	8
done	5000	8
0	7	8
1	16	8
2	33	8
3	71	8
4	156	8
5	315	8
6	621	8
7	1551	8
done	5001	8
0	12	23
1	33	23
2	146	13
3	723	13
4	4301	11
done	5001	11
0	10	23
1	35	23
2	157	11
3	919	9
done	5000	9
0	8	17
1	17	17
2	34	17
3	70	17
4	143	17
5	257	17
6	466	17
7	1033	17
8	2185	17
9	2979	17
10	4227	17
11	4777	17
12	4812	17
done	4812	17
0	7	8
1	16	8
2	33	8
3	69	8
4	142	8
5	257	8
6	466	8
7	1045	8
8	2201	8
9	3004	8
10	4265	8
11	4754	8
12	4801	8
done	4801	8
0	8	23
1	24	23
2	78	9
3	342	9
4	2400	9
done	5000	9
0	7	8
1	16	8
2	33	8
3	69	8
4	142	8
5	257	8
6	466	8
7	1045	8
8	2201	8
9	3004	8
10	4265	8
11	4754	8
12	4801	8
done	4801	8
0	7	8
1	16	8
2	33	8
3	69	8
4	142	8
5	257	8
6	466	8
7	1045	8
8	2201	8
9	3004	8
10	4265	8
11	4754	8
12	4801	8
done	4801	8
0	6	6
1	17	6
2	34	6
3	71	6
4	136	6
5	228	6
6	425	6
7	933	6
8	1478	6
9	2267	6
10	3539	6
11	4705	6
done	5000	6
0	2	2
done	2	2
0	5	8
1	7	8
done	7	8
0	5	5
1	11	5
2	20	5
3	39	5
4	59	5
5	82	5
6	102	5
7	109	5
done	109	5
0	4	5
done	4	5
0	5	5
1	11	5
2	20	5
3	39	5
4	59	5
5	82	5
6	102	5
7	109	5
done	109	5
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
1	10	4
2	19	4
3	38	4
4	58	4
5	81	4
6	101	4
7	108	4
done	108	4
0	3	3
1	5	3
done	5	3
0	6	7
1	15	7
2	30	7
3	56	7
4	95	7
5	145	7
6	225	7
7	470	7
8	797	7
9	1189	7
10	1939	7
11	2547	7
12	2844	7
13	3252	7
14	3961	7
15	4215	7
done	4215	7
0	8	11
1	22	11
2	51	11
3	121	11
4	286	11
5	546	11
6	1050	11
7	2546	11
done	5000	11
0	7	8
1	16	8
2	33	8
3	69	8
4	142	8
5	256	8
6	465	8
7	1045	8
8	2192	8
9	2974	8
10	4245	8
11	4763	8
12	4784	8
done	4784	8
0	7	7
1	18	5
2	38	5
3	80	5
4	142	5
5	218	5
6	414	5
7	877	5
8	1263	5
9	1281	5
done	1281	5
0	4	4
1	10	4
2	19	4
3	32	4
4	40	4
5	47	4
6	52	4
7	57	4
8	63	4
9	67	4
done	67	4
0	3	3
1	4	3
done	4	3
0	5	5
1	12	5
2	23	5
3	43	5
4	70	5
5	107	5
6	171	5
7	355	5
8	515	5
9	712	5
10	1085	5
11	1245	5
12	1301	5
done	1301	5
0	7	7
1	14	7
2	24	7
3	40	7
4	56	7
5	71	7
6	80	7
7	85	7
8	94	7
9	111	7
10	130	7
11	138	7
done	138	7
0	6	6
1	16	6
2	31	6
3	59	6
4	100	6
5	154	6
6	231	6
7	430	6
8	657	6
9	1002	6
10	1495	6
11	1735	6
12	1895	6
13	1918	6
done	1918	6
0	6	6
1	15	6
2	31	6
3	72	6
4	148	6
5	308	6
6	710	6
7	2792	6
done	5001	6
0	9	17
1	22	17
2	64	9
3	197	9
4	852	7
5	4103	7
done	5000	7
0	7	13
1	14	13
2	25	13
3	45	13
4	72	13
5	109	13
6	173	13
7	354	13
8	526	13
9	721	13
10	1093	13
11	1256	13
12	1310	13
done	1310	13
0	6	6
1	13	6
2	24	6
3	44	6
4	71	6
5	108	6
6	172	6
7	355	6
8	525	6
9	720	6
10	1099	6
11	1274	6
12	1328	6
done	1328	6
0	7	17
1	24	17
2	74	7
3	243	7
4	990	7
5	4584	7
done	5000	7
0	6	6
1	13	6
2	24	6
3	44	6
4	71	6
5	108	6
6	172	6
7	355	6
8	525	6
9	720	6
10	1099	6
11	1274	6
12	1328	6
done	1328	6
0	6	6
1	13	6
2	24	6
3	44	6
4	71	6
5	108	6
6	172	6
7	355	6
8	525	6
9	720	6
10	1099	6
11	1274	6
12	1328	6
done	1328	6
0	7	7
1	14	7
2	21	7
3	31	7
4	38	7
5	43	7
done	43	7
0	7	7
1	14	7
2	21	7
3	31	7
4	38	7
5	43	7
done	43	7
0	7	10
1	16	10
2	25	10
3	35	10
4	42	10
5	47	10
done	47	10
0	6	6
1	13	6
2	20	6
3	30	6
4	37	6
5	42	6
done	42	6
0	4	4
1	7	2
2	10	2
done	10	2
0	6	6
1	13	6
2	24	6
3	44	6
4	71	6
5	108	6
6	172	6
7	355	6
8	523	6
9	718	6
10	1102	6
11	1263	6
12	1322	6
done	1322	6
0	6	6
1	13	6
2	24	6
3	44	6
4	71	6
5	108	6
6	172	6
7	355	6
8	523	6
9	718	6
10	1102	6
11	1263	6
12	1322	6
done	1322	6
0	5	5
1	12	5
2	23	5
3	43	5
4	70	5
5	107	5
6	171	5
7	355	5
8	515	5
9	712	5
10	1085	5
11	1245	5
12	1301	5
done	1301	5
0	8	9
1	13	9
2	25	9
3	34	9
4	46	9
5	64	9
6	117	9
7	147	9
8	200	9
9	328	9
10	354	9
11	364	9
12	398	9
13	405	9
done	405	9
0	5	6
1	9	6
2	15	6
done	15	6
0	3	3
1	9	3
2	19	3
3	31	3
4	39	3
5	44	3
done	44	3
0	3	3
1	9	3
2	18	3
3	36	3
4	49	3
5	61	3
6	69	3
7	89	3
8	106	3
9	117	3
10	130	3
11	163	3
12	204	3
13	254	3
14	276	3
15	279	3
done	279	3
0	4	7
1	10	7
2	17	7
3	27	7
4	34	7
5	39	7
done	39	7
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	4	8
1	11	8
2	28	4
3	75	4
4	227	4
5	751	4
6	2600	4
done	5000	4
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	12	15
1	34	15
2	96	13
3	200	13
4	348	13
5	557	13
6	1245	13
done	5000	13
0	13	18
1	29	16
2	80	13
3	200	13
4	528	13
5	1053	13
6	1903	13
7	3472	13
8	4291	13
9	4432	13
done	4432	13
0	15	21
1	37	17
2	100	13
3	314	13
4	1016	13
5	3663	13
done	5001	13
0	13	19
1	40	19
2	112	17
3	343	17
4	995	15
5	2393	15
done	5000	15
0	10	11
1	18	11
2	42	11
3	78	11
4	124	11
5	198	11
6	348	11
7	427	11
8	571	11
9	1067	11
10	1241	11
11	1277	11
12	1410	11
13	1442	11
done	1442	11
0	11	12
1	21	11
2	47	11
3	89	11
4	195	11
5	545	11
6	1974	11
done	5001	11
0	11	13
1	29	13
2	63	13
3	107	13
4	205	13
5	497	13
6	1548	13
done	5000	13
0	7	8
1	12	8
2	24	8
3	34	8
4	42	8
5	46	8
done	46	8
0	8	9
1	15	8
2	29	8
3	50	8
4	110	8
5	266	8
6	777	8
7	2659	8
done	5000	8

prune115.0ms

Filtered

52 candidates to 58 candidates (-11.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	49	9	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	9	59

Merged error: 0b

Counts

59 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(sinh y)
0.2b	(* (sin x) (/ (sinh y) x))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-r`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1`
3×	`associate-l`
2×	`prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
1×	`cbrt-undiv` `sinh-def` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv`

Counts

2 → 40

Calls

2 calls:

1.0ms	(sinh y)
9.0ms	(* (sin x) (/ (sinh y) x))

series33.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(sinh y)
24.0ms	(* (sin x) (/ (sinh y) x))

simplify3.4min

Counts

46 → 46

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	29	7
3	64	7
4	134	7
5	242	7
6	442	7
7	971	7
8	2063	7
9	2878	7
10	4102	7
11	4582	7
12	4601	7
done	4601	7
0	9	10
1	20	10
2	37	10
3	72	10
4	138	10
5	256	10
6	297	10
7	386	10
8	537	10
9	559	10
10	560	10
done	560	10
0	8	9
1	18	9
2	36	9
3	76	9
4	154	9
5	290	9
6	366	9
7	450	9
8	584	9
9	685	9
10	695	9
done	695	9
0	7	8
1	19	8
2	39	8
3	91	8
4	209	8
5	433	8
6	783	8
7	1415	8
8	2764	8
9	4307	8
done	5000	8
0	7	8
1	18	8
2	37	8
3	83	8
4	203	8
5	494	8
6	1162	8
7	4131	8
done	5001	8
0	12	23
1	33	23
2	130	13
3	634	11
4	3661	11
done	5001	11
0	10	23
1	29	23
2	93	11
3	345	11
4	1985	9
done	5000	9
0	8	17
1	17	17
2	31	17
3	66	17
4	136	17
5	243	17
6	444	17
7	966	17
8	2035	17
9	2890	17
10	4068	17
11	4523	17
12	4566	17
done	4566	17
0	7	8
1	16	8
2	30	8
3	65	8
4	135	8
5	243	8
6	441	8
7	961	8
8	2015	8
9	2840	8
10	4034	8
11	4520	8
12	4541	8
done	4541	8
0	8	23
1	27	23
2	92	9
3	366	9
4	1829	9
done	5000	9
0	7	8
1	16	8
2	30	8
3	65	8
4	135	8
5	243	8
6	441	8
7	961	8
8	2015	8
9	2840	8
10	4034	8
11	4520	8
12	4541	8
done	4541	8
0	7	8
1	16	8
2	30	8
3	65	8
4	135	8
5	243	8
6	441	8
7	961	8
8	2015	8
9	2840	8
10	4034	8
11	4520	8
12	4541	8
done	4541	8
0	8	9
1	15	9
2	24	9
3	43	9
4	63	9
5	86	9
6	107	9
7	114	9
done	114	9
0	8	9
1	15	9
2	24	9
3	43	9
4	63	9
5	86	9
6	107	9
7	114	9
done	114	9
0	9	10
1	18	10
2	28	10
3	42	10
4	50	10
5	55	10
done	55	10
0	9	10
1	18	10
2	28	10
3	42	10
4	50	10
5	55	10
done	55	10
0	8	14
1	17	14
2	28	14
3	47	14
4	67	14
5	90	14
6	110	14
7	120	14
done	120	14
0	7	8
1	14	8
2	23	8
3	42	8
4	62	8
5	85	8
6	106	8
7	113	8
done	113	8
0	10	16
1	25	16
2	61	16
3	110	16
4	173	16
5	194	16
done	194	16
0	9	13
1	20	13
2	37	13
3	62	13
4	82	13
5	89	13
done	89	13
0	9	12
1	22	10
2	45	10
3	90	10
4	131	10
5	136	10
done	136	10
0	9	12
1	20	12
2	38	12
3	62	12
4	81	12
5	86	12
done	86	12
0	8	9
1	17	9
2	27	9
3	41	9
4	49	9
5	54	9
done	54	9
0	8	8
1	19	6
2	32	6
3	49	6
4	62	6
5	67	6
done	67	6
0	7	10
1	14	10
2	24	8
3	53	8
4	72	8
5	73	8
done	73	8
0	6	7
1	11	7
2	14	5
3	29	5
4	30	5
done	30	5
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	5	5
1	12	5
2	23	5
3	43	5
4	70	5
5	107	5
6	171	5
7	355	5
8	515	5
9	712	5
10	1085	5
11	1245	5
12	1301	5
done	1301	5
0	7	8
1	16	8
2	30	8
3	65	8
4	135	8
5	243	8
6	441	8
7	959	8
8	2018	8
9	2837	8
10	4040	8
11	4502	8
12	4530	8
done	4530	8
0	7	8
1	16	8
2	30	8
3	65	8
4	135	8
5	243	8
6	441	8
7	959	8
8	2018	8
9	2837	8
10	4040	8
11	4502	8
12	4530	8
done	4530	8
0	6	7
1	15	7
2	29	7
3	64	7
4	134	7
5	242	7
6	442	7
7	971	7
8	2063	7
9	2878	7
10	4102	7
11	4582	7
12	4601	7
done	4601	7
0	5	5
1	12	5
2	23	5
3	43	5
4	70	5
5	107	5
6	171	5
7	355	5
8	515	5
9	712	5
10	1085	5
11	1245	5
12	1301	5
done	1301	5
0	5	6
1	9	6
2	15	6
done	15	6
0	3	3
1	9	3
2	19	3
3	31	3
4	39	3
5	44	3
done	44	3
0	3	3
1	9	3
2	18	3
3	36	3
4	49	3
5	61	3
6	69	3
7	89	3
8	106	3
9	117	3
10	130	3
11	163	3
12	204	3
13	254	3
14	276	3
15	279	3
done	279	3
0	4	7
1	10	7
2	17	7
3	27	7
4	34	7
5	39	7
done	39	7
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	4	8
1	11	8
2	28	4
3	75	4
4	227	4
5	751	4
6	2600	4
done	5000	4
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	12	15
1	34	15
2	96	13
3	200	13
4	348	13
5	557	13
6	1245	13
done	5000	13
0	13	18
1	29	16
2	80	13
3	200	13
4	528	13
5	1053	13
6	1903	13
7	3472	13
8	4291	13
9	4432	13
done	4432	13
0	15	21
1	37	17
2	100	13
3	314	13
4	1016	13
5	3663	13
done	5001	13
0	11	13
1	29	13
2	63	13
3	107	13
4	205	13
5	497	13
6	1548	13
done	5000	13
0	7	8
1	12	8
2	24	8
3	34	8
4	42	8
5	46	8
done	46	8
0	8	9
1	15	8
2	29	8
3	50	8
4	110	8
5	266	8
6	777	8
7	2659	8
done	5000	8

prune71.0ms

Filtered

39 candidates to 46 candidates (-17.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	46	9	55

Merged error: 0b

Counts

55 → 9

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(sinh y)
0.7b	(/ (sin x) (/ x (sinh y)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
45×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
14×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube`
5×	`sinh-def` `associate-/r/` `div-inv`
3×	`cbrt-undiv` `div-exp` `associate-/l*`
2×	`pow1` `add-log-exp`
1×	`frac-2neg` `clear-num`

Counts

2 → 82

Calls

2 calls:

1.0ms	(sinh y)
8.0ms	(/ (sin x) (/ x (sinh y)))

series33.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(sinh y)
24.0ms	(/ (sin x) (/ x (sinh y)))

simplify6.3min

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	21	10
2	39	10
3	70	10
4	118	10
5	215	10
6	337	10
7	444	10
8	485	10
done	485	10
0	8	9
1	19	9
2	36	9
3	64	9
4	111	9
5	194	9
6	285	9
7	401	9
8	526	9
9	540	9
done	540	9
0	7	8
1	18	8
2	39	8
3	82	8
4	170	8
5	342	8
6	671	8
7	1335	8
8	2366	8
9	3981	8
done	5000	8
0	7	8
1	15	8
2	31	8
3	66	8
4	147	8
5	297	8
6	679	8
7	1986	8
done	5000	8
0	12	23
1	32	23
2	131	13
3	655	11
4	3966	9
done	5000	9
0	10	23
1	31	23
2	102	11
3	490	9
4	3373	9
done	5001	9
0	8	17
1	16	17
2	30	17
3	58	17
4	114	17
5	202	17
6	387	17
7	892	17
8	1808	17
9	3048	17
10	4585	17
done	5001	17
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1815	8
9	3050	8
10	4602	8
done	5000	8
0	8	23
1	23	23
2	72	9
3	351	9
4	2507	9
done	5000	9
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1815	8
9	3050	8
10	4602	8
done	5000	8
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1815	8
9	3050	8
10	4602	8
done	5000	8
0	3	3
done	3	3
0	5	5
1	13	5
2	24	5
3	44	5
4	58	5
5	70	5
6	83	5
7	101	5
8	122	5
9	141	5
10	150	5
11	154	5
12	161	5
done	161	5
0	10	19
1	22	19
2	40	19
3	59	19
4	67	19
5	74	19
6	79	19
7	84	19
8	90	19
9	94	19
done	94	19
0	8	9
1	14	9
2	23	9
3	36	9
4	44	9
5	51	9
6	56	9
7	61	9
8	67	9
9	71	9
done	71	9
0	9	13
1	17	13
2	28	13
3	42	13
4	50	13
5	57	13
6	62	13
7	67	13
8	73	13
9	77	13
done	77	13
0	8	9
1	14	9
2	23	9
3	36	9
4	44	9
5	51	9
6	56	9
7	61	9
8	67	9
9	71	9
done	71	9
0	12	21
1	28	21
2	71	21
3	174	21
4	308	21
5	407	21
6	443	21
7	453	21
done	453	21
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	11	17
1	23	17
2	48	17
3	102	17
4	153	17
5	177	17
6	182	17
7	183	17
done	183	17
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	9	15
1	17	13
2	40	13
3	115	13
4	146	13
5	171	13
6	173	13
done	173	13
0	8	9
1	16	9
2	30	9
3	58	9
4	114	9
5	202	9
6	387	9
7	892	9
8	1811	9
9	2974	9
10	4320	9
11	4894	9
12	4915	9
done	4915	9
0	11	18
1	23	18
2	45	18
3	83	18
4	127	18
5	153	18
6	163	18
7	172	18
8	173	18
done	173	18
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	10	14
1	20	14
2	36	14
3	56	14
4	73	14
5	82	14
6	84	14
7	85	14
done	85	14
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	8	12
1	14	10
2	25	10
3	47	10
4	52	10
5	56	10
6	62	10
done	62	10
0	8	9
1	16	9
2	30	9
3	58	9
4	114	9
5	202	9
6	387	9
7	892	9
8	1811	9
9	2974	9
10	4320	9
11	4894	9
12	4915	9
done	4915	9
0	11	17
1	25	17
2	46	15
3	101	15
4	221	15
5	290	15
6	335	15
done	335	15
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	10	13
1	22	13
2	37	11
3	71	11
4	125	11
5	139	11
done	139	11
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	7	11
1	13	9
2	22	7
3	43	7
4	56	7
done	56	7
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1825	8
9	3049	8
10	4647	8
done	5000	8
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1825	8
9	3049	8
10	4647	8
done	5000	8
0	5	9
1	7	9
2	9	9
3	10	9
done	10	9
0	8	8
1	18	8
2	31	6
3	64	6
4	117	6
5	197	6
6	357	6
7	814	6
8	1186	6
9	1224	6
done	1224	6
0	11	16
1	19	16
2	40	16
3	83	16
4	171	16
5	331	16
6	742	16
7	1113	16
8	1656	16
9	3100	16
10	3618	16
11	3743	16
done	3743	16
0	5	5
done	5	5
0	9	15
1	17	15
2	26	15
3	39	15
4	47	15
5	54	15
6	59	15
7	64	15
8	70	15
9	74	15
done	74	15
0	8	9
1	14	9
2	23	9
3	36	9
4	44	9
5	51	9
6	56	9
7	61	9
8	67	9
9	71	9
done	71	9
0	8	9
1	14	9
2	23	9
3	36	9
4	44	9
5	51	9
6	56	9
7	61	9
8	67	9
9	71	9
done	71	9
0	8	9
1	14	9
2	23	9
3	36	9
4	44	9
5	51	9
6	56	9
7	61	9
8	67	9
9	71	9
done	71	9
0	11	17
1	25	17
2	53	17
3	92	17
4	125	17
5	162	17
6	185	17
7	195	17
done	195	17
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	10	13
1	20	13
2	35	13
3	58	13
4	73	13
5	84	13
6	87	13
done	87	13
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	8	11
1	14	9
2	27	9
3	54	9
4	64	9
5	76	9
6	81	9
done	81	9
0	8	9
1	16	9
2	30	9
3	58	9
4	114	9
5	202	9
6	387	9
7	892	9
8	1811	9
9	2974	9
10	4320	9
11	4894	9
12	4915	9
done	4915	9
0	10	14
1	20	14
2	34	14
3	52	14
4	63	14
5	77	14
6	83	14
7	88	14
8	89	14
done	89	14
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	9	10
1	17	10
2	27	10
3	38	10
4	47	10
5	54	10
6	55	10
done	55	10
0	7	8
1	11	6
2	17	6
3	22	6
4	24	6
5	27	6
6	31	6
done	31	6
0	8	9
1	16	9
2	30	9
3	58	9
4	114	9
5	202	9
6	387	9
7	892	9
8	1811	9
9	2974	9
10	4320	9
11	4894	9
12	4915	9
done	4915	9
0	10	13
1	22	13
2	35	11
3	59	11
4	92	11
5	122	11
6	141	11
done	141	11
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	9	9
1	19	9
2	28	7
3	45	7
4	61	7
5	68	7
done	68	7
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	6	7
1	10	5
2	15	3
3	17	3
4	21	3
done	21	3
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1825	8
9	3049	8
10	4647	8
done	5000	8
0	5	5
1	7	3
2	9	3
done	9	3
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1825	8
9	3049	8
10	4647	8
done	5000	8
0	4	5
done	4	5
0	8	8
1	18	8
2	31	6
3	64	6
4	117	6
5	197	6
6	357	6
7	814	6
8	1186	6
9	1224	6
done	1224	6
0	10	12
1	16	12
2	31	12
3	53	12
4	85	12
5	143	12
6	291	12
7	499	12
8	791	12
9	1329	12
10	1532	12
11	1588	12
done	1588	12
0	5	5
done	5	5
0	8	13
1	18	13
2	26	13
3	37	13
4	45	13
5	52	13
6	57	13
7	62	13
8	68	13
9	72	13
done	72	13
0	7	8
1	13	8
2	22	8
3	35	8
4	43	8
5	50	8
6	55	8
7	60	8
8	66	8
9	70	8
done	70	8
0	7	7
1	15	7
2	23	7
3	34	7
4	42	7
5	49	7
6	54	7
7	59	7
8	65	7
9	69	7
done	69	7
0	7	8
1	13	8
2	22	8
3	35	8
4	43	8
5	50	8
6	55	8
7	60	8
8	66	8
9	70	8
done	70	8
0	10	15
1	26	15
2	53	15
3	92	13
4	159	13
5	237	13
done	237	13
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	9	11
1	21	11
2	35	11
3	56	9
4	90	9
5	135	9
done	135	9
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1817	8
9	2965	8
10	4348	8
11	4958	8
12	4991	8
done	4991	8
0	9	12
1	21	12
2	34	12
3	50	10
4	81	10
5	103	10
done	103	10
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	8	8
1	18	8
2	27	8
3	36	6
4	56	6
5	66	6
done	66	6
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	5	6
1	9	4
2	14	4
done	14	4
0	7	8
1	15	8
2	29	8
3	57	8
4	113	8
5	201	8
6	386	8
7	893	8
8	1817	8
9	2965	8
10	4348	8
11	4958	8
12	4991	8
done	4991	8
0	7	11
1	19	7
2	34	7
3	55	7
4	74	7
5	80	7
done	80	7
0	7	8
1	15	8
2	25	8
3	36	8
4	45	8
5	52	8
6	53	8
done	53	8
0	6	7
1	16	3
2	27	3
3	37	3
4	45	3
5	50	3
done	50	3
0	7	8
1	15	8
2	25	8
3	36	8
4	45	8
5	52	8
6	53	8
done	53	8
0	3	5
1	6	1
done	6	1
0	6	7
1	14	7
2	28	7
3	56	7
4	112	7
5	200	7
6	385	7
7	890	7
8	1812	7
9	3037	7
10	4627	7
done	5000	7
0	2	3
1	4	1
done	4	1
0	6	7
1	14	7
2	28	7
3	56	7
4	112	7
5	200	7
6	385	7
7	890	7
8	1812	7
9	3037	7
10	4627	7
done	5000	7
0	3	3
1	5	3
done	5	3
0	7	7
1	17	7
2	30	5
3	63	5
4	116	5
5	194	5
6	354	5
7	819	5
8	1183	5
9	1222	5
done	1222	5
0	9	10
1	16	10
2	29	10
3	51	8
4	110	8
5	186	8
6	312	8
7	413	8
8	427	8
9	450	8
10	466	8
11	469	8
done	469	8
0	4	4
done	4	4
0	6	6
1	16	6
2	29	6
3	55	4
4	135	4
5	306	4
6	497	4
7	858	4
8	1110	4
9	1212	4
10	1331	4
11	1347	4
done	1347	4
0	6	7
1	14	7
2	28	7
3	56	7
4	93	7
5	146	7
6	239	7
7	495	7
8	836	7
9	1245	7
10	2001	7
11	2541	7
12	2839	7
13	3252	7
14	3926	7
15	4378	7
done	4378	7
0	8	14
1	16	14
2	25	14
3	38	14
4	46	14
5	53	14
6	58	14
7	63	14
8	69	14
9	73	14
done	73	14
0	7	8
1	13	8
2	22	8
3	35	8
4	43	8
5	50	8
6	55	8
7	60	8
8	66	8
9	70	8
done	70	8
0	10	16
1	24	16
2	52	16
3	93	16
4	126	16
5	164	16
6	188	16
7	198	16
done	198	16
0	9	12
1	19	12
2	34	12
3	57	12
4	72	12
5	83	12
6	86	12
done	86	12
0	7	10
1	13	8
2	26	8
3	53	8
4	63	8
5	75	8
6	80	8
done	80	8
0	9	13
1	19	13
2	33	13
3	51	13
4	62	13
5	76	13
6	82	13
7	87	13
8	88	13
done	88	13
0	8	9
1	16	9
2	26	9
3	37	9
4	46	9
5	53	9
6	54	9
done	54	9
0	6	7
1	10	5
2	16	5
3	21	5
4	23	5
5	26	5
6	30	5
done	30	5
0	9	12
1	21	12
2	34	10
3	58	10
4	91	10
5	121	10
6	140	10
done	140	10
0	8	8
1	18	8
2	27	6
3	44	6
4	60	6
5	67	6
done	67	6
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	4	4
1	6	2
2	8	2
done	8	2
0	3	4
done	3	4
0	9	11
1	15	11
2	30	11
3	52	11
4	84	11
5	142	11
6	292	11
7	498	11
8	786	11
9	1326	11
10	1520	11
11	1567	11
done	1567	11
0	7	8
1	15	8
2	29	8
3	57	8
4	94	8
5	147	8
6	240	8
7	496	8
8	852	8
9	1262	8
10	2005	8
11	2532	8
12	2837	8
13	3250	8
14	3922	8
15	4337	8
done	4337	8
0	7	8
1	15	8
2	29	8
3	57	8
4	94	8
5	147	8
6	240	8
7	496	8
8	852	8
9	1262	8
10	2005	8
11	2532	8
12	2837	8
13	3250	8
14	3922	8
15	4337	8
done	4337	8
0	6	7
1	14	7
2	28	7
3	56	7
4	93	7
5	146	7
6	239	7
7	495	7
8	836	7
9	1245	7
10	2001	7
11	2541	7
12	2839	7
13	3252	7
14	3926	7
15	4378	7
done	4378	7
0	3	4
done	3	4
0	5	6
1	9	6
2	15	6
done	15	6
0	3	3
1	9	3
2	19	3
3	31	3
4	39	3
5	44	3
done	44	3
0	3	3
1	9	3
2	18	3
3	36	3
4	49	3
5	61	3
6	69	3
7	89	3
8	106	3
9	117	3
10	130	3
11	163	3
12	204	3
13	254	3
14	276	3
15	279	3
done	279	3
0	4	7
1	10	7
2	17	7
3	27	7
4	34	7
5	39	7
done	39	7
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	4	8
1	11	8
2	28	4
3	75	4
4	227	4
5	751	4
6	2600	4
done	5000	4
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	12	15
1	34	15
2	96	13
3	200	13
4	348	13
5	557	13
6	1245	13
done	5000	13
0	13	18
1	29	16
2	80	13
3	200	13
4	528	13
5	1053	13
6	1903	13
7	3472	13
8	4291	13
9	4432	13
done	4432	13
0	15	21
1	37	17
2	100	13
3	314	13
4	1016	13
5	3663	13
done	5001	13
0	11	13
1	29	13
2	63	13
3	107	13
4	205	13
5	497	13
6	1548	13
done	5000	13
0	7	8
1	12	8
2	24	8
3	34	8
4	42	8
5	46	8
done	46	8
0	8	9
1	15	8
2	29	8
3	50	8
4	110	8
5	266	8
6	777	8
7	2659	8
done	5000	8

prune100.0ms

Filtered

77 candidates to 88 candidates (-14.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	3	4	7
Picked	0	1	1
Done	0	1	1
Total	90	7	97

Merged error: 0b

Counts

97 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh y)
0.1b	(* (/ (sin x) x) (sinh y))
0.1b	(/ (sin x) x)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
3×	`sinh-def` `associate-r` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

3 → 69

Calls

3 calls:

1.0ms	(sinh y)
8.0ms	(* (/ (sin x) x) (sinh y))
4.0ms	(/ (sin x) x)

series41.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(sinh y)
22.0ms	(* (/ (sin x) x) (sinh y))
10.0ms	(/ (sin x) x)

simplify4.8min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	14
2	48	8
3	115	6
4	193	6
5	309	6
6	770	6
7	3350	6
done	5001	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	191	6
6	317	6
7	810	6
8	3527	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	3	3
done	3	3
0	2	2
done	2	2
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	10
1	8	10
2	10	10
3	11	10
done	11	10
0	5	6
done	5	6
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	4	5
done	4	5
0	6	9
1	8	9
done	8	9
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	5
1	7	3
2	9	3
done	9	3
0	4	5
done	4	5
0	5	7
1	9	7
done	9	7
0	4	5
done	4	5
0	4	4
1	6	4
done	6	4
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	3	3
1	5	3
done	5	3
0	3	4
done	3	4
0	5	8
1	7	8
done	7	8
0	4	5
done	4	5
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	6	7
1	15	7
2	31	7
3	66	7
4	136	7
5	246	7
6	459	7
7	1108	7
8	2379	7
9	3319	7
10	4507	7
done	5000	7
0	9	10
1	20	10
2	40	10
3	71	10
4	128	10
5	229	10
6	363	10
7	430	10
8	462	10
done	462	10
0	8	9
1	18	9
2	34	9
3	63	9
4	117	9
5	218	9
6	336	9
7	409	9
8	446	9
done	446	9
0	7	8
1	19	8
2	44	8
3	99	8
4	226	8
5	469	8
6	831	8
7	1614	8
8	3066	8
9	4770	8
done	5000	8
0	7	8
1	18	8
2	39	8
3	95	8
4	215	8
5	458	8
6	1045	8
7	4623	8
done	5000	8
0	12	23
1	33	23
2	127	13
3	596	11
4	3556	11
done	5000	11
0	10	23
1	29	23
2	95	11
3	355	11
4	1932	9
done	5000	9
0	8	17
1	17	17
2	33	17
3	68	17
4	138	17
5	248	17
6	461	17
7	1096	17
8	2329	17
9	3242	17
10	4493	17
11	4975	17
done	5001	17
0	7	8
1	16	8
2	32	8
3	67	8
4	137	8
5	247	8
6	460	8
7	1099	8
8	2324	8
9	3213	8
10	4487	8
done	5000	8
0	8	23
1	27	23
2	104	9
3	500	9
4	2563	9
done	5000	9
0	7	8
1	16	8
2	32	8
3	67	8
4	137	8
5	247	8
6	460	8
7	1099	8
8	2324	8
9	3213	8
10	4487	8
done	5000	8
0	7	8
1	16	8
2	32	8
3	67	8
4	137	8
5	247	8
6	460	8
7	1099	8
8	2324	8
9	3213	8
10	4487	8
done	5000	8
0	8	9
1	13	9
2	25	9
3	34	9
4	46	9
5	64	9
6	117	9
7	147	9
8	200	9
9	328	9
10	354	9
11	364	9
12	398	9
13	405	9
done	405	9
0	3	3
1	4	3
done	4	3
0	8	9
1	15	9
2	22	9
3	32	9
4	39	9
5	44	9
done	44	9
0	8	9
1	15	9
2	22	9
3	32	9
4	39	9
5	44	9
done	44	9
0	9	10
1	18	10
2	28	10
3	40	10
4	49	10
5	55	10
done	55	10
0	9	10
1	18	10
2	28	10
3	40	10
4	49	10
5	55	10
done	55	10
0	8	12
1	19	12
2	34	12
3	52	12
4	68	12
5	79	12
6	84	12
7	85	12
done	85	12
0	7	8
1	16	8
2	26	8
3	38	8
4	47	8
5	53	8
done	53	8
0	5	6
1	10	4
2	20	4
3	26	4
4	29	4
5	34	4
6	35	4
done	35	4
0	7	8
1	14	8
2	25	8
3	45	8
4	72	8
5	109	8
6	173	8
7	359	8
8	524	8
9	721	8
10	1093	8
11	1239	8
12	1301	8
done	1301	8
0	7	8
1	14	8
2	25	8
3	45	8
4	72	8
5	109	8
6	173	8
7	359	8
8	524	8
9	721	8
10	1093	8
11	1239	8
12	1301	8
done	1301	8
0	8	9
1	17	9
2	33	9
3	68	9
4	138	9
5	248	9
6	461	9
7	1100	9
8	2309	9
9	3170	9
10	4397	9
11	4902	9
12	4932	9
done	4932	9
0	8	9
1	17	9
2	33	9
3	68	9
4	138	9
5	248	9
6	461	9
7	1100	9
8	2309	9
9	3170	9
10	4397	9
11	4902	9
12	4932	9
done	4932	9
0	7	8
1	16	8
2	32	8
3	67	8
4	137	8
5	247	8
6	460	8
7	1111	8
8	2373	8
9	3257	8
10	4483	8
done	5000	8
0	8	9
1	17	9
2	33	9
3	68	9
4	138	9
5	248	9
6	461	9
7	1100	9
8	2309	9
9	3170	9
10	4397	9
11	4902	9
12	4932	9
done	4932	9
0	8	9
1	17	9
2	33	9
3	68	9
4	138	9
5	248	9
6	461	9
7	1100	9
8	2309	9
9	3170	9
10	4397	9
11	4902	9
12	4932	9
done	4932	9
0	7	8
1	16	8
2	32	8
3	67	8
4	137	8
5	247	8
6	460	8
7	1111	8
8	2373	8
9	3257	8
10	4483	8
done	5000	8
0	7	8
1	16	8
2	32	8
3	67	8
4	137	8
5	247	8
6	460	8
7	1110	8
8	2345	8
9	3236	8
10	4447	8
11	4974	8
done	5001	8
0	7	8
1	16	8
2	32	8
3	67	8
4	137	8
5	247	8
6	460	8
7	1110	8
8	2345	8
9	3236	8
10	4447	8
11	4974	8
done	5001	8
0	6	7
1	15	7
2	31	7
3	66	7
4	136	7
5	246	7
6	459	7
7	1108	7
8	2379	7
9	3319	7
10	4507	7
done	5000	7
0	6	7
1	15	7
2	31	7
3	66	7
4	136	7
5	246	7
6	459	7
7	1108	7
8	2379	7
9	3319	7
10	4507	7
done	5000	7
0	6	6
1	17	6
2	32	4
3	90	4
4	195	4
5	334	4
6	582	4
7	1150	4
8	1285	4
9	1406	4
10	1429	4
done	1429	4
0	9	11
1	16	11
2	37	11
3	59	11
4	96	11
5	169	11
6	360	11
7	610	11
8	885	11
9	1295	11
10	1474	11
11	1519	11
done	1519	11
0	5	5
1	12	5
2	23	5
3	43	5
4	70	5
5	107	5
6	171	5
7	355	5
8	515	5
9	712	5
10	1085	5
11	1245	5
12	1301	5
done	1301	5
0	5	6
1	9	6
2	15	6
done	15	6
0	3	3
1	9	3
2	19	3
3	31	3
4	39	3
5	44	3
done	44	3
0	3	3
1	9	3
2	18	3
3	36	3
4	49	3
5	61	3
6	69	3
7	89	3
8	106	3
9	117	3
10	130	3
11	163	3
12	204	3
13	254	3
14	276	3
15	279	3
done	279	3
0	4	7
1	10	7
2	17	7
3	27	7
4	34	7
5	39	7
done	39	7
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	4	8
1	11	8
2	28	4
3	75	4
4	227	4
5	751	4
6	2600	4
done	5000	4
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	3	3
1	9	3
2	16	3
3	26	3
4	33	3
5	38	3
done	38	3
0	12	13
1	28	13
2	74	13
3	187	13
4	553	13
5	1274	13
6	4401	13
done	5000	13
0	3	4
done	3	4
0	3	4
done	3	4
0	12	15
1	34	15
2	96	13
3	200	13
4	348	13
5	557	13
6	1245	13
done	5000	13
0	13	18
1	29	16
2	80	13
3	200	13
4	528	13
5	1053	13
6	1903	13
7	3472	13
8	4291	13
9	4432	13
done	4432	13
0	15	21
1	37	17
2	100	13
3	314	13
4	1016	13
5	3663	13
done	5001	13
0	11	13
1	29	13
2	63	13
3	107	13
4	205	13
5	497	13
6	1548	13
done	5000	13
0	7	8
1	12	8
2	24	8
3	34	8
4	42	8
5	46	8
done	46	8
0	8	9
1	15	8
2	29	8
3	50	8
4	110	8
5	266	8
6	777	8
7	2659	8
done	5000	8

prune81.0ms

Filtered

67 candidates to 78 candidates (-16.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	78	7	85

Merged error: 0b

Counts

85 → 7

regimes164.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7

end0.0ms

sample2.3s

Algorithm

intervals

Results

586.0ms	1863×	body	1280	valid
532.0ms	10300×	body	80	valid
404.0ms	1915×	body	640	valid
185.0ms	1132×	body	320	valid
59.0ms	586×	body	160	valid

Details

sample74.0ms

simplify19.5s

prune3.0ms

localize7.0ms

rewrite14.0ms

series57.0ms

simplify3.8min

prune115.0ms

localize8.0ms

rewrite11.0ms

series33.0ms

simplify3.4min

prune71.0ms

localize12.0ms

rewrite13.0ms

series33.0ms

simplify6.3min

prune100.0ms

localize7.0ms

rewrite16.0ms

series41.0ms

simplify4.8min

prune81.0ms

regimes164.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling