Details

sample91.0ms

Algorithm

intervals

Results

32.0ms	101×	body	1280	valid
15.0ms	73×	body	640	valid
15.0ms	282×	body	80	valid
6.0ms	42×	body	320	valid
2.0ms	19×	body	160	valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	27	7
3	53	7
4	92	7
5	129	7
6	237	7
7	515	7
8	1103	7
9	1771	7
10	2086	7
11	2212	7
done	2212	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: 0.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 61

Calls

2 calls:

8.0ms	(* (cosh x) (/ (sin y) y))
4.0ms	(/ (sin y) y)

series30.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(* (cosh x) (/ (sin y) y))
5.0ms	(/ (sin y) y)

simplify2.0min

Counts

67 → 67

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	27	7
3	53	7
4	92	7
5	129	7
6	237	7
7	515	7
8	1103	7
9	1771	7
10	2086	7
11	2212	7
done	2212	7
0	9	10
1	20	10
2	33	10
3	58	10
4	111	10
5	214	10
6	346	10
7	423	10
8	459	10
done	459	10
0	8	9
1	18	9
2	30	9
3	51	9
4	98	9
5	194	9
6	315	9
7	388	9
8	425	9
done	425	9
0	7	8
1	19	8
2	40	8
3	86	8
4	190	8
5	368	8
6	625	8
7	1083	8
8	2095	8
9	3177	8
10	3759	8
11	4107	8
12	4175	8
done	4175	8
0	7	8
1	18	8
2	37	8
3	79	8
4	153	8
5	283	8
6	1006	8
done	5000	8
0	12	23
1	33	23
2	124	13
3	590	11
4	3012	11
done	5000	11
0	10	23
1	29	23
2	91	11
3	344	11
4	1624	9
done	5000	9
0	8	17
1	17	17
2	29	17
3	55	17
4	94	17
5	131	17
6	239	17
7	519	17
8	1105	17
9	1755	17
10	2069	17
11	2160	17
done	2160	17
0	7	8
1	16	8
2	28	8
3	54	8
4	93	8
5	130	8
6	238	8
7	514	8
8	1111	8
9	1762	8
10	2117	8
11	2260	8
done	2260	8
0	8	23
1	27	23
2	100	9
3	481	9
4	2338	9
done	5000	9
0	7	8
1	16	8
2	28	8
3	54	8
4	93	8
5	130	8
6	238	8
7	514	8
8	1111	8
9	1762	8
10	2117	8
11	2260	8
done	2260	8
0	7	8
1	16	8
2	28	8
3	54	8
4	93	8
5	130	8
6	238	8
7	514	8
8	1111	8
9	1762	8
10	2117	8
11	2260	8
done	2260	8
0	8	9
1	12	9
2	22	9
3	26	9
4	30	9
5	56	9
6	74	9
7	98	9
8	147	9
9	160	9
10	170	9
11	204	9
12	211	9
done	211	9
0	3	3
1	4	3
done	4	3
0	8	9
1	15	9
2	18	9
3	20	9
done	20	9
0	8	9
1	15	9
2	18	9
3	20	9
done	20	9
0	9	10
1	18	10
2	24	10
3	30	10
4	31	10
done	31	10
0	9	10
1	18	10
2	24	10
3	30	10
4	31	10
done	31	10
0	8	14
1	17	14
2	28	14
3	49	14
4	74	14
5	101	14
6	225	14
7	376	14
8	591	14
9	1031	14
10	1231	14
11	1426	14
12	1462	14
done	1462	14
0	7	8
1	14	8
2	21	8
3	35	8
4	41	8
5	54	8
6	101	8
7	173	8
8	282	8
9	448	8
10	520	8
11	616	8
12	644	8
done	644	8
0	10	16
1	25	16
2	63	16
3	152	16
4	402	16
5	810	16
6	1479	16
7	2875	16
done	5001	16
0	9	13
1	20	13
2	39	13
3	86	13
4	199	13
5	342	13
6	662	13
7	1263	13
8	2367	13
9	4027	13
10	4999	13
done	5000	13
0	9	12
1	22	10
2	45	10
3	115	10
4	226	10
5	361	10
6	693	10
7	1059	10
8	1398	10
9	1481	10
done	1481	10
0	9	12
1	20	12
2	40	12
3	85	12
4	177	12
5	291	12
6	495	12
7	1132	12
8	2549	12
9	4048	12
10	4621	12
11	4679	12
done	4679	12
0	8	9
1	17	9
2	29	9
3	55	9
4	94	9
5	131	9
6	239	9
7	519	9
8	1093	9
9	1707	9
10	2069	9
11	2099	9
done	2099	9
0	8	8
1	19	6
2	32	6
3	60	6
4	91	6
5	120	6
6	242	6
7	430	6
8	553	6
9	639	6
10	664	6
done	664	6
0	8	10
1	21	10
2	39	8
3	112	8
4	208	8
5	360	8
6	534	8
7	830	8
8	1232	8
9	1432	8
10	1445	8
done	1445	8
0	7	7
1	18	7
2	29	5
3	74	5
4	108	5
5	172	5
6	234	5
7	355	5
8	549	5
9	653	5
10	657	5
done	657	5
0	5	6
1	16	4
2	27	2
3	54	2
4	75	2
5	101	2
6	114	2
7	122	2
8	134	2
9	137	2
10	147	2
done	147	2
0	4	4
1	13	2
2	22	2
3	38	2
4	48	2
5	64	2
6	72	2
7	83	2
8	99	2
9	102	2
10	112	2
done	112	2
0	5	5
1	12	5
2	19	5
3	33	5
4	39	5
5	52	5
6	99	5
7	171	5
8	280	5
9	447	5
10	523	5
11	619	5
12	649	5
done	649	5
0	7	8
1	16	8
2	22	8
3	28	8
4	29	8
done	29	8
0	7	8
1	16	8
2	22	8
3	28	8
4	29	8
done	29	8
0	6	7
1	15	7
2	27	7
3	53	7
4	92	7
5	129	7
6	237	7
7	515	7
8	1103	7
9	1771	7
10	2086	7
11	2212	7
done	2212	7
0	5	5
1	12	5
2	19	5
3	33	5
4	39	5
5	52	5
6	99	5
7	171	5
8	280	5
9	447	5
10	523	5
11	619	5
12	649	5
done	649	5
0	9	11
1	15	11
2	28	11
3	48	11
4	65	11
5	131	11
6	241	11
7	383	11
8	578	11
9	695	11
10	743	11
done	743	11
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4
0	12	13
1	28	13
2	66	13
3	133	13
4	293	13
5	753	13
6	2600	13
done	5000	13
0	13	18
1	26	16
2	54	13
3	85	13
4	170	13
5	341	13
6	531	13
7	1193	13
8	1734	13
9	2014	13
10	2473	13
11	2561	13
done	2561	13
0	14	19
1	29	16
2	56	13
3	107	13
4	215	13
5	603	13
6	2037	13
done	5000	13

