Details

sample39.0ms

Algorithm

intervals

Results

12.0ms

301×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	8	5
done	8	5

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

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* x y) x)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

4.0ms

(- (* x y) x)

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(- (* x y) x)

simplify16.5s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	6
2	18	6
3	31	6
4	69	6
5	180	6
6	554	6
7	2198	6
done	5000	6
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	11	6
2	17	6
3	27	6
4	55	6
5	135	6
6	421	6
7	1163	6
8	3680	6
done	5001	6
0	6	13
1	9	13
2	10	13
done	10	13
0	5	6
1	8	6
2	9	6
done	9	6
0	6	17
1	10	17
2	25	7
3	80	7
4	254	7
5	776	7
6	2773	7
done	5001	7
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	8	6
2	9	6
done	9	6
0	7	9
1	25	9
2	77	9
3	202	9
4	475	9
5	1548	9
done	5000	9
0	8	17
1	21	15
2	47	13
3	78	11
4	117	11
5	178	11
6	189	11
7	240	11
8	305	11
9	311	11
done	311	11
0	2	2
done	2	2
0	6	11
1	18	11
2	41	9
3	67	9
4	126	9
5	276	9
6	490	9
7	997	9
8	3163	9
done	5000	9
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	2	2
done	2	2
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5

prune23.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	2	16

Merged error: 0b

Counts

