Details

sample19.0ms

Algorithm

intervals

Results

7.0ms

299×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
2	11	7
3	13	7
done	13	7

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.3b	(/ (+ x y) (+ y y))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

75×	`*-un-lft-identity`
48×	`times-frac`
39×	`add-sqr-sqrt` `add-cube-cbrt`
28×	`distribute-lft-out`
15×	`distribute-rgt-out`
12×	`associate-/r*`
5×	`distribute-lft1-in` `count-2` `distribute-rgt1-in`
4×	`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 → 80

Calls

1 calls:

9.0ms

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

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify18.2s

Counts

83 → 83

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	17	9
3	23	9
4	31	9
5	40	9
6	52	9
7	71	9
8	97	9
9	107	9
done	107	9
0	6	8
1	12	8
2	20	8
3	31	8
4	42	8
5	53	8
6	65	8
7	84	8
8	110	8
9	120	8
done	120	8
0	6	8
1	9	8
2	12	8
3	14	8
4	16	7
done	16	7
0	9	23
1	41	23
2	129	11
3	509	9
4	2172	9
done	5000	9
0	7	17
1	10	17
2	13	17
3	15	17
done	15	17
0	6	8
1	9	8
2	12	8
3	14	8
done	14	8
0	7	23
1	17	23
2	63	9
3	282	9
4	1264	9
5	4314	9
done	5000	9
0	6	8
1	9	8
2	12	8
3	14	8
done	14	8
0	6	8
1	9	8
2	12	8
3	14	8
done	14	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	3	4
1	7	4
2	13	3
3	15	3
done	15	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	12	8
3	14	8
done	14	8
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	10
1	10	9
2	13	9
3	15	9
done	15	9
0	7	12
1	10	12
2	12	12
3	13	12
done	13	12
0	7	10
1	10	9
2	13	9
3	15	9
done	15	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	12	8
3	14	8
done	14	8
0	7	12
1	10	12
2	12	12
3	13	12
done	13	12
0	8	16
1	13	12
2	21	12
3	30	12
4	31	12
done	31	12
0	7	12
1	10	12
2	12	12
3	13	12
done	13	12
0	7	10
1	10	9
2	13	9
3	15	9
done	15	9
0	6	11
1	9	11
2	11	11
3	12	11
done	12	11
0	7	8
1	12	6
done	12	6
0	8	13
1	15	11
2	17	11
3	18	11
done	18	11
0	5	6
1	6	6
done	6	6
0	8	13
1	15	11
2	17	11
3	18	11
done	18	11
0	5	6
1	6	6
done	6	6
0	7	11
1	10	11
2	12	11
3	13	11
done	13	11
0	5	6
1	6	6
done	6	6
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	12	8
3	14	8
done	14	8
0	7	10
1	10	10
done	10	10
0	7	10
1	10	9
2	13	9
3	15	9
done	15	9
0	6	7
1	7	7
done	7	7
0	7	10
1	10	9
2	13	9
3	15	9
done	15	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	12	8
3	14	8
done	14	8
0	6	7
1	7	7
done	7	7
0	8	16
1	13	12
2	21	12
3	30	12
4	31	12
done	31	12
0	6	7
1	7	7
done	7	7
0	7	10
1	10	9
2	13	9
3	15	9
done	15	9
0	5	6
1	6	6
done	6	6
0	7	8
1	12	6
done	12	6
0	7	8
1	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	7	8
1	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	6	6
1	7	6
done	7	6
0	5	6
1	6	6
done	6	6
0	6	11
1	12	11
2	13	11
done	13	11
0	6	8
1	9	8
2	10	8
done	10	8
0	5	6
1	9	6
2	10	6
done	10	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	11	7
3	13	7
done	13	7
0	5	7
1	9	7
done	9	7
0	6	9
1	9	8
2	12	8
3	14	8
done	14	8
0	4	4
1	6	4
done	6	4
0	6	9
1	9	8
2	12	8
3	14	8
done	14	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	11	7
3	13	7
done	13	7
0	4	4
1	6	4
done	6	4
0	7	15
1	12	11
2	20	11
3	29	11
4	30	11
done	30	11
0	4	4
1	6	4
done	6	4
0	6	9
1	9	8
2	12	8
3	14	8
done	14	8
0	3	3
1	5	3
done	5	3
0	6	7
1	11	5
done	11	5
0	3	5
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	3	5
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	3	3
1	6	1
done	6	1
0	4	5
1	5	5
done	5	5
0	6	11
1	12	11
2	13	11
done	13	11
0	6	8
1	9	8
2	10	8
done	10	8
0	5	6
1	9	6
2	10	6
done	10	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	11	7
3	13	7
done	13	7
0	5	7
1	9	7
done	9	7
0	6	9
1	9	8
2	12	8
3	14	8
done	14	8
0	4	4
1	6	4
done	6	4
0	6	9
1	9	8
2	12	8
3	14	8
done	14	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	11	7
3	13	7
done	13	7
0	4	4
1	6	4
done	6	4
0	7	15
1	12	11
2	20	11
3	29	11
4	30	11
done	30	11
0	4	4
1	6	4
done	6	4
0	6	9
1	9	8
2	12	8
3	14	8
done	14	8
0	3	3
1	5	3
done	5	3
0	6	7
1	11	5
done	11	5
0	3	5
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	3	5
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	3	3
1	6	1
done	6	1
0	4	5
1	5	5
done	5	5
0	4	5
1	8	5
2	12	3
3	14	3
done	14	3
0	5	7
1	8	7
2	11	7
3	15	7
4	18	7
5	19	7
done	19	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	6	9
1	9	9
done	9	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	3
2	10	3
done	10	3
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	6	7
1	11	5
done	11	5
0	6	7
1	11	5
done	11	5
0	5	5
1	6	5
done	6	5
0	6	8
1	9	8
2	12	8
3	16	8
4	19	8
5	20	8
done	20	8
0	6	8
1	9	8
2	12	8
3	16	8
4	19	8
5	20	8
done	20	8
0	5	7
1	8	7
2	11	7
3	15	7
4	18	7
5	19	7
done	19	7
0	5	7
1	8	7
2	11	7
3	15	7
4	18	7
5	19	7
done	19	7
0	7	11
1	17	9
2	38	9
3	89	9
4	182	9
5	426	9
6	1321	9
done	5000	9
0	6	11
1	14	5
2	20	5
3	21	5
done	21	5
0	9	15
1	26	13
2	78	13
3	203	13
4	499	13
5	1197	13
6	2178	13
7	3709	13
done	5000	13
0	5	7
1	10	7
2	25	7
3	59	7
4	104	7
5	148	7
6	190	7
7	286	7
8	450	7
9	585	7
10	653	7
done	653	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7
0	6	7
1	10	7
2	16	7
3	24	7
4	31	7
done	31	7

prune67.0ms

Filtered

49 candidates to 83 candidates (-69.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	1	84

Merged error: 0b

Counts

84 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(* 1/2 (/ x y))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`associate-r`
10×	`times-frac`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-l`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 32

