Details

sample26.0ms

Algorithm

intervals

Results

10.0ms

320×

body

valid

simplify294.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	20	9
3	29	9
4	40	9
5	45	9
6	51	9
7	68	9
8	98	9
9	145	9
10	187	9
11	204	9
12	231	9
13	254	9
14	255	9
done	255	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: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

13.0ms	(* (- x 1.0) z)
4.0ms	(+ (* x y) (* (- x 1.0) z))

series14.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (- x 1.0) z)
9.0ms	(+ (* x y) (* (- x 1.0) z))

simplify30.8s

Counts

39 → 39

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	21	10
2	44	10
3	87	10
4	245	10
5	777	10
6	3592	10
done	5000	10
0	9	10
1	14	10
2	21	10
3	30	10
4	41	10
5	46	10
6	52	10
7	69	10
8	99	10
9	146	10
10	188	10
11	205	10
12	232	10
13	255	10
14	256	10
done	256	10
0	9	10
1	17	10
2	33	10
3	63	10
4	145	10
5	411	10
6	1575	10
done	5000	10
0	10	21
1	15	21
2	22	21
3	31	21
4	42	21
5	47	21
6	53	21
7	70	21
8	100	21
9	147	21
10	181	21
11	208	21
12	241	21
13	264	21
14	265	21
done	265	21
0	9	10
1	14	10
2	21	10
3	30	10
4	41	10
5	46	10
6	52	10
7	69	10
8	99	10
9	146	10
10	188	10
11	205	10
12	232	10
13	255	10
14	256	10
done	256	10
0	10	29
1	28	29
2	99	11
3	415	11
4	1845	11
done	5001	11
0	9	10
1	14	10
2	21	10
3	30	10
4	41	10
5	46	10
6	52	10
7	69	10
8	99	10
9	146	10
10	188	10
11	205	10
12	232	10
13	255	10
14	256	10
done	256	10
0	9	10
1	14	10
2	21	10
3	30	10
4	41	10
5	46	10
6	52	10
7	69	10
8	99	10
9	146	10
10	188	10
11	205	10
12	232	10
13	255	10
14	256	10
done	256	10
0	11	13
1	35	13
2	109	13
3	341	13
4	960	13
5	2796	13
done	5000	13
0	12	29
1	42	23
2	132	23
3	409	23
4	1135	23
5	2795	23
done	5000	23
0	10	19
1	33	19
2	93	19
3	262	19
4	764	19
5	1977	19
done	5000	19
0	8	9
1	14	9
2	28	9
3	50	9
4	83	9
5	98	9
6	112	9
7	134	9
8	180	9
9	238	9
10	247	9
11	248	9
done	248	9
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	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	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	285	7
4	864	7
5	2739	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	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
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	17	7
3	22	7
4	26	7
done	26	7
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	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	9	11
1	19	9
2	36	9
3	44	9
4	51	9
5	68	9
6	98	9
7	145	9
8	187	9
9	204	9
10	231	9
11	254	9
12	255	9
done	255	9
0	9	11
1	19	9
2	36	9
3	44	9
4	51	9
5	68	9
6	98	9
7	145	9
8	187	9
9	204	9
10	231	9
11	254	9
12	255	9
done	255	9
0	9	11
1	19	9
2	36	9
3	44	9
4	51	9
5	68	9
6	98	9
7	145	9
8	187	9
9	204	9
10	231	9
11	254	9
12	255	9
done	255	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

prune57.0ms

Filtered

