Details

sample17.0ms

Algorithm

intervals

Results

6.0ms

289×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5

prune2.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

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (- x y) x)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
11×	`add-cube-cbrt`
5×	`associate-/l*`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 38

Calls

1 calls:

6.0ms

(/ (- x y) x)

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(/ (- x y) x)

simplify9.1s

Counts

41 → 41

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	13	6
2	19	6
3	24	6
done	24	6
0	5	6
1	10	6
2	17	6
3	24	6
4	26	6
5	30	6
6	34	6
7	50	6
8	55	6
9	60	6
10	64	6
11	76	6
12	84	6
13	88	6
14	93	6
15	96	6
16	107	6
17	132	6
18	143	6
19	148	6
20	154	6
21	159	6
22	161	6
23	163	6
done	163	6
0	8	17
1	19	17
2	67	9
3	202	7
4	559	7
5	2062	7
done	5001	7
0	6	13
1	11	13
2	15	13
3	19	13
done	19	13
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	6	17
1	18	17
2	50	7
3	178	7
4	604	7
5	2255	7
done	5000	7
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	2	3
1	3	1
2	5	1
done	5	1
0	3	3
done	3	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	12
1	11	12
2	14	12
3	15	12
done	15	12
0	6	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	5	6
1	7	6
2	8	6
done	8	6
0	7	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	6
1	10	4
2	13	4
done	13	4
0	5	6
1	7	6
2	8	6
done	8	6
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	8	11
1	11	11
done	11	11
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	7	8
done	7	8
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	7	7
1	10	5
2	12	5
done	12	5
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	7	5
done	7	5
0	6	9
1	13	9
2	21	9
3	26	9
4	29	9
done	29	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	6	5
2	7	5
done	7	5
0	6	7
1	8	7
2	9	7
done	9	7
0	4	5
1	6	5
2	7	5
done	7	5
0	8	13
1	22	11
2	48	11
3	75	11
4	83	11
5	93	11
6	116	11
7	176	11
8	379	11
9	1310	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	5
done	12	5

prune39.0ms

Filtered

30 candidates to 41 candidates (-36.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	1	42

Merged error: 0b

Counts

42 → 1

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
done	7	5

end0.0ms

sample472.0ms

Algorithm

intervals

Results

192.0ms

9164×

body

valid

Details

sample17.0ms

simplify5.0ms

prune2.0ms

localize3.0ms

rewrite8.0ms

series5.0ms

simplify9.1s

prune39.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune3.0ms

simplify1.0ms

end0.0ms

sample472.0ms

Profiling