Details

sample44.0ms

Algorithm

intervals

Results

13.0ms	48×	body	1280	valid
8.0ms	148×	body	80	valid
7.0ms	35×	body	640	valid
2.0ms	14×	body	320	valid
1.0ms	11×	body	160	valid

simplify45.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	15
1	13	15
2	21	15
3	26	15
4	34	15
5	37	15
done	37	15

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.3b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(- 1.0 (* (tan x) (tan x)))
0.1b	(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
0.2b	(* (tan x) (tan x))
0.2b	(* (tan x) (tan x))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`pow1`
12×	`times-frac`
10×	`add-exp-log` `add-cbrt-cube`
8×	`tan-quot`
6×	`swap-sqr` `associate-r` `associate-l` `add-log-exp`
5×	`difference-of-squares`
4×	`associate-/l*`
3×	`associate-/r*`
2×	`pow2` `frac-times` `flip3--` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `prod-exp` `associate-/r/` `pow-sqr` `*-commutative` `pow-prod-up` `flip--` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-sub` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

4 → 105

Calls

4 calls:

3.0ms	(- 1.0 (* (tan x) (tan x)))
7.0ms	(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
6.0ms	(* (tan x) (tan x))
9.0ms	(* (tan x) (tan x))

series84.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- 1.0 (* (tan x) (tan x)))
42.0ms	(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
10.0ms	(* (tan x) (tan x))
21.0ms	(* (tan x) (tan x))

simplify1.4min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	5	17
1	12	17
2	21	9
3	34	4
4	67	4
5	147	4
6	370	4
7	1337	4
done	5000	4
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	4
4	68	4
5	153	4
6	379	4
7	1358	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	3	5
done	3	5
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	6	1
done	6	1
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	5	17
1	12	17
2	21	9
3	34	4
4	67	4
5	147	4
6	370	4
7	1337	4
done	5000	4
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	4
4	68	4
5	153	4
6	379	4
7	1358	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	3	5
done	3	5
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	6	1
done	6	1
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	9	17
1	14	17
2	19	17
done	19	17
0	8	16
1	17	16
2	27	16
3	33	16
4	41	16
5	44	16
done	44	16
0	8	16
1	14	16
2	25	16
3	32	16
4	45	16
5	63	16
6	92	16
7	194	16
8	551	16
9	1740	16
done	5000	16
0	11	47
1	35	47
2	126	19
3	383	17
4	1138	17
5	4178	17
done	5000	17
0	9	33
1	15	33
2	23	33
3	28	33
4	36	33
5	39	33
done	39	33
0	8	16
1	14	16
2	22	16
3	27	16
4	35	16
5	38	16
done	38	16
0	9	47
1	22	47
2	58	17
3	203	17
4	751	17
5	2864	17
done	5000	17
0	8	16
1	14	16
2	22	16
3	27	16
4	35	16
5	38	16
done	38	16
0	8	16
1	14	16
2	22	16
3	27	16
4	35	16
5	38	16
done	38	16
0	6	8
1	8	8
2	15	8
3	21	8
4	27	7
done	27	7
0	6	8
1	10	8
2	15	8
3	16	8
done	16	8
0	6	9
1	7	9
done	7	9
0	6	13
1	9	13
2	11	13
3	12	13
done	12	13
0	11	35
1	20	35
2	33	35
3	39	35
done	39	35
0	9	17
1	12	17
2	16	17
done	16	17
0	10	26
1	15	26
2	21	26
3	22	26
done	22	26
0	9	17
1	12	17
2	16	17
done	16	17
0	9	19
1	15	17
2	25	17
3	30	17
done	30	17
0	8	16
1	11	16
2	15	16
done	15	16
0	10	26
1	15	26
2	19	26
done	19	26
0	9	17
1	12	17
2	16	17
done	16	17
0	9	17
1	12	17
2	16	17
done	16	17
0	9	17
1	12	17
2	16	17
done	16	17
0	8	10
1	12	8
2	18	8
done	18	8
0	8	16
1	11	16
2	15	16
done	15	16
0	9	19
1	14	19
done	14	19
0	8	16
1	14	16
2	22	16
3	27	16
4	35	16
5	38	16
done	38	16
0	8	10
1	11	10
done	11	10
0	8	16
1	14	16
2	22	16
3	27	16
4	35	16
5	38	16
done	38	16
0	2	3
1	4	1
done	4	1
0	7	15
1	13	15
2	21	15
3	26	15
4	34	15
5	37	15
done	37	15
0	10	23
1	14	23
done	14	23
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	9	14
1	11	14
done	11	14
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	7	7
1	10	5
2	12	5
done	12	5
0	8	13
1	14	13
2	17	13
3	19	13
done	19	13
0	7	9
1	10	9
done	10	9
0	7	15
1	10	15
2	14	15
done	14	15
0	9	25
1	17	25
2	32	25
3	50	25
4	73	25
5	85	25
6	89	25
done	89	25
0	8	16
1	14	16
2	22	16
3	27	16
4	35	16
5	38	16
done	38	16
0	7	9
1	14	7
2	24	7
3	30	7
4	43	7
5	49	7
6	53	7
done	53	7
0	8	16
1	11	16
2	15	16
done	15	16
0	8	16
1	11	16
2	15	16
done	15	16
0	7	15
1	10	15
2	14	15
done	14	15
0	8	13
1	11	13
2	12	13
done	12	13
0	10	19
1	31	19
2	63	16
3	108	16
4	213	16
5	492	15
6	1526	15
done	5000	15
0	9	23
1	22	23
2	57	19
3	139	16
4	267	9
5	488	8
6	1079	8
7	4684	8
done	5000	8
0	11	31
1	31	25
2	91	24
3	230	22
4	456	22
5	905	20
6	1758	20
7	4251	20
done	5000	20
0	6	15
1	13	15
2	30	15
3	58	15
4	83	15
5	117	15
6	155	15
7	187	13
8	283	13
9	570	13
10	1734	13
done	5000	13
0	7	9
1	11	8
2	17	8
3	30	8
4	58	8
5	130	8
6	358	8
7	1346	8
done	5001	8
0	6	8
1	8	8
2	12	8
done	12	8
0	6	8
1	11	8
2	19	8
3	29	8
4	50	8
5	105	8
6	301	8
7	1107	8
8	4551	8
done	5000	8
0	7	17
1	9	17
2	13	17
done	13	17
0	6	8
1	8	8
2	12	8
done	12	8
0	7	23
1	10	23
2	28	9
3	87	9
4	286	9
5	883	9
6	2530	9
done	5000	9
0	6	8
1	8	8
2	12	8
done	12	8
0	6	8
1	8	8
2	12	8
done	12	8
0	8	11
1	25	11
2	68	8
3	166	8
4	398	8
5	1313	8
done	5002	8
0	9	23
1	22	17
2	42	16
3	56	14
4	72	14
5	100	13
6	180	13
7	416	13
8	1399	13
done	5000	13
0	4	6
1	7	6
done	7	6
0	7	15
1	16	15
2	31	11
3	67	8
4	126	8
5	254	8
6	508	8
7	1338	8
done	5001	8
0	5	7
1	6	7
done	6	7
0	5	5
1	6	5
done	6	5
0	5	5
1	7	5
2	8	5
done	8	5
0	4	6
1	7	6
done	7	6
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	11	23
1	25	23
2	59	23
3	131	23
4	542	23
5	4314	23
done	5000	23
0	11	23
1	25	23
2	59	23
3	131	23
4	542	23
5	4314	23
done	5000	23
0	10	11
1	24	11
2	59	11
3	109	11
4	207	11
5	394	11
6	800	11
7	1730	11
8	4857	11
done	5000	11
0	9	11
1	19	11
2	49	11
3	104	11
4	378	11
5	2599	11
done	5000	11
0	9	11
1	19	11
2	49	11
3	104	11
4	378	11
5	2599	11
done	5000	11

prune226.0ms

Filtered

82 candidates to 117 candidates (-42.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	106	11	117
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	11	118

Merged error: 0.0b

Counts

118 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (+ 1.0 (pow (tan x) 2)))
0.2b	(* (/ 1 (+ 1.0 (pow (tan x) 2))) (- 1.0 (* (tan x) (tan x))))
0.2b	(* (tan x) (tan x))
0.2b	(pow (tan x) 2)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity`
38×	`add-sqr-sqrt`
28×	`add-cube-cbrt`
26×	`times-frac`
21×	`associate-l`
20×	`add-exp-log`
15×	`pow1`
13×	`add-cbrt-cube`
7×	`associate-r` `distribute-lft-out`
5×	`prod-exp`
4×	`tan-quot` `div-exp` `associate-/r*` `associate-/r/` `add-log-exp` `unswap-sqr`
3×	`frac-times` `unpow-prod-down` `pow-unpow` `associate-r/` `swap-sqr` `cbrt-unprod` `associate-/l`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `rec-exp` `flip3--` `distribute-lft-in` `flip3-+` `1-exp` `pow-prod-down` `associate-l/` `-commutative` `flip--` `flip-+` `div-inv`
1×	`pow2` `pow-to-exp` `pow-flip` `pow-pow` `frac-2neg` `pow-plus` `pow-exp` `clear-num` `pow-sqr` `pow-prod-up` `unpow2` `inv-pow` `difference-of-squares` `sqr-pow`

Counts

4 → 132

Calls

4 calls:

8.0ms	(/ 1 (+ 1.0 (pow (tan x) 2)))
14.0ms	(* (/ 1 (+ 1.0 (pow (tan x) 2))) (- 1.0 (* (tan x) (tan x))))
6.0ms	(* (tan x) (tan x))
3.0ms	(pow (tan x) 2)

series84.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ 1 (+ 1.0 (pow (tan x) 2)))
41.0ms	(* (/ 1 (+ 1.0 (pow (tan x) 2))) (- 1.0 (* (tan x) (tan x))))
10.0ms	(* (tan x) (tan x))
10.0ms	(pow (tan x) 2)

simplify7.4min

Counts

144 → 144

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	9	8
2	16	8
3	40	8
4	99	8
5	254	8
6	869	8
7	3272	8
done	5000	8
0	5	5
1	8	5
2	13	5
3	31	5
4	71	5
5	175	5
6	553	5
7	2156	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	11	9
2	23	9
3	42	9
4	93	5
5	207	5
6	580	5
7	2200	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	122	5
6	342	5
7	1368	5
done	5001	5
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	3	3
1	9	1
2	13	1
done	13	1
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	5	5
1	12	5
2	22	5
3	36	5
4	84	5
5	233	5
6	773	5
7	3431	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	38	5
4	78	5
5	203	5
6	666	5
7	3112	5
done	5000	5
0	6	11
1	11	11
2	19	11
3	30	11
4	55	11
5	124	11
6	344	11
7	1369	11
done	5001	11
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	120	5
6	333	5
7	1369	5
done	5000	5
0	6	14
1	15	9
2	52	6
3	100	6
4	229	4
5	718	4
6	2661	4
done	5000	4
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	5	17
1	12	17
2	21	9
3	34	4
4	67	4
5	147	4
6	370	4
7	1337	4
done	5000	4
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	4
4	68	4
5	153	4
6	379	4
7	1358	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	3	5
done	3	5
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	6	1
done	6	1
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	11	16
1	22	15
2	50	13
3	139	13
4	380	13
5	1063	13
6	3658	13
done	5000	13
0	12	17
1	20	16
2	36	15
3	54	15
4	101	15
5	245	15
6	779	15
7	3266	15
done	5000	15
0	13	18
1	25	16
2	52	15
3	85	15
4	158	15
5	323	15
6	862	15
7	3359	15
done	5000	15
0	14	19
1	27	17
2	50	16
3	90	15
4	163	15
5	321	15
6	855	15
7	3300	15
done	5001	15
0	13	18
1	26	16
2	45	15
3	74	15
4	129	15
5	304	15
6	864	15
7	3299	15
done	5000	15
0	12	17
1	26	16
2	60	14
3	158	14
4	415	14
5	1091	14
6	3629	14
done	5000	14
0	12	17
1	25	16
2	58	14
3	174	14
4	492	14
5	1460	14
done	5001	14
0	17	50
1	51	43
2	179	17
3	751	17
4	3644	17
done	5000	17
0	15	50
1	36	47
2	116	19
3	465	19
4	2402	15
done	5001	15
0	13	35
1	24	33
2	52	29
3	141	29
4	385	29
5	1061	29
6	3712	29
done	5000	29
0	12	17
1	23	16
2	51	14
3	140	14
4	382	14
5	1062	14
6	3653	14
done	5000	14
0	13	50
1	34	47
2	131	15
3	605	15
4	2871	15
done	5000	15
0	12	17
1	23	16
2	51	14
3	140	14
4	382	14
5	1062	14
6	3653	14
done	5000	14
0	12	17
1	23	16
2	51	14
3	140	14
4	382	14
5	1062	14
6	3653	14
done	5000	14
0	10	13
1	30	11
2	82	8
3	246	8
4	844	8
5	2636	8
done	5001	8
0	13	30
1	38	22
2	129	22
3	303	20
4	875	20
5	3336	20
done	5001	20
0	9	17
1	21	15
2	49	11
3	142	8
4	331	8
5	547	8
6	1004	8
7	2369	8
done	5000	8
0	9	14
1	22	13
2	51	13
3	103	13
4	232	13
5	607	13
6	2287	13
done	5001	13
0	13	18
1	22	17
2	35	17
3	53	17
4	99	17
5	245	17
6	772	17
7	3183	17
done	5001	17
0	13	18
1	22	17
2	35	17
3	53	17
4	99	17
5	245	17
6	772	17
7	3183	17
done	5001	17
0	14	19
1	25	17
2	41	17
3	61	15
4	118	15
5	270	15
6	797	15
7	3201	15
done	5000	15
0	14	19
1	25	17
2	41	17
3	61	15
4	118	15
5	270	15
6	797	15
7	3201	15
done	5000	15
0	13	18
1	24	17
2	40	15
3	71	15
4	118	15
5	261	15
6	790	15
7	3258	15
done	5000	15
0	13	18
1	24	17
2	40	15
3	71	15
4	118	15
5	261	15
6	790	15
7	3258	15
done	5000	15
0	9	10
1	19	10
2	28	8
3	39	8
4	61	8
5	123	8
6	342	8
7	1308	8
done	5000	8
0	11	15
1	25	14
2	58	12
3	175	12
4	506	12
5	1337	12
6	4256	12
done	5000	12
0	9	10
1	19	10
2	28	8
3	39	8
4	61	8
5	123	8
6	342	8
7	1308	8
done	5000	8
0	11	15
1	25	14
2	58	12
3	175	12
4	506	12
5	1337	12
6	4256	12
done	5000	12
0	9	10
1	19	10
2	28	8
3	40	8
4	69	8
5	141	8
6	351	8
7	1320	8
done	5001	8
0	11	15
1	25	14
2	58	12
3	184	12
4	461	12
5	1298	12
6	4542	12
done	5000	12
0	9	10
1	19	10
2	28	8
3	40	8
4	69	8
5	141	8
6	351	8
7	1320	8
done	5001	8
0	11	15
1	25	14
2	58	12
3	184	12
4	461	12
5	1298	12
6	4542	12
done	5000	12
0	13	26
1	26	24
2	47	22
3	93	22
4	151	22
5	295	22
6	820	22
7	3255	22
done	5000	22
0	12	17
1	23	16
2	39	14
3	70	14
4	117	14
5	258	14
6	793	14
7	3222	14
done	5001	14
0	9	10
1	19	8
2	25	8
3	36	8
4	60	8
5	127	8
6	350	8
7	1318	8
done	5000	8
0	11	14
1	28	14
2	50	12
3	96	12
4	137	12
5	259	12
6	845	12
7	2832	12
done	5001	12
0	12	17
1	21	16
2	40	16
3	79	16
4	166	16
5	480	16
6	1675	16
done	5001	16
0	12	17
1	21	16
2	40	16
3	79	16
4	166	16
5	480	16
6	1675	16
done	5001	16
0	13	18
1	24	16
2	52	16
3	116	14
4	357	14
5	1025	14
6	3666	14
done	5000	14
0	13	18
1	24	16
2	52	16
3	116	14
4	357	14
5	1025	14
6	3666	14
done	5000	14
0	12	17
1	23	15
2	51	15
3	115	13
4	361	13
5	1011	13
6	3600	13
done	5001	13
0	12	17
1	23	15
2	51	15
3	115	13
4	361	13
5	1011	13
6	3600	13
done	5001	13
0	13	18
1	24	16
2	52	16
3	116	14
4	357	14
5	1025	14
6	3666	14
done	5000	14
0	13	18
1	24	16
2	52	16
3	116	14
4	357	14
5	1025	14
6	3666	14
done	5000	14
0	12	17
1	23	15
2	51	15
3	115	13
4	361	13
5	1011	13
6	3600	13
done	5001	13
0	12	17
1	23	15
2	51	15
3	115	13
4	361	13
5	1011	13
6	3600	13
done	5001	13
0	12	17
1	23	16
2	51	14
3	140	14
4	385	14
5	1056	14
6	3743	14
done	5000	14
0	12	17
1	23	16
2	51	14
3	140	14
4	385	14
5	1056	14
6	3743	14
done	5000	14
0	11	16
1	22	15
2	50	13
3	139	13
4	380	13
5	1063	13
6	3658	13
done	5000	13
0	11	16
1	22	15
2	50	13
3	139	13
4	380	13
5	1063	13
6	3658	13
done	5000	13
0	11	16
1	22	15
2	50	13
3	139	13
4	380	13
5	1063	13
6	3658	13
done	5000	13
0	11	16
1	22	15
2	50	13
3	139	13
4	380	13
5	1063	13
6	3658	13
done	5000	13
0	13	28
1	31	22
2	101	22
3	271	20
4	1046	20
done	5000	20
0	9	14
1	18	13
2	39	13
3	82	13
4	244	13
5	1012	13
done	5000	13
0	14	20
1	39	19
2	122	15
3	492	15
4	2529	15
done	5000	15
0	13	24
1	31	22
2	87	15
3	332	8
4	1429	6
done	5001	6
0	7	9
1	12	7
2	25	7
3	44	7
4	66	7
5	76	7
done	76	7
0	2	2
1	5	1
done	5	1
0	8	8
1	14	8
2	22	8
3	33	8
4	58	8
5	128	8
6	351	8
7	1375	8
done	5000	8
0	9	9
1	17	8
2	28	8
3	41	8
4	72	8
5	142	8
6	364	8
7	1398	8
done	5001	8
0	10	10
1	19	9
2	26	8
3	43	8
4	71	8
5	141	8
6	356	8
7	1339	8
done	5000	8
0	9	9
1	20	8
2	27	8
3	42	8
4	66	8
5	136	8
6	361	8
7	1336	8
done	5001	8
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	12	26
1	39	22
2	107	10
3	303	10
4	1015	10
5	3135	10
done	5000	10
0	10	19
1	17	19
2	23	19
3	34	19
4	58	19
5	125	19
6	345	19
7	1319	19
done	5000	19
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	10	26
1	24	26
2	46	10
3	93	10
4	138	10
5	286	10
6	987	10
done	5000	10
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	2	2
1	5	1
done	5	1
0	7	7
1	16	7
2	32	7
3	51	7
4	100	7
5	241	7
6	783	7
7	3262	7
done	5000	7
0	12	21
1	25	19
2	40	17
3	57	17
4	79	17
5	144	17
6	362	17
7	1335	17
done	5001	17
0	10	10
1	17	9
2	23	9
3	34	9
4	56	9
5	120	9
6	331	9
7	1313	9
done	5001	9
0	11	13
1	20	11
2	28	9
3	40	9
4	62	9
5	128	9
6	354	9
7	1331	9
done	5001	9
0	10	10
1	17	9
2	23	9
3	34	9
4	56	9
5	120	9
6	331	9
7	1313	9
done	5001	9
0	4	7
1	8	3
2	12	1
done	12	1
0	9	9
1	16	8
2	22	8
3	33	8
4	55	8
5	123	8
6	338	8
7	1310	8
done	5001	8
0	4	7
1	8	3
2	12	1
done	12	1
0	9	9
1	16	8
2	22	8
3	33	8
4	55	8
5	123	8
6	338	8
7	1310	8
done	5001	8
0	11	18
1	20	17
2	26	17
3	37	17
4	59	17
5	127	17
6	352	17
7	1327	17
done	5000	17
0	10	10
1	17	9
2	23	9
3	34	9
4	56	9
5	120	9
6	331	9
7	1313	9
done	5001	9
0	10	10
1	17	9
2	23	9
3	34	9
4	56	9
5	120	9
6	331	9
7	1313	9
done	5001	9
0	10	10
1	17	9
2	23	9
3	34	9
4	56	9
5	120	9
6	331	9
7	1313	9
done	5001	9
0	3	4
1	5	1
done	5	1
0	9	9
1	16	8
2	22	8
3	33	8
4	55	8
5	123	8
6	338	8
7	1310	8
done	5001	8
0	3	4
1	5	1
done	5	1
0	9	9
1	16	8
2	22	8
3	33	8
4	55	8
5	123	8
6	338	8
7	1310	8
done	5001	8
0	10	17
1	19	17
2	25	17
3	36	17
4	60	17
5	127	17
6	350	17
7	1318	17
done	5000	17
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	8	8
1	15	8
2	21	8
3	32	8
4	56	8
5	127	8
6	339	8
7	1301	8
done	5000	8
0	2	3
1	4	1
done	4	1
0	8	8
1	15	8
2	21	8
3	32	8
4	56	8
5	127	8
6	339	8
7	1301	8
done	5000	8
0	8	8
1	15	8
2	21	8
3	32	8
4	56	8
5	127	8
6	339	8
7	1301	8
done	5000	8
0	8	8
1	15	6
2	23	6
3	34	6
4	56	6
5	123	6
6	341	6
7	1324	6
done	5000	6
0	10	17
1	19	17
2	25	17
3	36	17
4	60	17
5	127	17
6	350	17
7	1318	17
done	5000	17
0	9	9
1	16	9
2	22	9
3	33	9
4	55	9
5	125	9
6	344	9
7	1312	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	2	3
1	4	1
done	4	1
0	9	9
1	16	8
2	22	8
3	33	8
4	55	8
5	125	8
6	343	8
7	1316	8
done	5000	8
0	9	9
1	16	8
2	22	8
3	33	8
4	55	8
5	125	8
6	343	8
7	1316	8
done	5000	8
0	8	8
1	15	6
2	23	6
3	34	6
4	56	6
5	123	6
6	341	6
7	1324	6
done	5000	6
0	11	12
1	30	12
2	76	12
3	184	10
4	535	10
5	1330	10
done	5000	10
0	10	15
1	24	10
2	54	10
3	144	10
4	425	10
5	1110	10
6	4418	10
done	5000	10
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	11	23
1	25	23
2	59	23
3	131	23
4	542	23
5	4314	23
done	5000	23
0	11	23
1	25	23
2	59	23
3	131	23
4	542	23
5	4314	23
done	5000	23
0	11	13
1	26	13
2	73	13
3	122	13
4	169	13
5	222	13
6	350	13
7	805	13
8	2591	13
done	5000	13
0	11	13
1	21	13
2	46	13
3	119	13
4	401	13
5	1928	13
done	5000	13
0	11	13
1	21	13
2	46	13
3	119	13
4	401	13
5	1928	13
done	5000	13

prune261.0ms

Filtered

92 candidates to 144 candidates (-56.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	141	3	144
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	144	11	155

Merged error: 0.0b

Counts

155 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (tan x) 2)
0.2b	(pow (tan x) 2)
0.2b	(pow (tan x) 2)
0.3b	(+ (/ 1.0 (+ 1.0 (pow (tan x) 2))) (/ (neg (pow (tan x) 2)) (+ 1.0 (pow (tan x) 2))))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
24×	`times-frac`
21×	`distribute-lft-out`
14×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`unpow-prod-down` `pow-unpow`
7×	`pow1` `add-exp-log`
6×	`distribute-rgt-neg-in` `add-log-exp`
4×	`associate-/r/` `add-cbrt-cube`
3×	`pow-to-exp` `distribute-rgt-out` `pow-pow` `flip3-+` `pow-exp` `flip-+` `unpow2` `sqr-pow`
2×	`distribute-frac-neg` `div-inv`
1×	`+-commutative` `neg-sub0` `associate-+r-` `div-sub` `unsub-neg` `frac-add` `sum-log`

Counts

4 → 85

Calls

4 calls:

3.0ms	(pow (tan x) 2)
3.0ms	(pow (tan x) 2)
3.0ms	(pow (tan x) 2)
81.0ms	(+ (/ 1.0 (+ 1.0 (pow (tan x) 2))) (/ (neg (pow (tan x) 2)) (+ 1.0 (pow (tan x) 2))))

