Details

sample21.0ms

Algorithm

intervals

Results

9.0ms

345×

body

valid

simplify29.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	24	7
3	39	7
4	40	7
done	40	7

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

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* x 3.0) x)
11.3b	(* (* (* x 3.0) x) y)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-r`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`associate-l` `*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

6.0ms	(* (* x 3.0) x)
8.0ms	(* (* (* x 3.0) x) y)

series9.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(* (* x 3.0) x)
6.0ms	(* (* (* x 3.0) x) y)

simplify59.8s

Counts

45 → 45

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	24	7
3	39	7
4	40	7
done	40	7
0	6	7
1	11	7
2	24	7
3	39	7
4	40	7
done	40	7
0	6	7
1	11	7
2	24	7
3	39	7
4	40	7
done	40	7
0	9	11
1	14	11
2	27	11
3	44	10
4	48	10
done	48	10
0	9	10
1	16	10
2	27	10
3	44	10
4	48	10
done	48	10
0	8	9
1	14	9
2	25	9
3	42	9
4	60	9
5	61	9
done	61	9
0	7	8
1	15	8
2	35	8
3	72	8
4	98	8
5	100	8
6	101	8
done	101	8
0	7	8
1	14	8
2	38	8
3	82	8
4	168	8
5	386	8
6	916	8
7	2368	8
done	5000	8
0	12	23
1	28	23
2	112	15
3	560	11
4	2600	11
done	5000	11
0	12	23
1	34	23
2	140	13
3	718	13
4	2955	11
done	5000	11
0	10	23
1	28	23
2	114	11
3	544	11
4	2250	9
done	5000	9
0	8	17
1	13	17
2	26	17
3	41	17
4	44	17
done	44	17
0	7	8
1	12	8
2	25	8
3	40	8
4	43	8
done	43	8
0	8	23
1	23	23
2	99	9
3	579	9
4	2297	9
done	5001	9
0	7	8
1	12	8
2	25	8
3	40	8
4	43	8
done	43	8
0	7	8
1	12	8
2	25	8
3	40	8
4	43	8
done	43	8
0	8	11
1	15	11
2	35	11
3	74	11
4	92	11
done	92	11
0	7	8
1	12	8
2	25	8
3	40	8
done	40	8
0	6	7
1	13	5
2	32	5
3	47	5
4	59	5
done	59	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	6	5
2	9	5
done	9	5
0	6	8
1	8	8
2	11	8
3	13	7
4	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	10	6
2	17	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	9	6
2	21	6
3	37	6
4	78	6
5	175	6
6	423	6
7	1172	6
8	4568	6
done	5000	6
0	8	17
1	18	17
2	64	11
3	200	7
4	446	7
5	1121	7
6	3799	7
done	5001	7
0	8	17
1	24	17
2	88	9
3	270	9
4	490	7
5	1060	7
6	3098	7
done	5001	7
0	6	13
1	8	13
2	11	13
done	11	13
0	5	6
1	7	6
2	10	6
done	10	6
0	6	17
1	18	17
2	65	7
3	176	7
4	314	7
5	505	7
6	1317	7
7	4379	7
done	5001	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
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

prune88.0ms

Filtered

33 candidates to 45 candidates (-36.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	38	7	45
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	7	46

Merged error: 0.1b

Counts

46 → 7

localize5.0ms

Local error

Found 1 expressions with local error:

0.3b	(* (* x 3.0) (* x y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l` `-commutative` `add-log-exp`

Counts

1 → 22

Calls

1 calls:

7.0ms

(* (* x 3.0) (* x y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* (* x 3.0) (* x y))

simplify41.1s

Counts

25 → 25

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	28	7
3	37	7
4	38	7
done	38	7
0	6	7
1	13	7
2	28	7
3	37	7
4	38	7
done	38	7
0	6	7
1	13	7
2	28	7
3	37	7
4	38	7
done	38	7
0	6	7
1	13	7
2	28	7
3	37	7
4	38	7
done	38	7
0	9	11
1	16	11
2	31	11
3	40	10
4	42	10
done	42	10
0	9	10
1	16	10
2	28	10
3	40	10
4	45	10
5	46	10
done	46	10
0	9	10
1	16	10
2	27	10
3	42	10
4	47	10
5	48	10
done	48	10
0	8	9
1	16	9
2	26	9
3	41	9
4	47	9
5	49	9
done	49	9
0	7	8
1	17	8
2	45	8
3	78	8
4	97	8
5	100	8
6	101	8
done	101	8
0	7	8
1	16	8
2	45	8
3	91	8
4	192	8
5	450	8
6	1100	8
7	3147	8
done	5001	8
0	12	23
1	30	23
2	130	15
3	617	11
4	2693	11
done	5000	11
0	12	23
1	34	23
2	142	13
3	727	13
4	3101	11
done	5001	11
0	12	23
1	34	23
2	141	13
3	690	13
4	2997	11
done	5000	11
0	10	23
1	36	23
2	146	11
3	759	11
4	3065	9
done	5000	9
0	8	17
1	15	17
2	30	17
3	38	17
4	39	17
done	39	17
0	7	8
1	14	8
2	30	8
3	38	8
4	39	8
done	39	8
0	8	23
1	25	23
2	135	9
3	729	9
4	2638	9
done	5000	9
0	7	8
1	14	8
2	30	8
3	38	8
4	39	8
done	39	8
0	7	8
1	14	8
2	30	8
3	38	8
4	39	8
done	39	8
0	4	5
1	6	5
2	9	5
done	9	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7

prune56.0ms

Filtered

18 candidates to 25 candidates (-38.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	24	8	32

Merged error: 0.0b

Counts

32 → 8

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(* x (* 3.0 (* x y)))
0.3b	(* 3.0 (* x y))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-l`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`associate-r` `*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

7.0ms	(* x (* 3.0 (* x y)))
5.0ms	(* 3.0 (* x y))

series9.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* x (* 3.0 (* x y)))
4.0ms	(* 3.0 (* x y))

simplify1.1min

Counts

45 → 45

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	13	7
2	27	7
3	36	7
done	36	7
0	6	7
1	13	7
2	27	7
3	36	7
done	36	7
0	6	7
1	13	7
2	27	7
3	36	7
done	36	7
0	9	11
1	16	11
2	30	11
3	40	11
4	42	10
5	43	10
done	43	10
0	9	10
1	16	10
2	28	10
3	40	10
4	44	10
5	45	10
done	45	10
0	8	9
1	16	9
2	32	9
3	56	9
4	67	9
5	68	9
done	68	9
0	7	8
1	17	8
2	40	8
3	73	8
4	95	8
5	98	8
6	99	8
done	99	8
0	7	8
1	16	8
2	38	8
3	89	8
4	206	8
5	505	8
6	1258	8
7	3903	8
done	5001	8
0	12	23
1	30	23
2	134	15
3	694	15
4	2891	11
done	5000	11
0	12	23
1	34	23
2	145	13
3	738	13
4	2952	11
done	5000	11
0	10	23
1	30	23
2	140	11
3	828	11
4	3297	9
done	5000	9
0	8	17
1	15	17
2	29	17
3	42	17
done	42	17
0	7	8
1	14	8
2	28	8
3	40	8
done	40	8
0	8	23
1	25	23
2	115	9
3	592	9
4	2303	9
done	5001	9
0	7	8
1	14	8
2	28	8
3	40	8
done	40	8
0	7	8
1	14	8
2	28	8
3	40	8
done	40	8
0	3	3
1	4	3
done	4	3
0	7	8
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	7	8
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	6	7
1	13	7
2	27	7
3	36	7
done	36	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7

prune78.0ms

Filtered

30 candidates to 45 candidates (-50.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	41	4	45
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	43	10	53

Merged error: 0b

Counts

53 → 10

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(* x (* (* 3.0 x) y))
0.3b	(* (* 3.0 x) y)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

7.0ms	(* x (* (* 3.0 x) y))
6.0ms	(* (* 3.0 x) y)

series9.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* x (* (* 3.0 x) y))
4.0ms	(* (* 3.0 x) y)

simplify59.5s

Counts

45 → 45

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	6	7
1	13	7
2	27	7
3	33	7
4	34	7
done	34	7
0	6	7
1	13	7
2	27	7
3	33	7
4	34	7
done	34	7
0	6	7
1	13	7
2	27	7
3	33	7
4	34	7
done	34	7
0	9	11
1	16	11
2	30	11
3	38	10
4	40	10
done	40	10
0	9	10
1	16	10
2	26	10
3	40	10
4	48	10
5	49	10
done	49	10
0	8	9
1	16	9
2	32	9
3	56	9
4	66	9
5	67	9
done	67	9
0	7	8
1	17	8
2	41	8
3	70	8
4	92	8
5	95	8
6	96	8
done	96	8
0	7	8
1	16	8
2	38	8
3	86	8
4	201	8
5	509	8
6	1277	8
7	3919	8
done	5000	8
0	12	23
1	30	23
2	131	15
3	636	11
4	2655	11
done	5000	11
0	12	23
1	34	23
2	142	13
3	747	13
4	3074	11
done	5000	11
0	10	23
1	30	23
2	140	11
3	826	11
4	3450	9
done	5001	9
0	8	17
1	15	17
2	29	17
3	37	17
4	38	17
done	38	17
0	7	8
1	14	8
2	28	8
3	34	8
4	35	8
done	35	8
0	8	23
1	25	23
2	116	9
3	625	9
4	2387	9
5	4916	9
done	5000	9
0	7	8
1	14	8
2	28	8
3	34	8
4	35	8
done	35	8
0	7	8
1	14	8
2	28	8
3	34	8
4	35	8
done	35	8
0	4	5
1	6	5
2	9	5
done	9	5
0	7	8
1	14	8
2	33	8
3	58	8
4	60	8
done	60	8
0	7	8
1	14	8
2	33	8
3	58	8
4	60	8
done	60	8
0	6	7
1	13	7
2	27	7
3	33	7
4	34	7
done	34	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7

prune48.0ms

Filtered

29 candidates to 45 candidates (-55.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	45	10	55

Merged error: 0b

Counts

55 → 10

regimes237.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample594.0ms

Algorithm

intervals

Results

272.0ms

10658×

body

valid

Details

sample21.0ms

simplify29.0ms

prune3.0ms

localize5.0ms

rewrite15.0ms

series9.0ms

simplify59.8s

prune88.0ms

localize5.0ms

rewrite8.0ms

series5.0ms

simplify41.1s

prune56.0ms

localize5.0ms

rewrite14.0ms

series9.0ms

simplify1.1min

prune78.0ms

localize5.0ms

rewrite14.0ms

series9.0ms

simplify59.5s

prune48.0ms

regimes237.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample594.0ms

Profiling