28 candidates to 39 candidates (-39.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	2	40

Merged error: 0.0b

Counts

40 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (* x y) 3)
1.2b	(+ (* (* x y) (* x y)) (* (* (- x 1.0) z) (- (* (- x 1.0) z) (* x y))))
2.0b	(+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3))
42.7b	(/ (+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3)) (+ (* (* x y) (* x y)) (* (* (- x 1.0) z) (- (* (- x 1.0) z) (* x y)))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

25×	`*-un-lft-identity`
15×	`add-sqr-sqrt` `add-cube-cbrt` `times-frac`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1`
5×	`sum-cubes` `distribute-lft-out` `associate-/l*`
4×	`associate-+r+` `flip3-+` `flip-+`
3×	`pow-unpow` `associate-/r*`
2×	`+-commutative` `distribute-rgt-in` `sub-neg` `pow-pow` `distribute-lft-in` `pow-exp` `sum-log` `associate-/r/` `associate-/l/` `rem-cube-cbrt`
1×	`cbrt-undiv` `cube-mult` `pow-to-exp` `unpow-prod-down` `frac-2neg` `unpow3` `cube-prod` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `sqr-pow`

Counts

4 → 89

Calls

4 calls:

5.0ms	(pow (* x y) 3)
10.0ms	(+ (* (* x y) (* x y)) (* (* (- x 1.0) z) (- (* (- x 1.0) z) (* x y))))
8.0ms	(+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3))
18.0ms	(/ (+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3)) (+ (* (* x y) (* x y)) (* (* (- x 1.0) z) (- (* (- x 1.0) z) (* x y)))))

series215.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(pow (* x y) 3)
37.0ms	(+ (* (* x y) (* x y)) (* (* (- x 1.0) z) (- (* (- x 1.0) z) (* x y))))
50.0ms	(+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3))
120.0ms	(/ (+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3)) (+ (* (* x y) (* x y)) (* (* (- x 1.0) z) (- (* (- x 1.0) z) (* x y)))))

simplify5.0min

Counts

101 → 101

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	18	39
1	56	39
2	160	39
3	463	39
4	1344	39
5	4071	39
done	5000	39
0	17	38
1	56	38
2	161	38
3	473	38
4	1352	38
5	4057	38
done	5001	38
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	20	113
1	89	113
2	409	41
3	2595	39
done	5000	39
0	18	77
1	54	77
2	157	77
3	470	77
4	1345	77
5	4076	77
done	5000	77
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	18	113
1	61	113
2	195	39
3	755	39
4	3672	39
done	5000	39
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	12	14
1	39	14
2	141	14
3	586	14
4	2058	14
done	5000	14
0	12	24
1	32	24
2	98	24
3	318	24
4	1060	23
5	3346	23
done	5001	23
0	20	79
1	62	79
2	174	79
3	494	79
4	1365	79
5	4075	79
done	5000	79
0	18	39
1	54	39
2	157	39
3	472	39
4	1351	39
5	4045	39
done	5000	39
0	19	54
1	57	54
2	162	54
3	474	54
4	1351	54
5	4062	54
done	5000	54
0	18	39
1	54	39
2	157	39
3	472	39
4	1351	39
5	4045	39
done	5000	39
0	15	31
1	43	29
2	123	29
3	352	29
4	949	29
5	2790	29
done	5000	29
0	17	38
1	53	38
2	156	38
3	462	38
4	1336	38
5	4053	38
done	5001	38
0	19	64
1	57	64
2	160	64
3	475	64
4	1351	64
5	4078	64
done	5001	64
0	18	39
1	54	39
2	157	39
3	472	39
4	1351	39
5	4045	39
done	5000	39
0	18	39
1	54	39
2	157	39
3	472	39
4	1351	39
5	4045	39
done	5000	39
0	18	39
1	54	39
2	157	39
3	472	39
4	1351	39
5	4045	39
done	5000	39
0	14	16
1	40	14
2	116	14
3	350	14
4	947	14
5	2795	14
done	5000	14
0	17	38
1	53	38
2	156	38
3	462	38
4	1336	38
5	4053	38
done	5001	38
0	18	79
1	54	73
2	161	73
3	527	73
4	1695	73
done	5002	73
0	14	34
1	32	34
2	74	34
3	196	34
4	558	34
5	1525	34
6	3966	34
done	5001	34
0	17	54
1	51	48
2	155	48
3	475	48
4	1356	48
5	3668	48
done	5000	48
0	14	34
1	32	34
2	74	34
3	196	34
4	558	34
5	1525	34
6	3966	34
done	5001	34
0	14	31
1	46	23
2	141	23
3	442	23
4	1316	23
5	3718	23
done	5000	23
0	13	33
1	31	33
2	73	33
3	195	33
4	555	33
5	1516	33
6	3943	33
done	5000	33
0	15	51
1	36	51
2	78	51
3	195	51
4	547	51
5	1505	51
6	3897	51
done	5000	51
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	14	26
1	33	26
2	75	26
3	193	26
4	559	26
5	1519	26
6	3933	26
done	5000	26
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	2	3
1	4	1
done	4	1
0	16	37
1	52	37
2	155	37
3	460	37
4	1333	37
5	4070	37
done	5000	37
0	15	51
1	36	51
2	78	51
3	195	51
4	547	51
5	1505	51
6	3897	51
done	5000	51
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	14	26
1	33	26
2	75	26
3	193	26
4	559	26
5	1519	26
6	3933	26
done	5000	26
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	2	3
1	4	1
done	4	1
0	16	37
1	52	37
2	155	37
3	460	37
4	1333	37
5	4070	37
done	5000	37
0	13	25
1	32	25
2	74	25
3	191	25
4	551	25
5	1497	25
6	3877	25
done	5000	25
0	16	37
1	52	37
2	155	37
3	452	37
4	1346	37
5	4066	37
done	5001	37
0	18	63
1	56	63
2	159	63
3	471	63
4	1356	63
5	4067	63
done	5000	63
0	17	38
1	53	38
2	156	38
3	459	38
4	1335	38
5	4076	38
done	5000	38
0	13	15
1	39	13
2	115	13
3	349	13
4	962	13
5	2819	13
done	5000	13
0	17	38
1	53	38
2	156	38
3	453	38
4	1344	38
5	4061	38
done	5001	38
0	17	38
1	53	38
2	156	38
3	453	38
4	1344	38
5	4061	38
done	5001	38
0	13	33
1	31	33
2	73	33
3	196	33
4	563	33
5	1530	33
6	3995	33
done	5000	33
0	16	37
1	52	37
2	155	37
3	452	37
4	1346	37
5	4066	37
done	5001	37
0	16	37
1	52	37
2	155	37
3	452	37
4	1346	37
5	4066	37
done	5001	37
0	18	41
1	67	41
2	280	37
3	1457	37
done	5000	37
0	18	61
1	66	55
2	264	51
3	1181	51
done	5000	51
0	20	65
1	74	51
2	327	51
3	2795	51
done	5001	51
0	16	37
1	54	37
2	188	37
3	788	37
4	4492	37
done	5000	37
0	13	15
1	39	14
2	130	14
3	439	14
4	1468	14
done	5001	14
0	12	14
1	36	14
2	110	14
3	334	14
4	937	14
5	2784	14
done	5001	14
0	12	14
1	39	14
2	130	14
3	455	14
4	1469	14
done	5000	14
0	13	29
1	37	29
2	111	29
3	341	29
4	966	29
5	2807	29
done	5000	29
0	12	14
1	36	14
2	110	14
3	334	14
4	937	14
5	2784	14
done	5001	14
0	13	41
1	50	41
2	223	15
3	1512	15
done	5001	15
0	12	14
1	36	14
2	110	14
3	334	14
4	937	14
5	2784	14
done	5001	14
0	12	14
1	36	14
2	110	14
3	334	14
4	937	14
5	2784	14
done	5001	14
0	12	29
1	42	23
2	132	23
3	409	23
4	1135	23
5	2795	23
done	5000	23
0	8	9
1	13	9
2	20	9
3	29	9
4	40	9
5	45	9
6	51	9
7	68	9
8	98	9
9	145	9
10	187	9
11	204	9
12	231	9
13	254	9
14	255	9
done	255	9
0	13	17
1	47	17
2	227	17
3	1632	17
done	5000	17
0	15	41
1	50	27
2	235	27
3	1852	27
done	5000	27
0	13	27
1	45	13
2	178	13
3	1109	13
done	5000	13
0	11	13
1	36	13
2	127	13
3	483	13
4	1701	13
done	5001	13
0	11	13
1	35	13
2	109	13
3	341	13
4	960	13
5	2796	13
done	5000	13
0	13	25
1	36	24
2	102	24
3	301	24
4	1044	24
5	4005	24
done	5001	24
0	12	24
1	29	24
2	71	24
3	188	24
4	539	24
5	1484	24
6	3864	24
done	5000	24
0	12	24
1	32	24
2	89	24
3	265	24
4	878	24
5	3215	24
done	5000	24
0	13	49
1	30	49
2	72	49
3	191	49
4	548	49
5	1494	49
6	3901	49
done	5000	49
0	12	24
1	29	24
2	71	24
3	188	24
4	539	24
5	1484	24
6	3864	24
done	5000	24
0	13	71
1	43	71
2	175	25
3	1008	25
done	5000	25
0	12	24
1	29	24
2	71	24
3	188	24
4	539	24
5	1484	24
6	3864	24
done	5000	24
0	12	24
1	29	24
2	71	24
3	188	24
4	539	24
5	1484	24
6	3864	24
done	5000	24
0	14	27
1	49	27
2	202	23
3	1042	23
done	5002	23
0	15	71
1	54	55
2	269	49
3	1572	45
done	5000	45
0	13	47
1	45	47
2	196	41
3	949	37
done	5000	37
0	11	23
1	29	23
2	82	23
3	259	23
4	977	23
5	3066	23
done	5000	23
0	10	19
1	29	19
2	70	19
3	158	19
4	332	19
5	686	19
6	1396	19
7	2377	19
8	4109	19
done	5000	19
0	10	19
1	29	19
2	70	19
3	158	19
4	332	19
5	686	19
6	1396	19
7	2377	19
8	4109	19
done	5000	19
0	10	19
1	29	19
2	70	19
3	158	19
4	332	19
5	686	19
6	1396	19
7	2377	19
8	4109	19
done	5000	19
0	10	19
1	29	19
2	70	19
3	158	19
4	332	19
5	686	19
6	1396	19
7	2377	19
8	4109	19
done	5000	19
0	7	7
1	9	7
2	17	7
done	17	7
0	6	6
1	11	6
2	18	6
3	19	6
done	19	6
0	6	6
1	11	6
2	18	6
3	19	6
done	19	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	43	9
4	99	9
5	258	9
6	875	9
7	3292	9
done	5000	9
0	6	6
1	11	6
2	16	6
3	34	6
4	75	6
5	181	6
6	560	6
7	2175	6
done	5000	6
0	5	5
1	13	3
2	20	3
3	31	3
4	53	3
5	117	3
6	322	3
7	1262	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	12	7
2	23	7
done	23	7
0	6	6
1	20	6
2	68	6
3	183	6
4	421	6
5	1029	6
6	3802	6
done	5000	6
0	6	6
1	18	6
2	61	6
3	176	6
4	433	6
5	1308	6
6	4878	6
done	5000	6
0	7	13
1	18	7
2	53	7
3	130	7
4	230	7
5	613	7
6	2363	7
done	5000	7
0	6	6
1	18	3
2	53	3
3	131	3
4	236	3
5	609	3
6	2439	3
done	5000	3
0	7	17
1	23	11
2	102	7
3	695	7
done	5000	7
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	12	7
2	23	7
done	23	7
0	6	6
1	18	6
2	54	6
3	132	6
4	237	6
5	618	6
6	2372	6
done	5000	6
0	6	6
1	18	6
2	54	6
3	132	6
4	237	6
5	618	6
6	2372	6
done	5000	6
0	7	7
1	13	5
2	19	5
3	29	5
4	50	5
5	112	5
6	333	5
7	1269	5
done	5000	5
0	7	7
1	13	5
2	19	5
3	29	5
4	50	5
5	112	5
6	333	5
7	1269	5
done	5000	5
0	11	15
1	26	13
2	61	9
3	94	9
4	114	9
5	151	9
6	244	9
7	429	9
8	601	9
9	722	9
10	889	9
11	1152	9
12	1671	9
13	2392	9
done	2392	9
0	9	11
1	19	9
2	36	9
3	44	9
4	51	9
5	68	9
6	98	9
7	145	9
8	187	9
9	204	9
10	231	9
11	254	9
12	255	9
done	255	9
0	9	11
1	19	9
2	36	9
3	44	9
4	51	9
5	68	9
6	98	9
7	145	9
8	187	9
9	204	9
10	231	9
11	254	9
12	255	9
done	255	9
0	1	1
done	1	1
0	16	25
1	50	21
2	199	21
3	684	19
4	2349	17
done	5000	17
0	16	25
1	50	21
2	199	21
3	684	19
4	2349	17
done	5000	17
0	15	21
1	39	19
2	110	19
3	209	17
4	333	15
5	425	15
6	571	15
7	972	15
8	1586	15
9	2662	15
done	5000	15
0	13	23
1	37	19
2	154	15
3	276	15
4	453	13
5	610	13
6	895	13
7	1478	13
8	2510	13
done	5001	13
0	13	23
1	37	19
2	154	15
3	276	15
4	453	13
5	610	13
6	895	13
7	1478	13
8	2510	13
done	5001	13
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5

prune224.0ms

Filtered

77 candidates to 101 candidates (-31.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	101	2	103

Merged error: 0.0b

Counts

103 → 2

regimes173.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	8	9
1	11	9
done	11	9

end0.0ms

sample742.0ms

Algorithm

intervals

Results

329.0ms

10170×

body

valid

Details

sample26.0ms

simplify294.0ms

prune3.0ms

localize7.0ms

rewrite19.0ms

series14.0ms

simplify30.8s

prune57.0ms

localize17.0ms

rewrite43.0ms

series215.0ms

simplify5.0min

prune224.0ms

regimes173.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample742.0ms

Profiling