series99.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(pow (tan x) 2)
11.0ms	(pow (tan x) 2)
10.0ms	(pow (tan x) 2)
67.0ms	(+ (/ 1.0 (+ 1.0 (pow (tan x) 2))) (/ (neg (pow (tan x) 2)) (+ 1.0 (pow (tan x) 2))))

simplify4.5min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	23
1	23	22
2	45	21
3	77	21
4	166	21
5	500	21
6	1838	21
done	5001	21
0	11	22
1	20	22
2	39	21
3	66	21
4	149	21
5	458	21
6	1722	21
done	5000	21
0	11	22
1	23	22
2	45	21
3	77	21
4	166	21
5	500	21
6	1845	21
done	5000	21
0	12	45
1	21	45
2	40	43
3	67	43
4	150	43
5	454	43
6	1725	43
done	5000	43
0	11	22
1	20	22
2	39	21
3	66	21
4	149	21
5	458	21
6	1722	21
done	5000	21
0	12	65
1	34	65
2	109	22
3	359	22
4	1560	22
done	5001	22
0	11	22
1	20	22
2	39	21
3	66	21
4	149	21
5	458	21
6	1722	21
done	5000	21
0	11	22
1	20	22
2	39	21
3	66	21
4	149	21
5	458	21
6	1722	21
done	5000	21
0	10	21
1	26	21
2	73	14
3	172	13
4	515	13
5	1728	8
done	5001	8
0	7	13
1	19	13
2	48	13
3	100	13
4	223	13
5	598	13
6	2305	13
done	5000	13
0	13	25
1	39	25
2	110	25
3	372	24
4	1895	24
done	5000	24
0	14	65
1	42	52
2	120	52
3	323	51
4	1316	42
done	5000	41
0	12	43
1	33	43
2	86	41
3	223	41
4	874	36
5	4728	36
done	5000	36
0	10	21
1	20	21
2	41	20
3	74	20
4	187	20
5	657	20
6	4061	20
done	5000	20
0	11	23
1	20	23
2	39	22
3	66	22
4	152	22
5	461	22
6	1732	22
done	5001	22
0	11	23
1	20	23
2	39	22
3	66	22
4	152	22
5	461	22
6	1732	22
done	5001	22
0	11	23
1	20	23
2	39	22
3	66	22
4	152	22
5	461	22
6	1732	22
done	5001	22
0	11	23
1	20	23
2	39	22
3	66	22
4	152	22
5	461	22
6	1732	22
done	5001	22
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	10	21
1	19	21
2	38	20
3	65	20
4	148	20
5	453	20
6	1722	20
done	5001	20
0	7	7
1	14	6
2	28	6
3	46	6
4	93	6
5	239	6
6	764	6
7	3244	6
done	5000	6
0	13	29
1	34	29
2	93	28
3	174	24
4	463	24
5	1703	24
done	5001	24
0	12	35
1	28	25
2	80	24
3	188	24
4	612	24
5	2997	24
done	5000	24
0	10	17
1	17	10
2	24	8
3	38	8
4	63	8
5	130	8
6	351	8
7	1383	8
done	5000	8
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	9	8
2	16	8
3	40	8
4	99	8
5	254	8
6	869	8
7	3272	8
done	5000	8
0	5	5
1	8	5
2	13	5
3	31	5
4	71	5
5	175	5
6	553	5
7	2156	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	11	9
2	23	9
3	42	9
4	93	5
5	207	5
6	580	5
7	2200	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	122	5
6	342	5
7	1368	5
done	5001	5
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	3	3
1	9	1
2	13	1
done	13	1
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	5	5
1	12	5
2	22	5
3	36	5
4	84	5
5	233	5
6	773	5
7	3431	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	38	5
4	78	5
5	203	5
6	666	5
7	3112	5
done	5000	5
0	6	11
1	11	11
2	19	11
3	30	11
4	55	11
5	124	11
6	344	11
7	1369	11
done	5001	11
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	120	5
6	333	5
7	1369	5
done	5000	5
0	6	14
1	15	9
2	52	6
3	100	6
4	229	4
5	718	4
6	2661	4
done	5000	4
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	9	8
2	16	8
3	40	8
4	99	8
5	254	8
6	869	8
7	3272	8
done	5000	8
0	5	5
1	8	5
2	13	5
3	31	5
4	71	5
5	175	5
6	553	5
7	2156	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	11	9
2	23	9
3	42	9
4	93	5
5	207	5
6	580	5
7	2200	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	122	5
6	342	5
7	1368	5
done	5001	5
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	3	3
1	9	1
2	13	1
done	13	1
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	5	5
1	12	5
2	22	5
3	36	5
4	84	5
5	233	5
6	773	5
7	3431	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	38	5
4	78	5
5	203	5
6	666	5
7	3112	5
done	5000	5
0	6	11
1	11	11
2	19	11
3	30	11
4	55	11
5	124	11
6	344	11
7	1369	11
done	5001	11
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	120	5
6	333	5
7	1369	5
done	5000	5
0	6	14
1	15	9
2	52	6
3	100	6
4	229	4
5	718	4
6	2661	4
done	5000	4
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	9	8
2	16	8
3	40	8
4	99	8
5	254	8
6	869	8
7	3272	8
done	5000	8
0	5	5
1	8	5
2	13	5
3	31	5
4	71	5
5	175	5
6	553	5
7	2156	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	11	9
2	23	9
3	42	9
4	93	5
5	207	5
6	580	5
7	2200	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	122	5
6	342	5
7	1368	5
done	5001	5
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	5	5
1	10	5
2	18	2
3	30	2
4	55	2
5	120	2
6	342	2
7	1369	2
done	5000	2
0	3	3
1	9	1
2	13	1
done	13	1
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	5	5
1	12	5
2	22	5
3	36	5
4	84	5
5	233	5
6	773	5
7	3431	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	38	5
4	78	5
5	203	5
6	666	5
7	3112	5
done	5000	5
0	6	11
1	11	11
2	19	11
3	30	11
4	55	11
5	124	11
6	344	11
7	1369	11
done	5001	11
0	5	5
1	10	5
2	18	5
3	29	5
4	54	5
5	120	5
6	333	5
7	1369	5
done	5000	5
0	6	14
1	15	9
2	52	6
3	100	6
4	229	4
5	718	4
6	2661	4
done	5000	4
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	5
1	10	5
2	20	3
3	31	3
4	56	3
5	122	3
6	341	3
7	1381	3
done	5000	3
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	5	6
1	10	4
2	19	2
3	30	2
4	52	2
5	114	2
6	327	2
7	1256	2
done	5000	2
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	15	37
1	38	37
2	114	35
3	529	35
4	2823	32
done	5000	32
0	15	37
1	38	37
2	114	35
3	529	35
4	2823	32
done	5000	32
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9

prune208.0ms

Filtered

63 candidates to 97 candidates (-54.0%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	97	11	108

Merged error: 0.0b

Counts

108 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (sqrt 1.0) (tan x))
0.2b	(/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
0.2b	(* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))))
0.2b	(* (tan x) (tan x))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
48×	`*-un-lft-identity`
37×	`times-frac`
30×	`add-cube-cbrt`
27×	`associate-r`
16×	`difference-of-squares`
13×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`sqrt-prod` `distribute-lft-out--`
7×	`associate-l`
6×	`associate-/l*` `add-log-exp`
4×	`tan-quot` `flip3-+` `associate-/r/` `flip-+`
3×	`frac-times` `swap-sqr` `associate-l/` `prod-exp` `associate-/r` `cbrt-unprod` `unswap-sqr`
2×	`cbrt-undiv` `flip3--` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `flip--` `div-inv` `associate-/l/`
1×	`pow2` `sub-neg` `frac-2neg` `pow-plus` `diff-log` `div-sub` `clear-num` `pow-sqr` `pow-prod-up` `distribute-lft-out`

Counts

4 → 135

Calls

4 calls:

5.0ms	(- (sqrt 1.0) (tan x))
10.0ms	(/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
20.0ms	(* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))))
6.0ms	(* (tan x) (tan x))