prune103.0ms

Filtered

55 candidates to 67 candidates (-21.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	60	7	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	7	68

Merged error: 0.0b

Counts

68 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (cosh x))
0.0b	(cbrt (cosh x))
0.0b	(cbrt (cosh x))
0.1b	(/ (sin y) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`cbrt-div` `cosh-def` `pow1/3` `associate-/r` `associate-/l`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 63

Calls

4 calls:

2.0ms	(cbrt (cosh x))
2.0ms	(cbrt (cosh x))
1.0ms	(cbrt (cosh x))
5.0ms	(/ (sin y) y)

series101.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt (cosh x))
35.0ms	(cbrt (cosh x))
30.0ms	(cbrt (cosh x))
5.0ms	(/ (sin y) y)

simplify43.4s

Counts

75 → 75

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	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	5	8
1	11	8
2	14	8
3	16	8
done	16	8
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	2	2
1	4	1
done	4	1
0	3	3
1	9	3
2	12	3
3	14	3
done	14	3
0	6	7
1	9	7
2	11	7
done	11	7
0	2	2
done	2	2
0	5	9
1	11	9
2	14	9
3	16	9
done	16	9
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	5	11
1	12	11
2	17	5
3	23	2
4	29	2
5	39	2
6	60	2
7	115	2
8	319	2
9	1237	2
done	5000	2
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	5	8
1	11	8
2	14	8
3	16	8
done	16	8
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	2	2
1	4	1
done	4	1
0	3	3
1	9	3
2	12	3
3	14	3
done	14	3
0	6	7
1	9	7
2	11	7
done	11	7
0	2	2
done	2	2
0	5	9
1	11	9
2	14	9
3	16	9
done	16	9
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	5	11
1	12	11
2	17	5
3	23	2
4	29	2
5	39	2
6	60	2
7	115	2
8	319	2
9	1237	2
done	5000	2
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	5	8
1	11	8
2	14	8
3	16	8
done	16	8
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	2	2
1	4	1
done	4	1
0	3	3
1	9	3
2	12	3
3	14	3
done	14	3
0	6	7
1	9	7
2	11	7
done	11	7
0	2	2
done	2	2
0	5	9
1	11	9
2	14	9
3	16	9
done	16	9
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	5	11
1	12	11
2	17	5
3	23	2
4	29	2
5	39	2
6	60	2
7	115	2
8	319	2
9	1237	2
done	5000	2
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	4	4
1	10	4
2	13	4
3	15	4
done	15	4
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4
0	14	15
1	34	13
2	84	13
3	218	13
4	785	13
5	2009	13
done	5001	13
0	9	10
1	25	9
2	38	9
3	48	9
4	72	9
5	131	9
6	353	9
7	1281	9
done	5001	9
0	10	11
1	28	9
2	41	9
3	70	9
4	128	9
5	276	9
6	720	9
7	2466	9
done	5000	9
0	14	15
1	34	13
2	84	13
3	218	13
4	785	13
5	2009	13
done	5001	13
0	9	10
1	25	9
2	38	9
3	48	9
4	72	9
5	131	9
6	353	9
7	1281	9
done	5001	9
0	10	11
1	28	9
2	41	9
3	70	9
4	128	9
5	276	9
6	720	9
7	2466	9
done	5000	9
0	14	15
1	34	13
2	84	13
3	218	13
4	785	13
5	2009	13
done	5001	13
0	9	10
1	25	9
2	38	9
3	48	9
4	72	9
5	131	9
6	353	9
7	1281	9
done	5001	9
0	10	11
1	28	9
2	41	9
3	70	9
4	128	9
5	276	9
6	720	9
7	2466	9
done	5000	9

