Details

sample31.0ms

Algorithm

intervals

Results

13.0ms

505×

body

valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	8	6
2	12	6
3	21	6
4	47	6
5	113	6
6	302	6
7	994	6
8	3759	6
done	5000	6

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp (* y y))
0.0b	(* x (exp (* y y)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`add-exp-log` `associate-r` `associate-l`
1×	`exp-prod` `exp-to-pow` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `rem-exp-log` `unswap-sqr`

Counts

2 → 28

Calls

2 calls:

2.0ms	(exp (* y y))
5.0ms	(* x (exp (* y y)))

series11.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(exp (* y y))
9.0ms	(* x (exp (* y y)))

simplify1.7min

Counts

34 → 34

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	8	6
2	12	6
3	21	6
4	47	6
5	113	6
6	302	6
7	994	6
8	3759	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	6	7
1	12	7
2	19	6
3	31	6
4	71	6
5	189	6
6	587	6
7	2119	6
done	5000	6
0	6	7
1	11	7
2	20	7
3	41	7
4	105	7
5	306	7
6	1065	7
done	5002	7
0	9	20
1	20	19
2	58	10
3	141	10
4	448	8
5	1783	8
done	5000	8
0	7	15
1	10	15
2	14	15
3	23	15
4	49	15
5	114	15
6	300	15
7	992	15
8	3778	15
done	5000	15
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	7	20
1	20	20
2	57	8
3	141	8
4	430	8
5	1507	8
done	5000	8
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	7	8
1	10	8
2	14	8
3	20	8
4	38	8
5	78	8
6	184	8
7	562	8
8	1985	8
done	5000	8
0	7	8
1	10	8
2	14	8
3	20	8
4	38	8
5	78	8
6	184	8
7	562	8
8	1985	8
done	5000	8
0	7	13
1	12	13
2	18	13
3	23	13
4	41	13
5	81	13
6	185	13
7	559	13
8	1974	13
done	5001	13
0	6	7
1	9	7
2	13	7
3	19	7
4	37	7
5	77	7
6	182	7
7	564	7
8	1989	7
done	5001	7
0	3	3
1	6	1
done	6	1
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	118	7
6	308	7
7	1006	7
8	3797	7
done	5000	7
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	118	7
6	308	7
7	1006	7
8	3797	7
done	5000	7
0	5	6
1	8	6
2	12	6
3	21	6
4	47	6
5	113	6
6	302	6
7	994	6
8	3759	6
done	5000	6
0	2	2
done	2	2
0	4	5
1	6	3
2	12	3
3	20	3
4	45	3
5	120	3
6	367	3
7	1333	3
done	5001	3
0	4	5
1	6	5
2	10	5
3	17	5
4	40	5
5	97	5
6	266	5
7	882	5
8	3713	5
done	5001	5
0	5	11
1	7	11
2	11	11
3	16	11
4	34	11
5	76	11
6	185	11
7	565	11
8	1982	11
done	5001	11
0	4	5
1	6	5
2	10	5
3	15	5
4	33	5
5	75	5
6	186	5
7	559	5
8	1990	5
done	5000	5
0	5	14
1	10	13
2	25	6
3	62	6
4	135	6
5	389	6
6	1621	6
done	5000	6
0	4	5
1	6	5
2	10	5
3	16	5
4	34	5
5	76	5
6	183	5
7	564	5
8	1989	5
done	5001	5
0	4	5
1	6	5
2	10	5
3	16	5
4	34	5
5	76	5
6	183	5
7	564	5
8	1989	5
done	5001	5
0	1	1
done	1	1
0	6	6
1	12	6
2	24	6
3	32	6
4	47	6
5	83	6
6	167	6
7	410	6
8	1292	6
9	4982	6
done	5000	6
0	6	6
1	12	6
2	24	6
3	32	6
4	47	6
5	83	6
6	167	6
7	410	6
8	1292	6
9	4982	6
done	5000	6
0	10	11
1	24	11
2	53	11
3	129	11
4	363	11
5	803	11
6	2850	11
done	5000	11
0	4	4
1	9	4
2	21	4
3	29	4
4	40	4
5	68	4
6	127	4
7	280	4
8	871	4
9	3198	4
done	5000	4
0	4	4
1	9	4
2	21	4
3	29	4
4	40	4
5	68	4
6	127	4
7	280	4
8	871	4
9	3198	4
done	5000	4

prune38.0ms

Filtered

24 candidates to 34 candidates (-41.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	2	35

Merged error: 0.0b

Counts

35 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (pow (exp y) y))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`associate-r`
5×	`add-exp-log`
4×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
3×	`associate-l` `prod-exp` `add-cbrt-cube` `unswap-sqr`
2×	`sqr-pow`
1×	`pow1` `pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 25

Calls

1 calls:

6.0ms

(* x (pow (exp y) y))

series15.0ms

Counts

1 → 3

Calls

1 calls:

15.0ms

(* x (pow (exp y) y))

simplify2.9min

Counts

28 → 28

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	5	6
1	6	6
done	6	6
0	7	8
1	9	6
done	9	6
0	7	8
1	14	8
2	22	6
3	49	6
4	122	6
5	342	6
6	1206	6
done	5001	6
0	6	7
1	14	7
2	28	7
3	69	6
4	177	6
5	514	6
6	1751	6
done	5001	6
0	6	7
1	13	7
2	27	7
3	68	7
4	188	7
5	629	7
6	2631	7
done	5001	7
0	9	20
1	22	17
2	68	10
3	231	10
4	897	8
5	4207	8
done	5000	8
0	7	15
1	12	15
2	21	15
3	47	15
4	113	15
5	302	15
6	994	15
7	3760	15
done	5000	15
0	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	989	7
7	3769	7
done	5000	7
0	7	20
1	22	20
2	72	8
3	255	8
4	991	8
5	4212	8
done	5000	8
0	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	989	7
7	3769	7
done	5000	7
0	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	989	7
7	3769	7
done	5000	7
0	7	8
1	12	8
2	21	8
3	47	8
4	111	8
5	298	8
6	983	8
7	3754	8
done	5001	8
0	7	8
1	12	8
2	21	8
3	47	8
4	111	8
5	298	8
6	983	8
7	3754	8
done	5001	8
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1967	8
done	5001	8
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1967	8
done	5001	8
0	8	9
1	12	9
2	24	9
3	55	9
4	129	9
5	344	9
6	1161	9
7	4335	9
done	5001	9
0	8	9
1	12	9
2	24	9
3	55	9
4	129	9
5	344	9
6	1161	9
7	4335	9
done	5001	9
0	7	11
1	12	11
2	21	11
3	47	11
4	111	11
5	298	11
6	983	11
7	3758	11
done	5000	11
0	6	7
1	11	7
2	20	7
3	46	7
4	114	7
5	301	7
6	997	7
7	3773	7
done	5000	7
0	5	5
1	12	3
2	15	1
3	21	1
4	28	1
5	38	1
6	51	1
7	67	1
8	86	1
9	108	1
10	133	1
11	161	1
12	192	1
13	226	1
14	263	1
15	303	1
16	346	1
17	392	1
18	441	1
19	493	1
20	548	1
21	606	1
22	667	1
23	731	1
24	798	1
25	868	1
26	941	1
27	1017	1
28	1096	1
29	1178	1
30	1263	1
31	1351	1
32	1442	1
33	1536	1
34	1633	1
35	1733	1
36	1836	1
37	1942	1
38	2051	1
39	2163	1
40	2278	1
41	2396	1
42	2517	1
43	2641	1
44	2768	1
45	2898	1
46	3031	1
47	3167	1
48	3306	1
49	3448	1
50	3593	1
51	3741	1
52	3892	1
53	4046	1
54	4203	1
55	4363	1
56	4526	1
57	4692	1
58	4861	1
done	5001	1
0	7	13
1	14	13
2	21	13
3	39	13
4	79	13
5	184	13
6	565	13
7	1978	13
done	5000	13
0	6	7
1	11	7
2	17	7
3	35	7
4	75	7
5	183	7
6	564	7
7	1976	7
done	5000	7
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	23	8
3	52	8
4	125	8
5	336	8
6	1159	8
7	4354	8
done	5000	8
0	6	7
1	11	7
2	20	7
3	46	7
4	114	7
5	301	7
6	1000	7
7	3790	7
done	5000	7
0	6	7
1	11	7
2	20	7
3	46	7
4	114	7
5	301	7
6	1000	7
7	3790	7
done	5000	7
0	5	6
1	10	6
2	19	6
3	45	6
4	109	6
5	302	6
6	999	6
7	3774	6
done	5000	6
0	1	1
done	1	1
0	6	6
1	12	6
2	24	6
3	32	6
4	47	6
5	83	6
6	167	6
7	410	6
8	1292	6
9	4982	6
done	5000	6
0	6	6
1	12	6
2	24	6
3	32	6
4	47	6
5	83	6
6	167	6
7	410	6
8	1292	6
9	4982	6
done	5000	6

prune30.0ms

Filtered

21 candidates to 28 candidates (-33.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	28	2	30

Merged error: 0.0b

Counts

30 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* y y))
0.0b	(pow (* x (exp (* y y))) 3)
0.0b	(* x (exp (* y y)))
41.2b	(cbrt (pow (* x (exp (* y y))) 3))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`pow1` `add-cbrt-cube`
8×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
7×	`add-exp-log`
6×	`add-log-exp`
3×	`pow-unpow` `associate-r` `associate-l`
2×	`cube-mult` `unpow-prod-down` `pow-pow` `unpow3` `cube-prod` `pow-prod-down` `pow-exp` `prod-exp` `cbrt-unprod` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `exp-prod` `exp-to-pow` `pow1/3` `*-commutative` `rem-cbrt-cube` `rem-exp-log` `unswap-sqr`

Counts

4 → 67

Calls

4 calls:

2.0ms	(exp (* y y))
5.0ms	(pow (* x (exp (* y y))) 3)
13.0ms	(* x (exp (* y y)))
3.0ms	(cbrt (pow (* x (exp (* y y))) 3))

series42.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(exp (* y y))
18.0ms	(pow (* x (exp (* y y))) 3)
10.0ms	(* x (exp (* y y)))
12.0ms	(cbrt (pow (* x (exp (* y y))) 3))

simplify4.1min

Counts

79 → 79

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	23	7
2	65	7
3	189	6
4	640	6
5	2640	6
done	5000	6
0	9	10
1	23	7
2	65	7
3	193	7
4	638	7
5	2544	7
done	5000	7
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	6	7
1	16	4
2	29	4
3	67	4
4	151	4
5	432	4
6	1641	4
done	5000	4
0	7	14
1	17	14
2	36	11
3	72	11
4	174	11
5	493	11
6	1630	11
done	5000	11
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	10	20
1	23	14
2	61	14
3	182	11
4	604	11
5	2382	11
done	5000	11
0	9	10
1	23	7
2	61	7
3	181	7
4	593	7
5	2383	7
done	5001	7
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	6	7
1	16	4
2	29	4
3	67	4
4	151	4
5	432	4
6	1641	4
done	5000	4
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	7	14
1	17	14
2	36	11
3	72	11
4	174	11
5	493	11
6	1630	11
done	5000	11
0	9	10
1	23	10
2	62	10
3	182	10
4	601	10
5	2389	10
done	5000	10
0	9	10
1	23	10
2	62	10
3	182	10
4	601	10
5	2389	10
done	5000	10
0	2	2
1	4	1
done	4	1
0	8	9
1	22	6
2	60	6
3	174	6
4	606	6
5	2411	6
done	5001	6
0	10	11
1	18	9
2	27	9
3	46	9
4	95	9
5	216	9
6	612	9
7	2204	9
done	5001	9
0	10	11
1	18	9
2	27	9
3	46	9
4	95	9
5	216	9
6	612	9
7	2204	9
done	5001	9
0	10	21
1	24	15
2	62	15
3	183	15
4	599	15
5	2438	15
done	5000	15
0	9	10
1	23	7
2	61	7
3	181	7
4	593	7
5	2383	7
done	5001	7
0	10	29
1	22	8
2	60	8
3	178	8
4	599	8
5	2434	8
done	5000	8
0	9	10
1	23	7
2	61	7
3	181	7
4	593	7
5	2383	7
done	5001	7
0	9	10
1	23	7
2	61	7
3	181	7
4	593	7
5	2383	7
done	5001	7
0	5	6
1	8	6
2	12	6
3	21	6
4	47	6
5	113	6
6	302	6
7	994	6
8	3759	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	6	7
1	12	7
2	19	6
3	31	6
4	71	6
5	189	6
6	587	6
7	2119	6
done	5000	6
0	6	7
1	11	7
2	20	7
3	41	7
4	105	7
5	306	7
6	1065	7
done	5002	7
0	9	20
1	20	19
2	58	10
3	141	10
4	448	8
5	1783	8
done	5000	8
0	7	15
1	10	15
2	14	15
3	23	15
4	49	15
5	114	15
6	300	15
7	992	15
8	3778	15
done	5000	15
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	7	20
1	20	20
2	57	8
3	141	8
4	430	8
5	1507	8
done	5000	8
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	116	7
6	307	7
7	1004	7
8	3776	7
done	5000	7
0	7	8
1	10	8
2	14	8
3	20	8
4	38	8
5	78	8
6	184	8
7	562	8
8	1985	8
done	5000	8
0	7	8
1	10	8
2	14	8
3	20	8
4	38	8
5	78	8
6	184	8
7	562	8
8	1985	8
done	5000	8
0	7	13
1	12	13
2	18	13
3	23	13
4	41	13
5	81	13
6	185	13
7	559	13
8	1974	13
done	5001	13
0	6	7
1	9	7
2	13	7
3	19	7
4	37	7
5	77	7
6	182	7
7	564	7
8	1989	7
done	5001	7
0	3	3
1	6	1
done	6	1
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	118	7
6	308	7
7	1006	7
8	3797	7
done	5000	7
0	6	7
1	9	7
2	13	7
3	22	7
4	48	7
5	118	7
6	308	7
7	1006	7
8	3797	7
done	5000	7
0	5	6
1	8	6
2	12	6
3	21	6
4	47	6
5	113	6
6	302	6
7	994	6
8	3759	6
done	5000	6
0	7	8
1	9	8
2	17	8
3	21	8
done	21	8
0	8	9
1	15	9
2	28	8
3	48	8
4	94	8
5	243	8
6	763	8
7	3092	8
done	5000	8
0	8	9
1	15	9
2	28	8
3	48	8
4	94	8
5	243	8
6	763	8
7	3092	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	12
1	16	12
2	26	12
3	59	12
4	141	12
5	361	12
6	1157	12
7	4246	12
done	5001	12
0	8	9
1	15	9
2	23	9
3	50	9
4	115	9
5	282	9
6	823	9
7	3086	9
done	5000	9
0	7	8
1	17	6
2	27	6
3	47	6
4	95	6
5	214	6
6	603	6
7	2209	6
done	5000	6
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	5	6
1	15	6
2	28	6
3	66	6
4	152	6
5	438	6
6	1659	6
done	5001	6
0	6	13
1	16	13
2	35	10
3	70	10
4	176	10
5	494	10
6	1637	10
done	5001	10
0	8	9
1	24	9
2	75	9
3	244	8
4	880	8
5	3733	8
done	5000	8
0	8	9
1	22	9
2	68	9
3	223	9
4	841	9
5	3623	9
done	5000	9
0	9	19
1	22	13
2	60	13
3	178	10
4	597	10
5	2435	10
done	5000	10
0	8	9
1	22	6
2	60	6
3	174	6
4	606	6
5	2411	6
done	5001	6
0	9	26
1	27	17
2	109	10
3	756	10
done	5001	10
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	5	6
1	15	6
2	28	6
3	66	6
4	152	6
5	438	6
6	1659	6
done	5001	6
0	6	13
1	16	13
2	35	10
3	70	10
4	176	10
5	494	10
6	1637	10
done	5001	10
0	8	9
1	22	9
2	61	9
3	175	9
4	609	9
5	2411	9
done	5000	9
0	8	9
1	22	9
2	61	9
3	175	9
4	609	9
5	2411	9
done	5000	9
0	9	10
1	16	8
2	26	8
3	45	8
4	94	8
5	221	8
6	616	8
7	2222	8
done	5001	8
0	9	10
1	16	8
2	26	8
3	45	8
4	94	8
5	221	8
6	616	8
7	2222	8
done	5001	8
0	2	2
done	2	2
0	4	5
1	6	3
2	12	3
3	20	3
4	45	3
5	120	3
6	367	3
7	1333	3
done	5001	3
0	4	5
1	6	5
2	10	5
3	17	5
4	40	5
5	97	5
6	266	5
7	882	5
8	3713	5
done	5001	5
0	5	11
1	7	11
2	11	11
3	16	11
4	34	11
5	76	11
6	185	11
7	565	11
8	1982	11
done	5001	11
0	4	5
1	6	5
2	10	5
3	15	5
4	33	5
5	75	5
6	186	5
7	559	5
8	1990	5
done	5000	5
0	5	14
1	10	13
2	25	6
3	62	6
4	135	6
5	389	6
6	1621	6
done	5000	6
0	4	5
1	6	5
2	10	5
3	16	5
4	34	5
5	76	5
6	183	5
7	564	5
8	1989	5
done	5001	5
0	4	5
1	6	5
2	10	5
3	16	5
4	34	5
5	76	5
6	183	5
7	564	5
8	1989	5
done	5001	5
0	1	1
done	1	1
0	6	6
1	12	6
2	24	6
3	32	6
4	47	6
5	83	6
6	167	6
7	410	6
8	1292	6
9	4982	6
done	5000	6
0	10	11
1	23	10
2	65	10
3	116	10
4	170	10
5	334	10
6	765	10
7	2100	10
done	5000	10
0	1	1
done	1	1
0	6	6
1	12	6
2	24	6
3	32	6
4	47	6
5	83	6
6	167	6
7	410	6
8	1292	6
9	4982	6
done	5000	6
0	6	6
1	12	6
2	24	6
3	32	6
4	47	6
5	83	6
6	167	6
7	410	6
8	1292	6
9	4982	6
done	5000	6
0	9	13
1	26	13
2	84	13
3	209	11
4	526	11
5	1315	11
6	4304	11
done	5000	11
0	9	10
1	27	10
2	78	10
3	216	10
4	660	10
5	2847	8
done	5000	8
0	9	10
1	27	10
2	78	10
3	216	10
4	660	10
5	2847	8
done	5000	8
0	10	11
1	24	11
2	53	11
3	129	11
4	363	11
5	803	11
6	2850	11
done	5000	11
0	4	4
1	9	4
2	21	4
3	29	4
4	40	4
5	68	4
6	127	4
7	280	4
8	871	4
9	3198	4
done	5000	4
0	4	4
1	9	4
2	21	4
3	29	4
4	40	4
5	68	4
6	127	4
7	280	4
8	871	4
9	3198	4
done	5000	4

prune99.0ms

Filtered

59 candidates to 79 candidates (-33.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	79	2	81

Merged error: 0.0b

Counts

81 → 2

regimes175.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	6	6
done	6	6

end0.0ms

sample1.1s

Algorithm

intervals

Results

621.0ms

15874×

body

valid

Details

sample31.0ms

simplify5.2s

prune8.0ms

localize5.0ms

rewrite8.0ms

series11.0ms

simplify1.7min

prune38.0ms

localize5.0ms

rewrite7.0ms

series15.0ms

simplify2.9min

prune30.0ms

localize8.0ms

rewrite25.0ms

series42.0ms

simplify4.1min

prune99.0ms

regimes175.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling