Details

sample47.0ms

Algorithm

intervals

Results

13.0ms	276×	body	80	valid
13.0ms	291×	body	80	nan

simplify96.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	24	14
2	47	14
3	75	14
4	92	14
5	109	14
6	124	14
7	155	14
8	164	14
done	164	14

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.2b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.2b	(* 3.0 (sqrt x))
0.2b	(/ y (* 3.0 (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

11.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
6.0ms	(* 3.0 (sqrt x))
7.0ms	(/ y (* 3.0 (sqrt x)))
5.0ms	(/ 1.0 (* x 9.0))

series27.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
4.0ms	(* 3.0 (sqrt x))
10.0ms	(/ y (* 3.0 (sqrt x)))
2.0ms	(/ 1.0 (* x 9.0))

simplify1.5min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	9	9
1	14	9
2	23	9
3	33	9
4	45	9
5	61	9
6	80	9
7	96	9
8	101	9
done	101	9
0	8	8
1	14	8
2	21	8
3	29	8
4	38	8
5	50	8
6	69	8
7	95	8
8	105	8
done	105	8
0	7	7
1	13	7
2	23	7
3	35	7
4	48	7
5	58	7
6	74	7
7	93	7
8	109	7
9	114	7
done	114	7
0	7	7
1	10	7
2	12	7
done	12	7
0	12	20
1	27	16
2	113	12
3	501	12
4	1670	10
5	3962	10
done	5001	10
0	10	20
1	29	20
2	131	10
3	660	8
4	2195	8
5	4271	8
done	5000	8
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	18	20
2	66	8
3	320	8
4	1223	8
5	2712	8
6	4474	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	2	2
done	2	2
0	5	5
1	10	5
2	12	5
done	12	5
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	5	5
done	5	5
0	4	4
done	4	4
0	5	5
done	5	5
0	3	3
1	5	3
done	5	3
0	4	4
done	4	4
0	6	6
1	11	6
2	13	6
done	13	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	3	3
done	3	3
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
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	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
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	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	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	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	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
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	15	17
1	25	16
2	38	15
3	55	15
4	84	15
5	124	15
6	177	15
7	257	15
8	339	15
9	418	15
10	421	15
done	421	15
0	14	16
1	27	15
2	46	15
3	84	15
4	126	15
5	182	15
6	262	15
7	344	15
8	425	15
9	432	15
done	432	15
0	13	15
1	25	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	13	15
1	28	15
2	60	15
3	106	15
4	161	15
5	231	15
6	315	15
7	452	15
8	472	15
done	472	15
0	14	31
1	26	31
2	49	31
3	77	31
4	92	31
5	109	31
6	124	31
7	155	31
8	166	31
done	166	31
0	13	15
1	25	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	14	44
1	27	44
2	64	16
3	203	16
4	976	16
done	5000	16
0	13	15
1	25	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	13	15
1	25	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	21	42
1	55	36
2	185	36
3	863	36
4	4979	36
done	5000	36
0	14	28
1	30	22
2	95	22
3	346	22
4	982	22
5	2995	22
done	5000	22
0	16	30
1	35	30
2	101	30
3	349	22
4	1214	22
5	4267	22
done	5001	22
0	10	12
1	18	12
2	34	12
3	69	12
4	145	12
5	307	12
6	476	12
7	523	12
8	529	12
done	529	12
0	15	18
1	41	18
2	118	18
3	437	18
4	2300	18
done	5000	18
0	16	44
1	37	37
2	111	37
3	365	36
4	1048	32
5	2603	32
done	5000	32
0	7	7
1	12	7
2	20	7
3	22	7
done	22	7
0	14	29
1	31	29
2	87	29
3	288	29
4	919	25
5	2545	25
done	5001	25
0	12	14
1	23	14
2	41	14
3	62	14
4	81	14
5	96	14
6	104	14
7	121	14
8	145	14
9	155	14
done	155	14
0	14	16
1	23	16
2	32	16
3	38	16
done	38	16
0	14	16
1	24	16
2	34	16
3	40	16
done	40	16
0	12	14
1	24	14
2	47	14
3	75	14
4	92	14
5	109	14
6	124	14
7	155	14
8	164	14
done	164	14
0	12	14
1	24	14
2	47	14
3	75	14
4	92	14
5	109	14
6	124	14
7	155	14
8	164	14
done	164	14
0	12	13
1	22	13
2	39	13
3	49	13
done	49	13
0	12	13
1	22	13
2	39	13
3	49	13
done	49	13
0	11	12
1	18	12
2	22	12
done	22	12
0	7	7
1	12	7
2	20	7
3	22	7
done	22	7
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	20	27
1	60	25
2	181	21
3	521	19
4	1424	17
5	3966	17
done	5001	17
0	22	31
1	66	29
2	224	27
3	741	25
4	3282	23
done	5001	23
0	10	13
1	22	11
2	40	11
3	64	11
4	98	11
5	111	11
done	111	11
0	18	25
1	56	23
2	180	21
3	457	21
4	1331	19
5	4994	17
done	5000	17
0	16	21
1	45	19
2	116	17
3	233	17
4	568	17
5	1754	17
done	5000	17
0	16	21
1	46	19
2	124	17
3	284	17
4	771	17
5	2537	17
done	5001	17
0	13	13
1	27	13
2	45	11
3	82	11
4	130	11
5	183	11
6	296	11
7	389	11
8	404	11
9	409	11
done	409	11
0	17	21
1	48	19
2	142	19
3	404	17
4	1652	15
done	5000	15
0	12	15
1	28	13
2	59	13
3	119	13
4	243	13
5	415	13
6	607	13
7	835	13
8	848	13
9	852	13
done	852	13

prune197.0ms

Filtered

80 candidates to 97 candidates (-21.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	87	10	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	10	98

Merged error: 0.0b

Counts

98 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
0.2b	(/ (/ 1.0 x) 9.0)
0.2b	(* 3.0 (sqrt x))
0.2b	(/ y (* 3.0 (sqrt x)))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
57×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
51×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`add-log-exp`
6×	`pow1` `associate-r` `div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`associate-/r*` `sqrt-prod`
3×	`diff-log` `associate-l` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `associate--l+` `clear-num` `frac-sub` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `associate-/l/` `difference-of-squares`

Counts

4 → 134

Calls

4 calls:

22.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
8.0ms	(/ (/ 1.0 x) 9.0)
9.0ms	(* 3.0 (sqrt x))
6.0ms	(/ y (* 3.0 (sqrt x)))

series28.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
2.0ms	(/ (/ 1.0 x) 9.0)
4.0ms	(* 3.0 (sqrt x))
11.0ms	(/ y (* 3.0 (sqrt x)))

simplify1.5min

Counts

146 → 146

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	23	9
3	33	9
4	45	9
5	61	9
6	80	9
7	96	9
8	101	9
done	101	9
0	8	8
1	14	8
2	21	8
3	29	8
4	38	8
5	50	8
6	69	8
7	95	8
8	105	8
done	105	8
0	7	7
1	13	7
2	23	7
3	35	7
4	48	7
5	58	7
6	74	7
7	93	7
8	109	7
9	114	7
done	114	7
0	7	7
1	10	7
2	12	7
done	12	7
0	12	20
1	27	16
2	113	12
3	501	12
4	1670	10
5	3962	10
done	5001	10
0	10	20
1	29	20
2	131	10
3	660	8
4	2195	8
5	4271	8
done	5000	8
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	18	20
2	66	8
3	320	8
4	1223	8
5	2712	8
6	4474	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	2	2
done	2	2
0	5	5
1	10	5
2	12	5
done	12	5
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	5	5
done	5	5
0	4	4
done	4	4
0	5	5
done	5	5
0	3	3
1	5	3
done	5	3
0	4	4
done	4	4
0	6	6
1	11	6
2	13	6
done	13	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	3	3
done	3	3
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
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	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
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	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	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	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	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
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	8	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	73	8
7	99	8
8	108	8
done	108	8
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	6	6
1	11	6
2	21	6
3	33	6
4	50	6
5	62	6
6	70	6
7	83	6
8	97	6
9	113	6
10	117	6
done	117	6
0	6	6
1	8	6
2	11	6
done	11	6
0	11	17
1	25	17
2	100	11
3	448	9
4	1791	7
done	5000	7
0	9	17
1	24	17
2	81	9
3	313	7
4	1242	7
5	3323	7
done	5000	7
0	7	13
1	9	13
2	12	13
done	12	13
0	6	6
1	8	6
2	11	6
done	11	6
0	7	17
1	16	17
2	50	7
3	195	7
4	886	7
5	2479	7
6	4453	7
done	5001	7
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	8	12
1	10	12
2	12	12
3	13	12
done	13	12
0	7	7
done	7	7
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	6	6
done	6	6
0	8	10
1	10	10
done	10	10
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	4
2	10	4
done	10	4
0	6	6
done	6	6
0	11	17
1	21	17
2	56	17
3	144	17
4	270	17
5	304	17
done	304	17
0	8	8
1	10	8
2	13	8
done	13	8
0	10	14
1	18	14
2	41	14
3	78	14
4	119	14
5	125	14
done	125	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	7	7
1	9	7
2	12	7
done	12	7
0	10	14
1	16	14
2	32	14
3	68	14
4	110	14
5	120	14
done	120	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	13	11
2	24	11
3	37	11
4	47	11
done	47	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	7	7
1	9	7
2	12	7
done	12	7
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	7	7
1	9	7
2	12	7
done	12	7
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	6	6
1	8	6
2	11	6
done	11	6
0	10	14
1	16	14
2	28	14
3	55	14
4	60	14
done	60	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	13	11
2	19	11
3	27	11
done	27	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	7	7
1	9	7
2	12	7
done	12	7
0	9	11
1	13	11
2	19	11
3	25	11
done	25	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	11	5
2	17	5
done	17	5
0	7	7
1	9	7
2	12	7
done	12	7
0	5	6
1	9	2
done	9	2
0	6	6
1	8	6
2	11	6
done	11	6
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	7	7
1	9	7
2	12	7
done	12	7
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	6	6
1	8	6
2	11	6
done	11	6
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	9	7
2	12	7
done	12	7
0	5	6
1	9	4
2	16	4
done	16	4
0	6	6
1	8	6
2	11	6
done	11	6
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	6	6
1	8	6
2	11	6
done	11	6
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	6	6
1	8	6
2	11	6
done	11	6
0	3	5
1	7	1
done	7	1
0	5	5
1	7	5
2	10	5
done	10	5
0	5	7
1	9	7
done	9	7
0	6	6
1	8	6
2	11	6
done	11	6
0	4	4
1	6	4
done	6	4
0	6	6
1	8	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	10	5
done	10	5
0	5	7
1	7	7
done	7	7
0	6	6
1	10	6
2	13	6
done	13	6
0	4	4
done	4	4
0	6	6
1	10	6
2	13	6
done	13	6
0	3	3
1	5	1
done	5	1
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	7	9
1	11	9
2	17	9
3	23	9
done	23	9
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	9	3
2	16	3
done	16	3
0	6	6
done	6	6
0	6	6
done	6	6
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
0	15	17
1	24	16
2	38	15
3	55	15
4	84	15
5	124	15
6	177	15
7	257	15
8	339	15
9	418	15
10	421	15
done	421	15
0	14	16
1	26	15
2	46	15
3	84	15
4	126	15
5	182	15
6	262	15
7	344	15
8	425	15
9	432	15
done	432	15
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	13	15
1	27	15
2	60	15
3	106	15
4	161	15
5	231	15
6	315	15
7	452	15
8	472	15
done	472	15
0	14	31
1	25	31
2	49	31
3	77	31
4	92	31
5	109	31
6	124	31
7	155	31
8	166	31
done	166	31
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	14	44
1	26	44
2	64	16
3	203	16
4	976	16
done	5000	16
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	165	15
done	165	15
0	21	42
1	59	36
2	169	36
3	653	36
4	3456	36
done	5000	36
0	14	28
1	33	22
2	81	22
3	283	22
4	862	22
5	2690	22
done	5000	22
0	16	30
1	34	30
2	94	30
3	314	22
4	1061	22
5	3555	22
done	5000	22
0	10	12
1	17	12
2	34	12
3	69	12
4	145	12
5	307	12
6	476	12
7	522	12
8	528	12
done	528	12
0	15	18
1	40	18
2	118	18
3	437	18
4	2295	18
done	5001	18
0	16	44
1	36	37
2	111	37
3	365	36
4	1048	32
5	2610	32
done	5000	32
0	7	7
1	12	7
2	20	7
3	22	7
done	22	7
0	14	29
1	30	29
2	87	29
3	288	29
4	919	25
5	2543	25
done	5001	25
0	12	14
1	22	14
2	41	14
3	62	14
4	81	14
5	96	14
6	104	14
7	121	14
8	145	14
9	157	14
done	157	14
0	14	16
1	22	16
2	32	16
3	38	16
done	38	16
0	14	16
1	23	16
2	34	16
3	40	16
done	40	16
0	12	14
1	23	14
2	47	14
3	75	14
4	92	14
5	109	14
6	124	14
7	155	14
8	164	14
done	164	14
0	12	14
1	23	14
2	47	14
3	75	14
4	92	14
5	109	14
6	124	14
7	155	14
8	164	14
done	164	14
0	12	13
1	21	13
2	36	13
3	48	13
done	48	13
0	12	13
1	21	13
2	36	13
3	48	13
done	48	13
0	11	12
1	17	12
2	22	12
done	22	12
0	7	7
1	12	7
2	20	7
3	22	7
done	22	7
0	20	27
1	60	25
2	181	21
3	521	19
4	1424	17
5	3966	17
done	5001	17
0	22	31
1	66	29
2	224	27
3	741	25
4	3282	23
done	5001	23
0	10	13
1	22	11
2	40	11
3	64	11
4	98	11
5	111	11
done	111	11
0	18	25
1	56	23
2	180	21
3	457	21
4	1331	19
5	4994	17
done	5000	17
0	16	21
1	45	19
2	116	17
3	233	17
4	568	17
5	1754	17
done	5000	17
0	16	21
1	46	19
2	124	17
3	284	17
4	771	17
5	2537	17
done	5001	17
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	13	13
1	27	13
2	45	11
3	82	11
4	130	11
5	183	11
6	296	11
7	389	11
8	404	11
9	409	11
done	409	11
0	17	21
1	48	19
2	142	19
3	404	17
4	1652	15
done	5000	15
0	12	15
1	28	13
2	59	13
3	119	13
4	243	13
5	415	13
6	607	13
7	835	13
8	848	13
9	852	13
done	852	13

prune274.0ms

Filtered

122 candidates to 146 candidates (-19.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	146	10	156

Merged error: 0.0b

Counts

156 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
0.3b	(/ y (sqrt x))
0.3b	(/ 1.0 (* x 9.0))
0.4b	(* (/ 1 3.0) (/ y (sqrt x)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

68×	`add-sqr-sqrt`
60×	`times-frac`
44×	`*-un-lft-identity`
41×	`add-cube-cbrt`
33×	`add-exp-log`
24×	`sqrt-prod`
23×	`add-cbrt-cube`
22×	`associate-r`
13×	`associate-l`
11×	`div-exp`
9×	`prod-exp` `add-log-exp` `unswap-sqr`
7×	`cbrt-undiv` `associate-/r*`
6×	`pow1` `frac-sub` `associate-/l*`
5×	`cbrt-unprod`
4×	`flip3--` `flip--` `div-inv`
3×	`frac-times` `diff-log` `associate-r/` `associate-l/`
2×	`sub-neg` `rec-exp` `frac-2neg` `1-exp` `associate--l+` `clear-num`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 150

Calls

4 calls:

9.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
5.0ms	(/ y (sqrt x))
5.0ms	(/ 1.0 (* x 9.0))
17.0ms	(* (/ 1 3.0) (/ y (sqrt x)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
9.0ms	(/ y (sqrt x))
2.0ms	(/ 1.0 (* x 9.0))
10.0ms	(* (/ 1 3.0) (/ y (sqrt x)))

simplify2.5min

Counts

162 → 162

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	131	6
6	141	6
done	141	6
0	10	10
1	15	10
2	23	9
3	37	9
4	48	9
5	58	9
6	75	9
7	97	9
8	104	9
done	104	9
0	9	9
1	13	9
2	20	8
3	33	8
4	48	8
5	53	8
6	63	8
7	80	8
8	102	8
9	109	8
done	109	8
0	11	11
1	20	10
2	45	9
3	106	9
4	257	9
5	350	9
6	367	9
done	367	9
0	10	10
1	18	9
2	39	8
3	89	8
4	221	8
5	314	8
6	324	8
done	324	8
0	12	12
1	23	11
2	46	10
3	115	9
4	266	9
5	359	9
6	375	9
done	375	9
0	11	11
1	21	10
2	39	9
3	92	8
4	221	8
5	309	8
6	322	8
done	322	8
0	11	11
1	22	10
2	37	9
3	83	9
4	178	9
5	299	9
6	309	9
done	309	9
0	10	10
1	20	9
2	32	8
3	67	8
4	150	8
5	272	8
6	364	8
7	367	8
done	367	8
0	9	9
1	19	9
2	39	7
3	100	7
4	202	7
5	395	7
6	538	7
7	599	7
done	599	7
0	9	9
1	18	9
2	33	7
3	90	7
4	171	7
5	354	7
6	943	7
7	3812	7
done	5000	7
0	16	26
1	40	18
2	134	12
3	797	12
4	3898	12
done	5001	12
0	14	26
1	36	22
2	107	10
3	466	10
4	2183	10
done	5000	10
0	14	26
1	37	22
2	133	14
3	570	14
4	2815	12
done	5000	12
0	12	26
1	33	26
2	106	12
3	368	12
4	1502	8
done	5001	8
0	10	19
1	17	19
2	26	15
3	65	15
4	98	15
5	131	15
6	142	15
done	142	15
0	9	9
1	16	9
2	25	7
3	64	7
4	99	7
5	132	7
6	144	7
done	144	7
0	10	26
1	27	26
2	109	8
3	516	8
4	1802	8
done	5000	8
0	9	9
1	16	9
2	25	7
3	64	7
4	99	7
5	132	7
6	144	7
done	144	7
0	9	9
1	16	9
2	25	7
3	64	7
4	99	7
5	132	7
6	144	7
done	144	7
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	10	10
1	13	10
done	13	10
0	10	10
1	13	10
done	13	10
0	11	11
1	16	11
2	19	11
3	23	11
4	24	11
done	24	11
0	11	11
1	16	11
2	19	11
3	23	11
4	24	11
done	24	11
0	11	11
1	16	11
2	19	11
3	23	11
4	24	11
done	24	11
0	11	11
1	16	11
2	19	11
3	23	11
4	24	11
done	24	11
0	11	11
1	16	10
2	19	10
3	21	8
4	35	8
done	35	8
0	11	11
1	16	10
2	19	10
3	21	8
4	35	8
done	35	8
0	12	12
1	19	11
2	28	11
3	45	9
4	98	9
5	139	9
6	142	9
done	142	9
0	12	12
1	19	11
2	28	11
3	45	9
4	98	9
5	139	9
6	142	9
done	142	9
0	12	12
1	19	11
2	28	11
3	45	9
4	98	9
5	139	9
6	142	9
done	142	9
0	12	12
1	19	11
2	28	11
3	45	9
4	98	9
5	139	9
6	142	9
done	142	9
0	10	10
1	15	10
2	18	8
3	31	8
4	36	8
done	36	8
0	10	10
1	15	10
2	18	8
3	31	8
4	36	8
done	36	8
0	11	11
1	18	11
2	27	9
3	66	9
4	110	9
5	152	9
6	158	9
done	158	9
0	11	11
1	18	11
2	27	9
3	66	9
4	110	9
5	152	9
6	158	9
done	158	9
0	11	11
1	18	11
2	27	9
3	66	9
4	110	9
5	152	9
6	158	9
done	158	9
0	11	11
1	18	11
2	27	9
3	66	9
4	110	9
5	152	9
6	158	9
done	158	9
0	10	15
1	17	15
2	25	13
3	53	13
4	70	13
done	70	13
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	12	17
1	25	17
2	66	15
3	214	15
4	509	15
5	818	15
6	842	15
done	842	15
0	12	16
1	22	13
2	40	11
3	117	11
4	233	11
5	299	11
6	310	11
done	310	11
0	11	13
1	20	13
2	38	11
3	115	11
4	232	11
5	298	11
6	310	11
done	310	11
0	9	12
1	18	11
2	36	9
3	113	7
4	249	7
5	251	7
done	251	7
0	11	13
1	20	13
2	38	11
3	115	11
4	232	11
5	298	11
6	310	11
done	310	11
0	8	11
1	17	9
2	43	7
3	168	7
4	243	7
5	249	7
done	249	7
0	11	14
1	20	14
2	39	12
3	111	12
4	238	12
5	381	12
6	391	12
done	391	12
0	11	13
1	19	10
2	28	8
3	67	8
4	111	8
5	149	8
6	156	8
done	156	8
0	10	10
1	17	10
2	26	8
3	65	8
4	116	8
5	160	8
6	169	8
done	169	8
0	8	9
1	15	8
2	24	6
3	63	4
4	132	4
5	136	4
done	136	4
0	10	10
1	17	10
2	26	8
3	65	8
4	116	8
5	160	8
6	169	8
done	169	8
0	7	8
1	14	6
2	27	4
3	71	4
4	95	4
5	99	4
done	99	4
0	9	13
1	18	13
2	36	11
3	85	11
4	133	11
done	133	11
0	9	12
1	17	9
2	26	7
3	45	7
4	54	7
done	54	7
0	8	9
1	15	9
2	24	7
3	43	7
4	52	7
done	52	7
0	6	8
1	13	7
2	21	3
3	27	3
4	37	3
done	37	3
0	8	9
1	15	9
2	24	7
3	43	7
4	52	7
done	52	7
0	5	7
1	12	3
2	16	3
3	23	3
done	23	3
0	4	5
1	9	3
done	9	3
0	5	5
1	10	5
2	13	3
done	13	3
0	9	9
1	14	9
2	17	9
3	21	9
4	22	9
done	22	9
0	9	9
1	14	9
2	17	9
3	21	9
4	22	9
done	22	9
0	10	10
1	17	9
2	26	9
3	43	7
4	73	7
5	104	7
6	115	7
7	116	7
done	116	7
0	10	10
1	17	9
2	26	9
3	43	7
4	73	7
5	104	7
6	115	7
7	116	7
done	116	7
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	102	6
6	115	6
7	116	6
done	116	6
0	10	10
1	17	9
2	26	9
3	43	7
4	73	7
5	104	7
6	115	7
7	116	7
done	116	7
0	10	10
1	17	9
2	26	9
3	43	7
4	73	7
5	104	7
6	115	7
7	116	7
done	116	7
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	102	6
6	115	6
7	116	6
done	116	6
0	9	9
1	16	9
2	25	7
3	64	7
4	99	7
5	130	7
6	141	7
done	141	7
0	9	9
1	16	9
2	25	7
3	64	7
4	99	7
5	130	7
6	141	7
done	141	7
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	131	6
6	141	6
done	141	6
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	131	6
6	141	6
done	141	6
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	131	6
6	141	6
done	141	6
0	5	5
1	10	5
2	13	3
done	13	3
0	6	6
1	11	4
2	21	4
3	23	4
4	26	4
5	28	4
done	28	4
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
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	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
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	193	6
6	312	6
7	778	6
8	3411	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	8	12
1	11	9
2	13	9
3	14	9
done	14	9
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	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
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	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
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	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
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	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
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	17	19
1	33	18
2	59	15
3	141	15
4	302	15
5	779	15
6	2337	15
done	5001	15
0	16	18
1	35	17
2	67	15
3	175	15
4	387	15
5	976	15
6	3420	15
done	5000	15
0	15	17
1	31	17
2	67	15
3	160	15
4	284	15
5	546	15
6	814	15
7	950	15
8	979	15
done	979	15
0	15	17
1	34	17
2	83	15
3	209	15
4	445	15
5	1114	15
6	3289	15
done	5000	15
0	16	35
1	32	35
2	68	31
3	161	31
4	292	31
5	560	31
6	831	31
7	975	31
8	1002	31
done	1002	31
0	15	17
1	31	17
2	67	15
3	160	15
4	284	15
5	546	15
6	814	15
7	950	15
8	979	15
done	979	15
0	16	50
1	33	50
2	83	16
3	315	16
4	1640	16
done	5000	16
0	15	17
1	31	17
2	67	15
3	160	15
4	284	15
5	546	15
6	814	15
7	950	15
8	979	15
done	979	15
0	15	17
1	31	17
2	67	15
3	160	15
4	284	15
5	546	15
6	814	15
7	950	15
8	979	15
done	979	15
0	23	44
1	62	36
2	197	36
3	921	36
done	5002	36
0	14	28
1	30	22
2	95	22
3	346	22
4	982	22
5	2995	22
done	5000	22
0	23	44
1	61	38
2	204	36
3	1003	36
done	5000	36
0	12	26
1	25	20
2	84	20
3	266	20
4	593	20
5	1199	20
6	2154	18
7	2635	18
8	2755	18
9	2829	18
10	2850	18
11	2871	18
12	2880	18
done	2880	18
0	23	44
1	61	36
2	216	36
3	986	36
done	5000	36
0	12	25
1	25	19
2	84	19
3	266	19
4	593	19
5	1199	19
6	2154	17
7	2635	17
8	2755	17
9	2829	17
10	2850	17
11	2871	17
12	2880	17
done	2880	17
0	18	32
1	42	30
2	113	30
3	397	30
4	1653	22
done	5001	22
0	10	12
1	18	12
2	34	12
3	69	12
4	145	12
5	307	12
6	476	12
7	523	12
8	529	12
done	529	12
0	18	32
1	41	32
2	118	30
3	414	22
4	1321	22
5	4089	22
done	5000	22
0	8	10
1	13	10
2	23	10
3	32	10
4	54	10
5	78	10
6	91	10
7	93	10
done	93	10
0	18	32
1	41	30
2	130	30
3	411	30
4	1481	22
5	4535	22
done	5000	22
0	8	9
1	13	9
2	23	9
3	32	9
4	54	9
5	78	9
6	91	9
7	93	9
done	93	9
0	17	20
1	47	20
2	155	18
3	715	18
4	3337	18
done	5000	18
0	18	50
1	46	41
2	158	37
3	569	36
4	1927	36
done	5001	36
0	9	9
1	20	9
2	44	7
3	115	7
4	228	7
5	362	7
6	442	7
7	453	7
8	455	7
done	455	7
0	16	33
1	40	33
2	132	29
3	499	29
4	1788	29
done	5000	29
0	14	16
1	29	16
2	54	14
3	121	14
4	212	14
5	446	14
6	821	14
7	1039	14
8	1097	14
9	1109	14
done	1109	14
0	14	15
1	28	15
2	58	13
3	133	13
4	230	13
5	360	13
6	441	13
7	452	13
8	454	13
done	454	13
0	14	15
1	28	15
2	58	13
3	133	13
4	230	13
5	360	13
6	441	13
7	452	13
8	454	13
done	454	13
0	13	14
1	24	14
2	35	12
3	74	12
4	107	12
5	140	12
6	149	12
done	149	12
0	9	9
1	20	9
2	44	7
3	115	7
4	228	7
5	362	7
6	442	7
7	453	7
8	455	7
done	455	7
0	20	27
1	60	25
2	181	21
3	521	19
4	1424	17
5	3966	17
done	5001	17
0	22	31
1	66	29
2	224	27
3	741	25
4	3282	23
done	5001	23
0	10	13
1	22	11
2	40	11
3	64	11
4	98	11
5	111	11
done	111	11
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	16	21
1	45	21
2	127	19
3	290	17
4	639	15
5	1718	15
done	5001	15
0	18	25
1	51	25
2	154	25
3	422	23
4	1538	21
done	5001	21
0	7	9
1	11	9
2	15	9
3	18	9
4	19	9
done	19	9
0	13	13
1	27	13
2	45	11
3	82	11
4	130	11
5	183	11
6	296	11
7	389	11
8	404	11
9	409	11
done	409	11
0	17	21
1	48	19
2	142	19
3	404	17
4	1652	15
done	5000	15
0	12	15
1	28	13
2	59	13
3	119	13
4	243	13
5	415	13
6	607	13
7	835	13
8	848	13
9	852	13
done	852	13

prune244.0ms

Filtered

123 candidates to 162 candidates (-31.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	162	10	172

Merged error: 0.0b

Counts

172 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (sqrt x)) 3.0))
0.3b	(/ y (sqrt x))
0.3b	(/ (/ y (sqrt x)) 3.0)
0.3b	(/ 1.0 (* x 9.0))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

164×	`times-frac`
109×	`add-sqr-sqrt`
101×	`*-un-lft-identity`
96×	`add-cube-cbrt`
49×	`sqrt-prod`
28×	`associate-/l*`
16×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/r*`
9×	`add-log-exp`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp`
4×	`pow1` `difference-of-squares`
3×	`frac-2neg` `diff-log` `clear-num` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `associate--l+` `frac-sub` `flip--`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 190

Calls

4 calls:

38.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (sqrt x)) 3.0))
5.0ms	(/ y (sqrt x))
10.0ms	(/ (/ y (sqrt x)) 3.0)
5.0ms	(/ 1.0 (* x 9.0))

series32.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (sqrt x)) 3.0))
8.0ms	(/ y (sqrt x))
11.0ms	(/ (/ y (sqrt x)) 3.0)
2.0ms	(/ 1.0 (* x 9.0))

simplify1.5min

Counts

202 → 202

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	9	9
1	15	9
2	26	9
3	42	9
4	51	9
5	59	9
6	74	9
7	100	9
8	109	9
done	109	9
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	7	7
1	12	7
2	22	7
3	34	7
4	51	7
5	63	7
6	71	7
7	84	7
8	98	7
9	114	7
10	118	7
done	118	7
0	7	7
1	9	7
2	12	7
done	12	7
0	12	20
1	26	16
2	95	12
3	390	12
4	1439	12
5	3571	10
done	5000	10
0	10	20
1	25	20
2	82	10
3	314	8
4	1247	8
5	3313	8
done	5000	8
0	8	15
1	10	15
2	13	15
done	13	15
0	7	7
1	9	7
2	12	7
done	12	7
0	8	20
1	17	20
2	51	8
3	196	8
4	891	8
5	2495	8
6	4460	8
done	5000	8
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	9	7
2	12	7
done	12	7
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	10	17
1	16	17
2	25	17
3	31	17
done	31	17
0	8	8
done	8	8
0	9	14
1	11	14
2	13	14
3	14	14
done	14	14
0	8	8
done	8	8
0	8	13
1	12	11
2	18	11
3	23	11
done	23	11
0	7	7
done	7	7
0	9	11
1	11	11
done	11	11
0	8	8
done	8	8
0	8	8
done	8	8
0	8	8
done	8	8
0	7	7
1	9	5
2	11	5
done	11	5
0	7	7
done	7	7
0	12	19
1	22	19
2	57	19
3	145	19
4	273	19
5	309	19
done	309	19
0	9	9
1	11	9
2	14	9
done	14	9
0	11	16
1	19	16
2	42	16
3	79	16
4	120	16
5	125	16
done	125	16
0	9	9
1	11	9
2	14	9
done	14	9
0	10	15
1	20	13
2	47	13
3	96	13
4	126	13
5	127	13
done	127	13
0	8	8
1	10	8
2	13	8
done	13	8
0	12	18
1	19	15
2	35	15
3	71	15
4	111	15
5	121	15
done	121	15
0	9	9
1	11	9
2	14	9
done	14	9
0	11	15
1	16	12
2	27	12
3	40	12
4	50	12
done	50	12
0	9	9
1	11	9
2	14	9
done	14	9
0	10	14
1	17	9
2	32	9
3	49	9
4	59	9
done	59	9
0	8	8
1	10	8
2	13	8
done	13	8
0	11	15
1	17	15
2	33	15
3	69	15
4	109	15
5	119	15
done	119	15
0	9	9
1	11	9
2	14	9
done	14	9
0	10	12
1	14	12
2	25	12
3	38	12
4	48	12
done	48	12
0	9	9
1	11	9
2	14	9
done	14	9
0	9	11
1	15	9
2	30	9
3	47	9
4	57	9
done	57	9
0	8	8
1	10	8
2	13	8
done	13	8
0	10	14
1	18	13
2	34	13
3	67	11
4	104	11
5	105	11
done	105	11
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	15	10
2	26	10
3	39	8
4	57	8
5	58	8
done	58	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	10
1	13	7
2	23	7
3	30	5
done	30	5
0	7	7
1	9	7
2	12	7
done	12	7
0	11	15
1	17	15
2	33	15
3	69	15
4	109	15
5	119	15
done	119	15
0	9	9
1	11	9
2	14	9
done	14	9
0	10	12
1	14	12
2	25	12
3	38	12
4	48	12
done	48	12
0	9	9
1	11	9
2	14	9
done	14	9
0	9	11
1	15	9
2	30	9
3	47	9
4	57	9
done	57	9
0	8	8
1	10	8
2	13	8
done	13	8
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	8	8
1	10	8
2	13	8
done	13	8
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	7	7
1	9	7
2	12	7
done	12	7
0	11	16
1	17	16
2	29	16
3	56	16
4	60	16
done	60	16
0	9	9
1	11	9
2	14	9
done	14	9
0	10	13
1	14	13
2	20	13
3	28	13
done	28	13
0	9	9
1	11	9
2	14	9
done	14	9
0	9	12
1	15	10
2	25	10
3	41	10
done	41	10
0	8	8
1	10	8
2	13	8
done	13	8
0	11	15
1	16	12
2	22	12
3	28	12
done	28	12
0	9	9
1	11	9
2	14	9
done	14	9
0	10	12
1	13	9
2	16	9
done	16	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	11
1	14	6
2	21	6
3	23	6
done	23	6
0	8	8
1	10	8
2	13	8
done	13	8
0	10	12
1	14	12
2	20	12
3	26	12
done	26	12
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	8	8
1	12	6
2	19	6
3	21	6
done	21	6
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	15	10
2	21	10
3	27	8
4	37	8
done	37	8
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	12	7
2	15	7
done	15	5
0	8	8
1	10	8
2	13	8
done	13	8
0	6	7
1	10	4
2	13	4
done	13	2
0	7	7
1	9	7
2	12	7
done	12	7
0	10	12
1	14	12
2	20	12
3	26	12
done	26	12
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	8	8
1	12	6
2	19	6
3	21	6
done	21	6
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	7
1	11	5
2	17	5
done	17	5
0	8	8
1	10	8
2	13	8
done	13	8
0	5	6
1	9	2
done	9	2
0	7	7
1	9	7
2	12	7
done	12	7
0	10	15
1	18	15
2	30	15
3	57	15
4	63	15
done	63	15
0	8	8
1	10	8
2	13	8
done	13	8
0	9	12
1	15	12
2	21	12
3	29	12
done	29	12
0	8	8
1	10	8
2	13	8
done	13	8
0	7	11
1	13	9
2	23	9
3	33	9
done	33	9
0	7	7
1	9	7
2	12	7
done	12	7
0	10	14
1	17	11
2	23	11
3	29	11
done	29	11
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	14	8
2	17	8
done	17	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	10
1	12	5
2	19	5
done	19	5
0	7	7
1	9	7
2	12	7
done	12	7
0	9	11
1	15	11
2	21	11
3	27	11
done	27	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	12	8
2	15	8
done	15	8
0	8	8
1	10	8
2	13	8
done	13	8
0	6	7
1	10	5
2	17	5
done	17	5
0	7	7
1	9	7
2	12	7
done	12	7
0	7	10
1	13	9
2	19	9
3	25	7
4	35	7
done	35	7
0	7	7
1	9	7
2	12	7
done	12	7
0	6	7
1	10	6
2	13	6
done	13	4
0	7	7
1	9	7
2	12	7
done	12	7
0	4	6
1	8	3
2	11	1
done	11	1
0	6	6
1	8	6
2	11	6
done	11	6
0	9	11
1	15	11
2	21	11
3	27	11
done	27	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	12	8
2	15	8
done	15	8
0	8	8
1	10	8
2	13	8
done	13	8
0	6	7
1	10	5
2	17	5
done	17	5
0	7	7
1	9	7
2	12	7
done	12	7
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	7	7
1	9	7
2	12	7
done	12	7
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	7	7
1	9	7
2	12	7
done	12	7
0	3	5
1	7	1
done	7	1
0	6	6
1	8	6
2	11	6
done	11	6
0	5	7
1	9	7
done	9	7
0	7	7
1	9	7
2	12	7
done	12	7
0	4	4
1	6	4
done	6	4
0	7	7
1	9	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	6	6
1	8	6
2	11	6
done	11	6
0	5	7
1	7	7
done	7	7
0	7	7
1	11	7
2	14	7
done	14	7
0	4	4
done	4	4
0	7	7
1	11	7
2	14	7
done	14	7
0	3	3
1	5	1
done	5	1
0	6	6
1	10	6
2	13	6
done	13	6
0	3	3
1	5	3
done	5	3
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	8	10
1	12	10
2	18	10
3	24	10
done	24	10
0	7	7
1	9	7
2	12	7
done	12	7
0	6	6
1	10	4
2	17	4
3	19	4
done	19	4
0	7	7
done	7	7
0	7	7
done	7	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
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	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
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	193	6
6	312	6
7	778	6
8	3411	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	8	12
1	11	9
2	13	9
3	14	9
done	14	9
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	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
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	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
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	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
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	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
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	15	17
1	24	16
2	38	15
3	55	15
4	84	15
5	124	15
6	177	15
7	257	15
8	339	15
9	418	15
10	421	15
done	421	15
0	14	16
1	26	15
2	46	15
3	84	15
4	126	15
5	182	15
6	262	15
7	344	15
8	425	15
9	432	15
done	432	15
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	167	15
done	167	15
0	13	15
1	27	15
2	60	15
3	106	15
4	161	15
5	231	15
6	315	15
7	452	15
8	472	15
done	472	15
0	14	31
1	25	31
2	49	31
3	77	31
4	92	31
5	109	31
6	124	31
7	155	31
8	164	31
done	164	31
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	167	15
done	167	15
0	14	44
1	26	44
2	64	16
3	203	16
4	976	16
done	5000	16
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	167	15
done	167	15
0	13	15
1	24	15
2	48	15
3	76	15
4	91	15
5	108	15
6	123	15
7	154	15
8	167	15
done	167	15
0	21	42
1	54	36
2	183	36
3	872	36
4	4835	36
done	5000	36
0	12	25
1	25	19
2	84	19
3	266	19
4	593	19
5	1199	19
6	2154	17
7	2635	17
8	2755	17
9	2829	17
10	2850	17
11	2871	17
12	2880	17
done	2880	17
0	16	30
1	34	30
2	97	30
3	327	22
4	990	22
5	2777	22
done	5001	22
0	8	9
1	13	9
2	23	9
3	32	9
4	54	9
5	78	9
6	91	9
7	93	9
done	93	9
0	15	18
1	40	18
2	117	18
3	408	18
4	1818	18
done	5001	18
0	16	44
1	36	37
2	96	37
3	321	36
4	980	36
5	2552	32
done	5001	32
0	7	7
1	11	7
2	17	7
3	21	7
done	21	7
0	14	29
1	30	29
2	79	29
3	252	29
4	865	29
5	2523	25
done	5001	25
0	12	14
1	22	14
2	41	14
3	62	14
4	81	14
5	96	14
6	104	14
7	121	14
8	145	14
9	157	14
done	157	14
0	14	16
1	22	16
2	32	16
3	38	16
done	38	16
0	14	16
1	23	16
2	34	16
3	40	16
done	40	16
0	15	17
1	21	17
2	28	17
3	34	17
done	34	17
0	15	17
1	22	17
2	32	17
3	38	17
done	38	17
0	16	18
1	24	18
2	34	18
3	40	18
done	40	18
0	16	18
1	25	18
2	40	18
3	52	18
done	52	18
0	16	18
1	24	18
2	34	18
3	40	18
done	40	18
0	16	18
1	25	18
2	40	18
3	52	18
done	52	18
0	12	14
1	23	14
2	47	14
3	75	14
4	92	14
5	109	14
6	124	14
7	155	14
8	166	14
done	166	14
0	12	14
1	23	14
2	47	14
3	75	14
4	92	14
5	109	14
6	124	14
7	155	14
8	166	14
done	166	14
0	12	13
1	21	13
2	39	13
3	49	13
done	49	13
0	12	13
1	21	13
2	39	13
3	49	13
done	49	13
0	11	12
1	17	12
2	22	12
done	22	12
0	7	7
1	11	7
2	17	7
3	21	7
done	21	7
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	20	27
1	60	25
2	181	21
3	521	19
4	1424	17
5	3966	17
done	5001	17
0	22	31
1	66	29
2	224	27
3	741	25
4	3282	23
done	5001	23
0	10	13
1	22	11
2	40	11
3	64	11
4	98	11
5	111	11
done	111	11
0	16	21
1	45	21
2	127	19
3	290	17
4	639	15
5	1718	15
done	5001	15
0	18	25
1	51	25
2	154	25
3	422	23
4	1538	21
done	5001	21
0	7	9
1	11	9
2	15	9
3	18	9
4	19	9
done	19	9
0	13	13
1	27	13
2	45	11
3	82	11
4	130	11
5	183	11
6	296	11
7	389	11
8	404	11
9	409	11
done	409	11
0	17	21
1	48	19
2	142	19
3	404	17
4	1652	15
done	5000	15
0	12	15
1	28	13
2	59	13
3	119	13
4	243	13
5	415	13
6	607	13
7	835	13
8	848	13
9	852	13
done	852	13

prune268.0ms

Filtered

154 candidates to 202 candidates (-31.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	202	10	212

Merged error: 0.0b

Counts

212 → 10

regimes132.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	12	14
1	13	14
done	13	14

end0.0ms

sample1.3s

Algorithm

intervals

Results

442.0ms	8561×	body	80	valid
389.0ms	8672×	body	80	nan

Details

sample47.0ms

simplify96.0ms

prune3.0ms

localize10.0ms

rewrite31.0ms

series27.0ms

simplify1.5min

prune197.0ms

localize11.0ms

rewrite51.0ms

series28.0ms

simplify1.5min

prune274.0ms

localize12.0ms

rewrite46.0ms

series32.0ms

simplify2.5min

prune244.0ms

localize11.0ms

rewrite68.0ms

series32.0ms

simplify1.5min

prune268.0ms

regimes132.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling