Details

sample117.0ms

Algorithm

intervals

Results

48.0ms

507×

body

valid

simplify12.7s

Counts

1 → 1

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	28	31
1	66	29
2	197	29
3	567	29
4	1182	29
5	1729	29
6	2384	29
7	3700	29
8	4768	29
done	4768	29

prune15.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 6.3b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* (* j 27.0) k)
5.0b	(* (* (* (* x 18.0) y) z) t)
6.3b	(* (* (* x 18.0) y) z)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`associate-l` `*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* (* x 18.0) y)
5.0ms	(* (* j 27.0) k)
11.0ms	(* (* (* (* x 18.0) y) z) t)
9.0ms	(* (* (* x 18.0) y) z)

series28.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x 18.0) y)
4.0ms	(* (* j 27.0) k)
13.0ms	(* (* (* (* x 18.0) y) z) t)
7.0ms	(* (* (* x 18.0) y) z)

simplify1.2min

Counts

93 → 93

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	11	11
1	18	11
2	38	11
3	61	11
4	62	11
done	62	11
0	10	10
1	18	10
2	31	10
3	58	10
4	70	10
done	70	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	164	8
done	164	8
0	8	8
1	17	8
2	50	8
3	110	8
4	223	8
5	524	8
6	1270	8
7	3270	8
done	5000	8
0	15	23
1	34	23
2	143	15
3	786	15
4	4310	13
done	5000	13
0	13	23
1	36	23
2	145	13
3	840	13
4	4455	11
done	5000	11
0	11	23
1	31	23
2	141	11
3	882	11
done	5000	9
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	23
1	26	23
2	123	9
3	857	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	11
1	18	11
2	47	11
3	110	11
4	151	11
done	151	11
0	8	8
1	15	8
2	35	8
3	61	8
4	63	8
done	63	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	3	3
1	4	3
done	4	3
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	14	14
1	24	14
2	60	14
3	160	14
4	239	14
done	239	14
0	13	13
1	24	13
2	51	13
3	131	13
4	233	13
5	239	13
done	239	13
0	12	12
1	23	12
2	48	12
3	108	12
4	223	12
5	266	12
done	266	12
0	11	11
1	22	11
2	56	11
3	130	11
4	270	11
5	348	11
done	348	11
0	10	10
1	23	10
2	69	10
3	226	10
4	494	10
5	675	10
6	676	10
done	676	10
0	10	10
1	22	10
2	71	10
3	223	10
4	514	10
5	1195	10
6	3012	10
done	5000	10
0	19	29
1	44	29
2	197	19
3	1440	19
done	5000	19
0	17	29
1	46	29
2	199	17
3	1463	17
done	5000	17
0	15	29
1	41	29
2	193	15
3	1473	15
done	5001	15
0	13	29
1	36	29
2	173	13
3	1412	13
done	5001	13
0	11	21
1	21	21
2	57	21
3	159	21
4	241	21
5	243	21
done	243	21
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	11	29
1	31	29
2	144	11
3	1224	11
done	5000	11
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	11	13
1	23	13
2	68	13
3	232	13
4	486	13
5	514	13
done	514	13
0	10	10
1	20	10
2	56	10
3	157	10
4	251	10
5	252	10
done	252	10
0	9	9
1	21	7
2	63	7
3	151	7
4	304	7
5	311	7
done	311	7
0	3	3
1	4	3
done	4	3
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	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	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	1	1
done	1	1
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
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	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

prune245.0ms

Filtered

69 candidates to 93 candidates (-34.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	84	9	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	9	94

Merged error: 1.0b

Counts

94 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* 27.0 (* k j))
5.0b	(* (* (* (* x 18.0) y) z) t)
6.3b	(* (* (* x 18.0) y) z)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* (* x 18.0) y)
5.0ms	(* 27.0 (* k j))
15.0ms	(* (* (* (* x 18.0) y) z) t)
8.0ms	(* (* (* x 18.0) y) z)

series28.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x 18.0) y)
4.0ms	(* 27.0 (* k j))
13.0ms	(* (* (* (* x 18.0) y) z) t)
7.0ms	(* (* (* x 18.0) y) z)

simplify1.2min

Counts

93 → 93

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	11	11
1	18	11
2	38	11
3	61	11
4	62	11
done	62	11
0	10	10
1	18	10
2	31	10
3	58	10
4	70	10
done	70	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	164	8
done	164	8
0	8	8
1	17	8
2	50	8
3	110	8
4	223	8
5	524	8
6	1270	8
7	3270	8
done	5000	8
0	15	23
1	34	23
2	143	15
3	786	15
4	4310	13
done	5000	13
0	13	23
1	36	23
2	145	13
3	840	13
4	4455	11
done	5000	11
0	11	23
1	31	23
2	141	11
3	882	11
done	5000	9
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	23
1	26	23
2	123	9
3	857	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	11
1	18	11
2	47	11
3	110	11
4	151	11
done	151	11
0	8	8
1	15	8
2	35	8
3	61	8
4	63	8
done	63	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	3	3
1	4	3
done	4	3
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	14	14
1	24	14
2	60	14
3	160	14
4	239	14
done	239	14
0	13	13
1	24	13
2	51	13
3	131	13
4	233	13
5	239	13
done	239	13
0	12	12
1	23	12
2	48	12
3	108	12
4	223	12
5	266	12
done	266	12
0	11	11
1	22	11
2	56	11
3	130	11
4	270	11
5	348	11
done	348	11
0	10	10
1	23	10
2	69	10
3	226	10
4	494	10
5	675	10
6	676	10
done	676	10
0	10	10
1	22	10
2	71	10
3	223	10
4	514	10
5	1195	10
6	3012	10
done	5000	10
0	19	29
1	44	29
2	197	19
3	1440	19
done	5000	19
0	17	29
1	46	29
2	199	17
3	1463	17
done	5000	17
0	15	29
1	41	29
2	193	15
3	1473	15
done	5001	15
0	13	29
1	36	29
2	173	13
3	1412	13
done	5001	13
0	11	21
1	21	21
2	57	21
3	159	21
4	241	21
5	243	21
done	243	21
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	11	29
1	31	29
2	144	11
3	1224	11
done	5000	11
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	11	13
1	23	13
2	68	13
3	232	13
4	486	13
5	514	13
done	514	13
0	10	10
1	20	10
2	56	10
3	157	10
4	251	10
5	252	10
done	252	10
0	9	9
1	21	7
2	63	7
3	151	7
4	304	7
5	311	7
done	311	7
0	3	3
1	4	3
done	4	3
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	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	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	1	1
done	1	1
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
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	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

prune212.0ms

Filtered

68 candidates to 93 candidates (-36.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	93	9	102

Merged error: 1.0b

Counts

102 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.3b	(* j (* 27.0 k))
5.0b	(* (* (* (* x 18.0) y) z) t)
6.3b	(* (* (* x 18.0) y) z)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* (* x 18.0) y)
5.0ms	(* j (* 27.0 k))
12.0ms	(* (* (* (* x 18.0) y) z) t)
8.0ms	(* (* (* x 18.0) y) z)

series29.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x 18.0) y)
4.0ms	(* j (* 27.0 k))
13.0ms	(* (* (* (* x 18.0) y) z) t)
8.0ms	(* (* (* x 18.0) y) z)

simplify1.2min

Counts

93 → 93

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	11	11
1	18	11
2	38	11
3	61	11
4	62	11
done	62	11
0	10	10
1	18	10
2	31	10
3	58	10
4	70	10
done	70	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	164	8
done	164	8
0	8	8
1	17	8
2	50	8
3	110	8
4	223	8
5	524	8
6	1270	8
7	3270	8
done	5000	8
0	15	23
1	34	23
2	143	15
3	786	15
4	4310	13
done	5000	13
0	13	23
1	36	23
2	145	13
3	840	13
4	4455	11
done	5000	11
0	11	23
1	31	23
2	141	11
3	882	11
done	5000	9
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	23
1	26	23
2	123	9
3	857	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	11
1	18	11
2	47	11
3	110	11
4	151	11
done	151	11
0	8	8
1	15	8
2	35	8
3	61	8
4	63	8
done	63	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	3	3
1	4	3
done	4	3
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	9	9
1	19	9
2	55	9
3	155	9
4	241	9
5	242	9
done	242	9
0	14	14
1	24	14
2	60	14
3	160	14
4	239	14
done	239	14
0	13	13
1	24	13
2	51	13
3	131	13
4	233	13
5	239	13
done	239	13
0	12	12
1	23	12
2	48	12
3	108	12
4	223	12
5	266	12
done	266	12
0	11	11
1	22	11
2	56	11
3	130	11
4	270	11
5	348	11
done	348	11
0	10	10
1	23	10
2	69	10
3	226	10
4	494	10
5	675	10
6	676	10
done	676	10
0	10	10
1	22	10
2	71	10
3	223	10
4	514	10
5	1195	10
6	3012	10
done	5000	10
0	19	29
1	44	29
2	197	19
3	1440	19
done	5000	19
0	17	29
1	46	29
2	199	17
3	1463	17
done	5000	17
0	15	29
1	41	29
2	193	15
3	1473	15
done	5001	15
0	13	29
1	36	29
2	173	13
3	1412	13
done	5001	13
0	11	21
1	21	21
2	57	21
3	159	21
4	241	21
5	243	21
done	243	21
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	11	29
1	31	29
2	144	11
3	1224	11
done	5000	11
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	10	10
1	20	10
2	56	10
3	157	10
4	242	10
5	244	10
done	244	10
0	11	13
1	23	13
2	68	13
3	232	13
4	486	13
5	514	13
done	514	13
0	10	10
1	20	10
2	56	10
3	157	10
4	251	10
5	252	10
done	252	10
0	9	9
1	21	7
2	63	7
3	151	7
4	304	7
5	311	7
done	311	7
0	3	3
1	4	3
done	4	3
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	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	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	1	1
done	1	1
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
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	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

prune211.0ms

Filtered

69 candidates to 93 candidates (-34.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	93	9	102

Merged error: 1.0b

Counts

102 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* 18.0 y))
0.2b	(* (* j 27.0) k)
5.0b	(* (* (* x (* 18.0 y)) z) t)
6.3b	(* (* x (* 18.0 y)) z)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* x (* 18.0 y))
6.0ms	(* (* j 27.0) k)
11.0ms	(* (* (* x (* 18.0 y)) z) t)
12.0ms	(* (* x (* 18.0 y)) z)

series28.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* x (* 18.0 y))
4.0ms	(* (* j 27.0) k)
12.0ms	(* (* (* x (* 18.0 y)) z) t)
7.0ms	(* (* x (* 18.0 y)) z)

simplify1.2min

Counts

93 → 93

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	33	7
3	59	7
4	61	7
done	61	7
0	7	7
1	14	7
2	33	7
3	59	7
4	61	7
done	61	7
0	7	7
1	14	7
2	33	7
3	59	7
4	61	7
done	61	7
0	11	11
1	18	11
2	37	11
3	65	11
4	67	11
done	67	11
0	10	10
1	18	10
2	31	10
3	59	10
4	73	10
done	73	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	47	8
3	107	8
4	169	8
5	173	8
done	173	8
0	8	8
1	17	8
2	49	8
3	113	8
4	237	8
5	543	8
6	1310	8
7	3326	8
done	5000	8
0	15	23
1	34	23
2	144	15
3	790	15
4	4274	13
done	5001	13
0	13	23
1	36	23
2	146	13
3	817	13
4	4588	11
done	5000	11
0	11	23
1	31	23
2	142	11
3	867	11
done	5000	11
0	9	17
1	16	17
2	35	17
3	63	17
4	65	17
done	65	17
0	8	8
1	15	8
2	34	8
3	60	8
4	62	8
done	62	8
0	9	23
1	26	23
2	122	9
3	832	9
done	5001	9
0	8	8
1	15	8
2	34	8
3	60	8
4	62	8
done	62	8
0	8	8
1	15	8
2	34	8
3	60	8
4	62	8
done	62	8
0	9	11
1	18	11
2	46	11
3	111	11
4	154	11
done	154	11
0	8	8
1	15	8
2	34	8
3	60	8
4	63	8
done	63	8
0	7	7
1	16	5
2	41	5
3	88	5
done	88	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	9
1	19	9
2	54	9
3	156	9
4	241	9
5	249	9
done	249	9
0	9	9
1	19	9
2	54	9
3	156	9
4	241	9
5	249	9
done	249	9
0	9	9
1	19	9
2	54	9
3	156	9
4	241	9
5	249	9
done	249	9
0	9	9
1	19	9
2	54	9
3	156	9
4	241	9
5	249	9
done	249	9
0	14	14
1	24	14
2	59	14
3	163	14
4	237	14
5	241	14
done	241	14
0	13	13
1	24	13
2	51	13
3	128	13
4	226	13
5	236	13
done	236	13
0	12	12
1	23	12
2	48	12
3	107	12
4	226	12
5	264	12
done	264	12
0	11	11
1	22	11
2	55	11
3	135	11
4	291	11
5	361	11
6	365	11
done	365	11
0	10	10
1	23	10
2	68	10
3	223	10
4	475	10
5	635	10
6	641	10
done	641	10
0	10	10
1	22	10
2	70	10
3	222	10
4	518	10
5	1189	10
6	2976	10
done	5001	10
0	19	29
1	44	29
2	198	19
3	1373	19
done	5000	19
0	17	29
1	46	29
2	200	17
3	1360	17
done	5000	17
0	15	29
1	41	29
2	194	15
3	1414	15
done	5000	15
0	13	29
1	36	29
2	172	13
3	1400	13
done	5001	13
0	11	21
1	21	21
2	56	21
3	159	21
4	241	21
5	249	21
done	249	21
0	10	10
1	20	10
2	55	10
3	157	10
4	231	10
5	239	10
done	239	10
0	11	29
1	31	29
2	143	11
3	1198	11
done	5001	11
0	10	10
1	20	10
2	55	10
3	157	10
4	231	10
5	239	10
done	239	10
0	10	10
1	20	10
2	55	10
3	157	10
4	231	10
5	239	10
done	239	10
0	11	13
1	23	13
2	67	13
3	231	13
4	477	13
5	509	13
done	509	13
0	10	10
1	20	10
2	55	10
3	157	10
4	264	10
5	276	10
done	276	10
0	9	9
1	21	7
2	62	7
3	150	7
4	238	7
done	238	7
0	3	3
1	4	3
done	4	3
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	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	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	1	1
done	1	1
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
0	9	9
1	19	9
2	55	9
3	150	9
4	256	9
5	257	9
done	257	9
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	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

prune150.0ms

Filtered

69 candidates to 93 candidates (-34.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	93	9	102

Merged error: 1.0b

Counts

102 → 9

regimes2.5s

Accuracy

51.6% (2.4b remaining)

Error of 3.2b against oracle of 0.8b and baseline of 5.8b

bsearch1.0ms

simplify14.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	50	156
1	70	154
2	76	154
3	82	154
done	82	154

end0.0ms

sample3.4s

Algorithm

intervals

Results

1.5s

16022×

body

valid

Details

sample117.0ms

simplify12.7s

prune15.0ms

localize24.0ms

rewrite42.0ms

series28.0ms

simplify1.2min

prune245.0ms

localize24.0ms

rewrite37.0ms

series28.0ms

simplify1.2min

prune212.0ms

localize25.0ms

rewrite34.0ms

series29.0ms

simplify1.2min

prune211.0ms

localize24.0ms

rewrite38.0ms

series28.0ms

simplify1.2min

prune150.0ms

regimes2.5s

bsearch1.0ms

simplify14.0ms

end0.0ms

sample3.4s

Profiling