16 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x y) x)
2.2b	(* x (- (* x (* y y)) x))
8.4b	(* x (* y y))
29.5b	(/ (* x (- (* x (* y y)) x)) (+ (* x y) x))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-cbrt-cube`
12×	`add-sqr-sqrt`
11×	`pow1`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l` `add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-r/` `associate-r*` `pow-prod-down`
3×	`times-frac` `associate-/r*`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `flip3-+` `div-exp` `associate-/r/` `*-commutative` `flip--` `flip-+` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log` `div-inv` `associate-/l*`

Counts

4 → 79

Calls

4 calls:

4.0ms	(+ (* x y) x)
9.0ms	(* x (- (* x (* y y)) x))
7.0ms	(* x (* y y))
14.0ms	(/ (* x (- (* x (* y y)) x)) (+ (* x y) x))

series50.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ (* x y) x)
15.0ms	(* x (- (* x (* y y)) x))
7.0ms	(* x (* y y))
22.0ms	(/ (* x (- (* x (* y y)) x)) (+ (* x y) x))

simplify3.3min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	18
1	23	18
2	35	18
3	47	18
4	70	18
5	114	15
6	188	13
7	735	13
8	2943	13
done	5000	13
0	11	17
1	23	17
2	40	17
3	65	17
4	87	17
5	122	17
6	190	15
7	340	13
8	1513	13
done	5000	13
0	10	16
1	22	16
2	45	16
3	102	16
4	221	14
5	507	12
6	1994	12
done	5000	12
0	10	16
1	19	16
2	34	16
3	75	16
4	176	14
5	437	12
6	1595	12
done	5000	12
0	15	47
1	48	47
2	208	21
3	1047	21
done	5000	21
0	13	47
1	50	47
2	221	19
3	1192	17
done	5000	17
0	11	33
1	20	33
2	35	33
3	74	33
4	156	29
5	364	25
6	1354	25
done	5001	25
0	10	16
1	19	16
2	34	16
3	73	16
4	155	14
5	363	12
6	1346	12
done	5000	12
0	11	47
1	27	47
2	79	17
3	400	17
4	3368	15
done	5000	15
0	10	16
1	19	16
2	34	16
3	73	16
4	155	14
5	363	12
6	1346	12
done	5000	12
0	10	16
1	19	16
2	34	16
3	73	16
4	155	14
5	363	12
6	1346	12
done	5000	12
0	7	10
1	16	10
2	35	10
3	80	10
4	125	9
5	204	9
6	369	9
7	558	9
8	872	9
9	1538	9
10	3804	9
done	5000	9
0	5	6
1	10	6
2	20	6
3	28	6
4	40	6
5	56	5
6	58	5
7	89	5
8	160	5
9	173	5
done	173	5
0	7	15
1	11	15
2	14	15
3	18	15
4	24	15
done	24	15
0	9	14
1	18	14
2	31	14
3	50	14
4	69	14
5	74	14
6	76	14
done	76	14
0	6	8
1	8	8
2	11	8
3	15	8
4	21	8
done	21	8
0	9	14
1	18	14
2	31	14
3	50	14
4	69	14
5	74	14
6	76	14
done	76	14
0	3	3
1	5	1
done	5	1
0	8	13
1	17	13
2	30	13
3	72	13
4	168	13
5	248	11
6	790	9
7	3443	9
done	5001	9
0	6	7
1	10	7
2	12	7
3	16	7
4	24	7
done	24	7
0	9	15
1	18	15
2	31	15
3	56	15
4	93	13
5	135	11
6	368	11
7	1647	7
done	5001	7
0	11	23
1	25	23
2	52	23
3	110	23
4	213	23
5	372	23
6	518	23
7	623	23
8	824	23
9	1312	23
10	2639	23
done	5000	23
0	10	16
1	19	16
2	34	16
3	62	16
4	105	16
5	163	16
6	202	16
7	252	16
8	359	16
9	580	16
10	1195	16
11	2558	16
done	5001	16
0	8	11
1	18	9
2	35	9
3	65	9
4	93	9
5	153	9
6	277	9
7	355	9
8	468	9
9	760	9
10	1208	9
11	2024	9
12	4777	9
done	5000	9
0	8	13
1	14	13
2	19	13
3	25	13
4	38	13
5	53	11
6	84	11
7	115	9
8	317	9
9	1268	9
done	5000	9
0	12	19
1	36	19
2	82	19
3	203	19
4	513	19
5	2109	19
done	5001	17
0	11	21
1	29	21
2	64	19
3	200	19
4	831	1
5	3130	1
done	5000	1
0	12	29
1	35	27
2	134	25
3	512	21
4	1501	17
5	4485	17
done	5000	17
0	8	13
1	20	13
2	60	13
3	155	13
4	340	13
5	706	13
6	896	13
7	986	13
8	1055	13
9	1203	13
10	1636	13
11	2931	13
done	5000	13
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	6	9
1	12	9
2	21	9
3	31	9
4	38	9
5	41	9
6	47	9
7	69	9
8	127	9
9	277	9
10	493	9
11	984	9
12	3181	9
done	5001	9
0	8	11
1	14	11
2	17	11
done	17	11
0	7	10
1	16	10
2	26	10
3	36	10
4	40	10
5	43	10
6	52	10
7	77	10
8	144	10
9	304	10
10	521	10
11	1035	10
12	3233	10
done	5000	10
0	7	10
1	15	10
2	30	10
3	58	10
4	118	10
5	265	10
6	767	10
7	2698	10
done	5001	10
0	10	29
1	22	29
2	68	13
3	283	13
4	1198	11
5	4880	11
done	5000	11
0	8	21
1	14	21
2	23	21
3	33	21
4	36	21
5	39	21
6	45	21
7	67	21
8	125	21
9	277	21
10	493	21
11	1004	21
12	3196	21
done	5000	21
0	7	10
1	13	10
2	22	10
3	32	10
4	36	10
5	39	10
6	45	10
7	67	10
8	125	10
9	279	10
10	497	10
11	1003	10
12	3179	10
done	5000	10
0	8	29
1	24	29
2	80	11
3	312	11
4	1105	11
5	3560	11
done	5000	11
0	7	10
1	13	10
2	22	10
3	32	10
4	36	10
5	39	10
6	45	10
7	67	10
8	125	10
9	279	10
10	497	10
11	1003	10
12	3179	10
done	5000	10
0	7	10
1	13	10
2	22	10
3	32	10
4	36	10
5	39	10
6	45	10
7	67	10
8	125	10
9	279	10
10	497	10
11	1003	10
12	3179	10
done	5000	10
0	8	11
1	14	11
2	17	11
done	17	11
0	8	11
1	14	11
2	17	11
done	17	11
0	5	7
1	11	7
2	19	7
3	23	7
done	23	7
0	3	4
1	6	4
done	6	4
0	5	7
1	11	7
2	19	7
3	23	7
done	23	7
0	3	4
1	6	4
done	6	4
0	5	7
1	9	7
2	17	7
3	22	7
done	22	7
0	3	4
1	6	4
done	6	4
0	5	7
1	9	7
2	17	7
3	22	7
done	22	7
0	3	4
1	6	4
done	6	4
0	8	19
1	16	19
2	21	19
done	21	19
0	7	10
1	13	10
2	16	10
done	16	10
0	3	3
1	6	1
done	6	1
0	7	10
1	13	10
2	22	10
3	41	10
4	62	10
5	68	10
6	71	10
done	71	10
0	7	10
1	13	10
2	22	10
3	41	10
4	62	10
5	68	10
6	71	10
done	71	10
0	6	9
1	12	9
2	21	9
3	31	9
4	38	9
5	41	9
6	47	9
7	69	9
8	127	9
9	277	9
10	493	9
11	984	9
12	3181	9
done	5001	9
0	9	13
1	30	13
2	104	13
3	404	13
4	1200	11
5	4970	11
done	5000	11
0	8	17
1	23	17
2	72	15
3	175	13
4	361	11
5	779	11
6	1526	11
7	3656	11
done	5000	11
0	6	7
1	11	6
2	22	6
3	43	6
4	98	6
5	219	6
6	559	6
7	1746	6
done	5001	6
0	5	6
1	7	6
2	10	6
3	17	6
4	24	6
done	24	6
0	5	6
1	10	6
2	17	6
3	31	6
4	63	6
5	126	6
6	288	6
7	752	6
8	2426	6
done	5000	6
0	6	13
1	8	13
2	11	13
3	15	13
4	21	13
done	21	13
0	5	6
1	7	6
2	10	6
3	14	6
4	20	6
done	20	6
0	6	17
1	21	17
2	68	7
3	211	7
4	703	7
5	3064	7
done	5000	7
0	5	6
1	7	6
2	10	6
3	14	6
4	20	6
done	20	6
0	5	6
1	7	6
2	10	6
3	14	6
4	20	6
done	20	6
0	7	9
1	24	9
2	63	9
3	170	9
4	384	9
5	1233	9
done	5000	9
0	8	17
1	22	15
2	52	13
3	100	13
4	202	11
5	374	11
6	657	11
7	918	11
8	1649	11
9	2316	11
10	2331	11
done	2331	11
0	6	11
1	18	11
2	41	9
3	67	9
4	126	9
5	276	9
6	490	9
7	997	9
8	3163	9
done	5000	9
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	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	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	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	5	5
1	12	4
2	34	4
3	39	4
4	45	4
5	55	4
6	77	4
7	141	4
8	352	4
9	1283	4
done	5001	4
0	7	11
1	18	11
2	68	11
3	94	9
4	111	9
5	148	9
6	248	9
7	516	9
8	1141	9
9	3466	9
done	5000	9
0	7	11
1	18	11
2	68	11
3	94	9
4	111	9
5	148	9
6	248	9
7	516	9
8	1141	9
9	3466	9
done	5000	9
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5

prune99.0ms

Filtered

71 candidates to 91 candidates (-28.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	91	2	93

Merged error: 0b

Counts

93 → 2

regimes103.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	5	5
done	5	5

end0.0ms

sample477.0ms

Algorithm

intervals

Results

194.0ms

9127×

body

valid

Details

sample39.0ms

simplify5.0ms

prune3.0ms

localize4.0ms

rewrite4.0ms

series6.0ms

simplify16.5s

prune23.0ms

localize14.0ms

rewrite37.0ms

series50.0ms

simplify3.3min

prune99.0ms

regimes103.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample477.0ms

Profiling