Details

sample251.0ms

Algorithm

intervals

Results

150.0ms	102×	body	1280	valid
51.0ms	55×	body	640	valid
15.0ms	69×	body	80	valid
14.0ms	21×	body	320	valid
4.0ms	9×	body	160	valid

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	50
1	74	50
2	176	50
3	542	50
4	1695	50
done	5001	50

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.5b

Counts

2 → 1

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
2.1b	(- (cos x) (cos y))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
12×	`associate-r`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`associate-*r/`
9×	`flip3--` `flip--`
8×	`add-cube-cbrt` `add-log-exp`
7×	`associate-l` `difference-of-squares`
6×	`sub-neg`
5×	`sqrt-prod`
4×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`times-frac` `diff-log` `associate-l/` `-commutative` `unswap-sqr`
1×	`diff-cos`

Counts

4 → 94

Calls

4 calls:

20.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
13.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms	(- 3.0 (sqrt 5.0))
6.0ms	(- (cos x) (cos y))

series59.0ms

Counts

4 → 10

Calls

4 calls:

31.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
15.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
12.0ms	(- (cos x) (cos y))

simplify4.9min

Counts

104 → 104

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	17	13
2	20	13
3	22	13
done	22	13
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	52	6
10	59	6
11	77	6
12	98	6
13	115	6
14	118	6
done	118	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	54	6
9	61	6
10	80	6
11	101	6
12	113	6
13	116	6
done	116	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	68	7
4	177	7
5	505	7
6	1716	7
7	4987	7
done	5000	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	23	9
2	45	9
3	79	9
4	166	9
5	493	9
6	2238	9
done	5001	9
0	9	17
1	16	14
2	24	14
3	25	14
4	26	14
done	26	14
0	3	3
done	3	3
0	7	11
1	12	11
2	19	11
3	34	11
4	59	11
5	100	11
6	158	11
7	326	11
8	1621	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
done	3	3
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	176	6
5	500	6
6	1728	6
done	5001	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	44	8
3	74	8
4	161	8
5	501	8
6	2286	8
done	5000	8
0	8	14
1	15	10
2	23	10
3	26	8
4	27	8
done	27	8
0	3	3
done	3	3
0	6	9
1	11	5
2	16	5
3	31	5
4	58	5
5	97	5
6	142	5
7	279	5
8	1352	5
done	5000	5
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
done	3	3
0	10	10
1	13	10
2	22	10
3	31	10
4	45	10
5	54	10
6	59	10
7	64	10
8	66	10
done	66	10
0	12	12
1	15	12
2	18	12
done	18	12
0	11	11
1	17	11
2	27	11
3	36	11
4	50	11
5	59	11
6	64	11
7	69	11
8	71	11
done	71	11
0	11	11
1	16	11
2	31	11
3	60	11
4	113	11
5	230	11
6	497	11
7	1540	11
done	5000	11
0	14	32
1	23	28
2	66	14
3	247	14
4	904	14
5	3401	14
done	5000	14
0	12	23
1	15	23
2	24	23
3	33	23
4	47	23
5	56	23
6	61	23
7	66	23
8	68	23
done	68	23
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	12	32
1	25	32
2	81	12
3	285	12
4	978	12
5	3720	12
done	5001	12
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	12	12
1	15	12
2	18	12
done	18	12
0	12	12
1	15	12
2	18	12
done	18	12
0	12	12
1	15	12
2	18	12
done	18	12
0	12	12
1	15	12
2	18	12
done	18	12
0	5	5
1	6	5
done	6	5
0	8	8
1	13	8
2	22	8
3	34	8
4	40	8
5	48	8
6	50	8
done	50	8
0	5	5
1	6	5
done	6	5
0	8	8
1	13	8
2	22	8
3	34	8
4	40	8
5	48	8
6	50	8
done	50	8
0	5	5
1	6	5
done	6	5
0	8	8
1	13	8
2	22	8
3	33	8
4	40	8
5	43	8
6	48	8
7	50	8
done	50	8
0	5	5
1	6	5
done	6	5
0	8	8
1	13	8
2	22	8
3	33	8
4	40	8
5	43	8
6	48	8
7	50	8
done	50	8
0	12	20
1	17	20
2	22	20
done	22	20
0	11	11
1	14	11
2	17	11
done	17	11
0	4	4
1	7	2
2	10	2
done	10	2
0	12	12
1	20	12
2	21	12
done	21	12
0	13	13
1	21	13
2	26	13
3	30	13
4	32	13
5	33	13
done	33	13
0	4	4
1	7	2
2	10	2
done	10	2
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	10	10
1	13	10
2	22	10
3	31	10
4	45	10
5	54	10
6	59	10
7	64	10
8	66	10
done	66	10
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	10	10
1	13	10
2	22	10
3	31	10
4	45	10
5	54	10
6	59	10
7	64	10
8	66	10
done	66	10
0	13	14
1	32	14
2	80	14
3	239	14
4	874	14
5	3687	14
done	5000	14
0	12	18
1	22	18
2	47	18
3	116	18
4	281	18
5	578	18
6	951	18
7	1529	18
8	4561	18
done	5000	18
0	13	18
1	21	18
2	51	18
3	146	18
4	362	18
5	828	18
6	1584	18
7	2911	18
8	4053	18
9	4686	18
10	4854	18
11	4880	18
12	4904	18
13	4964	18
done	4964	18
0	13	18
1	21	18
2	51	18
3	146	18
4	362	18
5	828	18
6	1584	18
7	2911	18
8	4053	18
9	4686	18
10	4854	18
11	4880	18
12	4904	18
13	4964	18
done	4964	18
0	16	21
1	24	21
2	36	21
done	36	21
0	15	20
1	24	20
2	41	20
3	54	20
4	68	20
5	77	20
6	82	20
7	87	20
8	89	20
done	89	20
0	14	19
1	25	19
2	62	19
3	167	19
4	383	19
5	850	19
6	1611	19
7	2941	19
8	4097	19
9	4746	19
10	4933	19
11	4961	19
12	4985	19
done	5000	19
0	14	19
1	24	19
2	65	19
3	201	19
4	528	19
5	1368	19
6	3596	19
done	5000	19
0	19	56
1	36	52
2	140	24
3	746	24
4	4668	24
done	5000	24
0	17	56
1	38	56
2	153	22
3	817	22
done	5001	22
0	15	39
1	23	39
2	53	39
3	146	39
4	362	39
5	835	39
6	1600	39
7	2926	39
8	4071	39
9	4710	39
10	4890	39
11	4914	39
12	4938	39
13	4998	39
done	4998	39
0	14	19
1	22	19
2	52	19
3	145	19
4	359	19
5	823	19
6	1590	19
7	2921	19
8	4068	19
9	4711	19
10	4898	19
11	4926	19
12	4950	19
done	5000	19
0	15	56
1	33	56
2	145	20
3	901	20
done	5001	20
0	14	19
1	22	19
2	52	19
3	145	19
4	359	19
5	823	19
6	1590	19
7	2921	19
8	4068	19
9	4711	19
10	4898	19
11	4926	19
12	4950	19
done	5000	19
0	14	19
1	22	19
2	52	19
3	145	19
4	359	19
5	823	19
6	1590	19
7	2921	19
8	4068	19
9	4711	19
10	4898	19
11	4926	19
12	4950	19
done	5000	19
0	18	26
1	52	26
2	154	26
3	656	26
4	4224	26
done	5000	26
0	18	47
1	51	37
2	146	37
3	640	37
4	2594	37
done	5000	37
0	18	30
1	49	30
2	134	30
3	501	30
4	2765	30
done	5001	30
0	14	31
1	35	26
2	100	26
3	305	26
4	789	26
5	1809	26
6	2698	26
7	3433	26
8	3911	26
9	4464	26
done	5000	26
0	18	30
1	49	30
2	134	30
3	536	30
4	3528	30
done	5001	30
0	14	31
1	35	26
2	98	26
3	280	26
4	725	26
5	1714	26
6	2747	26
7	3513	26
8	4032	26
9	4520	26
done	5001	26
0	17	34
1	39	34
2	103	34
3	430	34
4	2316	34
done	5000	34
0	10	15
1	19	15
2	48	15
3	92	15
4	145	15
5	166	15
6	207	15
7	229	15
done	229	15
0	11	13
1	17	13
2	32	13
3	63	13
4	102	13
5	147	13
6	186	13
7	196	13
8	201	13
9	202	13
done	202	13
0	13	16
1	23	16
2	54	16
3	144	16
4	350	16
5	732	15
6	1518	15
7	2141	15
8	2306	15
9	2331	15
done	2331	15
0	11	13
1	17	13
2	32	13
3	63	13
4	102	13
5	147	13
6	186	13
7	196	13
8	201	13
9	202	13
done	202	13
0	13	16
1	23	16
2	54	16
3	144	16
4	350	16
5	732	15
6	1518	15
7	2141	15
8	2306	15
9	2331	15
done	2331	15
0	11	13
1	17	13
2	38	13
3	72	13
4	114	13
5	159	13
6	186	13
7	193	13
8	198	13
9	199	13
done	199	13
0	13	16
1	23	16
2	60	16
3	186	16
4	453	16
5	946	15
6	1916	15
7	2404	15
8	2537	15
9	2543	15
done	2543	15
0	11	13
1	17	13
2	38	13
3	72	13
4	114	13
5	159	13
6	186	13
7	193	13
8	198	13
9	199	13
done	199	13
0	13	16
1	23	16
2	60	16
3	186	16
4	453	16
5	946	15
6	1916	15
7	2404	15
8	2537	15
9	2543	15
done	2543	15
0	15	28
1	25	28
2	50	28
3	97	28
4	179	28
5	299	28
6	495	28
7	695	28
8	831	28
9	878	28
10	881	28
done	881	28
0	14	19
1	22	19
2	40	19
3	73	19
4	116	19
5	176	19
6	253	19
7	311	19
8	346	19
9	358	19
done	358	19
0	12	12
1	20	10
2	41	10
3	78	10
4	123	10
5	192	10
6	287	10
7	339	10
8	391	10
9	407	10
done	407	10
0	15	20
1	28	20
2	64	20
3	145	20
4	286	20
5	546	20
6	889	20
7	1239	20
8	2036	20
9	3699	20
10	4222	20
11	4262	20
12	4263	20
done	4263	20
0	16	21
1	29	21
2	69	21
3	172	21
4	368	21
5	726	21
6	1352	21
7	2121	21
8	3370	21
done	5000	21
0	12	12
1	20	10
2	41	10
3	78	10
4	123	10
5	192	10
6	287	10
7	339	10
8	391	10
9	407	10
done	407	10
0	10	15
1	15	15
2	33	15
3	75	15
4	183	15
5	353	15
6	540	15
7	842	15
8	1154	15
9	1270	15
10	1278	15
done	1278	15
0	16	22
1	40	22
2	109	22
3	398	22
4	2047	22
done	5000	22
0	15	26
1	30	26
2	78	26
3	278	26
4	1067	26
5	3667	26
done	5001	26
0	16	22
1	40	22
2	109	22
3	370	22
4	1816	22
done	5000	22
0	15	26
1	30	26
2	78	26
3	285	26
4	1169	26
5	3988	26
done	5000	26
0	14	17
1	33	17
2	91	17
3	145	15
4	207	15
5	285	15
6	501	15
7	1176	15
8	3451	15
done	5001	15
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	32	50
1	74	50
2	176	50
3	542	50
4	1695	50
done	5001	50
0	15	20
1	37	20
2	86	17
3	216	14
4	595	14
5	1735	14
done	5000	14
0	10	10
1	14	10
2	27	10
3	48	10
4	62	10
5	70	10
done	70	10
0	10	10
1	14	10
2	27	10
3	48	10
4	62	10
5	70	10
done	70	10
0	18	26
1	48	24
2	130	21
3	263	21
4	494	18
5	758	18
6	1218	18
7	1930	18
8	2713	18
9	4567	18
done	5001	18
0	13	18
1	23	18
2	60	18
3	193	18
4	601	18
5	1308	18
6	2254	18
7	4368	18
done	5000	18
0	13	18
1	23	18
2	60	18
3	193	18
4	601	18
5	1308	18
6	2254	18
7	4368	18
done	5000	18

prune392.0ms

Filtered

78 candidates to 104 candidates (-33.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	95	9	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	9	105

Merged error: 0.3b

Counts

105 → 9

localize39.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
0.3b	(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
2.1b	(- (cos x) (cos y))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
23×	`associate-l`
20×	`times-frac`
18×	`add-exp-log` `add-cbrt-cube`
16×	`add-cube-cbrt`
15×	`pow1`
14×	`associate-*r/`
11×	`difference-of-squares`
9×	`associate-r`
8×	`flip3--` `prod-exp` `flip--` `cbrt-unprod` `add-log-exp`
7×	`pow-prod-down`
6×	`distribute-lft-out--`
4×	`frac-times` `sub-neg` `sqrt-prod`
3×	`associate-*l/`
2×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `*-commutative` `unswap-sqr`
1×	`cbrt-undiv` `div-exp` `div-inv` `diff-cos`

Counts

4 → 107

Calls

4 calls:

12.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
26.0ms	(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
5.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))

series45.0ms

Counts

4 → 10

Calls

4 calls:

8.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
26.0ms	(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
11.0ms	(- (cos x) (cos y))

simplify3.4min

Counts

117 → 117

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	17	13
2	20	13
3	22	13
done	22	13
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	52	6
10	59	6
11	77	6
12	98	6
13	115	6
14	118	6
done	118	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	54	6
9	61	6
10	80	6
11	101	6
12	113	6
13	116	6
done	116	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	68	7
4	177	7
5	505	7
6	1716	7
7	4987	7
done	5000	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	23	9
2	45	9
3	79	9
4	166	9
5	493	9
6	2238	9
done	5001	9
0	9	17
1	16	14
2	24	14
3	25	14
4	26	14
done	26	14
0	3	3
done	3	3
0	7	11
1	12	11
2	19	11
3	34	11
4	59	11
5	100	11
6	158	11
7	326	11
8	1621	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
done	3	3
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	176	6
5	500	6
6	1728	6
done	5001	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	44	8
3	74	8
4	161	8
5	501	8
6	2286	8
done	5000	8
0	8	14
1	15	10
2	23	10
3	26	8
4	27	8
done	27	8
0	3	3
done	3	3
0	6	9
1	11	5
2	16	5
3	31	5
4	58	5
5	97	5
6	142	5
7	279	5
8	1352	5
done	5000	5
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
done	3	3
0	15	23
1	26	23
2	69	18
3	216	18
4	578	18
5	1431	18
6	3152	18
done	5000	18
0	15	23
1	26	23
2	69	18
3	216	18
4	578	18
5	1431	18
6	3152	18
done	5000	18
0	15	23
1	26	23
2	69	18
3	216	18
4	578	18
5	1431	18
6	3152	18
done	5000	18
0	18	27
1	29	27
2	50	24
3	62	24
4	63	24
done	63	24
0	18	26
1	29	26
2	52	26
3	77	24
4	97	24
5	106	24
6	111	24
7	116	24
8	118	24
done	118	24
0	17	25
1	29	25
2	58	20
3	99	20
4	142	20
5	176	20
6	207	20
7	231	20
8	246	20
9	247	20
done	247	20
0	16	24
1	30	24
2	83	19
3	256	19
4	645	19
5	1504	19
6	3237	19
done	5001	19
0	16	24
1	29	24
2	85	19
3	282	19
4	831	19
5	2287	19
done	5000	19
0	21	71
1	43	61
2	188	28
3	1114	24
done	5000	24
0	21	71
1	47	61
2	204	29
3	1255	29
done	5000	28
0	19	71
1	42	71
2	174	22
3	1005	22
done	5000	22
0	17	49
1	28	49
2	71	39
3	217	39
4	576	39
5	1420	39
6	3162	39
done	5000	39
0	16	24
1	27	24
2	70	19
3	216	19
4	583	19
5	1437	19
6	3163	19
done	5001	19
0	17	71
1	38	71
2	175	20
3	1204	20
done	5000	20
0	16	24
1	27	24
2	70	19
3	216	19
4	583	19
5	1437	19
6	3163	19
done	5001	19
0	16	24
1	27	24
2	70	19
3	216	19
4	583	19
5	1437	19
6	3163	19
done	5001	19
0	20	31
1	57	31
2	172	26
3	762	26
done	5000	26
0	18	47
1	51	37
2	146	37
3	640	37
4	2594	37
done	5000	37
0	20	35
1	54	35
2	152	30
3	618	30
4	3572	30
done	5000	30
0	14	31
1	35	26
2	100	26
3	305	26
4	789	26
5	1809	26
6	2698	26
7	3433	26
8	3911	26
9	4464	26
done	5000	26
0	20	35
1	54	35
2	152	30
3	640	30
4	4364	30
done	5000	30
0	14	31
1	35	26
2	98	26
3	280	26
4	725	26
5	1714	26
6	2747	26
7	3513	26
8	4032	26
9	4520	26
done	5001	26
0	19	39
1	44	39
2	121	34
3	541	34
4	3188	34
done	5000	34
0	10	15
1	19	15
2	48	15
3	92	15
4	145	15
5	166	15
6	207	15
7	229	15
done	229	15
0	13	18
1	22	18
2	50	13
3	109	13
4	198	13
5	321	13
6	461	13
7	513	13
8	541	13
9	543	13
done	543	13
0	15	21
1	28	21
2	74	16
3	228	16
4	628	16
5	1492	15
6	3794	15
done	5001	15
0	13	18
1	22	18
2	50	13
3	109	13
4	198	13
5	321	13
6	461	13
7	513	13
8	541	13
9	543	13
done	543	13
0	15	21
1	28	21
2	74	16
3	228	16
4	628	16
5	1492	15
6	3794	15
done	5001	15
0	13	18
1	22	18
2	52	13
3	122	13
4	219	13
5	344	13
6	479	13
7	533	13
8	562	13
9	564	13
done	564	13
0	15	21
1	28	21
2	76	16
3	266	16
4	775	16
5	1771	15
6	4256	15
done	5001	15
0	13	18
1	22	18
2	52	13
3	122	13
4	219	13
5	344	13
6	479	13
7	533	13
8	562	13
9	564	13
done	564	13
0	15	21
1	28	21
2	76	16
3	266	16
4	775	16
5	1771	15
6	4256	15
done	5001	15
0	17	33
1	30	33
2	70	28
3	164	28
4	342	28
5	634	28
6	1169	28
7	1789	28
8	2193	28
9	2299	28
10	2304	28
done	2304	28
0	16	24
1	27	24
2	58	19
3	118	19
4	217	19
5	362	19
6	600	19
7	796	19
8	918	19
9	943	19
done	943	19
0	14	17
1	25	15
2	59	10
3	138	10
4	222	10
5	387	10
6	563	10
7	674	10
8	776	10
9	804	10
done	804	10
0	17	25
1	33	25
2	90	20
3	244	20
4	505	20
5	1012	20
6	1867	20
7	2668	20
8	4177	20
done	5001	20
0	18	26
1	34	26
2	95	21
3	284	21
4	657	21
5	1390	21
6	2948	21
done	5000	21
0	14	17
1	25	15
2	59	10
3	138	10
4	222	10
5	387	10
6	563	10
7	674	10
8	776	10
9	804	10
done	804	10
0	14	19
1	22	19
2	52	19
3	147	19
4	365	19
5	838	19
6	1601	19
7	2929	19
8	4085	19
9	4716	19
10	4894	19
11	4923	19
12	4947	19
done	5001	19
0	18	27
1	45	27
2	127	22
3	470	22
4	2576	22
done	5000	22
0	17	31
1	35	31
2	96	26
3	367	26
4	1508	26
done	5002	26
0	18	27
1	45	27
2	127	22
3	470	22
4	2445	22
done	5000	22
0	17	31
1	35	31
2	96	26
3	387	26
4	1790	26
done	5000	26
0	9	9
1	17	9
2	23	9
3	44	9
4	58	9
5	79	9
6	88	9
7	94	9
8	95	9
done	95	9
0	12	12
1	19	12
2	30	12
3	39	12
4	48	12
5	53	12
6	62	12
7	79	12
8	98	12
9	106	12
done	106	12
0	11	11
1	20	11
2	29	11
3	40	11
4	50	11
5	59	11
6	64	11
7	73	11
8	90	11
9	109	11
10	117	11
done	117	11
0	10	10
1	21	10
2	33	10
3	64	10
4	94	10
5	128	10
6	149	10
7	167	10
8	191	10
9	203	10
10	219	10
11	221	10
done	221	10
0	10	10
1	20	10
2	35	10
3	66	10
4	116	10
5	223	10
6	460	10
7	1166	10
8	4984	10
done	5000	10
0	15	29
1	32	29
2	125	15
3	560	13
4	2489	13
done	5001	13
0	13	29
1	31	29
2	95	13
3	358	13
4	1575	11
done	5000	11
0	11	21
1	19	21
2	25	21
3	46	21
4	60	21
5	81	21
6	90	21
7	96	21
8	97	21
done	97	21
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	11	29
1	29	29
2	86	11
3	395	11
4	1804	11
done	5000	11
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	11	11
1	17	11
2	20	11
3	22	11
done	22	11
0	11	11
1	17	11
2	20	11
3	22	11
done	22	11
0	12	12
1	17	12
2	21	12
3	23	12
4	25	12
5	26	12
done	26	12
0	12	12
1	17	12
2	21	12
3	23	12
4	25	12
5	26	12
done	26	12
0	11	14
1	21	14
2	32	14
3	65	14
4	116	14
5	171	14
6	223	14
7	258	14
8	273	14
9	278	14
done	278	14
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	8	8
1	18	6
2	31	6
3	53	6
4	81	6
5	115	6
6	142	6
7	159	6
8	161	6
done	161	6
0	10	10
1	16	10
2	19	10
3	21	10
done	21	10
0	10	10
1	16	10
2	19	10
3	21	10
done	21	10
0	11	11
1	16	11
2	20	11
3	22	11
4	24	11
5	25	11
done	25	11
0	11	11
1	16	11
2	20	11
3	22	11
4	24	11
5	25	11
done	25	11
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	11	11
1	16	11
2	20	11
3	22	11
4	24	11
5	25	11
done	25	11
0	11	11
1	16	11
2	20	11
3	22	11
4	24	11
5	25	11
done	25	11
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	9	9
1	17	9
2	23	9
3	44	9
4	58	9
5	79	9
6	88	9
7	94	9
8	95	9
done	95	9
0	12	12
1	20	12
2	26	12
3	47	12
4	61	12
5	82	12
6	91	12
7	97	12
8	98	12
done	98	12
0	12	12
1	20	12
2	26	12
3	47	12
4	61	12
5	82	12
6	91	12
7	97	12
8	98	12
done	98	12
0	11	11
1	19	11
2	25	11
3	46	11
4	60	11
5	81	11
6	90	11
7	96	11
8	97	11
done	97	11
0	12	12
1	20	12
2	26	12
3	47	12
4	61	12
5	82	12
6	91	12
7	97	12
8	98	12
done	98	12
0	12	12
1	20	12
2	26	12
3	47	12
4	61	12
5	82	12
6	91	12
7	97	12
8	98	12
done	98	12
0	11	11
1	19	11
2	25	11
3	46	11
4	60	11
5	81	11
6	90	11
7	96	11
8	97	11
done	97	11
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	10	10
1	18	10
2	24	10
3	45	10
4	59	10
5	80	10
6	89	10
7	95	10
8	96	10
done	96	10
0	9	9
1	17	9
2	23	9
3	44	9
4	58	9
5	79	9
6	88	9
7	94	9
8	95	9
done	95	9
0	9	9
1	17	9
2	23	9
3	44	9
4	58	9
5	79	9
6	88	9
7	94	9
8	95	9
done	95	9
0	6	6
1	11	6
2	14	4
3	27	4
4	34	4
done	34	4
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	14	17
1	33	17
2	91	17
3	145	15
4	207	15
5	285	15
6	501	15
7	1176	15
8	3451	15
done	5001	15
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	18	26
1	48	24
2	130	21
3	263	21
4	494	18
5	758	18
6	1218	18
7	1930	18
8	2713	18
9	4567	18
done	5001	18
0	13	18
1	23	18
2	60	18
3	193	18
4	601	18
5	1308	18
6	2254	18
7	4368	18
done	5000	18
0	13	18
1	23	18
2	60	18
3	193	18
4	601	18
5	1308	18
6	2254	18
7	4368	18
done	5000	18
0	22	36
1	53	36
2	164	33
3	464	33
4	1291	28
5	3378	28
done	5000	28
0	9	9
1	15	9
2	34	9
3	60	9
4	78	9
5	92	9
done	92	9
0	9	9
1	15	9
2	34	9
3	60	9
4	78	9
5	92	9
done	92	9

prune545.0ms

Filtered

90 candidates to 117 candidates (-30.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	110	7	117
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	113	13	126

Merged error: 0.2b

Counts

126 → 13

localize44.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
2.1b	(- (cos x) (cos y))
2.2b	(log (exp (- (cos x) (cos y))))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
14×	`pow1` `associate-*r/`
13×	`add-exp-log` `add-cbrt-cube`
8×	`flip3--` `flip--` `add-log-exp`
7×	`add-cube-cbrt` `log-pow`
6×	`exp-prod` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `difference-of-squares`
5×	`sub-neg` `log-prod`
4×	`frac-times` `distribute-lft-out--`
2×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `exp-sum` `associate-*l/` `diff-cos`
1×	`log-div` `times-frac` `exp-diff` `rem-log-exp` `associate-l` `sqrt-prod` `*-commutative`

Counts

4 → 87

Calls

4 calls:

33.0ms	(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
5.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))
6.0ms	(log (exp (- (cos x) (cos y))))

series48.0ms

Counts

4 → 10

Calls

4 calls:

27.0ms	(* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
11.0ms	(- (cos x) (cos y))
11.0ms	(log (exp (- (cos x) (cos y))))

simplify3.3min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	2
0	5	5
1	8	3
2	14	3
3	15	3
4	20	3
5	26	3
6	32	3
7	39	3
8	43	3
9	45	3
10	48	3
done	48	3
0	4	4
done	4	2
0	5	5
1	8	3
2	14	3
3	15	3
4	20	3
5	26	3
6	32	3
7	39	3
8	43	3
9	45	3
10	48	3
done	48	3
0	9	16
1	16	16
2	21	10
3	25	10
4	31	10
5	35	10
6	51	10
7	57	10
8	62	10
9	69	10
10	88	10
11	109	10
12	122	10
13	125	10
done	125	10
0	8	8
1	13	8
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	51	8
8	56	8
9	63	8
10	82	8
11	103	8
12	120	8
13	123	8
done	123	8
0	8	8
1	13	8
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	51	8
8	56	8
9	63	8
10	82	8
11	103	8
12	120	8
13	123	8
done	123	8
0	8	8
1	13	8
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	51	8
8	56	8
9	63	8
10	82	8
11	103	8
12	120	8
13	123	8
done	123	8
0	2	2
1	4	1
done	4	1
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	87	5
8	119	5
9	183	5
10	197	5
11	209	5
done	209	5
0	4	4
done	4	2
0	4	4
done	4	2
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	87	5
8	119	5
9	183	5
10	197	5
11	209	5
done	209	5
0	3	3
done	3	1
0	9	15
1	13	13
2	20	13
3	28	13
4	53	13
5	126	13
6	377	13
7	1345	13
done	5001	13
0	8	8
1	10	6
2	11	6
done	11	6
0	3	3
1	6	1
done	6	1
0	9	9
1	13	7
2	17	7
3	18	7
done	18	7
0	3	3
1	6	1
done	6	1
0	8	8
1	13	6
2	19	6
3	26	6
4	35	6
5	44	6
6	74	6
7	88	6
8	120	6
9	183	6
10	196	6
11	210	6
done	210	6
0	8	8
1	13	6
2	19	6
3	26	6
4	35	6
5	44	6
6	74	6
7	88	6
8	120	6
9	183	6
10	196	6
11	210	6
done	210	6
0	9	17
1	14	13
2	20	13
3	27	13
4	36	13
5	45	13
6	75	13
7	90	13
8	122	13
9	183	13
10	196	13
11	208	13
done	208	13
0	8	8
1	13	6
2	19	6
3	26	6
4	35	6
5	44	6
6	74	6
7	88	6
8	120	6
9	183	6
10	196	6
11	210	6
done	210	6
0	9	23
1	15	17
2	35	7
3	85	7
4	231	7
5	568	7
6	1917	7
done	5000	7
0	8	8
1	13	6
2	19	6
3	26	6
4	35	6
5	44	6
6	74	6
7	88	6
8	120	6
9	183	6
10	196	6
11	210	6
done	210	6
0	8	8
1	13	6
2	19	6
3	26	6
4	35	6
5	44	6
6	74	6
7	88	6
8	120	6
9	183	6
10	196	6
11	210	6
done	210	6
0	10	13
1	17	13
2	20	13
3	22	13
done	22	13
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	52	6
10	59	6
11	77	6
12	98	6
13	115	6
14	118	6
done	118	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	54	6
9	61	6
10	80	6
11	101	6
12	113	6
13	116	6
done	116	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	68	7
4	177	7
5	505	7
6	1716	7
7	4987	7
done	5000	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	23	9
2	45	9
3	79	9
4	166	9
5	493	9
6	2238	9
done	5001	9
0	9	17
1	16	14
2	24	14
3	25	14
4	26	14
done	26	14
0	3	3
done	3	3
0	7	11
1	12	11
2	19	11
3	34	11
4	59	11
5	100	11
6	158	11
7	326	11
8	1621	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
done	3	3
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	176	6
5	500	6
6	1728	6
done	5001	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	44	8
3	74	8
4	161	8
5	501	8
6	2286	8
done	5000	8
0	8	14
1	15	10
2	23	10
3	26	8
4	27	8
done	27	8
0	3	3
done	3	3
0	6	9
1	11	5
2	16	5
3	31	5
4	58	5
5	97	5
6	142	5
7	279	5
8	1352	5
done	5000	5
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
done	3	3
0	15	23
1	26	23
2	69	18
3	216	18
4	578	18
5	1431	18
6	3152	18
done	5000	18
0	15	23
1	26	23
2	69	18
3	216	18
4	578	18
5	1431	18
6	3152	18
done	5000	18
0	15	23
1	26	23
2	69	18
3	216	18
4	578	18
5	1431	18
6	3152	18
done	5000	18
0	18	27
1	29	27
2	50	24
3	62	24
4	63	24
done	63	24
0	18	26
1	29	26
2	52	26
3	77	24
4	97	24
5	106	24
6	111	24
7	116	24
8	118	24
done	118	24
0	17	25
1	29	25
2	58	20
3	99	20
4	142	20
5	176	20
6	207	20
7	231	20
8	246	20
9	247	20
done	247	20
0	16	24
1	30	24
2	83	19
3	256	19
4	645	19
5	1504	19
6	3237	19
done	5001	19
0	16	24
1	29	24
2	85	19
3	282	19
4	831	19
5	2287	19
done	5000	19
0	21	71
1	43	61
2	188	28
3	1114	24
done	5000	24
0	21	71
1	47	61
2	204	29
3	1255	29
done	5000	28
0	19	71
1	42	71
2	174	22
3	1005	22
done	5000	22
0	17	49
1	28	49
2	71	39
3	217	39
4	576	39
5	1420	39
6	3162	39
done	5000	39
0	16	24
1	27	24
2	70	19
3	216	19
4	583	19
5	1437	19
6	3163	19
done	5001	19
0	17	71
1	38	71
2	175	20
3	1204	20
done	5000	20
0	16	24
1	27	24
2	70	19
3	216	19
4	583	19
5	1437	19
6	3163	19
done	5001	19
0	16	24
1	27	24
2	70	19
3	216	19
4	583	19
5	1437	19
6	3163	19
done	5001	19
0	20	31
1	57	31
2	172	26
3	762	26
done	5000	26
0	18	47
1	51	37
2	146	37
3	640	37
4	2594	37
done	5000	37
0	20	35
1	54	35
2	152	30
3	618	30
4	3572	30
done	5000	30
0	14	31
1	35	26
2	100	26
3	305	26
4	789	26
5	1809	26
6	2698	26
7	3433	26
8	3911	26
9	4464	26
done	5000	26
0	20	35
1	54	35
2	152	30
3	640	30
4	4364	30
done	5000	30
0	14	31
1	35	26
2	98	26
3	280	26
4	725	26
5	1714	26
6	2747	26
7	3513	26
8	4032	26
9	4520	26
done	5001	26
0	19	39
1	44	39
2	121	34
3	541	34
4	3188	34
done	5000	34
0	10	15
1	19	15
2	48	15
3	92	15
4	145	15
5	166	15
6	207	15
7	229	15
done	229	15
0	13	18
1	22	18
2	50	13
3	109	13
4	198	13
5	321	13
6	461	13
7	513	13
8	541	13
9	543	13
done	543	13
0	15	21
1	28	21
2	74	16
3	228	16
4	628	16
5	1492	15
6	3794	15
done	5001	15
0	13	18
1	22	18
2	50	13
3	109	13
4	198	13
5	321	13
6	461	13
7	513	13
8	541	13
9	543	13
done	543	13
0	15	21
1	28	21
2	74	16
3	228	16
4	628	16
5	1492	15
6	3794	15
done	5001	15
0	13	18
1	22	18
2	52	13
3	122	13
4	219	13
5	344	13
6	479	13
7	533	13
8	562	13
9	564	13
done	564	13
0	15	21
1	28	21
2	76	16
3	266	16
4	775	16
5	1771	15
6	4256	15
done	5001	15
0	13	18
1	22	18
2	52	13
3	122	13
4	219	13
5	344	13
6	479	13
7	533	13
8	562	13
9	564	13
done	564	13
0	15	21
1	28	21
2	76	16
3	266	16
4	775	16
5	1771	15
6	4256	15
done	5001	15
0	17	33
1	30	33
2	70	28
3	164	28
4	342	28
5	634	28
6	1169	28
7	1789	28
8	2193	28
9	2299	28
10	2304	28
done	2304	28
0	16	24
1	27	24
2	58	19
3	118	19
4	217	19
5	362	19
6	600	19
7	796	19
8	918	19
9	943	19
done	943	19
0	14	17
1	25	15
2	59	10
3	138	10
4	222	10
5	387	10
6	563	10
7	674	10
8	776	10
9	804	10
done	804	10
0	17	25
1	33	25
2	90	20
3	244	20
4	505	20
5	1012	20
6	1867	20
7	2668	20
8	4177	20
done	5001	20
0	18	26
1	34	26
2	95	21
3	284	21
4	657	21
5	1390	21
6	2948	21
done	5000	21
0	14	17
1	25	15
2	59	10
3	138	10
4	222	10
5	387	10
6	563	10
7	674	10
8	776	10
9	804	10
done	804	10
0	14	19
1	22	19
2	52	19
3	147	19
4	365	19
5	838	19
6	1601	19
7	2929	19
8	4085	19
9	4716	19
10	4894	19
11	4923	19
12	4947	19
done	5001	19
0	18	27
1	45	27
2	127	22
3	470	22
4	2576	22
done	5000	22
0	17	31
1	35	31
2	96	26
3	367	26
4	1508	26
done	5002	26
0	18	27
1	45	27
2	127	22
3	470	22
4	2445	22
done	5000	22
0	17	31
1	35	31
2	96	26
3	387	26
4	1790	26
done	5000	26
0	14	17
1	33	17
2	91	17
3	145	15
4	207	15
5	285	15
6	501	15
7	1176	15
8	3451	15
done	5001	15
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	14	17
1	33	17
2	91	17
3	145	15
4	207	15
5	285	15
6	501	15
7	1176	15
8	3451	15
done	5001	15
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	36	57
1	84	55
2	206	50
3	683	50
4	2445	50
done	5001	50
0	18	26
1	48	24
2	130	21
3	263	21
4	494	18
5	758	18
6	1218	18
7	1930	18
8	2713	18
9	4567	18
done	5001	18
0	13	18
1	23	18
2	60	18
3	193	18
4	601	18
5	1308	18
6	2254	18
7	4368	18
done	5000	18
0	13	18
1	23	18
2	60	18
3	193	18
4	601	18
5	1308	18
6	2254	18
7	4368	18
done	5000	18

prune425.0ms

Filtered

75 candidates to 97 candidates (-29.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	97	13	110

Merged error: 0.2b

Counts

110 → 13

localize49.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- (sin y) (/ (sin x) 16.0)))
0.5b	(cbrt (- (sin y) (/ (sin x) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
2.1b	(- (cos x) (cos y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`cbrt-prod`
8×	`add-log-exp`
7×	`difference-of-squares`
6×	`add-cube-cbrt`
4×	`pow1` `add-exp-log` `cbrt-div` `flip3--` `add-cbrt-cube` `flip--` `distribute-lft-out--`
2×	`sub-neg` `times-frac` `pow1/3` `diff-log`
1×	`sqrt-prod` `diff-cos`

Counts

4 → 62

Calls

4 calls:

8.0ms	(cbrt (- (sin y) (/ (sin x) 16.0)))
8.0ms	(cbrt (- (sin y) (/ (sin x) 16.0)))
5.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))

series74.0ms

Counts

4 → 10

Calls

4 calls:

35.0ms	(cbrt (- (sin y) (/ (sin x) 16.0)))
28.0ms	(cbrt (- (sin y) (/ (sin x) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
10.0ms	(- (cos x) (cos y))

simplify1.2min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	17	13
2	20	13
3	22	13
done	22	13
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	52	6
10	59	6
11	77	6
12	98	6
13	115	6
14	118	6
done	118	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	54	6
9	61	6
10	80	6
11	101	6
12	113	6
13	116	6
done	116	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	68	7
4	177	7
5	505	7
6	1716	7
7	4987	7
done	5000	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	23	9
2	45	9
3	79	9
4	166	9
5	493	9
6	2238	9
done	5001	9
0	9	17
1	16	14
2	24	14
3	25	14
4	26	14
done	26	14
0	3	3
done	3	3
0	7	11
1	12	11
2	19	11
3	34	11
4	59	11
5	100	11
6	158	11
7	326	11
8	1621	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
done	3	3
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	176	6
5	500	6
6	1728	6
done	5001	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	44	8
3	74	8
4	161	8
5	501	8
6	2286	8
done	5000	8
0	8	14
1	15	10
2	23	10
3	26	8
4	27	8
done	27	8
0	3	3
done	3	3
0	6	9
1	11	5
2	16	5
3	31	5
4	58	5
5	97	5
6	142	5
7	279	5
8	1352	5
done	5000	5
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
done	3	3
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	10	18
1	12	18
2	15	18
done	15	18
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	2	2
1	4	1
done	4	1
0	8	8
1	10	8
2	13	8
done	13	8
0	10	10
1	11	10
done	11	10
0	10	10
1	12	10
2	13	10
done	13	10
0	11	11
1	12	11
done	12	11
0	11	11
1	13	11
2	16	11
done	16	11
0	2	2
1	4	1
done	4	1
0	8	8
1	10	8
2	13	8
done	13	8
0	11	12
1	29	12
2	71	12
3	181	12
4	567	12
5	1953	12
done	5000	12
0	12	24
1	25	19
2	43	19
3	60	19
4	72	19
5	76	19
6	77	19
done	77	19
0	10	16
1	19	16
2	34	16
3	68	16
4	122	16
5	200	16
6	290	16
7	480	16
8	1831	16
done	5001	16
0	8	8
1	9	8
done	9	8
0	10	19
1	12	19
2	15	19
done	15	19
0	9	9
1	11	9
2	14	9
done	14	9
0	10	26
1	13	26
2	18	10
3	23	7
4	29	7
5	39	7
6	62	7
7	123	7
8	334	7
9	1252	7
done	5000	7
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	10	18
1	12	18
2	15	18
done	15	18
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	2	2
1	4	1
done	4	1
0	8	8
1	10	8
2	13	8
done	13	8
0	10	10
1	11	10
done	11	10
0	10	10
1	12	10
2	13	10
done	13	10
0	11	11
1	12	11
done	12	11
0	11	11
1	13	11
2	16	11
done	16	11
0	2	2
1	4	1
done	4	1
0	8	8
1	10	8
2	13	8
done	13	8
0	11	12
1	29	12
2	71	12
3	181	12
4	567	12
5	1953	12
done	5000	12
0	12	24
1	25	19
2	43	19
3	60	19
4	72	19
5	76	19
6	77	19
done	77	19
0	10	16
1	19	16
2	34	16
3	68	16
4	122	16
5	200	16
6	290	16
7	480	16
8	1831	16
done	5001	16
0	8	8
1	9	8
done	9	8
0	10	19
1	12	19
2	15	19
done	15	19
0	9	9
1	11	9
2	14	9
done	14	9
0	10	26
1	13	26
2	18	10
3	23	7
4	29	7
5	39	7
6	62	7
7	123	7
8	334	7
9	1252	7
done	5000	7
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	14	17
1	33	17
2	91	17
3	145	15
4	207	15
5	285	15
6	501	15
7	1176	15
8	3451	15
done	5001	15
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	15	28
1	25	28
2	50	28
3	97	28
4	179	28
5	299	28
6	495	28
7	695	28
8	831	28
9	878	28
10	881	28
done	881	28
0	26	40
1	59	40
2	128	40
3	306	37
4	916	25
5	3238	25
done	5001	24
0	9	9
1	18	8
2	31	8
3	41	8
4	65	8
5	126	8
6	338	8
7	1281	8
done	5000	8
0	9	9
1	18	8
2	31	8
3	41	8
4	65	8
5	126	8
6	338	8
7	1281	8
done	5000	8
0	26	40
1	59	40
2	128	40
3	306	37
4	916	25
5	3238	25
done	5001	24
0	9	9
1	18	8
2	31	8
3	41	8
4	65	8
5	126	8
6	338	8
7	1281	8
done	5000	8
0	9	9
1	18	8
2	31	8
3	41	8
4	65	8
5	126	8
6	338	8
7	1281	8
done	5000	8

prune270.0ms

Filtered

54 candidates to 72 candidates (-33.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	72	13	85

Merged error: 0.2b

Counts

85 → 13

regimes258.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	69
1	45	69
done	45	69

end0.0ms

sample7.1s

Algorithm

intervals

Results

3.9s	2753×	body	1280	valid
1.7s	1820×	body	640	valid
530.0ms	767×	body	320	valid
489.0ms	2308×	body	80	valid
156.0ms	352×	body	160	valid

Details

sample251.0ms

simplify1.5s

prune5.0ms

localize42.0ms

rewrite47.0ms

series59.0ms

simplify4.9min

prune392.0ms

localize39.0ms

rewrite60.0ms

series45.0ms

simplify3.4min

prune545.0ms

localize44.0ms

rewrite53.0ms

series48.0ms

simplify3.3min

prune425.0ms

localize49.0ms

rewrite29.0ms

series74.0ms

simplify1.2min

prune270.0ms

regimes258.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample7.1s

Profiling