Details

sample25.0ms

Algorithm

intervals

Results

6.0ms	219×	body	80	valid
3.0ms	35×	body	640	valid
2.0ms	16×	body	1280	valid
1.0ms	18×	body	320	valid
1.0ms	13×	body	160	valid

simplify19.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	13	9
2	27	9
3	68	9
4	172	9
5	372	9
6	715	9
7	1264	9
8	2309	9
9	2940	9
10	3129	9
11	3436	9
12	3861	9
13	4264	9
14	4414	9
15	4496	9
16	4520	9
done	4520	9

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: 19.3b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 x) (- 1.0 y))
2.7b	(+ x (* (- 1.0 x) (- 1.0 y)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`*-un-lft-identity`
6×	`flip3--` `flip--`
5×	`associate-r` `associate-l`
4×	`pow1` `add-exp-log` `distribute-rgt-in` `frac-times` `add-cube-cbrt` `sub-neg` `associate-+r+` `distribute-lft-in` `add-cbrt-cube` `add-log-exp`
2×	`associate-r/` `associate-l/` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

2 → 49

Calls

2 calls:

11.0ms	(* (- 1.0 x) (- 1.0 y))
4.0ms	(+ x (* (- 1.0 x) (- 1.0 y)))

series10.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* (- 1.0 x) (- 1.0 y))
6.0ms	(+ x (* (- 1.0 x) (- 1.0 y)))

simplify3.3min

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	19	10
2	44	10
3	114	10
4	309	10
5	826	10
6	2265	10
done	5000	10
0	8	10
1	14	10
2	28	10
3	69	10
4	173	10
5	376	10
6	717	10
7	1270	10
8	2318	10
9	2946	10
10	3134	10
11	3439	10
12	3870	10
13	4273	10
14	4419	10
15	4501	10
16	4531	10
17	4539	10
18	4556	10
19	4578	10
20	4660	10
21	4927	10
done	5000	10
0	8	10
1	17	10
2	36	10
3	100	10
4	272	10
5	742	10
6	2053	10
done	5000	10
0	9	21
1	15	21
2	29	21
3	70	21
4	174	21
5	383	21
6	725	21
7	1275	21
8	2318	21
9	2941	21
10	3131	21
11	3438	21
12	3865	21
13	4270	21
14	4418	21
15	4498	21
16	4522	21
done	4522	21
0	8	10
1	14	10
2	28	10
3	69	10
4	173	10
5	376	10
6	717	10
7	1270	10
8	2318	10
9	2946	10
10	3134	10
11	3439	10
12	3870	10
13	4273	10
14	4419	10
15	4499	10
16	4523	10
done	4523	10
0	9	29
1	28	29
2	90	11
3	412	11
4	2549	11
done	5001	11
0	8	10
1	14	10
2	28	10
3	69	10
4	173	10
5	376	10
6	717	10
7	1270	10
8	2318	10
9	2946	10
10	3134	10
11	3439	10
12	3870	10
13	4273	10
14	4419	10
15	4499	10
16	4523	10
done	4523	10
0	8	10
1	14	10
2	28	10
3	69	10
4	173	10
5	376	10
6	717	10
7	1270	10
8	2318	10
9	2946	10
10	3134	10
11	3439	10
12	3870	10
13	4273	10
14	4419	10
15	4499	10
16	4523	10
done	4523	10
0	10	13
1	32	13
2	84	13
3	339	13
4	1496	13
done	5000	13
0	11	29
1	33	21
2	118	21
3	460	21
4	1908	21
done	5001	21
0	9	19
1	26	19
2	90	19
3	400	19
4	1742	19
done	5000	19
0	7	9
1	14	9
2	35	9
3	101	9
4	276	9
5	735	9
6	1163	9
7	1844	9
8	2535	9
9	2841	9
10	3003	9
11	3309	9
12	3744	9
13	4157	9
14	4303	9
15	4385	9
16	4409	9
done	4409	9
0	5	7
1	9	7
2	15	7
3	24	7
4	33	7
5	39	7
6	48	7
7	66	7
8	93	7
9	115	7
10	139	7
11	153	7
12	171	7
13	184	7
14	200	7
15	235	7
16	300	7
17	400	7
18	482	7
19	503	7
20	511	7
21	515	7
done	515	7
0	5	7
1	9	7
2	15	7
3	24	7
4	33	7
5	39	7
6	48	7
7	66	7
8	93	7
9	115	7
10	139	7
11	153	7
12	171	7
13	184	7
14	200	7
15	235	7
16	300	7
17	400	7
18	482	7
19	503	7
20	511	7
21	515	7
done	515	7
0	5	7
1	9	7
2	15	7
3	24	7
4	33	7
5	39	7
6	48	7
7	66	7
8	93	7
9	115	7
10	139	7
11	153	7
12	171	7
13	184	7
14	200	7
15	235	7
16	300	7
17	400	7
18	482	7
19	503	7
20	511	7
21	515	7
done	515	7
0	5	7
1	9	7
2	15	7
3	24	7
4	33	7
5	39	7
6	48	7
7	66	7
8	93	7
9	115	7
10	139	7
11	153	7
12	171	7
13	184	7
14	200	7
15	235	7
16	300	7
17	400	7
18	482	7
19	503	7
20	511	7
21	515	7
done	515	7
0	6	7
1	11	7
2	25	7
3	58	7
4	122	7
5	213	7
6	310	7
7	449	7
8	684	7
9	867	7
10	884	7
11	885	7
done	885	7
0	8	9
1	13	9
2	15	9
done	15	9
0	7	8
1	15	8
2	30	8
3	63	8
4	127	8
5	224	8
6	321	8
7	460	8
8	694	8
9	881	8
10	898	8
11	899	8
done	899	8
0	7	8
1	14	8
2	39	8
3	97	8
4	224	8
5	506	8
6	1234	8
7	4680	8
done	5000	8
0	10	23
1	21	23
2	78	11
3	337	11
4	1543	9
done	5001	9
0	8	17
1	13	17
2	27	17
3	60	17
4	124	17
5	215	17
6	312	17
7	451	17
8	687	17
9	870	17
10	887	17
11	888	17
done	888	17
0	7	8
1	12	8
2	26	8
3	59	8
4	123	8
5	214	8
6	311	8
7	450	8
8	684	8
9	867	8
10	884	8
11	885	8
done	885	8
0	8	23
1	23	23
2	98	9
3	491	9
4	2198	9
done	5001	9
0	7	8
1	12	8
2	26	8
3	59	8
4	123	8
5	214	8
6	311	8
7	450	8
8	684	8
9	867	8
10	884	8
11	885	8
done	885	8
0	7	8
1	12	8
2	26	8
3	59	8
4	123	8
5	214	8
6	311	8
7	450	8
8	684	8
9	867	8
10	884	8
11	885	8
done	885	8
0	10	15
1	33	15
2	83	15
3	270	15
4	1261	15
done	5000	15
0	13	23
1	34	19
2	112	19
3	476	19
4	1580	19
done	5000	19
0	11	15
1	31	15
2	76	15
3	257	15
4	1264	15
done	5000	15
0	10	15
1	25	13
2	76	13
3	201	13
4	511	13
5	1123	13
6	1435	13
7	1506	13
8	1573	13
9	1779	13
10	2711	13
done	5000	13
0	11	15
1	31	15
2	76	15
3	257	15
4	1264	15
done	5000	15
0	10	15
1	25	13
2	78	13
3	205	13
4	466	13
5	1093	13
6	1568	13
7	1694	13
8	1755	13
9	1964	13
10	2904	13
done	5001	13
0	9	15
1	20	15
2	54	15
3	223	15
4	1023	15
5	3516	15
done	5000	15
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	8	9
1	13	9
2	15	9
done	15	9
0	8	9
1	13	9
2	15	9
done	15	9
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	6	6
1	11	6
2	27	6
3	45	6
4	66	5
5	71	5
done	71	5
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	6	6
1	11	6
2	27	6
3	45	6
4	66	5
5	71	5
done	71	5
0	8	13
1	15	13
2	25	13
3	42	13
4	52	13
5	60	13
done	60	13
0	7	8
1	12	8
2	20	8
3	25	8
4	29	8
done	29	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	8	9
1	18	9
2	38	9
3	65	9
4	111	9
5	158	9
6	228	9
7	409	9
8	643	9
9	716	9
10	720	9
done	720	9
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	8
1	12	8
2	20	8
3	25	8
4	29	8
done	29	8
0	7	8
1	12	8
2	20	8
3	25	8
4	29	8
done	29	8
0	6	7
1	11	7
2	25	7
3	58	7
4	122	7
5	213	7
6	310	7
7	449	7
8	684	7
9	867	7
10	884	7
11	885	7
done	885	7
0	8	9
1	13	9
2	27	9
3	61	9
4	125	9
5	221	9
6	296	9
7	426	9
8	644	9
9	801	9
10	808	9
done	808	9
0	6	7
1	11	7
2	25	7
3	58	7
4	122	7
5	213	7
6	310	7
7	449	7
8	684	7
9	867	7
10	884	7
11	885	7
done	885	7
0	9	11
1	27	11
2	62	11
3	178	11
4	605	11
5	2280	11
done	5001	11
0	8	11
1	16	11
2	40	11
3	131	11
4	402	11
5	1021	11
6	3030	11
done	5000	11
0	9	11
1	27	11
2	62	11
3	178	11
4	605	11
5	2264	11
done	5001	11
0	8	11
1	16	11
2	40	11
3	131	11
4	400	11
5	1011	11
6	3008	11
done	5000	11
0	7	9
1	14	9
2	27	9
3	40	7
4	55	7
5	80	7
6	117	7
7	151	7
8	167	7
9	178	7
10	201	7
11	209	7
12	224	7
13	259	7
14	324	7
15	426	7
16	520	7
17	622	7
18	689	7
19	693	7
done	693	7
0	7	9
1	14	9
2	27	9
3	40	7
4	55	7
5	80	7
6	117	7
7	151	7
8	167	7
9	178	7
10	201	7
11	209	7
12	224	7
13	259	7
14	324	7
15	426	7
16	520	7
17	622	7
18	689	7
19	693	7
done	693	7
0	7	9
1	14	9
2	27	9
3	40	7
4	55	7
5	80	7
6	117	7
7	151	7
8	167	7
9	178	7
10	201	7
11	209	7
12	224	7
13	259	7
14	324	7
15	426	7
16	520	7
17	622	7
18	689	7
19	693	7
done	693	7
0	7	9
1	16	7
2	31	7
3	59	7
4	80	7
5	132	7
6	215	7
7	291	7
8	344	7
9	407	7
10	526	7
11	953	7
12	1290	7
done	1290	7
0	8	11
1	18	9
2	35	9
3	67	9
4	86	9
5	122	9
6	192	9
7	252	9
8	273	9
9	280	9
done	280	9
0	8	11
1	18	9
2	35	9
3	67	9
4	86	9
5	122	9
6	192	9
7	252	9
8	273	9
9	280	9
done	280	9

prune95.0ms

Filtered

41 candidates to 55 candidates (-34.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	1	56

Merged error: 0b

Counts

56 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b	(* y (- x 1.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
5×	`-un-lft-identity` `associate-r*`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 26

Calls

1 calls:

7.0ms

(* y (- x 1.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(* y (- x 1.0))

simplify15.5s

Counts

29 → 29

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune38.0ms

Filtered

19 candidates to 29 candidates (-52.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	1	30

Merged error: 0b

Counts

30 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample703.0ms

Algorithm

intervals

Results

209.0ms	6946×	body	80	valid
84.0ms	855×	body	640	valid
57.0ms	389×	body	1280	valid
46.0ms	611×	body	320	valid
17.0ms	326×	body	160	valid

Details

sample25.0ms

simplify19.5s

prune3.0ms

localize6.0ms

rewrite17.0ms

series10.0ms

simplify3.3min

prune95.0ms

localize9.0ms

rewrite8.0ms

series6.0ms

simplify15.5s

prune38.0ms

simplify1.0ms

end0.0ms

sample703.0ms

Profiling