Calls

1 calls:

12.0ms

(* 1/2 (/ x y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* 1/2 (/ x y))

simplify25.1s

Counts

35 → 35

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	20	8
3	29	8
4	35	8
5	45	8
6	52	8
7	64	8
8	87	8
9	101	8
10	107	8
done	107	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	35	6
4	55	6
5	69	6
6	81	6
7	99	6
8	115	6
9	122	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	36	5
4	70	5
5	145	5
6	339	5
7	1392	5
done	5000	5
0	11	17
1	28	13
2	96	9
3	348	7
4	1090	7
5	3073	7
done	5001	7
0	9	17
1	24	13
2	63	7
3	184	7
4	571	7
5	1584	7
6	3639	7
done	5000	7
0	7	13
1	10	13
2	13	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	17
1	21	15
2	73	7
3	271	7
4	828	7
5	2501	7
6	4539	7
done	5001	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	8	10
1	13	10
2	23	10
3	38	10
4	51	10
5	53	10
done	53	10
0	7	9
1	14	7
2	32	7
3	69	7
4	93	7
done	93	7
0	8	10
1	13	10
2	24	10
3	38	10
4	50	10
done	50	10
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	4
2	19	4
3	28	4
done	28	4
0	7	9
1	14	7
2	22	7
3	26	7
4	31	7
5	44	7
6	56	7
7	61	7
done	61	7
0	6	6
1	11	4
2	13	4
done	13	4
0	4	5
1	9	1
done	9	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	3	3
1	4	3
done	4	3
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune40.0ms

Filtered

27 candidates to 35 candidates (-29.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	35	1	36

Merged error: 0b

Counts

36 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample507.0ms

Algorithm

intervals

Results

224.0ms

9148×

body

valid

Details

sample19.0ms

simplify5.0ms

prune2.0ms

localize5.0ms

rewrite14.0ms

series6.0ms

simplify18.2s

prune67.0ms

localize5.0ms

rewrite13.0ms

series4.0ms

simplify25.1s

prune40.0ms

simplify1.0ms

end0.0ms

sample507.0ms

Profiling