prune94.0ms

Filtered

63 candidates to 75 candidates (-19.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	75	7	82

Merged error: 0.0b

Counts

82 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (cosh x) (/ 1 (/ y (sin y))))
0.1b	(/ 1 (/ y (sin y)))
0.1b	(/ y (sin y))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac`
103×	`add-sqr-sqrt`
91×	`*-un-lft-identity`
89×	`add-cube-cbrt`
44×	`associate-r`
35×	`add-exp-log`
19×	`add-cbrt-cube`
16×	`associate-/r*`
15×	`div-exp`
10×	`div-inv`
7×	`cbrt-undiv` `prod-exp`
6×	`pow1` `associate-/l*`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`associate-l` `cbrt-unprod` `add-log-exp`
2×	`cosh-def` `frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `inv-pow`

Counts

3 → 178

Calls

3 calls:

21.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
7.0ms	(/ 1 (/ y (sin y)))
4.0ms	(/ y (sin y))

series32.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
5.0ms	(/ 1 (/ y (sin y)))
7.0ms	(/ y (sin y))

simplify5.3min

Counts

187 → 187

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	768	6
7	3341	6
done	5000	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	192	6
6	318	6
7	809	6
8	3513	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	5	6
done	5	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	4	5
done	4	5
0	6	10
1	8	10
done	8	10
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	6	9
1	10	9
done	10	9
0	4	5
done	4	5
0	5	5
1	7	5
done	7	5
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	4	4
1	6	4
done	6	4
0	3	4
done	3	4
0	5	9
1	7	9
done	7	9
0	4	5
done	4	5
0	3	3
1	5	1
done	5	1
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	2	2
1	5	1
done	5	1
0	6	7
1	8	7
2	12	7
3	14	7
4	15	6
done	15	6
0	5	6
1	8	6
2	10	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	8
1	13	7
2	26	7
3	45	6
4	74	6
5	100	6
6	108	6
7	123	6
done	123	6
0	6	7
1	11	6
2	19	6
3	32	6
4	58	6
5	88	6
6	96	6
7	102	6
8	117	6
done	117	6
0	8	9
1	16	8
2	24	7
3	49	6
4	78	6
5	104	6
6	113	6
7	130	6
done	130	6
0	7	8
1	14	7
2	19	6
3	36	6
4	62	6
5	92	6
6	99	6
7	105	6
8	119	6
done	119	6
0	6	7
1	14	6
2	23	6
3	37	5
4	66	5
5	99	5
6	115	5
7	120	5
8	130	5
done	130	5
0	6	7
1	10	7
2	15	7
3	22	5
4	50	5
5	95	5
6	193	5
7	502	5
8	1620	5
done	5000	5
0	11	20
1	27	16
2	83	10
3	282	8
4	691	8
5	1184	6
6	2875	6
done	5001	6
0	9	20
1	25	16
2	61	8
3	191	8
4	437	8
5	655	6
6	1053	6
7	2739	6
done	5001	6
0	7	15
1	11	15
2	14	15
3	15	11
4	28	11
5	33	11
done	33	11
0	6	7
1	10	7
2	13	7
3	14	5
4	27	5
5	32	5
done	32	5
0	7	20
1	18	20
2	56	8
3	239	6
4	522	6
5	697	6
6	1247	6
7	3241	6
done	5001	6
0	6	7
1	10	7
2	13	7
3	14	5
4	27	5
5	32	5
done	32	5
0	6	7
1	10	7
2	13	7
3	14	5
4	27	5
5	32	5
done	32	5
0	2	2
1	5	1
done	5	1
0	4	5
1	6	5
done	6	5
0	9	17
1	17	15
2	26	13
3	32	13
done	32	13
0	7	8
1	9	7
done	9	7
0	8	11
1	12	9
2	14	7
3	15	7
done	15	7
0	7	8
1	9	7
done	9	7
0	11	19
1	23	17
2	59	15
3	129	13
4	177	13
done	177	13
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	10	15
1	18	13
2	36	11
3	69	9
4	92	9
done	92	9
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	10	16
1	18	14
2	33	12
3	53	10
4	57	10
done	57	10
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	9	12
1	15	10
2	24	8
3	32	6
4	33	6
done	33	6
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	7	10
1	13	4
2	18	4
done	18	4
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	15
1	17	13
2	32	9
3	49	7
4	57	7
5	58	7
done	58	7
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	8	11
1	14	9
2	23	5
3	30	3
done	30	3
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	5	9
1	11	1
done	11	1
0	6	7
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	4	7
1	8	3
2	12	1
done	12	1
0	6	7
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	8	14
1	12	13
done	12	13
0	7	8
1	9	7
done	9	7
0	7	8
1	9	7
done	9	7
0	7	8
1	9	7
done	9	7
0	10	16
1	20	15
2	41	15
3	72	13
4	132	13
5	205	13
done	205	13
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	9	12
1	15	11
2	23	11
3	36	9
4	63	9
5	101	9
done	101	9
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	13
1	15	12
2	22	12
3	30	10
4	54	10
5	69	10
done	69	10
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	6	7
1	10	4
2	15	4
done	15	4
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	8	12
1	14	11
2	21	9
3	30	7
4	43	7
5	45	7
done	45	7
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	7	8
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	4	6
1	8	1
done	8	1
0	6	7
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	3	4
1	5	1
done	5	1
0	6	7
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	4	4
1	6	3
done	6	3
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	7	13
1	11	13
done	11	13
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	9	15
1	19	15
2	40	15
3	69	13
4	129	13
5	201	13
done	201	13
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	8	11
1	14	11
2	22	11
3	35	9
4	62	9
5	94	9
done	94	9
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	6	7
1	10	7
2	13	7
3	14	5
4	27	5
5	32	5
done	32	5
0	8	12
1	14	12
2	21	12
3	29	10
4	53	10
5	68	10
done	68	10
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	5	6
1	9	4
2	14	4
done	14	4
0	6	7
1	10	7
2	13	7
3	14	5
4	27	5
5	32	5
done	32	5
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	6	7
1	10	7
2	13	7
3	14	5
4	27	5
5	32	5
done	32	5
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	6	7
1	10	7
2	13	7
3	14	5
4	27	5
5	32	5
done	32	5
0	3	5
1	6	1
done	6	1
0	5	6
1	9	6
2	12	6
3	13	4
4	26	4
5	31	4
done	31	4
0	2	3
1	4	1
done	4	1
0	5	6
1	9	6
2	12	6
3	13	4
4	26	4
5	31	4
done	31	4
0	3	3
1	5	3
done	5	3
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	5	6
1	9	6
2	12	6
3	13	4
4	26	4
5	31	4
done	31	4
0	5	6
1	9	4
2	16	4
3	18	4
done	18	4
0	7	13
1	11	13
done	11	13
0	6	7
1	8	7
done	8	7
0	9	15
1	19	15
2	40	15
3	69	13
4	129	13
5	201	13
done	201	13
0	8	11
1	14	11
2	22	11
3	35	9
4	62	9
5	94	9
done	94	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	12
1	14	12
2	21	12
3	29	10
4	53	10
5	68	10
done	68	10
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	5	6
1	9	4
2	14	4
done	14	4
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	6	7
1	10	6
2	13	6
done	13	4
0	6	7
1	10	6
2	13	6
done	13	4
0	5	6
1	9	4
2	16	4
3	18	4
done	18	4
0	3	3
1	5	3
done	5	3
0	8	9
1	21	9
2	41	7
3	129	7
4	254	7
5	426	7
6	643	7
7	1091	7
8	1701	7
9	2170	7
10	2228	7
done	2228	7
0	10	11
1	20	10
2	33	10
3	54	10
4	106	10
5	196	10
6	294	10
7	441	10
8	466	10
9	467	10
done	467	10
0	9	10
1	20	9
2	30	9
3	49	9
4	96	9
5	176	9
6	255	9
7	349	9
8	496	9
9	517	9
10	518	9
done	518	9
0	11	12
1	26	11
2	58	10
3	124	10
4	346	10
5	733	10
6	1000	10
7	1010	10
done	1010	10
0	10	11
1	24	10
2	46	9
3	93	9
4	276	9
5	647	9
6	994	9
7	1022	9
done	1022	9
0	12	13
1	29	12
2	55	10
3	130	10
4	351	10
5	736	10
6	1010	10
7	1020	10
done	1020	10
0	11	12
1	27	11
2	45	9
3	99	9
4	282	9
5	650	9
6	995	9
7	1026	9
done	1026	9
0	10	11
1	25	10
2	44	9
3	86	9
4	220	9
5	586	9
6	974	9
7	1016	9
done	1016	9
0	9	10
1	25	10
2	57	8
3	175	8
4	409	8
5	884	8
6	1688	8
7	2602	8
8	3368	8
9	4047	8
10	4231	8
done	4231	8
0	9	10
1	24	10
2	51	8
3	171	8
4	375	8
5	804	8
6	2271	8
done	5000	8
0	16	29
1	44	25
2	145	13
3	787	11
4	4697	11
done	5000	11
0	14	29
1	42	25
2	126	11
3	580	11
4	3175	11
done	5000	11
0	12	29
1	35	29
2	120	13
3	604	11
4	3111	9
done	5000	9
0	10	21
1	23	21
2	43	17
3	131	17
4	255	17
5	432	17
6	651	17
7	1101	17
8	1726	17
9	2205	17
10	2250	17
done	2250	17
0	9	10
1	22	10
2	42	8
3	130	8
4	257	8
5	439	8
6	659	8
7	1103	8
8	1728	8
9	2297	8
10	2346	8
done	2346	8
0	10	29
1	33	29
2	127	9
3	739	9
4	4004	9
done	5000	9
0	9	10
1	22	10
2	42	8
3	130	8
4	257	8
5	439	8
6	659	8
7	1103	8
8	1728	8
9	2297	8
10	2346	8
done	2346	8
0	9	10
1	22	10
2	42	8
3	130	8
4	257	8
5	439	8
6	659	8
7	1103	8
8	1728	8
9	2297	8
10	2346	8
done	2346	8
0	7	8
1	12	6
2	23	6
3	29	6
4	32	6
5	34	6
6	39	6
done	39	6
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	10	11
1	21	11
2	26	11
3	27	9
4	40	9
5	47	9
done	47	9
0	10	11
1	21	11
2	26	11
3	27	9
4	40	9
5	47	9
done	47	9
0	11	12
1	22	11
2	27	11
3	31	9
4	42	9
done	42	9
0	11	12
1	22	11
2	27	11
3	31	9
4	42	9
done	42	9
0	12	13
1	25	12
2	39	12
3	62	10
4	97	10
5	100	10
done	100	10
0	12	13
1	25	12
2	39	12
3	62	10
4	97	10
5	100	10
done	100	10
0	10	11
1	21	11
2	26	9
3	41	9
4	44	9
done	44	9
0	10	11
1	21	11
2	26	9
3	41	9
4	44	9
done	44	9
0	11	12
1	24	12
2	38	10
3	75	10
4	89	10
5	91	10
done	91	10
0	11	12
1	24	12
2	38	10
3	75	10
4	89	10
5	91	10
done	91	10
0	10	18
1	23	18
2	36	18
3	56	14
4	94	14
5	128	14
6	249	14
7	402	14
8	618	14
9	1066	14
10	1275	14
11	1477	14
12	1517	14
done	1517	14
0	9	10
1	20	10
2	29	10
3	42	8
4	61	8
5	79	8
6	123	8
7	193	8
8	302	8
9	475	8
10	548	8
11	643	8
12	672	8
done	672	8
0	12	20
1	29	18
2	66	16
3	137	14
4	282	14
5	442	14
6	612	14
7	908	14
8	1314	14
9	1531	14
10	1537	14
done	1537	14
0	11	14
1	24	12
2	42	10
3	81	8
4	161	8
5	245	8
6	307	8
7	428	8
8	624	8
9	724	8
10	728	8
done	728	8
0	14	22
1	35	20
2	101	18
3	334	16
4	1056	16
5	2061	16
6	3287	16
done	5000	16
0	13	18
1	30	16
2	72	14
3	214	12
4	593	12
5	1051	12
6	1616	12
7	2719	12
8	4013	12
9	4711	12
10	4736	12
done	4736	12
0	11	16
1	28	10
2	64	8
3	138	8
4	282	8
5	436	8
6	598	8
7	893	8
8	1304	8
9	1527	8
10	1537	8
done	1537	8
0	13	19
1	30	17
2	69	15
3	186	13
4	485	13
5	882	13
6	1333	13
7	2412	13
8	3970	13
9	4973	13
10	4993	13
done	4993	13
0	12	15
1	27	13
2	58	11
3	141	9
4	311	9
5	489	9
6	702	9
7	1151	9
8	1785	9
9	2205	9
10	2217	9
done	2217	9
0	10	13
1	25	7
2	47	5
3	79	5
4	141	5
5	204	5
6	268	5
7	389	5
8	585	5
9	695	5
10	703	5
done	703	5
0	12	18
1	29	16
2	68	12
3	166	10
4	377	10
5	681	10
6	918	10
7	1040	10
8	1263	10
9	1312	10
done	1312	10
0	11	14
1	26	12
2	57	8
3	123	6
4	225	6
5	380	6
6	480	6
7	539	6
8	627	6
9	644	6
done	644	6
0	8	12
1	23	4
2	32	4
3	51	2
4	73	2
5	101	2
6	114	2
7	123	2
8	135	2
9	138	2
10	148	2
done	148	2
0	7	10
1	20	6
2	41	4
3	66	2
4	88	2
5	116	2
6	129	2
7	137	2
8	149	2
9	152	2
10	162	2
done	162	2
0	8	10
1	21	8
2	39	6
3	78	4
4	158	4
5	238	4
6	301	4
7	422	4
8	583	4
9	658	4
10	750	4
11	775	4
done	775	4
0	11	17
1	24	16
2	43	16
3	85	14
4	202	14
5	364	14
6	532	14
7	829	14
8	1244	14
9	1458	14
10	1469	14
done	1469	14
0	10	11
1	21	10
2	32	10
3	56	8
4	103	8
5	170	8
6	235	8
7	356	8
8	554	8
9	665	8
10	674	8
done	674	8
0	13	19
1	32	18
2	78	18
3	246	16
4	896	16
5	1882	16
6	3149	16
done	5000	16
0	12	15
1	27	14
2	54	14
3	156	12
4	494	12
5	975	12
6	1555	12
7	2673	12
8	3980	12
9	4645	12
10	4657	12
done	4657	12
0	10	13
1	25	10
2	53	8
3	131	8
4	230	8
5	400	8
6	576	8
7	875	8
8	1276	8
9	1471	8
10	1481	8
done	1481	8
0	12	16
1	27	15
2	53	15
3	139	13
4	432	13
5	789	13
6	1261	13
7	2329	13
8	3790	13
9	4708	13
10	4740	13
done	4740	13
0	11	12
1	24	11
2	44	11
3	103	9
4	250	9
5	425	9
6	639	9
7	1085	9
8	1721	9
9	2095	9
10	2105	9
done	2105	9
0	9	10
1	22	7
2	39	5
3	74	5
4	118	5
5	185	5
6	248	5
7	369	5
8	565	5
9	661	5
10	667	5
done	667	5
0	11	15
1	26	14
2	52	12
3	126	10
4	285	10
5	566	10
6	803	10
7	927	10
8	1137	10
9	1172	10
done	1172	10
0	10	11
1	23	10
2	43	8
3	92	6
4	175	6
5	328	6
6	440	6
7	499	6
8	592	6
9	621	6
done	621	6
0	7	9
1	20	4
2	29	4
3	48	2
4	70	2
5	96	2
6	109	2
7	117	2
8	129	2
9	132	2
10	142	2
done	142	2
0	6	7
1	17	4
2	28	2
3	55	2
4	76	2
5	103	2
6	116	2
7	125	2
8	137	2
9	140	2
10	150	2
done	150	2
0	7	7
1	18	6
2	29	6
3	53	4
4	104	4
5	186	4
6	249	4
7	374	4
8	539	4
9	621	4
10	714	4
11	739	4
done	739	4
0	10	16
1	23	16
2	41	14
3	114	14
4	217	14
5	369	14
6	544	14
7	838	14
8	1252	14
9	1442	14
10	1450	14
done	1450	14
0	9	10
1	20	10
2	31	8
3	76	8
4	112	8
5	176	8
6	239	8
7	360	8
8	556	8
9	663	8
10	669	8
done	669	8
0	12	18
1	31	18
2	76	16
3	269	16
4	919	16
5	1903	16
6	3140	16
done	5000	16
0	11	14
1	26	14
2	53	12
3	185	12
4	496	12
5	971	12
6	1543	12
7	2670	12
8	3994	12
9	4733	12
10	4761	12
done	4761	12
0	9	12
1	24	10
2	50	8
3	114	8
4	219	8
5	387	8
6	560	8
7	857	8
8	1273	8
9	1484	8
10	1490	8
done	1490	8
0	11	15
1	26	15
2	52	13
3	168	13
4	452	13
5	801	13
6	1276	13
7	2359	13
8	3914	13
9	4940	13
10	4976	13
done	4976	13
0	10	11
1	23	11
2	43	9
3	131	9
4	255	9
5	432	9
6	654	9
7	1103	9
8	1756	9
9	2139	9
10	2149	9
done	2149	9
0	8	9
1	21	7
2	38	5
3	71	5
4	115	5
5	182	5
6	245	5
7	366	5
8	560	5
9	659	5
10	663	5
done	663	5
0	10	14
1	25	10
2	55	10
3	151	10
4	311	10
5	620	10
6	846	10
7	981	10
8	1201	10
9	1242	10
done	1242	10
0	9	10
1	22	6
2	42	6
3	89	6
4	159	6
5	309	6
6	408	6
7	471	6
8	561	6
9	583	6
done	583	6
0	6	8
1	18	4
2	27	2
3	54	2
4	75	2
5	101	2
6	114	2
7	122	2
8	134	2
9	137	2
10	147	2
done	147	2
0	5	6
1	16	4
2	27	2
3	54	2
4	75	2
5	101	2
6	114	2
7	122	2
8	134	2
9	137	2
10	147	2
done	147	2
0	6	6
1	17	6
2	28	4
3	73	4
4	108	4
5	172	4
6	234	4
7	355	4
8	518	4
9	597	4
10	691	4
11	713	4
done	713	4
0	4	4
1	13	2
2	22	2
3	38	2
4	48	2
5	64	2
6	72	2
7	83	2
8	99	2
9	102	2
10	112	2
done	112	2
0	4	4
1	13	2
2	22	2
3	38	2
4	48	2
5	64	2
6	72	2
7	83	2
8	99	2
9	102	2
10	112	2
done	112	2
0	6	6
1	17	6
2	28	4
3	73	4
4	108	4
5	172	4
6	234	4
7	355	4
8	518	4
9	597	4
10	691	4
11	713	4
done	713	4
0	9	10
1	22	10
2	36	8
3	73	8
4	89	8
5	91	8
done	91	8
0	9	10
1	22	10
2	36	8
3	73	8
4	89	8
5	91	8
done	91	8
0	8	9
1	21	9
2	41	7
3	129	7
4	254	7
5	426	7
6	643	7
7	1091	7
8	1701	7
9	2170	7
10	2228	7
done	2228	7
0	4	4
1	13	2
2	22	2
3	38	2
4	48	2
5	64	2
6	72	2
7	83	2
8	99	2
9	102	2
10	112	2
done	112	2
0	11	13
1	20	13
2	40	11
3	119	11
4	201	11
5	297	11
6	491	11
7	555	11
8	663	11
9	688	11
done	688	11
0	12	13
1	27	13
2	65	13
3	151	13
4	409	13
5	907	13
6	3175	13
done	5000	13
0	3	4
done	3	4
0	3	4
done	3	4
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4
0	12	13
1	28	13
2	66	13
3	133	13
4	293	13
5	753	13
6	2600	13
done	5000	13
0	13	18
1	26	16
2	54	13
3	85	13
4	170	13
5	341	13
6	531	13
7	1193	13
8	1734	13
9	2014	13
10	2473	13
11	2561	13
done	2561	13
0	14	19
1	29	16
2	56	13
3	107	13
4	215	13
5	603	13
6	2037	13
done	5000	13