series106.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (sqrt 1.0) (tan x))
33.0ms	(/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
54.0ms	(* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))))
11.0ms	(* (tan x) (tan x))

simplify2.5min

Counts

147 → 147

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	5	17
1	12	17
2	21	9
3	34	4
4	67	4
5	147	4
6	370	4
7	1337	4
done	5000	4
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	4
4	68	4
5	153	4
6	379	4
7	1358	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	3	5
done	3	5
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	6	1
done	6	1
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	10	19
1	20	19
2	40	19
3	96	19
4	175	19
5	300	19
6	452	19
7	728	17
8	1237	15
9	3689	15
done	5000	15
0	13	22
1	22	22
2	30	22
3	39	22
4	45	22
5	55	22
6	62	22
7	74	22
8	97	22
9	111	22
10	117	22
done	117	22
0	12	21
1	23	21
2	32	21
3	43	21
4	53	21
5	62	21
6	67	21
7	76	21
8	93	21
9	112	21
10	120	21
done	120	21
0	11	20
1	24	20
2	50	20
3	116	20
4	214	20
5	351	20
6	519	20
7	815	18
8	1344	16
9	3794	16
done	5000	16
0	11	20
1	23	20
2	53	20
3	131	20
4	273	20
5	580	20
6	1225	20
7	3924	18
done	5000	18
0	16	59
1	59	59
2	228	25
3	987	23
done	5002	23
0	14	59
1	46	59
2	145	23
3	584	23
4	3544	21
done	5000	21
0	12	41
1	22	41
2	42	41
3	98	41
4	177	41
5	304	41
6	456	41
7	732	37
8	1242	33
9	3692	33
done	5000	33
0	11	20
1	21	20
2	41	20
3	97	20
4	176	20
5	303	20
6	454	20
7	732	18
8	1241	16
9	3696	16
done	5000	16
0	12	59
1	32	59
2	125	21
3	653	21
4	3756	21
done	5000	21
0	11	20
1	21	20
2	41	20
3	97	20
4	176	20
5	303	20
6	454	20
7	732	18
8	1241	16
9	3696	16
done	5000	16
0	11	20
1	21	20
2	41	20
3	97	20
4	176	20
5	303	20
6	454	20
7	732	18
8	1241	16
9	3696	16
done	5000	16
0	10	15
1	27	15
2	51	15
3	121	15
4	342	15
5	972	15
6	3381	15
done	5001	15
0	11	25
1	27	21
2	71	21
3	197	18
4	501	18
5	1111	18
6	2234	18
7	4677	17
done	5000	17
0	9	17
1	17	13
2	39	13
3	126	13
4	387	13
5	942	13
6	2790	13
done	5000	13
0	8	13
1	18	13
2	42	13
3	81	13
4	141	13
5	213	13
6	305	13
7	551	13
8	1026	13
9	1704	13
10	4762	13
done	5000	13
0	12	21
1	20	21
2	23	21
3	25	21
done	25	21
0	12	21
1	20	21
2	23	21
3	25	21
done	25	21
0	13	22
1	20	22
2	24	22
3	28	22
4	29	22
done	29	22
0	13	22
1	20	22
2	24	22
3	28	22
4	29	22
done	29	22
0	12	35
1	22	35
2	35	35
3	49	35
4	51	35
done	51	35
0	11	20
1	19	20
2	30	20
3	32	20
done	32	20
0	14	37
1	27	37
2	65	37
3	158	37
4	290	37
5	394	37
6	438	37
7	452	37
8	457	37
9	460	37
10	462	37
done	462	37
0	13	28
1	22	28
2	41	28
3	86	28
4	129	28
5	149	28
6	157	28
7	163	28
8	164	28
done	164	28
0	11	21
1	21	19
2	47	19
3	111	19
4	179	19
5	238	19
6	263	19
done	263	19
0	13	30
1	22	30
2	42	30
3	79	30
4	111	30
5	137	30
6	153	30
7	158	30
8	159	30
9	161	30
10	162	30
done	162	30
0	12	21
1	19	21
2	31	21
3	47	21
4	54	21
5	58	21
6	64	21
7	66	21
done	66	21
0	10	14
1	18	12
2	34	12
3	45	12
4	57	12
5	71	12
6	99	12
7	100	12
done	100	12
0	12	25
1	21	25
2	39	23
3	93	23
4	169	23
5	192	23
done	192	23
0	11	16
1	18	16
2	29	14
3	56	14
4	85	14
5	89	14
done	89	14
0	8	9
1	14	7
2	27	5
3	39	5
done	39	5
0	14	31
1	22	31
2	49	31
3	103	31
4	171	31
5	226	31
6	298	31
7	373	31
8	512	31
9	541	31
10	575	31
11	579	31
12	590	31
done	590	31
0	13	22
1	19	22
2	38	22
3	70	22
4	105	22
5	141	22
6	173	22
7	199	22
8	261	22
9	271	22
10	277	22
done	277	22
0	11	15
1	18	13
2	41	13
3	76	13
4	128	13
5	164	13
6	216	13
7	234	13
8	286	13
done	286	13
0	14	31
1	22	31
2	49	31
3	103	31
4	171	31
5	226	31
6	298	31
7	373	31
8	512	31
9	541	31
10	575	31
11	579	31
12	590	31
done	590	31
0	13	22
1	19	22
2	38	22
3	70	22
4	105	22
5	141	22
6	173	22
7	199	22
8	261	22
9	271	22
10	277	22
done	277	22
0	11	15
1	18	13
2	41	13
3	76	13
4	128	13
5	164	13
6	216	13
7	234	13
8	286	13
done	286	13
0	12	25
1	21	25
2	39	23
3	93	23
4	169	23
5	192	23
done	192	23
0	11	16
1	18	16
2	29	14
3	56	14
4	85	14
5	89	14
done	89	14
0	8	9
1	14	7
2	27	5
3	39	5
done	39	5
0	7	7
1	11	5
2	22	5
3	30	5
done	30	5
0	7	11
1	11	11
2	26	11
3	54	11
4	95	11
5	148	11
6	213	11
7	323	9
8	533	7
9	1801	7
done	5001	7
0	13	23
1	38	23
2	82	20
3	178	20
4	354	20
5	761	20
6	1951	20
done	5000	20
0	12	27
1	30	27
2	75	23
3	205	20
4	466	20
5	1050	20
6	2132	20
done	5000	20
0	11	20
1	21	20
2	33	20
3	50	20
4	73	20
5	92	20
6	99	20
7	100	20
done	100	20
0	11	20
1	21	20
2	33	20
3	50	20
4	73	20
5	92	20
6	99	20
7	100	20
done	100	20
0	10	19
1	20	19
2	40	19
3	96	19
4	175	19
5	300	19
6	452	19
7	728	17
8	1237	15
9	3689	15
done	5000	15
0	10	19
1	20	19
2	40	19
3	96	19
4	175	19
5	300	19
6	452	19
7	728	17
8	1237	15
9	3689	15
done	5000	15
0	7	11
1	11	11
2	26	11
3	54	11
4	95	11
5	148	11
6	213	11
7	323	9
8	533	7
9	1801	7
done	5001	7
0	13	23
1	35	23
2	64	23
3	162	23
4	553	23
5	1928	23
done	5000	23
0	11	25
1	25	21
2	54	21
3	192	21
4	664	21
5	1761	21
done	5001	21
0	10	15
1	15	15
2	17	15
done	17	15
0	9	14
1	18	14
2	23	14
3	26	14
done	26	14
0	9	14
1	15	14
2	21	14
3	25	14
4	28	14
5	34	14
6	38	14
7	54	14
8	58	14
9	65	14
10	74	14
11	95	14
12	121	14
13	137	14
14	144	14
15	150	14
16	156	14
17	158	14
done	158	14
0	12	41
1	36	41
2	124	17
3	360	15
4	1007	15
5	3436	15
done	5000	15
0	10	29
1	16	29
2	19	29
3	21	29
done	21	29
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	10	41
1	23	41
2	54	15
3	180	15
4	589	15
5	1828	15
done	5001	15
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	6	6
1	8	6
2	12	6
3	14	6
4	15	5
done	15	5
0	6	8
1	10	8
2	15	8
3	16	8
done	16	8
0	7	10
1	8	10
done	8	10
0	6	10
1	7	10
done	7	10
0	12	31
1	21	31
2	31	31
3	37	31
done	37	31
0	10	15
1	13	15
2	14	15
done	14	15
0	11	22
1	16	22
2	19	22
3	20	22
done	20	22
0	10	15
1	13	15
2	14	15
done	14	15
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	9	14
1	12	14
2	13	14
done	13	14
0	11	24
1	16	24
2	17	24
done	17	24
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	8	8
1	12	6
2	15	6
done	15	6
0	9	14
1	12	14
2	13	14
done	13	14
0	9	19
1	14	19
done	14	19
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	8	10
1	11	10
done	11	10
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	2	3
1	4	1
done	4	1
0	8	13
1	14	13
2	17	13
3	19	13
done	19	13
0	12	25
1	16	25
done	16	25
0	11	16
1	17	16
2	20	16
3	22	16
done	22	16
0	11	16
1	13	16
done	13	16
0	11	16
1	17	16
2	20	16
3	22	16
done	22	16
0	9	9
1	12	7
2	14	7
done	14	7
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	12	25
1	16	25
done	16	25
0	11	16
1	17	16
2	20	16
3	22	16
done	22	16
0	11	16
1	13	16
done	13	16
0	11	16
1	17	16
2	20	16
3	22	16
done	22	16
0	9	9
1	12	7
2	14	7
done	14	7
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	9	19
1	14	19
done	14	19
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	8	10
1	11	10
done	11	10
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	2	3
1	4	1
done	4	1
0	8	13
1	14	13
2	17	13
3	19	13
done	19	13
0	7	9
1	10	9
done	10	9
0	8	13
1	11	13
2	12	13
done	12	13
0	10	23
1	18	23
2	26	23
3	31	23
4	34	23
done	34	23
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	7	7
1	14	5
2	19	5
3	20	5
done	20	5
0	9	14
1	12	14
2	13	14
done	13	14
0	9	14
1	12	14
2	13	14
done	13	14
0	8	13
1	11	13
2	12	13
done	12	13
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	8	13
1	11	13
2	12	13
done	12	13
0	11	17
1	32	17
2	59	14
3	99	14
4	196	14
5	480	14
6	1509	14
done	5000	14
0	10	21
1	24	21
2	49	17
3	96	14
4	163	14
5	287	14
6	553	14
7	1375	14
done	5000	14
0	11	25
1	26	18
2	73	18
3	190	18
4	430	18
5	839	18
6	1146	18
7	1274	17
8	1460	17
9	2063	17
10	4392	17
done	5000	17
0	8	13
1	17	13
2	42	13
3	72	13
4	116	13
5	142	13
6	154	13
7	177	13
8	235	13
9	440	13
10	1375	13
done	5000	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	504	7
6	1713	7
done	5001	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	10
2	24	10
done	24	10
0	3	3
done	3	3
0	7	11
1	12	7
2	19	7
3	34	7
4	59	7
5	100	7
6	158	7
7	325	7
8	1609	7
done	5000	7
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	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	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	7	9
1	15	9
2	42	9
3	86	9
4	286	9
5	1821	9
done	5000	9
0	20	40
1	53	38
2	208	25
3	576	23
4	1939	19
done	5000	19
0	15	29
1	36	29
2	94	29
3	220	29
4	772	29
5	4681	29
done	5000	29
0	15	29
1	36	29
2	94	29
3	220	29
4	772	29
5	4681	29
done	5000	29
0	11	17
1	29	15
2	71	13
3	143	13
4	254	13
5	415	13
6	777	12
7	1055	12
8	1863	12
9	3366	12
done	5000	12
0	13	20
1	27	20
2	60	20
3	122	20
4	427	20
5	2757	20
done	5000	20
0	13	20
1	27	20
2	60	20
3	122	20
4	427	20
5	2757	20
done	5000	20
0	9	10
1	23	10
2	50	10
3	108	10
4	259	10
5	673	10
6	2595	10
done	5000	10
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	9	8
2	12	8
done	12	8

prune265.0ms

Filtered

104 candidates to 147 candidates (-41.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	7	8
Picked	0	1	1
Done	1	1	2
Total	148	10	158

Merged error: 0.0b

Counts

158 → 10

regimes237.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	14	21
done	14	21

end0.0ms

sample1.2s

Algorithm

intervals

Results

421.0ms	1517×	body	1280	valid
244.0ms	1249×	body	640	valid
194.0ms	4307×	body	80	valid
87.0ms	625×	body	320	valid
32.0ms	302×	body	160	valid

Details

sample44.0ms

simplify45.0ms

prune5.0ms

localize10.0ms

rewrite29.0ms

series84.0ms

simplify1.4min

prune226.0ms

localize12.0ms

rewrite36.0ms

series84.0ms

simplify7.4min

prune261.0ms

localize11.0ms

rewrite95.0ms

series99.0ms

simplify4.5min

prune208.0ms

localize17.0ms

rewrite47.0ms

series106.0ms

simplify2.5min

prune265.0ms

regimes237.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling