Details

sample20.0ms

Algorithm

intervals

Results

8.0ms	256×	body	80	valid
2.0ms	81×	body	80	nan

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

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

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (sqrt (+ x 1.0)))
0.0b	(sqrt (+ x 1.0))
0.2b	(/ x (+ 1.0 (sqrt (+ x 1.0))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

25×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
13×	`add-cube-cbrt`
12×	`times-frac`
6×	`distribute-lft-out`
5×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`pow1` `associate-/r*` `sqrt-prod`
3×	`flip3-+` `flip-+` `associate-/l*`
2×	`sqrt-div` `associate-/r/`
1×	`cbrt-undiv` `+-commutative` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 61

Calls

3 calls:

7.0ms	(+ 1.0 (sqrt (+ x 1.0)))
4.0ms	(sqrt (+ x 1.0))
8.0ms	(/ x (+ 1.0 (sqrt (+ x 1.0))))

series30.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(+ 1.0 (sqrt (+ x 1.0)))
5.0ms	(sqrt (+ x 1.0))
20.0ms	(/ x (+ 1.0 (sqrt (+ x 1.0))))

simplify1.0min

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	12	10
2	13	10
done	13	10
0	7	9
1	12	9
2	14	9
3	15	9
done	15	9
0	7	9
1	9	9
done	9	9
0	10	26
1	33	26
2	95	12
3	222	10
4	539	10
5	1817	10
done	5000	10
0	8	19
1	10	19
done	10	19
0	7	9
1	9	9
done	9	9
0	8	26
1	17	26
2	33	10
3	71	10
4	152	10
5	301	10
6	585	10
7	1410	10
done	5000	10
0	7	9
1	9	9
done	9	9
0	7	9
1	9	9
done	9	9
0	2	2
done	2	2
0	6	7
1	11	7
2	13	7
3	14	7
done	14	7
0	10	21
1	18	21
2	27	21
3	33	21
done	33	21
0	8	10
1	10	10
done	10	10
0	9	13
1	13	13
2	15	13
3	16	13
done	16	13
0	8	10
1	10	10
done	10	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	9
1	9	9
done	9	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	9
1	9	9
done	9	9
0	9	18
1	13	18
done	13	18
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	4	4
1	6	2
2	8	2
done	8	2
0	7	9
1	9	9
done	9	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	9
1	9	9
done	9	9
0	9	17
1	15	17
done	15	17
0	7	9
1	9	9
done	9	9
0	8	9
1	12	9
done	12	9
0	7	9
1	9	9
done	9	9
0	2	3
1	4	1
done	4	1
0	6	8
1	8	8
done	8	8
0	2	3
1	4	1
done	4	1
0	6	8
1	8	8
done	8	8
0	7	8
1	11	8
done	11	8
0	6	8
1	8	8
done	8	8
0	8	17
1	12	17
done	12	17
0	7	9
1	9	9
done	9	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	7	9
1	9	9
done	9	9
0	7	9
1	9	9
done	9	9
0	6	8
1	8	8
done	8	8
0	9	12
1	24	12
2	33	12
3	59	12
4	106	12
5	227	12
6	642	12
7	2465	12
done	5000	12
0	8	15
1	14	9
2	32	9
3	59	9
4	94	9
5	178	9
6	472	9
7	1256	9
done	5001	9
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
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	7	8
1	11	7
2	12	7
done	12	7
0	6	7
1	8	7
done	8	7
0	6	7
1	11	7
2	12	7
done	12	7
0	7	15
1	9	15
done	9	15
0	6	7
1	8	7
done	8	7
0	7	20
1	22	20
2	54	8
3	119	8
4	323	8
5	1333	8
done	5000	8
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	8	10
1	23	10
2	32	10
3	58	10
4	107	10
5	234	10
6	639	10
7	2481	10
done	5000	10
0	9	20
1	18	14
2	46	14
3	88	12
4	147	12
5	236	12
6	380	12
7	523	12
8	664	12
9	912	12
10	1111	12
11	1418	12
12	1612	12
13	1656	12
14	1916	12
15	2158	12
16	2200	12
done	2200	12
0	7	13
1	13	7
2	29	7
3	54	7
4	87	7
5	171	7
6	463	7
7	1249	7
done	5000	7
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	7	6
done	7	6
0	31	69
1	84	63
2	420	55
3	2244	53
done	5000	53
0	39	93
1	114	93
2	498	93
3	2676	91
done	5000	91
0	39	93
1	114	93
2	498	93
3	2670	91
done	5001	91
0	15	20
1	38	20
2	110	20
3	320	20
4	942	15
5	3240	15
done	5000	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27
0	16	22
1	42	22
2	127	22
3	370	22
4	1011	17
5	3318	17
done	5001	17
0	22	35
1	61	35
2	204	35
3	633	31
4	1988	31
done	5000	31
0	22	35
1	61	35
2	202	35
3	631	35
4	1951	32
done	5000	32

prune148.0ms

Filtered

56 candidates to 70 candidates (-25.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	3	71

Merged error: 0b

Counts

71 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (+ 1.0 (sqrt (+ x 1.0))))
0.1b	(sqrt (+ 1.0 (sqrt (+ x 1.0))))
0.4b	(/ (/ x (sqrt (+ 1.0 (sqrt (+ x 1.0))))) (sqrt (+ 1.0 (sqrt (+ x 1.0)))))
0.4b	(/ x (sqrt (+ 1.0 (sqrt (+ x 1.0)))))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

378×	`times-frac`
306×	`*-un-lft-identity`
232×	`sqrt-prod`
192×	`add-sqr-sqrt`
190×	`add-cube-cbrt`
58×	`distribute-lft-out`
30×	`associate-/l*`
24×	`sqrt-div`
20×	`associate-/r/`
14×	`associate-/r*`
12×	`flip3-+` `flip-+`
11×	`add-exp-log` `add-cbrt-cube`
10×	`div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`
1×	`associate-/l/`

Counts

4 → 317

Calls

4 calls:

7.0ms	(sqrt (+ 1.0 (sqrt (+ x 1.0))))
6.0ms	(sqrt (+ 1.0 (sqrt (+ x 1.0))))
24.0ms	(/ (/ x (sqrt (+ 1.0 (sqrt (+ x 1.0))))) (sqrt (+ 1.0 (sqrt (+ x 1.0)))))
10.0ms	(/ x (sqrt (+ 1.0 (sqrt (+ x 1.0)))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(sqrt (+ 1.0 (sqrt (+ x 1.0))))
12.0ms	(sqrt (+ 1.0 (sqrt (+ x 1.0))))
19.0ms	(/ (/ x (sqrt (+ 1.0 (sqrt (+ x 1.0))))) (sqrt (+ 1.0 (sqrt (+ x 1.0)))))
37.0ms	(/ x (sqrt (+ 1.0 (sqrt (+ x 1.0)))))

simplify3.3min

Counts

329 → 329

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	13	11
2	14	11
done	14	11
0	8	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	10
1	10	10
done	10	10
0	11	29
1	22	20
2	63	13
3	130	11
4	216	11
5	342	11
6	811	11
7	3420	11
done	5000	11
0	9	21
1	11	21
done	11	21
0	8	10
1	10	10
done	10	10
0	9	29
1	18	29
2	34	11
3	72	11
4	137	11
5	227	11
6	361	11
7	875	11
8	3646	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	2	2
done	2	2
0	7	8
1	9	8
done	9	8
0	11	23
1	19	23
2	28	23
3	34	23
done	34	23
0	9	11
1	11	11
done	11	11
0	11	22
1	16	14
2	18	14
3	19	14
done	19	14
0	9	11
1	11	11
done	11	11
0	10	14
1	14	14
2	16	14
3	17	14
done	17	14
0	9	11
1	11	11
done	11	11
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	10	14
1	14	14
2	16	14
3	17	14
done	17	14
0	9	11
1	11	11
done	11	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	10	20
1	14	20
done	14	20
0	9	11
1	11	11
done	11	11
0	10	19
1	13	11
done	13	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	10	19
1	16	19
done	16	19
0	8	10
1	10	10
done	10	10
0	10	18
1	15	10
done	15	10
0	8	10
1	10	10
done	10	10
0	9	10
1	13	10
done	13	10
0	8	10
1	10	10
done	10	10
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	9	10
1	13	10
done	13	10
0	8	10
1	10	10
done	10	10
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	8	9
1	12	9
done	12	9
0	7	9
1	9	9
done	9	9
0	9	19
1	13	19
done	13	19
0	9	18
1	12	10
done	12	10
0	8	10
1	10	10
done	10	10
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	8	10
1	10	10
done	10	10
0	3	3
1	5	1
done	5	1
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	7	9
1	9	9
done	9	9
0	10	13
1	25	13
2	34	13
3	60	13
4	109	13
5	227	13
6	638	13
7	2475	13
done	5000	13
0	9	16
1	15	10
2	31	10
3	56	10
4	89	10
5	173	10
6	471	10
7	1239	10
done	5000	10
0	10	20
1	17	20
2	29	13
3	41	13
4	50	13
5	59	13
6	73	13
7	83	13
8	86	13
done	86	13
0	10	19
1	16	19
2	22	19
3	35	13
4	48	13
5	55	13
6	65	13
7	73	13
8	83	13
9	86	13
done	86	13
0	9	18
1	16	18
2	22	9
3	31	9
4	43	9
5	54	9
6	61	9
7	71	9
8	79	9
9	89	9
10	92	9
done	92	9
0	9	18
1	13	18
done	13	9
0	12	53
1	27	35
2	106	23
3	390	12
4	951	10
5	2467	10
done	5001	10
0	12	53
1	29	44
2	93	21
3	278	10
4	679	10
5	1671	10
done	5001	10
0	10	37
1	14	37
done	14	19
0	9	18
1	13	18
done	13	9
0	10	53
1	21	53
2	52	10
3	146	10
4	461	10
5	995	10
6	2423	10
done	5000	10
0	9	18
1	13	18
done	13	9
0	9	18
1	13	18
done	13	9
0	8	10
1	12	10
done	12	10
0	7	8
1	9	8
done	9	8
0	12	39
1	20	39
2	29	39
3	35	39
done	35	39
0	10	19
1	12	19
done	12	19
0	13	38
1	18	30
2	20	30
3	21	30
done	21	30
0	11	19
1	13	19
done	13	19
0	11	30
1	15	30
2	17	30
3	18	30
done	18	30
0	10	19
1	12	19
done	12	19
0	12	24
1	18	23
2	20	23
3	21	21
4	28	21
done	28	21
0	9	18
1	11	18
done	11	18
0	12	24
1	18	23
2	20	23
3	21	21
4	28	21
done	28	21
0	9	18
1	11	18
done	11	18
0	11	30
1	15	30
2	17	30
3	18	30
done	18	30
0	10	19
1	12	19
done	12	19
0	11	23
1	17	21
2	23	21
3	28	21
done	28	21
0	9	18
1	11	18
done	11	18
0	11	28
1	15	28
done	15	28
0	10	19
1	12	19
done	12	19
0	12	27
1	15	19
done	15	19
0	11	19
1	13	19
done	13	19
0	10	19
1	12	19
done	12	19
0	10	19
1	12	19
done	12	19
0	11	13
1	15	12
done	15	12
0	9	18
1	11	18
done	11	18
0	11	13
1	15	12
done	15	12
0	9	18
1	11	18
done	11	18
0	10	19
1	12	19
done	12	19
0	10	19
1	12	19
done	12	19
0	10	12
1	14	10
2	16	10
done	16	10
0	9	18
1	11	18
done	11	18
0	12	41
1	24	41
2	52	41
3	93	25
4	117	16
5	149	16
6	242	16
7	551	16
8	1642	16
done	5000	16
0	10	20
1	14	20
done	14	20
0	15	40
1	26	32
2	49	32
3	86	32
4	127	32
5	131	32
done	131	32
0	12	20
1	16	20
2	19	20
done	19	20
0	13	32
1	23	32
2	46	32
3	83	32
4	124	32
5	130	32
done	130	32
0	11	20
1	15	20
2	18	20
done	18	20
0	14	26
1	26	25
2	49	25
3	84	23
4	124	23
done	124	23
0	10	19
1	14	19
2	17	19
done	17	19
0	14	26
1	26	25
2	49	25
3	84	23
4	124	23
done	124	23
0	10	19
1	14	19
2	17	19
done	17	19
0	13	32
1	23	32
2	46	32
3	83	32
4	124	32
5	130	32
done	130	32
0	11	20
1	15	20
2	18	20
done	18	20
0	13	25
1	25	23
2	52	23
3	101	23
4	131	23
done	131	23
0	10	19
1	14	19
2	17	19
done	17	19
0	15	40
1	24	32
2	40	32
3	76	32
4	115	32
5	125	32
done	125	32
0	12	20
1	16	20
2	19	20
done	19	20
0	12	39
1	19	23
2	26	21
3	38	21
4	49	21
5	51	21
done	51	21
0	10	20
1	14	20
done	14	10
0	14	31
1	21	23
2	32	23
3	45	23
4	55	23
done	55	23
0	12	20
1	16	20
2	19	20
done	19	20
0	14	25
1	23	16
2	34	16
3	47	14
4	67	14
done	67	14
0	11	19
1	15	19
2	18	19
done	18	19
0	14	25
1	23	16
2	34	16
3	47	14
4	67	14
done	67	14
0	11	19
1	15	19
2	18	19
done	18	19
0	14	31
1	21	23
2	32	23
3	45	23
4	55	23
done	55	23
0	12	20
1	16	20
2	19	20
done	19	20
0	13	24
1	22	14
2	37	14
3	54	14
4	64	14
done	64	14
0	11	19
1	15	19
2	18	19
done	18	19
0	13	32
1	21	32
2	37	32
3	73	32
4	114	32
5	124	32
done	124	32
0	11	20
1	15	20
2	18	20
done	18	20
0	14	31
1	21	23
2	32	23
3	45	23
4	55	23
done	55	23
0	12	20
1	16	20
2	19	20
done	19	20
0	11	23
1	17	23
2	24	13
3	31	13
4	34	13
done	34	13
0	10	20
1	14	20
done	14	10
0	13	17
1	21	16
2	32	16
3	45	14
4	65	14
done	65	14
0	10	19
1	14	19
2	17	19
done	17	19
0	13	17
1	21	16
2	32	16
3	45	14
4	65	14
done	65	14
0	10	19
1	14	19
2	17	19
done	17	19
0	11	23
1	17	23
2	24	13
3	31	13
4	34	13
done	34	13
0	10	20
1	14	20
done	14	10
0	12	16
1	20	14
2	35	14
3	52	14
4	62	14
done	62	14
0	10	19
1	14	19
2	17	19
done	17	19
0	14	26
1	24	25
2	40	25
3	73	23
4	110	23
5	111	23
done	111	23
0	10	19
1	14	19
2	17	19
done	17	19
0	14	25
1	23	16
2	34	16
3	47	14
4	65	14
5	66	14
done	66	14
0	11	19
1	15	19
2	18	19
done	18	19
0	13	17
1	21	16
2	32	16
3	45	14
4	63	14
done	63	14
0	10	19
1	14	19
2	17	19
done	17	19
0	7	11
1	13	9
2	20	7
3	27	5
done	27	5
0	9	18
1	13	18
done	13	9
0	7	11
1	13	9
2	20	7
3	27	5
done	27	5
0	9	18
1	13	18
done	13	9
0	13	17
1	21	16
2	32	16
3	45	14
4	63	14
done	63	14
0	10	19
1	14	19
2	17	19
done	17	19
0	7	10
1	13	7
2	23	7
3	30	5
done	30	5
0	9	18
1	13	18
done	13	9
0	14	26
1	24	25
2	40	25
3	73	23
4	110	23
5	111	23
done	111	23
0	10	19
1	14	19
2	17	19
done	17	19
0	14	25
1	23	16
2	34	16
3	47	14
4	65	14
5	66	14
done	66	14
0	11	19
1	15	19
2	18	19
done	18	19
0	13	17
1	21	16
2	32	16
3	45	14
4	63	14
done	63	14
0	10	19
1	14	19
2	17	19
done	17	19
0	7	11
1	13	9
2	20	7
3	27	5
done	27	5
0	9	18
1	13	18
done	13	9
0	7	11
1	13	9
2	20	7
3	27	5
done	27	5
0	9	18
1	13	18
done	13	9
0	13	17
1	21	16
2	32	16
3	45	14
4	63	14
done	63	14
0	10	19
1	14	19
2	17	19
done	17	19
0	7	10
1	13	7
2	23	7
3	30	5
done	30	5
0	9	18
1	13	18
done	13	9
0	13	32
1	21	32
2	37	32
3	73	32
4	114	32
5	124	32
done	124	32
0	11	20
1	15	20
2	18	20
done	18	20
0	14	31
1	21	23
2	32	23
3	45	23
4	55	23
done	55	23
0	12	20
1	16	20
2	19	20
done	19	20
0	11	23
1	17	23
2	24	13
3	31	13
4	34	13
done	34	13
0	10	20
1	14	20
done	14	10
0	13	17
1	21	16
2	32	16
3	45	14
4	65	14
done	65	14
0	10	19
1	14	19
2	17	19
done	17	19
0	13	17
1	21	16
2	32	16
3	45	14
4	65	14
done	65	14
0	10	19
1	14	19
2	17	19
done	17	19
0	11	23
1	17	23
2	24	13
3	31	13
4	34	13
done	34	13
0	10	20
1	14	20
done	14	10
0	12	16
1	20	14
2	35	14
3	52	14
4	62	14
done	62	14
0	10	19
1	14	19
2	17	19
done	17	19
0	13	25
1	23	23
2	52	23
3	109	23
4	125	23
done	125	23
0	10	19
1	14	19
2	17	19
done	17	19
0	13	24
1	22	14
2	42	14
3	64	14
4	65	14
done	65	14
0	11	19
1	15	19
2	18	19
done	18	19
0	12	16
1	20	14
2	40	14
3	62	14
4	63	14
done	63	14
0	10	19
1	14	19
2	17	19
done	17	19
0	7	10
1	13	5
2	28	5
3	35	5
done	35	5
0	9	18
1	13	18
done	13	9
0	7	10
1	13	5
2	28	5
3	35	5
done	35	5
0	9	18
1	13	18
done	13	9
0	12	16
1	20	14
2	40	14
3	62	14
4	63	14
done	63	14
0	10	19
1	14	19
2	17	19
done	17	19
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	9	18
1	13	18
done	13	9
0	11	38
1	19	38
2	26	38
3	30	22
4	39	13
5	58	13
6	96	13
7	206	13
8	528	13
9	1875	13
done	5000	13
0	10	20
1	14	20
done	14	20
0	14	37
1	21	29
2	27	29
3	35	29
done	35	29
0	12	20
1	16	20
2	19	20
done	19	20
0	12	29
1	18	29
2	24	29
3	32	29
done	32	29
0	11	20
1	15	20
2	18	20
done	18	20
0	13	23
1	21	22
2	27	22
3	35	20
4	42	20
done	42	20
0	10	19
1	14	19
2	17	19
done	17	19
0	13	23
1	21	22
2	27	22
3	35	20
4	42	20
done	42	20
0	10	19
1	14	19
2	17	19
done	17	19
0	12	29
1	18	29
2	24	29
3	32	29
done	32	29
0	11	20
1	15	20
2	18	20
done	18	20
0	12	22
1	20	20
2	30	20
3	46	20
done	46	20
0	10	19
1	14	19
2	17	19
done	17	19
0	14	37
1	21	29
2	27	29
3	33	29
done	33	29
0	12	20
1	16	20
2	19	20
done	19	20
0	11	36
1	16	20
done	16	18
0	10	20
1	14	20
done	14	10
0	13	28
1	18	20
2	21	20
done	21	20
0	12	20
1	16	20
2	19	20
done	19	20
0	13	22
1	20	13
2	23	13
done	23	11
0	11	19
1	15	19
2	18	19
done	18	19
0	13	22
1	20	13
2	23	13
done	23	11
0	11	19
1	15	19
2	18	19
done	18	19
0	13	28
1	18	20
2	21	20
done	21	20
0	12	20
1	16	20
2	19	20
done	19	20
0	12	21
1	19	11
2	26	11
3	28	11
done	28	11
0	11	19
1	15	19
2	18	19
done	18	19
0	12	29
1	18	29
2	24	29
3	30	29
done	30	29
0	11	20
1	15	20
2	18	20
done	18	20
0	13	28
1	18	20
2	21	20
done	21	20
0	12	20
1	16	20
2	19	20
done	19	20
0	10	20
1	14	20
done	14	10
0	10	20
1	14	20
done	14	10
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	10	20
1	14	20
done	14	10
0	10	20
1	14	20
done	14	10
0	11	13
1	17	11
2	24	11
3	26	11
done	26	11
0	10	19
1	14	19
2	17	19
done	17	19
0	13	23
1	21	22
2	27	22
3	33	20
4	43	20
done	43	20
0	10	19
1	14	19
2	17	19
done	17	19
0	13	22
1	20	13
2	23	13
done	23	11
0	11	19
1	15	19
2	18	19
done	18	19
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	6	8
1	10	6
done	10	4
0	9	18
1	13	18
done	13	9
0	6	8
1	10	6
done	10	4
0	9	18
1	13	18
done	13	9
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	6	7
1	10	4
2	13	4
done	13	2
0	9	18
1	13	18
done	13	9
0	13	23
1	21	22
2	27	22
3	33	20
4	43	20
done	43	20
0	10	19
1	14	19
2	17	19
done	17	19
0	13	22
1	20	13
2	23	13
done	23	11
0	11	19
1	15	19
2	18	19
done	18	19
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	6	8
1	10	6
done	10	4
0	9	18
1	13	18
done	13	9
0	6	8
1	10	6
done	10	4
0	9	18
1	13	18
done	13	9
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	6	7
1	10	4
2	13	4
done	13	2
0	9	18
1	13	18
done	13	9
0	12	29
1	18	29
2	24	29
3	30	29
done	30	29
0	11	20
1	15	20
2	18	20
done	18	20
0	13	28
1	18	20
2	21	20
done	21	20
0	12	20
1	16	20
2	19	20
done	19	20
0	10	20
1	14	20
done	14	10
0	10	20
1	14	20
done	14	10
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	12	14
1	18	13
2	21	13
done	21	11
0	10	19
1	14	19
2	17	19
done	17	19
0	10	20
1	14	20
done	14	10
0	10	20
1	14	20
done	14	10
0	11	13
1	17	11
2	24	11
3	26	11
done	26	11
0	10	19
1	14	19
2	17	19
done	17	19
0	12	22
1	20	20
2	29	20
3	37	20
done	37	20
0	10	19
1	14	19
2	17	19
done	17	19
0	12	21
1	19	11
2	25	11
done	25	11
0	11	19
1	15	19
2	18	19
done	18	19
0	11	13
1	17	11
2	23	11
done	23	11
0	10	19
1	14	19
2	17	19
done	17	19
0	6	7
1	10	2
2	16	2
done	16	2
0	9	18
1	13	18
done	13	9
0	6	7
1	10	2
2	16	2
done	16	2
0	9	18
1	13	18
done	13	9
0	11	13
1	17	11
2	23	11
done	23	11
0	10	19
1	14	19
2	17	19
done	17	19
0	5	6
1	9	2
done	9	2
0	9	18
1	13	18
done	13	9
0	11	37
1	21	37
2	28	37
3	32	21
4	40	12
5	57	12
6	95	12
7	204	12
8	525	12
9	1868	12
done	5000	12
0	9	19
1	13	19
done	13	19
0	14	36
1	23	28
2	29	28
3	37	28
done	37	28
0	11	19
1	15	19
2	18	19
done	18	19
0	12	28
1	20	28
2	26	28
3	34	28
done	34	28
0	10	19
1	14	19
2	17	19
done	17	19
0	12	22
1	20	21
2	26	19
3	38	19
done	38	19
0	9	18
1	13	18
2	16	18
done	16	18
0	12	22
1	20	21
2	26	19
3	38	19
done	38	19
0	9	18
1	13	18
2	16	18
done	16	18
0	12	28
1	20	28
2	26	28
3	34	28
done	34	28
0	10	19
1	14	19
2	17	19
done	17	19
0	11	21
1	19	19
2	29	19
3	39	19
done	39	19
0	9	18
1	13	18
2	16	18
done	16	18
0	14	36
1	23	28
2	29	28
3	35	28
done	35	28
0	11	19
1	15	19
2	18	19
done	18	19
0	11	35
1	18	19
done	18	17
0	9	19
1	13	19
done	13	9
0	13	27
1	20	19
2	23	19
done	23	19
0	11	19
1	15	19
2	18	19
done	18	19
0	12	21
1	19	12
2	22	10
3	26	10
done	26	10
0	10	18
1	14	18
2	17	18
done	17	18
0	12	21
1	19	12
2	22	10
3	26	10
done	26	10
0	10	18
1	14	18
2	17	18
done	17	18
0	13	27
1	20	19
2	23	19
done	23	19
0	11	19
1	15	19
2	18	19
done	18	19
0	11	20
1	18	10
2	25	10
done	25	10
0	10	18
1	14	18
2	17	18
done	17	18
0	12	28
1	20	28
2	26	28
3	32	28
done	32	28
0	10	19
1	14	19
2	17	19
done	17	19
0	13	27
1	20	19
2	23	19
done	23	19
0	11	19
1	15	19
2	18	19
done	18	19
0	10	19
1	16	19
done	16	9
0	9	19
1	13	19
done	13	9
0	11	13
1	17	12
2	20	10
3	24	10
done	24	10
0	9	18
1	13	18
2	16	18
done	16	18
0	11	13
1	17	12
2	20	10
3	24	10
done	24	10
0	9	18
1	13	18
2	16	18
done	16	18
0	10	19
1	16	19
done	16	9
0	9	19
1	13	19
done	13	9
0	10	12
1	16	10
2	23	10
done	23	10
0	9	18
1	13	18
2	16	18
done	16	18
0	12	22
1	20	21
2	26	21
3	32	19
4	42	19
done	42	19
0	9	18
1	13	18
2	16	18
done	16	18
0	12	21
1	19	12
2	22	12
done	22	10
0	10	18
1	14	18
2	17	18
done	17	18
0	11	13
1	17	12
2	20	12
done	20	10
0	9	18
1	13	18
2	16	18
done	16	18
0	4	7
1	8	5
done	8	3
0	8	17
1	12	17
done	12	8
0	4	7
1	8	5
done	8	3
0	8	17
1	12	17
done	12	8
0	11	13
1	17	12
2	20	12
done	20	10
0	9	18
1	13	18
2	16	18
done	16	18
0	4	6
1	8	3
2	11	1
done	11	1
0	8	17
1	12	17
done	12	8
0	12	22
1	20	21
2	26	21
3	32	19
4	42	19
done	42	19
0	9	18
1	13	18
2	16	18
done	16	18
0	12	21
1	19	12
2	22	12
done	22	10
0	10	18
1	14	18
2	17	18
done	17	18
0	11	13
1	17	12
2	20	12
done	20	10
0	9	18
1	13	18
2	16	18
done	16	18
0	4	7
1	8	5
done	8	3
0	8	17
1	12	17
done	12	8
0	4	7
1	8	5
done	8	3
0	8	17
1	12	17
done	12	8
0	11	13
1	17	12
2	20	12
done	20	10
0	9	18
1	13	18
2	16	18
done	16	18
0	4	6
1	8	3
2	11	1
done	11	1
0	8	17
1	12	17
done	12	8
0	12	28
1	20	28
2	26	28
3	32	28
done	32	28
0	10	19
1	14	19
2	17	19
done	17	19
0	13	27
1	20	19
2	23	19
done	23	19
0	11	19
1	15	19
2	18	19
done	18	19
0	10	19
1	16	19
done	16	9
0	9	19
1	13	19
done	13	9
0	11	13
1	17	12
2	20	10
3	24	10
done	24	10
0	9	18
1	13	18
2	16	18
done	16	18
0	11	13
1	17	12
2	20	10
3	24	10
done	24	10
0	9	18
1	13	18
2	16	18
done	16	18
0	10	19
1	16	19
done	16	9
0	9	19
1	13	19
done	13	9
0	10	12
1	16	10
2	23	10
done	23	10
0	9	18
1	13	18
2	16	18
done	16	18
0	11	21
1	19	19
2	23	19
3	33	19
4	34	19
done	34	19
0	9	18
1	13	18
2	16	18
done	16	18
0	11	20
1	18	10
2	20	10
3	24	10
done	24	10
0	10	18
1	14	18
2	17	18
done	17	18
0	10	12
1	16	10
2	18	10
3	22	10
done	22	10
0	9	18
1	13	18
2	16	18
done	16	18
0	4	6
1	8	1
done	8	1
0	8	17
1	12	17
done	12	8
0	4	6
1	8	1
done	8	1
0	8	17
1	12	17
done	12	8
0	10	12
1	16	10
2	18	10
3	22	10
done	22	10
0	9	18
1	13	18
2	16	18
done	16	18
0	3	5
1	7	1
done	7	1
0	8	17
1	12	17
done	12	8
0	10	19
1	16	19
done	16	19
0	9	18
1	13	18
2	16	18
done	16	18
0	10	18
1	15	10
done	15	10
0	10	18
1	14	18
2	17	18
done	17	18
0	9	10
1	13	10
done	13	10
0	9	18
1	13	18
2	16	18
done	16	18
0	3	4
1	5	3
done	5	3
0	8	17
1	12	17
done	12	8
0	3	4
1	5	3
done	5	3
0	8	17
1	12	17
done	12	8
0	9	10
1	13	10
done	13	10
0	9	18
1	13	18
2	16	18
done	16	18
0	2	3
1	4	1
done	4	1
0	8	17
1	12	17
done	12	8
0	9	19
1	13	19
done	13	19
0	10	18
1	16	18
2	19	18
done	19	18
0	9	18
1	12	10
done	12	10
0	11	18
1	17	18
2	20	18
done	20	18
0	8	10
1	10	10
done	10	10
0	10	18
1	16	18
2	19	18
done	19	18
0	4	4
1	6	3
done	6	3
0	9	17
1	15	17
done	15	8
0	4	4
1	6	3
done	6	3
0	9	17
1	15	17
done	15	8
0	8	10
1	10	10
done	10	10
0	10	18
1	16	18
2	19	18
done	19	18
0	3	3
1	5	1
done	5	1
0	9	17
1	15	17
done	15	8
0	15	31
1	35	31
2	50	31
3	82	31
4	129	31
5	254	31
6	670	31
7	2508	31
done	5000	31
0	14	30
1	24	24
2	52	24
3	94	22
4	153	22
5	242	22
6	386	22
7	528	22
8	671	22
9	919	22
10	1119	22
11	1438	22
12	1636	22
13	1680	22
14	1940	22
15	2182	22
16	2224	22
done	2224	22
0	15	30
1	34	22
2	46	22
3	72	22
4	119	22
5	244	22
6	661	22
7	2513	22
done	5001	22
0	14	30
1	24	24
2	52	24
3	94	22
4	153	22
5	242	22
6	386	22
7	528	22
8	671	22
9	919	22
10	1119	22
11	1438	22
12	1636	22
13	1680	22
14	1940	22
15	2182	22
16	2224	22
done	2224	22
0	14	22
1	32	22
2	44	22
3	70	22
4	117	22
5	241	22
6	655	22
7	2512	22
done	5000	22
0	14	30
1	24	24
2	52	24
3	94	22
4	153	22
5	242	22
6	386	22
7	528	22
8	671	22
9	919	22
10	1119	22
11	1438	22
12	1636	22
13	1680	22
14	1940	22
15	2182	22
16	2224	22
done	2224	22
0	13	16
1	32	15
2	44	15
3	70	13
4	121	13
5	248	13
6	654	13
7	2504	13
done	5000	13
0	13	29
1	23	23
2	51	23
3	93	21
4	153	21
5	242	21
6	386	21
7	528	21
8	669	21
9	917	21
10	1117	21
11	1432	21
12	1626	21
13	1670	21
14	1930	21
15	2172	21
16	2214	21
done	2214	21
0	13	16
1	32	15
2	44	15
3	70	13
4	121	13
5	248	13
6	654	13
7	2504	13
done	5000	13
0	13	29
1	23	23
2	51	23
3	93	21
4	153	21
5	242	21
6	386	21
7	528	21
8	669	21
9	917	21
10	1117	21
11	1432	21
12	1626	21
13	1670	21
14	1930	21
15	2172	21
16	2214	21
done	2214	21
0	14	22
1	32	22
2	44	22
3	70	22
4	117	22
5	241	22
6	655	22
7	2512	22
done	5000	22
0	14	30
1	24	24
2	52	24
3	94	22
4	153	22
5	242	22
6	386	22
7	528	22
8	671	22
9	919	22
10	1119	22
11	1438	22
12	1636	22
13	1680	22
14	1940	22
15	2182	22
16	2224	22
done	2224	22
0	12	15
1	31	13
2	47	13
3	75	13
4	122	13
5	248	13
6	667	13
7	2505	13
done	5000	13
0	13	29
1	23	23
2	51	23
3	93	21
4	153	21
5	242	21
6	386	21
7	528	21
8	669	21
9	917	21
10	1117	21
11	1432	21
12	1626	21
13	1670	21
14	1930	21
15	2172	21
16	2214	21
done	2214	21
0	14	34
1	24	28
2	45	28
3	76	28
4	109	28
5	193	28
6	491	28
7	1292	28
done	5001	28
0	10	16
1	14	16
2	15	16
done	15	16
0	14	33
1	23	19
2	41	19
3	66	19
4	99	19
5	183	19
6	477	19
7	1236	19
done	5001	19
0	10	16
1	14	16
2	15	16
done	15	16
0	13	25
1	21	19
2	39	19
3	64	19
4	99	19
5	183	19
6	479	19
7	1269	19
done	5001	19
0	10	16
1	14	16
2	15	16
done	15	16
0	12	19
1	22	12
2	41	12
3	66	10
4	103	10
5	187	10
6	479	10
7	1239	10
done	5001	10
0	9	15
1	13	15
2	14	15
done	14	15
0	12	19
1	22	12
2	41	12
3	66	10
4	103	10
5	187	10
6	479	10
7	1239	10
done	5001	10
0	9	15
1	13	15
2	14	15
done	14	15
0	13	25
1	21	19
2	39	19
3	64	19
4	99	19
5	183	19
6	479	19
7	1269	19
done	5001	19
0	10	16
1	14	16
2	15	16
done	15	16
0	11	18
1	21	10
2	44	10
3	71	10
4	104	10
5	188	10
6	484	10
7	1281	10
done	5000	10
0	9	15
1	13	15
2	14	15
done	14	15
0	8	9
1	12	9
done	12	9
0	8	17
1	12	17
2	15	17
done	15	8
0	10	27
1	16	27
2	22	27
3	28	27
done	28	27
0	11	26
1	16	18
2	19	18
done	19	18
0	9	18
1	13	18
2	16	18
done	16	18
0	10	12
1	16	11
2	19	11
done	19	9
0	10	12
1	16	11
2	19	11
done	19	9
0	9	18
1	13	18
2	16	18
done	16	18
0	9	11
1	15	9
2	22	9
3	24	9
done	24	9
0	9	18
1	11	18
done	11	18
0	9	18
1	11	18
done	11	18
0	10	19
1	14	19
2	17	19
3	18	19
4	20	19
5	22	19
6	23	19
done	23	19
0	11	19
1	15	19
2	18	19
3	19	19
4	21	19
5	23	19
6	24	19
done	24	19
0	10	19
1	14	19
2	17	19
3	18	19
4	20	19
5	22	19
6	23	19
done	23	19
0	9	18
1	13	18
2	16	18
done	16	9
0	9	18
1	13	18
2	16	18
done	16	9
0	10	19
1	14	19
2	17	19
3	18	19
4	20	19
5	22	19
6	23	19
done	23	19
0	9	18
1	13	18
2	16	18
done	16	9
0	10	19
1	14	19
2	17	19
3	18	19
4	20	19
5	22	19
6	23	19
done	23	19
0	11	19
1	15	19
2	18	19
3	19	19
4	21	19
5	23	19
6	24	19
done	24	19
0	10	19
1	14	19
2	17	19
3	18	19
4	20	19
5	22	19
6	23	19
done	23	19
0	9	18
1	13	18
2	16	18
done	16	9
0	9	18
1	13	18
2	16	18
done	16	9
0	10	19
1	14	19
2	17	19
3	18	19
4	20	19
5	22	19
6	23	19
done	23	19
0	9	18
1	13	18
2	16	18
done	16	9
0	9	18
1	13	18
2	16	18
3	17	18
4	19	18
5	21	18
6	22	18
done	22	18
0	10	18
1	14	18
2	17	18
3	18	18
4	20	18
5	22	18
6	23	18
done	23	18
0	9	18
1	13	18
2	16	18
3	17	18
4	19	18
5	21	18
6	22	18
done	22	18
0	8	17
1	12	17
2	15	17
done	15	8
0	8	17
1	12	17
2	15	17
done	15	8
0	9	18
1	13	18
2	16	18
3	17	18
4	19	18
5	21	18
6	22	18
done	22	18
0	8	17
1	12	17
2	15	17
done	15	8
0	8	17
1	12	17
2	15	17
done	15	8
0	9	17
1	15	17
2	18	15
3	22	6
4	24	6
done	24	6
0	13	29
1	23	23
2	51	23
3	93	21
4	151	21
5	240	21
6	380	21
7	520	21
8	661	21
9	909	21
10	1109	21
11	1418	21
12	1614	21
13	1658	21
14	1918	21
15	2160	21
16	2202	21
done	2202	21
0	9	15
1	13	15
2	14	15
done	14	15
0	13	21
1	31	21
2	43	21
3	69	21
4	116	21
5	244	21
6	658	21
7	2498	21
done	5000	21
0	12	24
1	20	18
2	38	18
3	63	18
4	100	18
5	184	18
6	492	18
7	1273	18
done	5000	18
0	7	15
1	9	6
2	10	6
done	10	6
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	11	14
2	22	9
3	27	9
4	33	9
5	43	9
6	64	9
7	126	9
8	346	9
9	1267	9
done	5000	9
0	8	16
1	11	8
done	11	8
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	2	2
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	2
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	9	11
1	24	11
2	33	11
3	59	11
4	108	11
5	234	11
6	645	11
7	2460	11
done	5000	11
0	10	21
1	19	15
2	47	15
3	89	13
4	148	13
5	237	13
6	381	13
7	524	13
8	667	13
9	913	13
10	1112	13
11	1417	13
12	1613	13
13	1657	13
14	1917	13
15	2159	13
16	2201	13
done	2201	13
0	8	14
1	14	8
2	30	8
3	55	8
4	88	8
5	172	8
6	464	8
7	1262	8
done	5001	8
0	6	7
1	9	7
2	10	7
done	10	7
0	3	3
1	6	1
done	6	1
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	11	14
2	22	9
3	27	9
4	33	9
5	43	9
6	64	9
7	126	9
8	346	9
9	1267	9
done	5000	9
0	8	16
1	11	8
done	11	8
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	2	2
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	2	2
1	4	1
done	4	1
0	6	7
1	8	7
done	8	7
0	9	11
1	24	11
2	33	11
3	59	11
4	108	11
5	234	11
6	645	11
7	2460	11
done	5000	11
0	10	21
1	19	15
2	47	15
3	89	13
4	148	13
5	237	13
6	381	13
7	524	13
8	667	13
9	913	13
10	1112	13
11	1417	13
12	1613	13
13	1657	13
14	1917	13
15	2159	13
16	2201	13
done	2201	13
0	8	14
1	14	8
2	30	8
3	55	8
4	88	8
5	172	8
6	464	8
7	1262	8
done	5001	8
0	6	7
1	9	7
2	10	7
done	10	7
0	3	3
1	6	1
done	6	1
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	36	81
1	93	81
2	394	76
3	2931	60
done	5000	60
0	54	119
1	139	119
2	412	119
3	1583	92
done	5000	92
0	54	119
1	139	119
2	412	119
3	1583	92
done	5001	92
0	31	69
1	84	63
2	420	55
3	2244	53
done	5000	53
0	39	93
1	114	93
2	498	93
3	2676	91
done	5000	91
0	39	93
1	114	93
2	498	93
3	2670	91
done	5001	91
0	34	60
1	80	60
2	252	57
3	1039	49
done	5000	44
0	54	121
1	143	121
2	499	121
3	2471	105
done	5001	105
0	54	121
1	143	121
2	499	121
3	2480	98
done	5000	98
0	34	60
1	80	60
2	252	57
3	1039	49
done	5000	44
0	54	121
1	143	121
2	499	121
3	2471	105
done	5001	105
0	54	121
1	143	121
2	499	121
3	2480	98
done	5000	98

prune749.0ms

Filtered

175 candidates to 329 candidates (-88.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	329	0	329
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	329	3	332

Merged error: 0b

Counts

332 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x 1.0))
0.0b	(+ 1.0 (sqrt (+ x 1.0)))
0.0b	(/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0))))
0.2b	(* (sqrt x) (/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0)))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

