Details

sample42.0ms

Algorithm

intervals

Results

6.0ms	256×	pre	80	true
2.0ms	256×	body	80	valid

simplify3.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	30	43
1	75	43
2	201	43
3	534	43
4	1430	43
5	4391	43
done	5000	43

prune6.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: 58.1b

Counts

2 → 1

localize30.0ms

Local error

Found 4 expressions with local error:

1.0b	(* 5.5 (pow y 8.0))
1.0b	(* 333.75 (pow y 6.0))
1.0b	(- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
62.0b	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
14×	`add-exp-log` `associate-r`
11×	`add-log-exp`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-cbrt-cube`
6×	`associate-l` `prod-exp` `unswap-sqr`
4×	`pow1` `sqr-pow`
3×	`sum-log`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `sub-neg` `associate-+l+` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+`

Counts

4 → 75

Calls

4 calls:

6.0ms	(* 5.5 (pow y 8.0))
11.0ms	(* 333.75 (pow y 6.0))
12.0ms	(- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
19.0ms	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))

series243.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(* 5.5 (pow y 8.0))
77.0ms	(* 333.75 (pow y 6.0))
25.0ms	(- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
68.0ms	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))

simplify7.6min

Counts

87 → 87

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	30	40
1	77	39
2	212	38
3	647	38
4	2177	38
done	5001	38
0	29	39
1	73	38
2	202	38
3	583	38
4	1812	38
done	5001	38
0	28	38
1	67	38
2	177	38
3	479	38
4	1269	38
5	3712	38
done	5001	38
0	28	38
1	70	38
2	191	38
3	535	38
4	1525	38
done	5000	38
0	29	77
1	68	77
2	178	77
3	482	77
4	1272	77
5	3678	77
done	5000	77
0	28	38
1	67	38
2	177	38
3	479	38
4	1269	38
5	3712	38
done	5001	38
0	29	113
1	81	113
2	275	39
3	1241	39
done	5000	39
0	28	38
1	67	38
2	177	38
3	479	38
4	1269	38
5	3712	38
done	5001	38
0	28	38
1	67	38
2	177	38
3	479	38
4	1269	38
5	3712	38
done	5001	38
0	30	41
1	82	41
2	242	41
3	808	41
4	3514	41
done	5000	41
0	31	113
1	90	107
2	299	107
3	1151	79
done	5001	79
0	29	75
1	83	75
2	272	73
3	997	73
4	4855	73
done	5000	73
0	27	37
1	67	37
2	184	37
3	504	37
4	1371	37
5	4180	37
done	5000	37
0	24	31
1	59	31
2	159	31
3	456	31
4	1165	31
5	3225	31
done	5000	31
0	12	15
1	30	14
2	75	14
3	190	14
4	438	14
5	1275	14
done	5000	14
0	11	14
1	27	14
2	61	14
3	126	14
4	202	14
5	385	14
6	1078	14
7	3887	14
done	5000	14
0	11	14
1	30	14
2	74	14
3	182	14
4	426	14
5	1374	14
done	5001	14
0	12	29
1	28	29
2	62	29
3	130	29
4	202	29
5	382	29
6	1077	29
7	3876	29
done	5000	29
0	11	14
1	27	14
2	61	14
3	126	14
4	202	14
5	385	14
6	1078	14
7	3887	14
done	5000	14
0	12	41
1	29	41
2	77	15
3	271	15
4	1427	15
done	5001	15
0	11	14
1	27	14
2	61	14
3	126	14
4	202	14
5	385	14
6	1078	14
7	3887	14
done	5000	14
0	11	14
1	27	14
2	61	14
3	126	14
4	202	14
5	385	14
6	1078	14
7	3887	14
done	5000	14
0	13	17
1	44	17
2	157	17
3	811	17
4	4820	17
done	5000	17
0	14	41
1	45	37
2	156	37
3	768	29
4	2746	29
done	5000	29
0	4	4
1	8	4
2	16	4
3	41	4
4	107	4
5	292	4
6	972	4
7	3784	4
done	5000	4
0	12	27
1	39	25
2	127	25
3	569	25
4	1850	23
5	3989	19
done	5000	19
0	10	13
1	25	13
2	55	13
3	112	13
4	167	13
5	274	13
6	658	13
7	2082	13
done	5000	13
0	4	4
1	8	4
2	16	4
3	41	4
4	107	4
5	292	4
6	972	4
7	3784	4
done	5000	4
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	14	7
2	22	7
3	49	7
4	123	7
5	353	7
6	1258	7
done	5000	7
0	6	6
1	14	6
2	28	6
3	69	6
4	178	6
5	520	6
6	1795	6
done	5000	6
0	6	6
1	13	6
2	27	6
3	68	6
4	188	6
5	629	6
6	2631	6
done	5001	6
0	9	17
1	22	15
2	68	9
3	231	9
4	897	7
5	4218	7
done	5001	7
0	7	13
1	12	13
2	21	13
3	47	13
4	113	13
5	302	13
6	994	13
7	3758	13
done	5001	13
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	7	17
1	22	17
2	72	7
3	255	7
4	991	7
5	4212	7
done	5001	7
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	298	7
6	983	7
7	3750	7
done	5000	7
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	298	7
6	983	7
7	3750	7
done	5000	7
0	7	7
1	12	7
2	18	7
3	36	7
4	76	7
5	186	7
6	569	7
7	1967	7
done	5000	7
0	7	7
1	12	7
2	18	7
3	36	7
4	76	7
5	186	7
6	569	7
7	1967	7
done	5000	7
0	8	8
1	12	8
2	24	8
3	55	8
4	129	8
5	344	8
6	1161	8
7	4333	8
done	5000	8
0	8	8
1	12	8
2	24	8
3	55	8
4	129	8
5	344	8
6	1161	8
7	4333	8
done	5000	8
0	7	9
1	12	9
2	21	9
3	47	9
4	111	9
5	298	9
6	983	9
7	3753	9
done	5000	9
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	997	6
7	3772	6
done	5000	6
0	5	5
1	12	3
2	15	1
3	21	1
4	28	1
5	38	1
6	51	1
7	67	1
8	86	1
9	108	1
10	133	1
11	161	1
12	192	1
13	226	1
14	263	1
15	303	1
16	346	1
17	392	1
18	441	1
19	493	1
20	548	1
21	606	1
22	667	1
23	731	1
24	798	1
25	868	1
26	941	1
27	1017	1
28	1096	1
29	1178	1
30	1263	1
31	1351	1
32	1442	1
33	1536	1
34	1633	1
35	1733	1
36	1836	1
37	1942	1
38	2051	1
39	2163	1
40	2278	1
41	2396	1
42	2517	1
43	2641	1
44	2768	1
45	2898	1
46	3031	1
47	3167	1
48	3306	1
49	3448	1
50	3593	1
51	3741	1
52	3892	1
53	4046	1
54	4203	1
55	4363	1
56	4526	1
57	4692	1
58	4861	1
done	5001	1
0	7	11
1	14	11
2	21	11
3	39	11
4	79	11
5	184	11
6	565	11
7	1979	11
done	5001	11
0	6	6
1	11	6
2	17	6
3	35	6
4	75	6
5	183	6
6	564	6
7	1966	6
done	5001	6
0	3	3
1	6	1
done	6	1
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	336	7
6	1159	7
7	4361	7
done	5000	7
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	1000	6
7	3792	6
done	5000	6
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	1000	6
7	3792	6
done	5000	6
0	5	5
1	10	5
2	19	5
3	45	5
4	109	5
5	302	5
6	999	5
7	3780	5
done	5001	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	14	7
2	22	7
3	49	7
4	123	7
5	353	7
6	1258	7
done	5000	7
0	6	6
1	14	6
2	28	6
3	69	6
4	178	6
5	520	6
6	1795	6
done	5000	6
0	6	6
1	13	6
2	27	6
3	68	6
4	188	6
5	629	6
6	2631	6
done	5001	6
0	9	17
1	22	15
2	68	9
3	231	9
4	897	7
5	4218	7
done	5001	7
0	7	13
1	12	13
2	21	13
3	47	13
4	113	13
5	302	13
6	994	13
7	3758	13
done	5001	13
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	7	17
1	22	17
2	72	7
3	255	7
4	991	7
5	4212	7
done	5001	7
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	298	7
6	983	7
7	3750	7
done	5000	7
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	298	7
6	983	7
7	3750	7
done	5000	7
0	7	7
1	12	7
2	18	7
3	36	7
4	76	7
5	186	7
6	569	7
7	1967	7
done	5000	7
0	7	7
1	12	7
2	18	7
3	36	7
4	76	7
5	186	7
6	569	7
7	1967	7
done	5000	7
0	8	8
1	12	8
2	24	8
3	55	8
4	129	8
5	344	8
6	1161	8
7	4333	8
done	5000	8
0	8	8
1	12	8
2	24	8
3	55	8
4	129	8
5	344	8
6	1161	8
7	4333	8
done	5000	8
0	7	9
1	12	9
2	21	9
3	47	9
4	111	9
5	298	9
6	983	9
7	3753	9
done	5000	9
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	997	6
7	3772	6
done	5000	6
0	5	5
1	12	3
2	15	1
3	21	1
4	28	1
5	38	1
6	51	1
7	67	1
8	86	1
9	108	1
10	133	1
11	161	1
12	192	1
13	226	1
14	263	1
15	303	1
16	346	1
17	392	1
18	441	1
19	493	1
20	548	1
21	606	1
22	667	1
23	731	1
24	798	1
25	868	1
26	941	1
27	1017	1
28	1096	1
29	1178	1
30	1263	1
31	1351	1
32	1442	1
33	1536	1
34	1633	1
35	1733	1
36	1836	1
37	1942	1
38	2051	1
39	2163	1
40	2278	1
41	2396	1
42	2517	1
43	2641	1
44	2768	1
45	2898	1
46	3031	1
47	3167	1
48	3306	1
49	3448	1
50	3593	1
51	3741	1
52	3892	1
53	4046	1
54	4203	1
55	4363	1
56	4526	1
57	4692	1
58	4861	1
done	5001	1
0	7	11
1	14	11
2	21	11
3	39	11
4	79	11
5	184	11
6	565	11
7	1979	11
done	5001	11
0	6	6
1	11	6
2	17	6
3	35	6
4	75	6
5	183	6
6	564	6
7	1966	6
done	5001	6
0	3	3
1	6	1
done	6	1
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	336	7
6	1159	7
7	4361	7
done	5000	7
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	1000	6
7	3792	6
done	5000	6
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	1000	6
7	3792	6
done	5000	6
0	5	5
1	10	5
2	19	5
3	45	5
4	109	5
5	302	5
6	999	5
7	3780	5
done	5001	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	14	17
1	36	17
2	128	17
3	312	17
4	957	17
5	2801	17
done	5001	17
0	14	17
1	36	17
2	128	17
3	312	17
4	957	17
5	2801	17
done	5001	17
0	8	9
1	20	9
2	77	9
3	126	9
4	163	9
5	180	9
6	222	9
7	340	9
8	751	9
9	2606	9
done	5001	9
0	11	13
1	29	13
2	98	13
3	190	13
4	355	13
5	723	13
6	1974	13
done	5000	13
0	11	13
1	29	13
2	98	13
3	190	13
4	355	13
5	723	13
6	1974	13
done	5000	13
0	10	10
1	23	9
2	31	7
3	58	5
4	124	5
5	284	5
6	674	5
7	1769	5
done	5000	5
0	15	18
1	37	16
2	66	14
3	138	13
4	295	12
5	715	12
6	1974	12
done	5001	12
0	17	20
1	42	19
2	78	17
3	201	15
4	577	15
5	2548	15
done	5000	15
0	10	10
1	23	9
2	31	7
3	58	5
4	124	5
5	284	5
6	674	5
7	1769	5
done	5000	5
0	15	18
1	37	16
2	66	14
3	138	13
4	295	12
5	715	12
6	1974	12
done	5001	12
0	17	20
1	42	19
2	78	17
3	201	15
4	577	15
5	2548	15
done	5000	15

prune281.0ms

Filtered

69 candidates to 87 candidates (-26.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	1	88

Merged error: 57.1b

Counts

88 → 1

localize9.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: 57.1b

Counts

1 → 1

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	13	11
done	13	11

end0.0ms

sample441.0ms

Algorithm

intervals

Results

153.0ms	8000×	pre	80	true
68.0ms	8000×	body	80	valid

Details

sample42.0ms

simplify3.0s

prune6.0ms

localize30.0ms

rewrite52.0ms

series243.0ms

simplify7.6min

prune281.0ms

localize9.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune3.0ms

simplify2.0ms

end0.0ms

sample441.0ms

Profiling