Details

sample100.0ms

Algorithm

intervals

Results

45.0ms	63×	body	1280	valid
15.0ms	51×	body	640	valid
14.0ms	157×	body	80	valid
4.0ms	17×	body	320	valid
2.0ms	13×	body	160	valid

simplify36.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	10	12
1	18	12
2	30	11
3	40	11
4	51	11
5	54	11
done	54	11

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.2b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 1.0 (sin B)) (* x (/ 1.0 (tan B))))
0.1b	(/ 1.0 (sin B))
0.2b	(/ 1.0 (tan B))
0.3b	(* x (/ 1.0 (tan B)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
28×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
14×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-l` `div-inv`
2×	`tan-quot` `frac-2neg` `associate-*r/` `prod-exp` `clear-num` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `frac-sub` `flip--`

Counts

4 → 101

Calls

4 calls:

7.0ms	(- (/ 1.0 (sin B)) (* x (/ 1.0 (tan B))))
4.0ms	(/ 1.0 (sin B))
5.0ms	(/ 1.0 (tan B))
10.0ms	(* x (/ 1.0 (tan B)))

series95.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(- (/ 1.0 (sin B)) (* x (/ 1.0 (tan B))))
6.0ms	(/ 1.0 (sin B))
13.0ms	(/ 1.0 (tan B))
40.0ms	(* x (/ 1.0 (tan B)))

simplify1.1min

Counts

113 → 113

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	9
1	14	9
2	21	9
3	30	9
4	36	9
5	46	9
6	53	9
7	65	9
8	88	9
9	102	9
10	108	9
done	108	9
0	8	8
1	12	8
2	18	8
3	27	8
4	37	8
5	46	8
6	51	8
7	60	8
8	77	8
9	96	8
10	104	8
done	104	8
0	7	7
1	13	7
2	22	7
3	36	7
4	56	7
5	69	7
6	81	7
7	99	7
8	115	7
9	122	7
10	139	7
11	141	7
done	141	7
0	7	7
1	12	7
2	21	7
3	35	7
4	68	7
5	149	7
6	358	7
7	1389	7
done	5001	7
0	12	20
1	27	20
2	105	12
3	445	10
4	1709	10
done	5000	10
0	10	20
1	23	20
2	72	10
3	228	10
4	784	8
5	2443	8
done	5000	8
0	8	15
1	11	15
2	14	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	20
1	21	20
2	75	8
3	270	8
4	861	8
5	2536	8
done	5000	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	8	13
1	11	13
2	13	13
done	13	13
0	7	7
1	8	7
done	8	7
0	10	15
1	19	15
2	48	15
3	90	15
4	146	15
5	162	15
done	162	15
0	9	11
1	14	11
2	24	11
3	39	11
4	52	11
5	54	11
done	54	11
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	9	12
1	14	12
2	25	12
3	38	12
4	50	12
done	50	12
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	8	11
1	15	11
2	25	9
3	33	9
4	53	9
5	85	9
6	90	9
done	90	9
0	7	7
1	12	7
2	15	5
3	16	5
4	21	5
5	22	5
done	22	5
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	3	3
1	4	3
done	4	3
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	14
2	49	8
3	116	6
4	194	6
5	312	6
6	773	6
7	3351	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	194	6
6	322	6
7	819	6
8	3546	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	4	4
done	4	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	14
2	49	8
3	116	6
4	194	6
5	312	6
6	773	6
7	3351	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	194	6
6	322	6
7	819	6
8	3546	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	11	13
1	18	12
2	29	12
3	57	12
4	119	12
5	256	12
6	666	12
7	2390	12
done	5001	12
0	10	12
1	15	12
2	27	12
3	40	12
4	51	12
5	54	12
done	54	12
0	10	12
1	18	12
2	36	12
3	65	12
4	116	12
5	238	12
6	667	12
7	2448	12
done	5001	12
0	11	25
1	16	25
2	28	25
3	41	25
4	52	25
5	55	25
done	55	25
0	10	12
1	15	12
2	27	12
3	40	12
4	51	12
5	54	12
done	54	12
0	11	35
1	17	35
2	43	13
3	147	13
4	607	13
5	2860	13
done	5000	13
0	10	12
1	15	12
2	27	12
3	40	12
4	51	12
5	54	12
done	54	12
0	10	12
1	15	12
2	27	12
3	40	12
4	51	12
5	54	12
done	54	12
0	9	11
1	16	11
2	35	9
3	64	9
4	67	9
done	67	9
0	4	5
1	5	5
done	5	5
0	12	15
1	36	15
2	124	15
3	505	15
4	2132	15
done	5000	15
0	13	35
1	38	28
2	111	28
3	219	28
4	466	28
5	715	26
6	803	26
7	849	26
8	858	26
9	860	26
done	860	26
0	7	7
1	14	7
2	25	7
3	35	7
4	46	7
5	49	7
done	49	7
0	11	23
1	30	23
2	85	23
3	233	23
4	608	23
5	1315	21
6	1988	21
7	2793	21
done	5001	21
0	9	11
1	13	11
2	16	11
3	20	11
4	21	11
done	21	11
0	7	7
1	14	7
2	25	7
3	35	7
4	46	7
5	49	7
done	49	7
0	9	11
1	18	11
2	38	11
3	67	11
4	80	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	13	15
1	33	15
2	63	13
3	127	13
4	289	13
5	710	13
6	2750	13
done	5000	13
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	13	15
1	32	15
2	59	13
3	87	13
4	141	13
5	285	13
6	809	13
7	3120	13
done	5000	13
0	4	4
done	4	4
0	4	4
done	4	4
0	12	15
1	26	15
2	49	13
3	70	13
4	100	11
5	188	11
6	349	11
7	601	11
8	902	11
9	1090	11
10	1144	11
11	1145	11
done	1145	11
0	12	16
1	27	14
2	55	14
3	111	14
4	242	11
5	507	11
6	912	11
7	1142	11
8	1190	11
9	1195	11
done	1195	11
0	12	16
1	27	14
2	55	14
3	111	14
4	242	11
5	507	11
6	912	11
7	1142	11
8	1190	11
9	1195	11
done	1195	11

prune206.0ms

Filtered

93 candidates to 113 candidates (-21.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	105	8	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	106	8	114

Merged error: 0.0b

Counts

114 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 1.0 (sin B)) (* 1.0 (/ (* x (cos B)) (sin B))))
0.1b	(/ 1.0 (sin B))
0.2b	(* x (cos B))
0.2b	(/ (* x (cos B)) (sin B))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
13×	`add-exp-log` `add-cbrt-cube`
12×	`times-frac`
6×	`pow1` `associate-/r*` `add-log-exp`
4×	`associate-/l*`
3×	`cbrt-undiv` `div-exp` `associate-r` `associate-l` `div-inv`
2×	`frac-2neg` `associate-*r/` `prod-exp` `clear-num` `cbrt-unprod`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `frac-sub` `flip--` `distribute-lft-out--` `sub-div` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

7.0ms	(- (/ 1.0 (sin B)) (* 1.0 (/ (* x (cos B)) (sin B))))
4.0ms	(/ 1.0 (sin B))
5.0ms	(* x (cos B))
6.0ms	(/ (* x (cos B)) (sin B))

series66.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(- (/ 1.0 (sin B)) (* 1.0 (/ (* x (cos B)) (sin B))))
6.0ms	(/ 1.0 (sin B))
7.0ms	(* x (cos B))
25.0ms	(/ (* x (cos B)) (sin B))

simplify1.5min

Counts

93 → 93

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	14	10
2	21	10
3	27	10
4	33	10
5	42	10
6	55	10
7	73	10
8	89	10
9	96	10
10	113	10
11	115	10
done	115	10
0	8	9
1	14	9
2	20	9
3	29	9
4	32	9
5	38	9
6	47	9
7	60	9
8	78	9
9	94	9
10	101	9
11	118	9
12	120	9
done	120	9
0	7	8
1	13	8
2	25	8
3	44	8
4	60	8
5	68	8
6	80	8
7	98	8
8	114	8
9	121	8
10	138	8
11	140	8
done	140	8
0	7	8
1	10	8
2	14	8
3	19	8
4	28	8
5	41	8
6	74	8
7	157	8
8	373	8
9	1024	8
10	4617	8
done	5000	8
0	12	23
1	27	23
2	123	13
3	558	13
4	2274	11
done	5001	11
0	10	23
1	29	23
2	130	11
3	691	9
4	2651	9
5	4980	9
done	5000	9
0	8	17
1	11	17
2	15	17
3	18	17
4	19	17
done	19	17
0	7	8
1	10	8
2	14	8
3	17	8
4	18	8
done	18	8
0	8	23
1	18	23
2	59	9
3	238	9
4	999	9
5	2950	9
done	5000	9
0	7	8
1	10	8
2	14	8
3	17	8
4	18	8
done	18	8
0	7	8
1	10	8
2	14	8
3	17	8
4	18	8
done	18	8
0	5	5
1	10	5
2	12	5
done	12	5
0	3	3
done	3	3
0	6	9
1	8	9
done	8	9
0	5	6
done	5	6
0	5	5
done	5	5
0	5	6
done	5	6
0	3	3
1	5	1
done	5	1
0	4	5
done	4	5
0	4	4
1	6	4
done	6	4
0	6	7
1	9	7
2	11	7
done	11	7
0	8	12
1	16	12
2	30	12
3	43	12
4	47	12
done	47	12
0	7	8
1	10	8
2	14	8
3	17	8
4	18	8
done	18	8
0	6	6
1	11	4
2	19	4
3	28	4
4	33	4
done	33	4
0	4	5
done	4	5
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	14
2	49	8
3	116	6
4	194	6
5	312	6
6	773	6
7	3351	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	194	6
6	322	6
7	819	6
8	3546	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	12	16
1	22	15
2	44	15
3	98	15
4	281	15
5	675	15
6	1616	13
done	5000	13
0	11	15
1	19	15
2	42	15
3	96	15
4	202	15
5	278	15
6	291	13
7	300	13
8	315	12
9	340	12
10	455	12
11	868	12
12	1453	12
13	1645	12
14	1713	12
15	1740	12
16	1779	12
done	1779	12
0	11	15
1	22	15
2	51	15
3	123	15
4	294	15
5	595	15
6	1404	13
7	4412	13
done	5001	12
0	12	31
1	20	31
2	43	31
3	97	31
4	203	31
5	279	31
6	292	27
7	298	27
8	307	25
9	322	25
10	415	25
11	794	25
12	1228	25
13	1336	25
14	1358	25
15	1363	25
done	1363	25
0	11	15
1	19	15
2	42	15
3	96	15
4	202	15
5	278	15
6	291	13
7	297	13
8	306	12
9	321	12
10	414	12
11	789	12
12	1227	12
13	1324	12
14	1346	12
15	1354	12
done	1354	12
0	12	44
1	21	44
2	58	16
3	199	16
4	1023	16
done	5001	16
0	11	15
1	19	15
2	42	15
3	96	15
4	202	15
5	278	15
6	291	13
7	297	13
8	306	12
9	321	12
10	414	12
11	789	12
12	1227	12
13	1324	12
14	1346	12
15	1354	12
done	1354	12
0	11	15
1	19	15
2	42	15
3	96	15
4	202	15
5	278	15
6	291	13
7	297	13
8	306	12
9	321	12
10	414	12
11	789	12
12	1227	12
13	1324	12
14	1346	12
15	1354	12
done	1354	12
0	7	8
1	13	8
2	30	8
3	60	8
4	68	8
5	75	8
6	76	8
done	76	8
0	10	14
1	19	14
2	52	11
3	154	11
4	277	11
5	290	11
6	310	11
7	317	11
8	434	11
9	777	11
10	904	11
done	904	11
0	3	5
done	3	5
0	13	18
1	39	18
2	136	18
3	666	18
4	4623	18
done	5000	18
0	14	44
1	41	34
2	128	34
3	431	34
4	1642	31
5	3786	26
done	5000	26
0	9	10
1	19	10
2	45	10
3	106	10
4	206	10
5	277	10
6	287	10
done	287	10
0	12	29
1	34	29
2	107	29
3	425	29
4	2001	27
done	5000	27
0	10	14
1	17	14
2	31	14
3	51	14
4	80	14
5	94	11
6	100	11
7	108	11
8	120	11
9	171	11
10	306	11
11	403	11
12	429	11
13	433	11
done	433	11
0	9	12
1	16	12
2	25	12
3	39	12
4	52	12
5	55	12
done	55	12
0	9	10
1	19	10
2	45	10
3	106	10
4	206	10
5	277	10
6	287	10
done	287	10
0	7	9
1	13	9
2	31	9
3	58	9
4	60	9
done	60	9
0	6	7
1	9	7
2	13	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	13	7
3	16	7
4	17	7
done	17	7
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	13	15
1	32	15
2	59	13
3	87	13
4	141	13
5	285	13
6	809	13
7	3120	13
done	5000	13
0	4	4
done	4	4
0	4	4
done	4	4
0	12	15
1	26	15
2	49	13
3	70	13
4	100	11
5	188	11
6	349	11
7	601	11
8	902	11
9	1090	11
10	1144	11
11	1145	11
done	1145	11
0	12	16
1	27	14
2	55	14
3	111	14
4	242	11
5	507	11
6	912	11
7	1142	11
8	1190	11
9	1195	11
done	1195	11
0	12	16
1	27	14
2	55	14
3	111	14
4	242	11
5	507	11
6	912	11
7	1142	11
8	1190	11
9	1195	11
done	1195	11

prune145.0ms

Filtered

75 candidates to 93 candidates (-24.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	92	9	101

Merged error: 0.0b

Counts

101 → 9

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ (- 1.0 (* 1.0 (* x (cos B)))) (sin B))
0.2b	(* x (cos B))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

2 → 48

Calls

2 calls:

6.0ms	(/ (- 1.0 (* 1.0 (* x (cos B)))) (sin B))
5.0ms	(* x (cos B))

series31.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(/ (- 1.0 (* 1.0 (* x (cos B)))) (sin B))
7.0ms	(* x (cos B))

simplify1.5min

Counts

54 → 54

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	11	13
1	19	13
2	37	13
3	67	13
4	76	13
5	90	13
6	98	13
7	101	13
8	107	13
9	116	13
10	129	13
11	147	13
12	163	13
13	170	13
14	187	13
15	189	13
done	189	13
0	10	12
1	22	12
2	49	12
3	105	12
4	188	12
5	286	12
6	354	12
7	380	12
8	391	12
9	528	12
10	1107	12
11	1708	12
12	1955	12
13	2018	12
14	2043	12
done	2043	12
0	10	12
1	19	12
2	47	12
3	102	12
4	189	12
5	315	12
6	493	12
7	973	12
8	2761	12
done	5000	12
0	13	35
1	28	35
2	92	15
3	313	13
4	1525	13
done	5000	13
0	11	25
1	20	25
2	45	25
3	100	25
4	182	25
5	271	25
6	325	25
7	340	25
8	344	25
9	462	25
10	969	25
11	1470	25
12	1645	25
13	1661	25
14	1666	25
done	1666	25
0	10	12
1	19	12
2	44	12
3	97	12
4	177	12
5	266	12
6	320	12
7	335	12
8	339	12
9	457	12
10	968	12
11	1450	12
12	1635	12
13	1651	12
14	1659	12
done	1659	12
0	11	35
1	27	35
2	80	13
3	301	13
4	1476	13
done	5000	13
0	10	12
1	19	12
2	44	12
3	97	12
4	177	12
5	266	12
6	320	12
7	335	12
8	339	12
9	457	12
10	968	12
11	1450	12
12	1635	12
13	1651	12
14	1659	12
done	1659	12
0	10	12
1	19	12
2	44	12
3	97	12
4	177	12
5	266	12
6	320	12
7	335	12
8	339	12
9	457	12
10	968	12
11	1450	12
12	1635	12
13	1651	12
14	1659	12
done	1659	12
0	8	9
1	14	9
2	33	9
3	78	9
4	145	8
5	179	8
6	196	8
7	198	8
8	289	8
9	640	8
10	660	8
done	660	8
0	3	3
done	3	3
0	4	4
done	4	4
0	8	9
1	14	9
2	29	9
3	55	9
4	78	9
5	85	9
6	89	9
done	89	9
0	13	27
1	25	27
2	51	27
3	85	27
4	93	27
5	100	27
6	101	27
done	101	27
0	11	13
1	17	13
2	34	13
3	64	13
4	72	13
5	79	13
6	80	13
done	80	13
0	12	23
1	20	23
2	39	23
3	70	23
4	76	23
5	83	23
6	84	23
done	84	23
0	11	13
1	17	13
2	34	13
3	64	13
4	72	13
5	79	13
6	80	13
done	80	13
0	11	21
1	21	19
2	44	19
3	76	19
4	80	19
5	87	19
6	88	19
done	88	19
0	10	12
1	16	12
2	33	12
3	63	12
4	69	12
5	76	12
6	77	12
done	77	12
0	12	17
1	20	17
2	37	17
3	67	17
4	73	17
5	80	17
6	81	17
done	81	17
0	11	13
1	17	13
2	34	13
3	64	13
4	72	13
5	79	13
6	80	13
done	80	13
0	11	13
1	17	13
2	34	13
3	64	13
4	72	13
5	79	13
6	80	13
done	80	13
0	11	13
1	17	13
2	34	13
3	64	13
4	72	13
5	79	13
6	80	13
done	80	13
0	10	11
1	18	9
2	37	9
3	66	9
4	70	9
5	77	9
6	78	9
done	78	9
0	10	12
1	16	12
2	33	12
3	63	12
4	69	12
5	76	12
6	77	12
done	77	12
0	6	9
1	10	9
done	10	9
0	10	12
1	19	12
2	44	12
3	97	12
4	177	12
5	266	12
6	320	12
7	335	12
8	339	12
9	457	12
10	968	12
11	1445	12
12	1620	12
13	1636	12
14	1642	12
done	1642	12
0	5	5
1	7	5
done	7	5
0	10	12
1	19	12
2	44	12
3	97	12
4	177	12
5	266	12
6	320	12
7	335	12
8	339	12
9	457	12
10	968	12
11	1445	12
12	1620	12
13	1636	12
14	1642	12
done	1642	12
0	2	3
1	4	1
done	4	1
0	9	11
1	18	11
2	43	11
3	98	11
4	178	11
5	267	11
6	321	11
7	336	11
8	340	11
9	458	11
10	963	11
11	1429	11
12	1603	11
13	1619	11
14	1625	11
done	1625	11
0	4	4
1	6	4
done	6	4
0	9	11
1	15	11
2	32	11
3	60	11
4	68	11
5	77	11
6	78	11
done	78	11
0	11	16
1	22	16
2	58	16
3	162	16
4	389	16
5	696	16
6	855	16
7	895	16
8	904	16
9	1332	16
10	3237	16
11	4542	16
12	4793	16
13	4798	16
done	4798	16
0	10	12
1	19	12
2	44	12
3	97	12
4	177	12
5	266	12
6	320	12
7	335	12
8	339	12
9	457	12
10	968	12
11	1445	12
12	1620	12
13	1636	12
14	1642	12
done	1642	12
0	9	10
1	20	8
2	47	8
3	101	8
4	205	8
5	350	8
6	477	8
7	488	8
8	492	8
done	492	8
0	10	12
1	16	12
2	33	12
3	61	12
4	67	12
5	74	12
6	75	12
done	75	12
0	10	12
1	16	12
2	33	12
3	61	12
4	67	12
5	74	12
6	75	12
done	75	12
0	9	11
1	15	11
2	32	11
3	60	11
4	68	11
5	77	11
6	78	11
done	78	11
0	13	29
1	37	22
2	135	22
3	458	20
4	1158	20
5	1867	20
6	2605	20
7	2826	20
8	2850	20
done	2850	20
0	9	11
1	21	11
2	41	11
3	82	11
4	105	11
5	123	11
6	174	11
7	259	11
done	259	11
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	12	15
1	26	15
2	49	13
3	70	13
4	100	11
5	188	11
6	349	11
7	601	11
8	902	11
9	1090	11
10	1144	11
11	1145	11
done	1145	11
0	12	16
1	27	14
2	55	14
3	111	14
4	242	11
5	507	11
6	912	11
7	1142	11
8	1190	11
9	1195	11
done	1195	11
0	12	16
1	27	14
2	55	14
3	111	14
4	242	11
5	507	11
6	912	11
7	1142	11
8	1190	11
9	1195	11
done	1195	11

prune104.0ms

Filtered

43 candidates to 54 candidates (-25.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	53	1	54
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	54	9	63

Merged error: 0.0b

Counts

63 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (sin B))
0.1b	(/ 1.0 (sin B))
0.2b	(* (* x (/ 1.0 (sin B))) (cos B))
0.3b	(* x (/ 1.0 (sin B)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
29×	`add-cube-cbrt` `*-un-lft-identity`
28×	`times-frac`
22×	`add-exp-log` `add-cbrt-cube`
16×	`associate-r`
11×	`pow1`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-/r` `associate-/l`
4×	`cbrt-undiv` `div-exp` `associate-l` `pow-prod-down` `add-log-exp`
3×	`div-inv`
2×	`frac-2neg` `associate-r/` `clear-num` `-commutative` `unswap-sqr`
1×	`associate-*l/`

Counts

4 → 107

Calls

4 calls:

4.0ms	(/ 1.0 (sin B))
4.0ms	(/ 1.0 (sin B))
8.0ms	(* (* x (/ 1.0 (sin B))) (cos B))
8.0ms	(* x (/ 1.0 (sin B)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ 1.0 (sin B))
5.0ms	(/ 1.0 (sin B))
23.0ms	(* (* x (/ 1.0 (sin B))) (cos B))
19.0ms	(* x (/ 1.0 (sin B)))

simplify57.9s

Counts

119 → 119

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	9
1	14	9
2	21	9
3	30	9
4	36	9
5	46	9
6	53	9
7	65	9
8	88	9
9	102	9
10	108	9
done	108	9
0	8	8
1	12	8
2	18	8
3	27	8
4	37	8
5	46	8
6	51	8
7	60	8
8	77	8
9	96	8
10	104	8
done	104	8
0	7	7
1	13	7
2	22	7
3	36	7
4	56	7
5	69	7
6	81	7
7	99	7
8	115	7
9	122	7
10	139	7
11	141	7
done	141	7
0	7	7
1	12	7
2	21	7
3	35	7
4	68	7
5	149	7
6	358	7
7	1389	7
done	5001	7
0	12	20
1	27	20
2	105	12
3	445	10
4	1709	10
done	5000	10
0	10	20
1	23	20
2	72	10
3	228	10
4	784	8
5	2443	8
done	5000	8
0	8	15
1	11	15
2	14	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	20
1	21	20
2	75	8
3	270	8
4	861	8
5	2536	8
done	5000	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	8	13
1	11	13
2	13	13
done	13	13
0	7	7
1	8	7
done	8	7
0	10	15
1	19	15
2	48	15
3	90	15
4	146	15
5	162	15
done	162	15
0	9	11
1	14	11
2	24	11
3	39	11
4	52	11
5	54	11
done	54	11
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	9	12
1	14	12
2	25	12
3	38	12
4	50	12
done	50	12
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	8	11
1	15	11
2	25	9
3	33	9
4	53	9
5	85	9
6	90	9
done	90	9
0	7	7
1	12	7
2	15	5
3	16	5
4	21	5
5	22	5
done	22	5
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	3	3
1	4	3
done	4	3
0	8	9
1	14	9
2	29	9
3	48	9
4	71	9
5	85	9
6	88	9
done	88	9
0	8	9
1	14	9
2	29	9
3	48	9
4	71	9
5	85	9
6	88	9
done	88	9
0	12	13
1	20	13
2	40	13
3	87	13
4	132	13
5	217	13
6	279	13
7	376	13
8	510	13
9	592	13
done	592	13
0	11	12
1	18	12
2	32	12
3	65	12
4	123	12
5	205	12
6	244	12
7	318	12
8	433	12
9	563	12
10	572	12
done	572	12
0	10	11
1	17	11
2	30	11
3	55	11
4	106	11
5	183	11
6	286	11
7	376	11
8	470	11
9	542	11
10	614	11
done	614	11
0	9	10
1	18	10
2	43	10
3	90	10
4	170	10
5	272	10
6	375	10
7	485	10
8	569	10
9	622	10
10	711	10
11	712	10
done	712	10
0	9	10
1	17	10
2	43	10
3	84	10
4	177	10
5	397	10
6	956	10
7	2555	10
done	5001	10
0	16	29
1	37	29
2	160	17
3	962	15
done	5000	15
0	14	29
1	33	29
2	124	15
3	565	15
4	2850	13
done	5001	13
0	12	29
1	31	29
2	125	13
3	670	13
4	3247	11
done	5001	11
0	10	21
1	16	21
2	31	21
3	50	21
4	73	21
5	87	21
6	90	21
done	90	21
0	9	10
1	15	10
2	30	10
3	49	10
4	72	10
5	86	10
6	89	10
done	89	10
0	10	29
1	26	29
2	115	11
3	684	11
4	3528	11
done	5001	11
0	9	10
1	15	10
2	30	10
3	49	10
4	72	10
5	86	10
6	89	10
done	89	10
0	9	10
1	15	10
2	30	10
3	49	10
4	72	10
5	86	10
6	89	10
done	89	10
0	10	14
1	18	14
2	42	14
3	87	14
4	147	14
5	196	14
6	210	14
7	214	14
done	214	14
0	9	10
1	15	10
2	30	10
3	49	10
4	72	10
5	86	10
6	89	10
done	89	10
0	8	8
1	16	6
2	37	6
3	74	6
4	90	6
5	104	6
6	110	6
done	110	6
0	6	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	14
2	49	8
3	116	6
4	194	6
5	312	6
6	773	6
7	3351	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	194	6
6	322	6
7	819	6
8	3546	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	14
2	49	8
3	116	6
4	194	6
5	312	6
6	773	6
7	3351	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	194	6
6	322	6
7	819	6
8	3546	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	9	11
1	17	11
2	26	11
3	30	11
4	35	9
5	37	9
done	37	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	11
1	18	11
2	38	11
3	67	11
4	80	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	13	15
1	32	15
2	59	13
3	87	13
4	141	13
5	285	13
6	809	13
7	3120	13
done	5000	13
0	4	4
done	4	4
0	4	4
done	4	4
0	13	15
1	32	15
2	59	13
3	87	13
4	141	13
5	285	13
6	809	13
7	3120	13
done	5000	13
0	4	4
done	4	4
0	4	4
done	4	4

prune150.0ms

Filtered

96 candidates to 119 candidates (-24.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	119	9	128

Merged error: 0.0b

Counts

128 → 9

regimes133.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample2.1s

Algorithm

intervals

Results

802.0ms	1755×	body	1280	valid
431.0ms	1441×	body	640	valid
375.0ms	4874×	body	80	valid
153.0ms	721×	body	320	valid
56.0ms	367×	body	160	valid

Details

sample100.0ms

simplify36.0ms

prune11.0ms

localize18.0ms

rewrite31.0ms

series95.0ms

simplify1.1min

prune206.0ms

localize12.0ms

rewrite25.0ms

series66.0ms

simplify1.5min

prune145.0ms

localize10.0ms

rewrite12.0ms

series31.0ms

simplify1.5min

prune104.0ms

localize11.0ms

rewrite29.0ms

series53.0ms

simplify57.9s

prune150.0ms

regimes133.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling