Details

sample17.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
done	8	7

prune7.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.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (+ x y) (+ y 1.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
16×	`times-frac`
11×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`distribute-lft-out`
4×	`associate-/r` `associate-/l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 40

Calls

1 calls:

9.0ms

(/ (+ x y) (+ y 1.0))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(/ (+ x y) (+ y 1.0))

simplify27.0s

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	13	9
done	13	9
0	7	8
1	12	8
2	14	8
3	15	8
done	15	8
0	7	8
1	9	8
done	9	8
0	10	23
1	45	23
2	136	11
3	337	9
4	917	9
5	2632	9
done	5001	9
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	17	23
2	49	9
3	121	9
4	316	9
5	693	9
6	1527	9
7	3746	9
done	5001	9
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	10	19
1	18	19
2	27	19
3	33	19
done	33	19
0	8	9
1	10	9
done	10	9
0	9	14
1	13	14
2	15	14
3	16	14
done	16	14
0	8	9
1	10	9
done	10	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	8
1	9	8
done	9	8
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	8
1	9	8
done	9	8
0	9	14
1	13	14
done	13	14
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	9	8
done	9	8
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	9	8
done	9	8
0	7	11
1	12	11
done	12	11
0	7	8
1	9	8
done	9	8
0	6	6
1	9	6
done	9	6
0	7	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	7	11
1	12	11
done	12	11
0	7	8
1	9	8
done	9	8
0	6	6
1	9	6
done	9	6
0	7	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	5	5
1	8	5
done	8	5
0	6	7
1	8	7
done	8	7
0	8	13
1	12	13
done	12	13
0	7	8
1	9	8
done	9	8
0	5	5
1	8	3
2	10	3
done	10	3
0	5	5
1	8	3
2	10	3
done	10	3
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	9	11
1	24	11
2	33	11
3	50	11
4	91	11
5	200	11
6	601	11
7	2415	11
done	5001	11
0	8	11
1	14	11
2	23	11
3	40	11
4	65	11
5	106	11
6	164	11
7	332	11
8	1613	11
done	5000	11
0	10	15
1	26	13
2	80	13
3	212	13
4	524	13
5	1306	13
6	2471	13
7	4614	13
done	5000	13
0	6	7
1	10	7
2	25	7
3	54	7
4	100	7
5	149	7
6	200	7
7	302	7
8	512	7
9	838	7
10	954	7
11	962	7
done	962	7
0	9	13
1	21	11
2	47	9
3	98	9
4	140	9
5	178	9
6	258	9
7	476	9
8	773	9
9	1314	9
10	2573	9
11	2659	9
done	2659	9
0	9	11
1	19	11
2	37	9
3	52	9
4	70	9
5	100	9
6	121	9
7	144	9
8	164	9
9	182	9
10	206	9
11	273	9
12	279	9
done	279	9
0	9	11
1	19	11
2	37	9
3	52	9
4	70	9
5	100	9
6	121	9
7	144	9
8	164	9
9	182	9
10	206	9
11	273	9
12	279	9
done	279	9

prune53.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	3	44

Merged error: 0b

Counts

44 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ y 1.0) (+ x y))
0.2b	(/ 1 (/ (+ y 1.0) (+ x y)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

155×	`*-un-lft-identity`
146×	`times-frac`
71×	`add-sqr-sqrt` `add-cube-cbrt`
42×	`distribute-lft-out`
26×	`associate-/r*`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube`
8×	`div-exp`
7×	`associate-/l*`
6×	`flip3-+` `flip-+` `div-inv`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`pow-flip` `inv-pow`

Counts

2 → 152

Calls

2 calls:

8.0ms	(/ (+ y 1.0) (+ x y))
12.0ms	(/ 1 (/ (+ y 1.0) (+ x y)))

series15.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(/ (+ y 1.0) (+ x y))
7.0ms	(/ 1 (/ (+ y 1.0) (+ x y)))

simplify1.4min

Counts

158 → 158

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	9	10
1	13	10
2	17	10
3	19	10
4	20	9
done	20	9
0	8	9
1	13	9
2	15	9
3	19	9
4	21	9
5	22	9
done	22	9
0	10	11
1	18	10
2	31	10
3	50	9
4	79	9
5	106	9
6	114	9
7	128	9
done	128	9
0	9	10
1	16	9
2	24	9
3	37	9
4	63	9
5	93	9
6	100	9
7	106	9
8	122	9
done	122	9
0	11	12
1	21	11
2	29	10
3	54	9
4	83	9
5	110	9
6	118	9
7	132	9
done	132	9
0	10	11
1	19	10
2	24	9
3	41	9
4	67	9
5	97	9
6	106	9
7	112	9
8	128	9
done	128	9
0	9	10
1	19	9
2	36	9
3	62	8
4	113	8
5	152	8
6	170	8
7	175	8
8	183	8
done	183	8
0	9	10
1	15	10
2	28	10
3	51	8
4	109	8
5	172	8
6	345	8
7	849	8
8	2859	8
done	5000	8
0	14	29
1	56	25
2	177	13
3	587	11
4	2227	11
done	5000	11
0	12	29
1	30	25
2	82	11
3	276	11
4	878	11
5	2245	9
done	5000	9
0	10	21
1	16	21
2	27	21
3	40	17
4	75	17
5	88	17
done	88	17
0	9	10
1	15	10
2	26	10
3	39	8
4	74	8
5	85	8
done	85	8
0	10	29
1	23	29
2	69	11
3	320	9
4	1034	9
5	2227	9
done	5000	9
0	9	10
1	15	10
2	26	10
3	39	8
4	74	8
5	85	8
done	85	8
0	9	10
1	15	10
2	26	10
3	39	8
4	74	8
5	85	8
done	85	8
0	2	2
1	5	1
done	5	1
0	7	8
1	11	8
2	15	8
3	17	8
4	23	8
5	27	8
6	31	8
done	31	8
0	12	23
1	22	21
2	31	19
3	37	19
done	37	19
0	10	11
1	14	10
done	14	10
0	11	14
1	17	12
2	19	10
3	20	10
done	20	10
0	10	11
1	14	10
done	14	10
0	14	25
1	28	23
2	64	21
3	134	19
4	189	19
done	189	19
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	13	20
1	23	18
2	41	16
3	74	14
4	94	14
done	94	14
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	10	17
1	19	11
2	33	11
3	42	11
done	42	11
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	10	17
1	19	11
2	33	11
3	42	11
done	42	11
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	13	20
1	23	18
2	38	16
3	58	14
4	62	14
done	62	14
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	15
1	20	13
2	29	11
3	37	9
4	38	9
done	38	9
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	12
1	16	6
2	21	6
done	21	6
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	9	12
1	16	6
2	21	6
done	21	6
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	5	9
1	11	1
done	11	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	5	9
1	11	1
done	11	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	5	9
1	11	1
done	11	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	5	9
1	11	1
done	11	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	4	7
1	8	3
2	12	1
done	12	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	7	9
1	12	7
2	14	5
3	15	5
done	15	5
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	13	17
1	34	15
2	60	13
3	125	11
4	301	11
5	939	11
6	2618	11
done	5001	11
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	12	17
1	24	15
2	50	13
3	135	11
4	372	11
5	749	11
6	1037	11
7	1642	11
8	4753	11
done	5000	11
0	6	6
1	10	5
2	11	5
done	11	5
0	11	20
1	17	19
done	17	19
0	10	11
1	14	10
done	14	10
0	10	11
1	14	10
done	14	10
0	10	11
1	14	10
done	14	10
0	13	22
1	25	21
2	46	21
3	77	19
4	137	19
5	205	19
done	205	19
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	17
1	20	16
2	28	16
3	41	14
4	68	14
5	99	14
done	99	14
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	14
1	16	11
2	27	11
3	36	11
done	36	11
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	9	14
1	16	11
2	27	11
3	36	11
done	36	11
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	12	17
1	20	16
2	27	16
3	35	14
4	59	14
5	74	14
done	74	14
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	11	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	8	9
1	13	6
2	18	6
done	18	6
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	8	9
1	13	6
2	18	6
done	18	6
0	10	11
1	16	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	4	6
1	8	1
done	8	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	4	6
1	8	1
done	8	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	10	11
1	16	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	4	6
1	8	1
done	8	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	4	6
1	8	1
done	8	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	3	4
1	5	1
done	5	1
0	9	10
1	15	9
2	26	9
3	39	7
4	74	7
5	87	7
done	87	7
0	6	6
1	9	5
done	9	5
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	12	14
1	31	13
2	51	13
3	105	11
4	268	11
5	954	11
6	2745	11
done	5000	11
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	11	14
1	21	13
2	41	13
3	111	11
4	329	11
5	748	11
6	1037	11
7	1608	11
8	4799	11
done	5000	11
0	6	6
1	10	5
2	11	5
done	11	5
0	10	19
1	16	19
done	16	19
0	9	10
1	13	10
done	13	10
0	9	10
1	13	10
done	13	10
0	9	10
1	13	10
done	13	10
0	12	21
1	24	21
2	45	21
3	76	19
4	136	19
5	200	19
done	200	19
0	10	11
1	16	11
2	19	11
3	20	9
4	33	9
5	40	9
done	40	9
0	11	16
1	19	16
2	27	16
3	40	14
4	67	14
5	99	14
done	99	14
0	10	11
1	16	11
2	19	11
3	20	9
4	33	9
5	40	9
done	40	9
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	9	10
1	15	10
2	26	10
3	39	8
4	74	8
5	87	8
done	87	8
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	9	10
1	15	10
2	26	10
3	39	8
4	74	8
5	87	8
done	87	8
0	11	16
1	19	16
2	26	16
3	34	14
4	58	14
5	73	14
done	73	14
0	10	11
1	16	11
2	19	11
3	20	9
4	33	9
5	40	9
done	40	9
0	10	11
1	16	11
2	19	11
3	20	9
4	33	9
5	40	9
done	40	9
0	10	11
1	16	11
2	19	11
3	20	9
4	33	9
5	40	9
done	40	9
0	7	8
1	12	6
2	17	6
done	17	6
0	9	10
1	15	10
2	26	10
3	39	8
4	74	8
5	87	8
done	87	8
0	7	8
1	12	6
2	17	6
done	17	6
0	9	10
1	15	10
2	26	10
3	39	8
4	74	8
5	87	8
done	87	8
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	9	10
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	9	10
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	3	5
1	6	1
done	6	1
0	8	9
1	14	9
2	25	9
3	38	7
4	73	7
5	84	7
done	84	7
0	3	5
1	6	1
done	6	1
0	8	9
1	14	9
2	25	9
3	38	7
4	73	7
5	84	7
done	84	7
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	9	10
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	9	10
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	3	5
1	6	1
done	6	1
0	8	9
1	14	9
2	25	9
3	38	7
4	73	7
5	84	7
done	84	7
0	3	5
1	6	1
done	6	1
0	8	9
1	14	9
2	25	9
3	38	7
4	73	7
5	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	8	9
1	14	9
2	25	9
3	38	7
4	73	7
5	84	7
done	84	7
0	5	5
1	8	5
done	8	5
0	6	7
1	11	3
2	24	3
3	34	3
4	35	3
done	35	3
0	11	13
1	30	13
2	50	13
3	104	11
4	269	11
5	930	11
6	2710	11
done	5000	11
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	10	13
1	20	13
2	40	13
3	110	11
4	328	11
5	747	11
6	1042	11
7	1609	11
8	4782	11
done	5000	11
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	14	9
2	25	9
3	38	7
4	73	7
5	84	7
done	84	7
0	8	9
1	14	7
2	29	7
3	39	7
done	39	7
0	10	19
1	16	19
done	16	19
0	9	10
1	13	10
done	13	10
0	12	21
1	24	21
2	45	21
3	76	19
4	136	19
5	200	19
done	200	19
0	11	16
1	19	16
2	27	16
3	40	14
4	67	14
5	99	14
done	99	14
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	11	16
1	19	16
2	26	16
3	34	14
4	58	14
5	73	14
done	73	14
0	10	11
1	16	11
2	19	11
3	20	9
4	33	9
5	40	9
done	40	9
0	7	8
1	12	6
2	17	6
done	17	6
0	7	8
1	12	6
2	17	6
done	17	6
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	11	13
1	30	13
2	50	13
3	104	11
4	269	11
5	930	11
6	2710	11
done	5000	11
0	10	13
1	20	13
2	40	13
3	110	11
4	328	11
5	747	11
6	1042	11
7	1609	11
8	4782	11
done	5000	11
0	9	10
1	15	9
2	26	9
done	26	7
0	9	10
1	15	9
2	26	9
done	26	7
0	8	9
1	14	7
2	29	7
3	39	7
done	39	7
0	5	5
1	8	5
done	8	5
0	8	9
1	12	9
2	13	9
done	13	9
0	7	8
1	12	8
2	14	8
3	15	8
done	15	8
0	7	8
1	9	8
done	9	8
0	10	23
1	45	23
2	136	11
3	337	9
4	917	9
5	2635	9
done	5000	9
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	17	23
2	49	9
3	121	9
4	316	9
5	693	9
6	1527	9
7	3746	9
done	5001	9
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	10	19
1	18	19
2	27	19
3	33	19
done	33	19
0	8	9
1	10	9
done	10	9
0	9	14
1	13	14
2	15	14
3	16	14
done	16	14
0	8	9
1	10	9
done	10	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	8
1	9	8
done	9	8
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	8
1	9	8
done	9	8
0	9	14
1	13	14
done	13	14
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	9	8
done	9	8
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	9	8
done	9	8
0	7	11
1	12	11
done	12	11
0	7	8
1	9	8
done	9	8
0	6	6
1	9	6
done	9	6
0	7	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	7	11
1	12	11
done	12	11
0	7	8
1	9	8
done	9	8
0	6	6
1	9	6
done	9	6
0	7	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	5	5
1	8	5
done	8	5
0	6	7
1	8	7
done	8	7
0	8	13
1	12	13
done	12	13
0	7	8
1	9	8
done	9	8
0	5	5
1	8	3
2	10	3
done	10	3
0	5	5
1	8	3
2	10	3
done	10	3
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	9	11
1	24	11
2	33	11
3	50	11
4	91	11
5	201	11
6	606	11
7	2449	11
done	5001	11
0	8	11
1	14	11
2	23	11
3	40	11
4	65	11
5	106	11
6	164	11
7	332	11
8	1621	11
done	5000	11
0	10	15
1	26	13
2	80	13
3	215	13
4	525	13
5	1261	13
6	2437	13
7	4612	13
done	5000	13
0	6	7
1	10	7
2	25	7
3	53	7
4	101	7
5	155	7
6	208	7
7	303	7
8	509	7
9	802	7
10	860	7
11	867	7
done	867	7
0	10	13
1	25	11
2	58	9
3	97	9
4	136	9
5	178	9
6	259	9
7	422	9
8	777	9
9	2023	9
done	5001	9
0	11	13
1	25	13
2	60	13
3	152	13
4	391	12
5	1144	12
6	4662	11
done	5000	11
0	11	13
1	25	13
2	60	13
3	152	13
4	391	12
5	1144	12
6	4662	11
done	5000	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune119.0ms

Filtered

74 candidates to 158 candidates (-113.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	158	3	161

Merged error: 0b

Counts

161 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(exp (/ (+ x y) (+ y 1.0)))
0.0b	(/ (+ x y) (+ y 1.0))
2.7b	(log (exp (/ (+ x y) (+ y 1.0))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
48×	`times-frac`
44×	`exp-prod`
32×	`add-sqr-sqrt` `add-cube-cbrt`
26×	`distribute-lft-out`
23×	`log-pow`
6×	`associate-/r/`
5×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `flip3-+` `associate-/r` `flip-+` `associate-/l` `add-log-exp`
3×	`log-prod` `div-inv`
2×	`associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `rem-exp-log`

Counts

3 → 104

Calls

3 calls:

12.0ms	(exp (/ (+ x y) (+ y 1.0)))
9.0ms	(/ (+ x y) (+ y 1.0))
11.0ms	(log (exp (/ (+ x y) (+ y 1.0))))

series24.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(exp (/ (+ x y) (+ y 1.0)))
7.0ms	(/ (+ x y) (+ y 1.0))
7.0ms	(log (exp (/ (+ x y) (+ y 1.0))))

simplify1.6min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	20
1	14	20
2	16	12
3	17	12
done	17	12
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	2	2
1	4	1
done	4	1
0	8	9
1	10	7
done	10	7
0	8	9
1	10	7
done	10	7
0	10	19
1	14	17
2	20	17
3	28	17
4	53	17
5	126	17
6	377	17
7	1345	17
done	5001	17
0	9	10
1	11	8
done	11	8
0	12	21
1	20	19
2	31	19
3	45	19
4	64	19
5	108	19
6	244	19
7	729	19
8	3684	19
done	5000	19
0	11	16
1	15	14
2	17	14
3	20	14
4	28	14
5	41	14
6	78	14
7	185	14
8	549	14
9	2198	14
done	5001	14
0	9	13
1	14	9
2	22	9
3	33	9
4	45	9
5	70	9
6	149	9
7	418	9
8	1661	9
done	5000	9
0	9	13
1	14	9
2	22	9
3	33	9
4	45	9
5	70	9
6	149	9
7	418	9
8	1661	9
done	5000	9
0	11	16
1	15	14
done	15	14
0	10	11
1	12	9
done	12	9
0	8	8
1	11	4
2	13	4
done	13	4
0	8	8
1	11	4
2	13	4
done	13	4
0	9	13
1	14	11
done	14	11
0	8	8
1	11	6
done	11	6
0	4	5
1	6	1
2	7	1
done	7	1
0	4	5
1	6	1
2	7	1
done	7	1
0	9	13
1	14	11
done	14	11
0	8	8
1	11	6
done	11	6
0	4	5
1	6	1
2	7	1
done	7	1
0	4	5
1	6	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	5	5
1	9	3
2	13	3
3	14	3
done	14	3
0	11	13
1	26	11
2	35	11
3	52	11
4	91	11
5	201	11
6	604	11
7	2443	11
done	5000	11
0	10	13
1	16	11
2	25	11
3	42	11
4	67	11
5	108	11
6	172	11
7	340	11
8	1595	11
done	5000	11
0	9	10
1	11	8
2	14	8
3	16	8
4	17	8
done	17	8
0	9	10
1	11	8
done	11	8
0	10	21
1	12	17
done	12	17
0	9	10
1	11	8
done	11	8
0	10	29
1	13	23
2	23	9
3	64	9
4	151	9
5	398	9
6	855	9
7	2130	9
done	5000	9
0	9	10
1	11	8
done	11	8
0	9	10
1	11	8
done	11	8
0	8	9
1	12	9
2	13	9
done	13	9
0	7	8
1	12	8
2	14	8
3	15	8
done	15	8
0	7	8
1	9	8
done	9	8
0	10	23
1	45	23
2	136	11
3	337	9
4	917	9
5	2632	9
done	5001	9
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	17	23
2	49	9
3	121	9
4	316	9
5	693	9
6	1527	9
7	3746	9
done	5001	9
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	10	19
1	18	19
2	27	19
3	33	19
done	33	19
0	8	9
1	10	9
done	10	9
0	9	14
1	13	14
2	15	14
3	16	14
done	16	14
0	8	9
1	10	9
done	10	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	8
1	9	8
done	9	8
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	8
1	9	8
done	9	8
0	9	14
1	13	14
done	13	14
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	9	8
done	9	8
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	9	8
done	9	8
0	7	11
1	12	11
done	12	11
0	7	8
1	9	8
done	9	8
0	6	6
1	9	6
done	9	6
0	7	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	7	11
1	12	11
done	12	11
0	7	8
1	9	8
done	9	8
0	6	6
1	9	6
done	9	6
0	7	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	5	5
1	8	5
done	8	5
0	6	7
1	8	7
done	8	7
0	8	13
1	12	13
done	12	13
0	7	8
1	9	8
done	9	8
0	5	5
1	8	3
2	10	3
done	10	3
0	5	5
1	8	3
2	10	3
done	10	3
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	9	11
1	24	11
2	33	11
3	50	11
4	91	11
5	200	11
6	601	11
7	2415	11
done	5001	11
0	8	11
1	14	11
2	23	11
3	40	11
4	65	11
5	106	11
6	164	11
7	332	11
8	1613	11
done	5000	11
0	10	15
1	26	13
2	80	13
3	212	13
4	524	13
5	1306	13
6	2471	13
7	4614	13
done	5000	13
0	6	7
1	10	7
2	25	7
3	54	7
4	100	7
5	149	7
6	200	7
7	302	7
8	512	7
9	838	7
10	954	7
11	962	7
done	962	7
0	9	18
1	13	18
2	17	18
3	22	18
4	40	18
5	80	18
6	188	18
7	569	18
8	2250	18
done	5001	18
0	8	9
1	10	9
done	10	9
0	11	20
1	19	20
2	30	20
3	42	20
4	54	20
5	86	20
6	166	20
7	380	20
8	1702	20
done	5000	20
0	10	15
1	14	15
2	16	15
3	19	15
4	25	15
5	33	15
6	58	15
7	121	15
8	286	15
9	868	15
10	4295	15
done	5001	15
0	8	12
1	13	10
2	21	10
3	30	10
4	37	10
5	55	10
6	97	10
7	199	10
8	709	10
9	2995	10
done	5000	10
0	8	12
1	13	10
2	21	10
3	30	10
4	37	10
5	55	10
6	97	10
7	199	10
8	709	10
9	2995	10
done	5000	10
0	10	15
1	14	15
done	14	15
0	9	10
1	11	10
done	11	10
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	10	5
2	12	5
done	12	5
0	8	12
1	13	12
done	13	12
0	7	7
1	10	7
done	10	7
0	3	4
1	5	2
2	6	1
done	6	1
0	3	4
1	5	2
2	6	1
done	6	1
0	8	12
1	13	12
done	13	12
0	7	7
1	10	7
done	10	7
0	3	4
1	5	2
2	6	1
done	6	1
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	4	4
1	8	4
2	9	4
done	9	4
0	10	12
1	25	12
2	34	12
3	51	12
4	90	12
5	201	12
6	600	12
7	2433	12
done	5000	12
0	9	12
1	15	12
2	24	12
3	41	12
4	66	12
5	107	12
6	169	12
7	337	12
8	1622	12
done	5000	12
0	8	9
1	10	7
done	10	7
0	8	9
1	10	9
done	10	9
0	9	19
1	11	19
done	11	19
0	8	9
1	10	9
done	10	9
0	9	26
1	14	25
2	22	10
3	34	10
4	62	10
5	102	10
6	190	10
7	410	10
8	1080	10
9	4370	10
done	5000	10
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	9	13
1	21	11
2	47	9
3	98	9
4	140	9
5	178	9
6	258	9
7	476	9
8	773	9
9	1314	9
10	2573	9
11	2659	9
done	2659	9
0	9	11
1	19	11
2	37	9
3	52	9
4	70	9
5	100	9
6	121	9
7	144	9
8	164	9
9	182	9
10	206	9
11	273	9
12	279	9
done	279	9
0	9	11
1	19	11
2	37	9
3	52	9
4	70	9
5	100	9
6	121	9
7	144	9
8	164	9
9	182	9
10	206	9
11	273	9
12	279	9
done	279	9
0	9	13
1	21	11
2	47	9
3	98	9
4	140	9
5	178	9
6	258	9
7	476	9
8	773	9
9	1314	9
10	2573	9
11	2659	9
done	2659	9
0	9	11
1	19	11
2	37	9
3	52	9
4	70	9
5	100	9
6	121	9
7	144	9
8	164	9
9	182	9
10	206	9
11	273	9
12	279	9
done	279	9
0	9	11
1	19	11
2	37	9
3	52	9
4	70	9
5	100	9
6	121	9
7	144	9
8	164	9
9	182	9
10	206	9
11	273	9
12	279	9
done	279	9
0	8	9
1	16	9
2	24	7
3	28	7
done	28	7
0	26	43
1	68	43
2	224	43
3	656	43
4	1837	35
5	4170	27
done	5000	27
0	26	43
1	68	43
2	224	43
3	656	43
4	1837	35
5	4170	27
done	5000	27

prune143.0ms

Filtered

76 candidates to 113 candidates (-48.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	113	3	116

Merged error: 0b

Counts

116 → 3

regimes112.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
done	8	7

end0.0ms

sample462.0ms

Algorithm

intervals

Results

209.0ms	7998×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

Details

sample17.0ms

simplify2.0ms

prune7.0ms

localize5.0ms

rewrite10.0ms

series7.0ms

simplify27.0s

prune53.0ms

localize6.0ms

rewrite29.0ms

series15.0ms

simplify1.4min

prune119.0ms

localize9.0ms

rewrite38.0ms

series24.0ms

simplify1.6min

prune143.0ms

regimes112.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample462.0ms

Profiling