prune178.0ms

Filtered

124 candidates to 187 candidates (-50.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	183	4	187
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	185	9	194

Merged error: 0.0b

Counts

194 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (/ y (sin y)))
0.3b	(cbrt (/ y (sin y)))
0.3b	(cbrt (/ y (sin y)))
0.3b	(* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

103×	`cbrt-prod`
81×	`add-sqr-sqrt`
69×	`times-frac`
57×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 144

Calls

4 calls:

3.0ms	(cbrt (/ y (sin y)))
3.0ms	(cbrt (/ y (sin y)))
3.0ms	(cbrt (/ y (sin y)))
14.0ms	(* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))

series148.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(cbrt (/ y (sin y)))
31.0ms	(cbrt (/ y (sin y)))
30.0ms	(cbrt (/ y (sin y)))
50.0ms	(* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))

simplify53.7s

Counts

156 → 156

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	9
1	8	9
2	14	9
3	21	9
4	26	9
done	26	9
0	5	11
done	5	11
0	2	3
1	6	1
done	6	1
0	6	13
1	8	8
2	9	8
done	9	8
0	6	12
1	8	12
2	10	8
3	11	8
done	11	8
0	6	12
1	8	12
2	12	12
3	17	12
4	35	12
5	75	12
6	181	12
7	552	12
8	2249	12
done	5000	12
0	4	9
1	8	9
2	14	9
3	21	9
4	26	9
done	26	9
0	7	25
done	7	25
0	6	12
done	6	12
0	7	35
1	15	35
2	24	13
3	38	7
4	84	7
5	195	7
6	504	7
7	1764	7
done	5000	7
0	6	12
1	7	6
done	7	6
0	6	12
1	7	6
done	7	6
0	3	5
done	3	5
0	4	7
done	4	7
0	7	25
done	7	25
0	6	13
done	6	13
0	6	13
done	6	13
0	6	13
done	6	13
0	9	29
1	15	29
2	24	29
3	30	29
done	30	29
0	7	15
done	7	15
0	8	21
1	10	21
2	12	21
3	13	21
done	13	21
0	7	15
done	7	15
0	7	17
1	11	13
2	17	13
3	22	13
done	22	13
0	6	13
done	6	13
0	8	23
1	10	23
done	10	23
0	7	15
done	7	15
0	7	15
done	7	15
0	7	15
done	7	15
0	6	11
1	8	7
2	10	7
done	10	7
0	6	13
done	6	13
0	8	21
1	12	21
done	12	21
0	6	13
done	6	13
0	7	13
1	9	13
done	9	13
0	6	13
done	6	13
0	4	9
1	6	3
done	6	1
0	5	11
done	5	11
0	3	5
1	5	3
done	5	1
0	5	11
done	5	11
0	3	5
done	3	5
0	6	11
1	8	11
done	8	11
0	7	27
1	11	27
2	13	15
3	22	8
4	37	8
5	63	8
6	137	8
7	361	8
8	1276	8
done	5000	8
0	6	13
done	6	13
0	6	13
done	6	5
0	6	13
done	6	5
0	2	3
1	4	1
done	4	1
0	5	11
done	5	11
0	6	13
done	6	13
0	6	13
done	6	13
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	8	13
1	9	13
done	9	13
0	8	13
1	9	13
done	9	13
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	7	15
done	7	15
0	7	15
done	7	15
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	8	13
1	9	13
done	9	13
0	8	13
1	9	13
done	9	13
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	6	13
done	6	5
0	6	13
done	6	5
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	18
1	8	18
done	8	18
0	7	12
1	8	12
done	8	12
0	11	20
1	18	20
2	27	20
3	33	20
done	33	20
0	10	16
1	13	16
2	15	16
3	16	16
done	16	16
0	10	14
1	15	12
2	21	12
3	26	12
done	26	12
0	10	17
1	13	17
done	13	17
0	9	13
1	10	13
done	10	13
0	9	11
1	12	9
2	14	9
done	14	9
0	10	16
1	15	16
done	15	16
0	9	12
1	12	12
done	12	12
0	8	10
1	11	7
done	11	7
0	7	8
1	10	7
done	10	7
0	6	8
1	7	8
done	7	8
0	7	19
1	10	19
2	12	19
done	12	19
0	6	12
1	7	12
done	7	12
0	6	7
1	9	5
2	12	5
done	12	5
0	6	12
1	7	12
done	7	12
0	7	12
1	8	12
done	8	12
0	9	13
1	10	13
done	10	13
0	9	13
1	10	13
done	10	13
0	8	12
1	9	12
done	9	12
0	9	13
1	10	13
done	10	13
0	9	13
1	10	13
done	10	13
0	8	12
1	9	12
done	9	12
0	8	12
1	9	12
done	9	12
0	8	12
1	9	12
done	9	12
0	5	11
done	5	11
0	5	11
done	5	11
0	8	11
1	11	11
done	11	11
0	6	12
1	7	12
done	7	12
0	6	12
1	7	12
done	7	12
0	5	11
done	5	11
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	5	6
done	5	6
0	5	6
done	5	6
0	6	12
done	6	12
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	8	14
1	14	14
2	23	14
3	29	14
done	29	14
0	6	7
done	6	7
0	7	10
1	9	10
2	11	10
3	12	10
done	12	10
0	6	7
done	6	7
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	6
done	5	6
0	7	11
1	9	11
done	9	11
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	5	5
1	7	3
2	9	3
done	9	3
0	5	6
done	5	6
0	7	10
1	11	10
done	11	10
0	5	6
done	5	6
0	6	6
1	8	6
done	8	6
0	5	6
done	5	6
0	3	4
1	5	1
done	5	1
0	4	5
done	4	5
0	2	2
1	4	1
done	4	1
0	4	5
done	4	5
0	2	2
done	2	2
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	3	3
done	3	3
0	6	13
done	6	13
0	5	6
done	5	6
0	6	17
1	7	17
2	9	7
3	14	4
4	20	4
5	30	4
6	53	4
7	118	4
8	324	4
9	1243	4
done	5000	4
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	6	12
done	6	12
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	8	14
1	14	14
2	23	14
3	29	14
done	29	14
0	6	7
done	6	7
0	7	10
1	9	10
2	11	10
3	12	10
done	12	10
0	6	7
done	6	7
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	6
done	5	6
0	7	11
1	9	11
done	9	11
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	5	5
1	7	3
2	9	3
done	9	3
0	5	6
done	5	6
0	7	10
1	11	10
done	11	10
0	5	6
done	5	6
0	6	6
1	8	6
done	8	6
0	5	6
done	5	6
0	3	4
1	5	1
done	5	1
0	4	5
done	4	5
0	2	2
1	4	1
done	4	1
0	4	5
done	4	5
0	2	2
done	2	2
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	3	3
done	3	3
0	6	13
done	6	13
0	5	6
done	5	6
0	6	17
1	7	17
2	9	7
3	14	4
4	20	4
5	30	4
6	53	4
7	118	4
8	324	4
9	1243	4
done	5000	4
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	6	12
done	6	12
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	8	14
1	14	14
2	23	14
3	29	14
done	29	14
0	6	7
done	6	7
0	7	10
1	9	10
2	11	10
3	12	10
done	12	10
0	6	7
done	6	7
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	6
done	5	6
0	7	11
1	9	11
done	9	11
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	5	5
1	7	3
2	9	3
done	9	3
0	5	6
done	5	6
0	7	10
1	11	10
done	11	10
0	5	6
done	5	6
0	6	6
1	8	6
done	8	6
0	5	6
done	5	6
0	3	4
1	5	1
done	5	1
0	4	5
done	4	5
0	2	2
1	4	1
done	4	1
0	4	5
done	4	5
0	2	2
done	2	2
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	3	3
done	3	3
0	6	13
done	6	13
0	5	6
done	5	6
0	6	17
1	7	17
2	9	7
3	14	4
4	20	4
5	30	4
6	53	4
7	118	4
8	324	4
9	1243	4
done	5000	4
0	5	6
done	5	6
0	5	6
done	5	6
0	14	15
1	34	13
2	76	13
3	162	13
4	419	13
5	928	13
6	3334	13
done	5001	13
0	14	17
1	33	15
2	78	15
3	219	11
4	628	10
5	1933	8
done	5000	8
0	18	22
1	41	21
2	94	21
3	273	18
4	954	17
5	3549	15
done	5000	15
0	14	15
1	34	13
2	76	13
3	162	13
4	419	13
5	928	13
6	3334	13
done	5001	13
0	11	13
1	25	11
2	47	10
3	119	8
4	243	7
5	503	5
6	990	5
7	3035	5
done	5000	5
0	14	16
1	29	15
2	52	15
3	140	14
4	356	12
5	959	10
6	2376	9
done	5000	9
0	14	15
1	34	13
2	76	13
3	162	13
4	419	13
5	928	13
6	3334	13
done	5001	13
0	11	13
1	25	11
2	47	10
3	119	8
4	243	7
5	503	5
6	990	5
7	3035	5
done	5000	5
0	14	16
1	29	15
2	52	15
3	140	14
4	356	12
5	959	10
6	2376	9
done	5000	9
0	14	15
1	34	13
2	76	13
3	162	13
4	419	13
5	928	13
6	3334	13
done	5001	13
0	11	13
1	25	11
2	47	10
3	119	8
4	243	7
5	503	5
6	990	5
7	3035	5
done	5000	5
0	14	16
1	29	15
2	52	15
3	140	14
4	356	12
5	959	10
6	2376	9
done	5000	9

prune164.0ms

Filtered

127 candidates to 156 candidates (-22.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	156	9	165

Merged error: 0.0b

Counts

165 → 9

regimes235.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	11	16
done	11	16

end0.0ms

sample2.8s

Algorithm

intervals

Results

994.0ms	2956×	body	1280	valid
547.0ms	2535×	body	640	valid
462.0ms	8510×	body	80	valid
181.0ms	1216×	body	320	valid
75.0ms	610×	body	160	valid

Details

sample91.0ms

simplify5.2s

prune3.0ms

localize7.0ms

rewrite14.0ms

series30.0ms

simplify2.0min

prune103.0ms

localize11.0ms

rewrite11.0ms

series101.0ms

simplify43.4s

prune94.0ms

localize8.0ms

rewrite42.0ms

series32.0ms

simplify5.3min

prune178.0ms

localize13.0ms

rewrite32.0ms

series148.0ms

simplify53.7s

prune164.0ms

regimes235.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.8s

Profiling