69×	`*-un-lft-identity`
56×	`add-sqr-sqrt`
52×	`times-frac`
39×	`add-cube-cbrt` `sqrt-prod`
30×	`associate-r`
15×	`distribute-lft-out`
11×	`add-exp-log` `add-cbrt-cube`
7×	`pow1`
6×	`associate-l` `associate-/l*` `add-log-exp` `unswap-sqr`
4×	`flip3-+` `associate-/r*` `associate-/r/` `flip-+`
2×	`cbrt-undiv` `sqrt-div` `div-exp` `prod-exp` `cbrt-unprod` `div-inv`
1×	`+-commutative` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative`

Counts

4 → 132

Calls

4 calls:

4.0ms	(sqrt (+ x 1.0))
7.0ms	(+ 1.0 (sqrt (+ x 1.0)))
10.0ms	(/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0))))
24.0ms	(* (sqrt x) (/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0)))))

series75.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (+ x 1.0))
11.0ms	(+ 1.0 (sqrt (+ x 1.0)))
42.0ms	(/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0))))
18.0ms	(* (sqrt x) (/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0)))))

simplify1.5min

Counts

144 → 144

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	15	8
done	15	8
0	10	15
1	17	15
2	23	13
3	29	13
4	34	13
5	42	13
6	57	13
7	69	13
8	81	13
9	93	13
10	94	13
done	94	13
0	10	14
1	15	14
2	21	14
3	29	13
4	36	13
5	44	13
6	59	13
7	71	13
8	83	13
9	95	13
10	96	13
done	96	13
0	9	13
1	17	13
2	24	9
3	33	9
4	44	9
5	51	9
6	59	9
7	73	9
8	85	9
9	97	9
10	107	9
11	108	9
12	111	9
13	116	9
14	121	9
done	121	9
0	9	13
1	16	13
2	24	9
3	34	9
4	71	9
5	153	9
6	361	9
7	1381	9
done	5000	9
0	12	38
1	40	30
2	138	14
3	423	12
4	1008	12
5	2591	10
done	5000	10
0	12	38
1	27	34
2	70	16
3	188	16
4	507	10
5	1105	10
6	2747	10
done	5001	10
0	10	27
1	15	27
2	17	19
done	17	19
0	9	13
1	14	13
2	16	9
done	16	9
0	10	38
1	24	38
2	71	10
3	197	10
4	483	10
5	1222	10
6	2793	10
done	5000	10
0	9	13
1	14	13
2	16	9
done	16	9
0	9	13
1	14	13
2	16	9
done	16	9
0	10	14
1	13	14
done	13	14
0	10	14
1	13	14
done	13	14
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	14
1	13	14
done	13	14
0	10	14
1	13	14
done	13	14
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	15
1	15	15
2	17	10
3	18	10
done	18	10
0	10	24
1	15	24
2	17	24
done	17	24
0	9	13
1	12	13
done	12	13
0	12	26
1	23	26
2	52	26
3	91	26
4	147	26
5	161	26
done	161	26
0	11	18
1	18	18
2	28	18
3	43	18
4	56	18
5	58	18
done	58	18
0	7	12
1	14	10
2	31	10
3	68	10
4	98	10
done	98	10
0	7	12
1	14	10
2	31	10
3	68	10
4	98	10
done	98	10
0	13	25
1	21	22
2	32	22
3	46	22
4	58	22
done	58	22
0	12	17
1	18	14
2	21	14
3	25	14
4	26	14
done	26	14
0	8	11
1	14	6
2	21	6
3	30	6
4	36	6
done	36	6
0	8	11
1	14	6
2	21	6
3	30	6
4	36	6
done	36	6
0	11	22
1	18	22
2	29	22
3	43	22
4	55	22
done	55	22
0	10	14
1	15	14
2	18	14
3	22	14
4	23	14
done	23	14
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	12	21
1	21	20
2	32	20
3	46	18
4	83	18
5	91	18
done	91	18
0	11	13
1	18	12
2	21	12
3	25	10
4	36	10
done	36	10
0	6	7
1	11	4
2	16	2
3	20	2
done	20	2
0	6	7
1	11	4
2	16	2
3	20	2
done	20	2
0	11	22
1	18	22
2	29	22
3	43	22
4	55	22
done	55	22
0	10	14
1	15	14
2	18	14
3	22	14
4	23	14
done	23	14
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	11	20
1	20	20
2	30	18
3	59	18
4	77	18
5	78	18
done	78	18
0	10	12
1	17	12
2	20	10
3	35	10
4	38	10
done	38	10
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	3	5
done	3	1
0	11	16
1	29	16
2	40	12
3	66	12
4	113	12
5	231	12
6	646	12
7	2495	12
done	5000	12
0	10	19
1	19	13
2	43	9
3	89	9
4	143	9
5	283	9
6	646	9
7	1565	9
done	5001	9
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	10	13
1	15	13
2	18	13
3	22	13
4	23	13
done	23	13
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	8	12
1	13	12
2	15	8
done	15	8
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	8	12
1	13	12
2	15	8
done	15	8
0	3	5
done	3	1
0	9	11
1	13	11
2	14	11
done	14	11
0	8	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	10
1	10	10
done	10	10
0	11	29
1	34	25
2	91	13
3	193	13
4	470	13
5	1672	13
done	5001	13
0	9	21
1	11	21
done	11	21
0	8	10
1	10	10
done	10	10
0	9	29
1	18	29
2	34	11
3	72	11
4	151	11
5	298	11
6	573	11
7	1364	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	3	3
done	3	3
0	6	7
1	11	7
2	13	7
3	14	7
done	14	7
0	11	23
1	19	23
2	28	23
3	34	23
done	34	23
0	9	11
1	11	11
done	11	11
0	10	15
1	14	15
2	16	15
3	17	15
done	17	15
0	9	11
1	11	11
done	11	11
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	8	10
1	10	10
done	10	10
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	8	10
1	10	10
done	10	10
0	11	22
1	16	19
done	16	19
0	9	11
1	11	11
done	11	11
0	10	14
1	13	11
done	13	11
0	9	11
1	11	11
done	11	11
0	6	8
1	9	3
2	11	3
done	11	3
0	8	10
1	10	10
done	10	10
0	6	8
1	9	3
2	11	3
done	11	3
0	8	10
1	10	10
done	10	10
0	10	19
1	14	19
done	14	19
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	5	5
1	7	3
2	9	3
done	9	3
0	8	10
1	10	10
done	10	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	10
1	10	10
done	10	10
0	10	18
1	16	17
done	16	17
0	8	10
1	10	10
done	10	10
0	9	10
1	13	9
done	13	9
0	8	10
1	10	10
done	10	10
0	3	4
1	5	1
done	5	1
0	7	9
1	9	9
done	9	9
0	3	4
1	5	1
done	5	1
0	7	9
1	9	9
done	9	9
0	10	19
1	14	19
done	14	19
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	5	5
1	7	3
2	9	3
done	9	3
0	8	10
1	10	10
done	10	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	10
1	10	10
done	10	10
0	9	17
1	15	17
done	15	17
0	8	10
1	10	10
done	10	10
0	8	9
1	12	9
done	12	9
0	8	10
1	10	10
done	10	10
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	7	8
1	11	8
done	11	8
0	7	9
1	9	9
done	9	9
0	9	18
1	13	18
done	13	18
0	8	10
1	10	10
done	10	10
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	7	9
1	9	9
done	9	9
0	8	10
1	10	10
done	10	10
0	7	9
1	9	9
done	9	9
0	10	13
1	25	13
2	34	13
3	60	13
4	109	13
5	227	13
6	645	13
7	2473	13
done	5000	13
0	9	16
1	15	10
2	33	10
3	60	10
4	95	10
5	179	10
6	479	10
7	1272	10
done	5001	10
0	7	8
1	11	7
2	12	7
done	12	7
0	6	7
1	8	7
done	8	7
0	6	7
1	11	7
2	12	7
done	12	7
0	7	15
1	9	15
done	9	15
0	6	7
1	8	7
done	8	7
0	7	20
1	22	20
2	54	8
3	119	8
4	323	8
5	1333	8
done	5000	8
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	8	10
1	23	10
2	32	10
3	58	10
4	107	10
5	234	10
6	639	10
7	2481	10
done	5000	10
0	9	20
1	18	14
2	46	14
3	88	12
4	147	12
5	236	12
6	380	12
7	523	12
8	664	12
9	912	12
10	1111	12
11	1418	12
12	1612	12
13	1656	12
14	1916	12
15	2158	12
16	2200	12
done	2200	12
0	7	13
1	13	7
2	29	7
3	54	7
4	87	7
5	171	7
6	463	7
7	1249	7
done	5000	7
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
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	31	69
1	84	63
2	420	55
3	2244	53
done	5000	53
0	39	93
1	114	93
2	498	93
3	2676	91
done	5000	91
0	44	105
1	132	105
2	594	103
3	3577	99
done	5001	99
0	48	126
1	158	115
2	820	112
done	5000	98
0	48	129
1	144	129
2	692	127
3	3945	123
done	5000	123
0	48	129
1	144	129
2	692	127
3	3899	123
done	5000	123
0	16	22
1	42	22
2	127	22
3	370	22
4	1011	17
5	3318	17
done	5001	17
0	22	35
1	61	35
2	204	35
3	633	31
4	1988	31
done	5000	31
0	22	35
1	61	35
2	202	35
3	631	35
4	1951	32
done	5000	32
0	15	20
1	38	20
2	110	20
3	320	20
4	942	15
5	3240	15
done	5000	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27

prune243.0ms

Filtered

98 candidates to 144 candidates (-46.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	144	3	147

Merged error: 0b

Counts

147 → 3

regimes70.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample542.0ms

Algorithm

intervals

Results

245.0ms	7998×	body	80	valid
77.0ms	2696×	body	80	nan
0.0ms	2×	body	1280	valid

Details

sample20.0ms

simplify3.0ms

prune3.0ms

localize6.0ms

rewrite21.0ms

series30.0ms

simplify1.0min

prune148.0ms

localize9.0ms

rewrite74.0ms

series86.0ms

simplify3.3min

prune749.0ms

localize8.0ms

rewrite51.0ms

series75.0ms

simplify1.5min

prune243.0ms

regimes70.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample542.0ms

Profiling