Details

sample30.0ms

Algorithm

intervals

Results

12.0ms

395×

body

valid

simplify29.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	31	9
3	56	9
4	58	9
done	58	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 1 expressions with local error:

0.0b	(- (* x x) (* (* y 4.0) z))

rewrite8.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:

7.0ms

(- (* x x) (* (* y 4.0) z))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(- (* x x) (* (* y 4.0) z))

simplify28.3s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9

prune24.0ms

Filtered

11 candidates to 15 candidates (-36.4%)

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

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x x) (* (* y 4.0) z))
0.3b	(* (* (* y 4.0) z) (* (* y 4.0) z))
1.9b	(- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))
30.9b	(/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

118×	`pow1`
66×	`pow-prod-down`
42×	`add-exp-log` `add-cbrt-cube`
27×	`prod-exp` `cbrt-unprod`
25×	`add-sqr-sqrt`
18×	`times-frac`
15×	`add-cube-cbrt` `*-un-lft-identity` `difference-of-squares`
9×	`pow-sqr` `pow-prod-up`
8×	`add-log-exp`
6×	`associate-/l*`
5×	`unpow-prod-down` `sqr-pow`
3×	`pow-plus` `associate-/r*`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `pow2` `sub-neg` `frac-2neg` `diff-log` `div-sub` `swap-sqr` `div-exp` `associate-r` `associate-l` `clear-num` `sum-log` `*-commutative` `div-inv`

Counts

4 → 130

Calls

4 calls:

4.0ms	(+ (* x x) (* (* y 4.0) z))
13.0ms	(* (* (* y 4.0) z) (* (* y 4.0) z))
5.0ms	(- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))
12.0ms	(/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))

series66.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+ (* x x) (* (* y 4.0) z))
13.0ms	(* (* (* y 4.0) z) (* (* y 4.0) z))
19.0ms	(- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z)))
24.0ms	(/ (- (pow x 4) (* (* (* y 4.0) z) (* (* y 4.0) z))) (+ (* x x) (* (* y 4.0) z)))

simplify7.6min

Counts

142 → 142

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	27
1	35	27
2	106	27
3	389	27
4	928	27
5	1149	27
6	1498	12
7	1854	10
8	2668	10
done	5001	10
0	14	26
1	38	26
2	122	26
3	498	26
4	1493	26
5	3256	12
done	5001	12
0	14	26
1	35	26
2	120	26
3	497	26
4	1533	26
5	3341	12
done	5001	12
0	17	77
1	56	77
2	236	29
3	1111	27
done	5000	27
0	15	53
1	36	53
2	118	53
3	489	53
4	1488	53
5	3252	25
done	5000	25
0	14	26
1	35	26
2	117	26
3	492	26
4	1487	26
5	3234	12
done	5000	12
0	15	77
1	43	77
2	153	27
3	749	27
4	4753	13
done	5000	13
0	14	26
1	35	26
2	117	26
3	492	26
4	1487	26
5	3234	12
done	5000	12
0	14	26
1	35	26
2	117	26
3	492	26
4	1487	26
5	3234	12
done	5000	12
0	11	16
1	28	16
2	102	16
3	413	16
4	1279	15
5	2717	15
6	3578	15
done	5000	15
0	9	10
1	17	10
2	38	10
3	64	10
4	66	10
done	66	10
0	11	13
1	20	13
2	34	13
3	64	13
4	86	13
5	108	13
6	138	13
7	206	13
8	396	13
9	1067	13
10	3986	13
done	5001	13
0	10	21
1	24	21
2	88	21
3	307	21
4	727	21
5	1234	21
6	1434	21
done	1434	21
0	17	55
1	41	55
2	120	55
3	410	55
4	956	55
5	1158	55
6	1443	55
7	1853	55
8	2578	55
done	5000	55
0	15	27
1	33	27
2	103	27
3	384	27
4	934	27
5	1127	27
6	1440	27
7	1808	27
8	2581	27
done	5000	27
0	16	44
1	36	44
2	108	44
3	384	44
4	943	44
5	1128	44
6	1473	44
7	1881	44
8	2638	44
done	5000	44
0	15	27
1	33	27
2	103	27
3	384	27
4	934	27
5	1127	27
6	1440	27
7	1808	27
8	2581	27
done	5000	27
0	14	35
1	35	33
2	111	33
3	396	33
4	984	33
5	1328	33
6	1980	33
7	4461	33
done	5000	33
0	14	26
1	32	26
2	102	26
3	380	26
4	938	26
5	1149	26
6	1468	26
7	1874	26
8	2617	26
done	5001	26
0	16	38
1	36	38
2	106	38
3	380	38
4	937	38
5	1156	38
6	1485	38
7	1875	38
8	2624	38
done	5000	38
0	15	27
1	33	27
2	103	27
3	384	27
4	934	27
5	1127	27
6	1440	27
7	1808	27
8	2581	27
done	5000	27
0	15	27
1	33	27
2	103	27
3	384	27
4	934	27
5	1127	27
6	1440	27
7	1808	27
8	2581	27
done	5000	27
0	15	27
1	33	27
2	103	27
3	384	27
4	934	27
5	1127	27
6	1440	27
7	1808	27
8	2581	27
done	5000	27
0	13	18
1	32	16
2	104	16
3	381	16
4	948	16
5	1296	16
6	1945	16
7	4455	16
done	5000	16
0	14	26
1	32	26
2	102	26
3	380	26
4	938	26
5	1149	26
6	1468	26
7	1874	26
8	2617	26
done	5001	26
0	12	23
1	21	23
2	27	23
done	27	23
0	14	26
1	35	26
2	117	26
3	492	26
4	1488	26
5	3237	26
done	5001	26
0	11	12
1	18	12
2	24	12
3	26	12
done	26	12
0	14	26
1	35	26
2	117	26
3	492	26
4	1488	26
5	3237	26
done	5001	26
0	2	3
1	4	1
done	4	1
0	13	25
1	34	25
2	116	25
3	493	25
4	1494	25
5	3223	11
done	5000	11
0	15	32
1	27	32
2	40	32
3	60	31
4	75	31
5	112	31
6	233	31
7	687	31
8	2560	31
done	5000	31
0	14	21
1	28	21
2	62	21
3	141	20
4	252	20
5	439	20
6	862	20
7	2678	20
done	5000	20
0	14	21
1	24	21
2	37	21
3	57	20
4	72	20
5	109	20
6	230	20
7	679	20
8	2585	20
done	5000	20
0	14	21
1	28	21
2	62	21
3	141	20
4	252	20
5	439	20
6	862	20
7	2678	20
done	5000	20
0	12	12
1	23	10
2	37	10
3	55	9
4	84	9
5	137	9
6	263	9
7	743	9
8	2901	9
done	5000	9
0	13	20
1	27	20
2	61	20
3	140	19
4	249	19
5	434	19
6	855	19
7	2671	19
done	5000	19
0	15	32
1	27	32
2	40	32
3	60	32
4	71	32
5	83	32
6	103	32
7	147	32
8	261	32
9	636	32
10	2298	32
done	5000	32
0	14	21
1	28	21
2	60	21
3	131	21
4	218	21
5	321	21
6	382	21
7	427	21
8	538	21
9	917	21
10	2583	21
done	5000	21
0	14	21
1	24	21
2	37	21
3	57	21
4	68	21
5	80	21
6	100	21
7	144	21
8	257	21
9	633	21
10	2307	21
done	5001	21
0	14	21
1	28	21
2	60	21
3	131	21
4	218	21
5	321	21
6	382	21
7	427	21
8	538	21
9	917	21
10	2583	21
done	5000	21
0	12	12
1	23	10
2	38	10
3	56	10
4	103	10
5	212	10
6	395	10
7	1259	10
done	5000	10
0	13	20
1	27	20
2	59	20
3	130	20
4	217	20
5	320	20
6	381	20
7	426	20
8	542	20
9	922	20
10	2568	20
done	5000	20
0	16	33
1	28	31
2	42	31
3	47	31
4	53	31
5	63	31
6	87	31
7	149	31
8	370	31
9	1313	31
done	5000	31
0	15	22
1	29	20
2	64	20
3	122	20
4	207	20
5	308	20
6	371	20
7	441	20
8	649	20
9	1580	20
done	5001	20
0	15	22
1	25	20
2	39	20
3	46	20
4	52	20
5	62	20
6	86	20
7	151	20
8	365	20
9	1294	20
done	5000	20
0	15	22
1	29	20
2	64	20
3	122	20
4	207	20
5	308	20
6	371	20
7	441	20
8	649	20
9	1580	20
done	5001	20
0	13	13
1	23	9
2	37	9
3	52	9
4	77	9
5	140	9
6	416	9
7	1327	9
done	5001	9
0	14	21
1	28	19
2	63	19
3	119	19
4	206	19
5	307	19
6	372	19
7	440	19
8	659	19
9	1592	19
done	5000	19
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	13	25
1	31	25
2	101	25
3	381	25
4	916	11
5	1162	11
6	1489	11
7	1883	11
8	2625	11
done	5001	11
0	15	37
1	38	37
2	138	37
3	651	37
4	2843	37
done	5000	37
0	14	26
1	35	26
2	117	26
3	492	26
4	1488	26
5	3237	26
done	5001	26
0	12	17
1	34	15
2	118	15
3	496	15
4	1719	15
5	4724	15
done	5000	15
0	14	26
1	32	26
2	102	26
3	375	26
4	939	26
5	1134	26
6	1459	26
7	1861	26
8	2622	26
done	5001	26
0	14	26
1	32	26
2	102	26
3	375	26
4	939	26
5	1134	26
6	1459	26
7	1861	26
8	2622	26
done	5001	26
0	13	25
1	31	25
2	101	25
3	381	25
4	916	11
5	1162	11
6	1489	11
7	1883	11
8	2625	11
done	5001	11
0	13	20
1	24	20
2	48	20
3	93	19
4	110	19
5	147	19
6	267	19
7	709	19
8	2678	19
done	5000	19
0	13	20
1	24	20
2	48	20
3	93	20
4	106	20
5	118	20
6	138	20
7	184	20
8	298	20
9	680	20
10	2346	20
done	5000	20
0	14	21
1	25	19
2	50	19
3	80	19
4	90	19
5	100	19
6	122	19
7	185	19
8	394	19
9	1321	19
done	5000	19
0	16	29
1	53	29
2	195	27
3	867	27
4	2885	27
done	5000	27
0	14	35
1	42	35
2	151	31
3	791	31
done	5000	1
0	17	57
1	56	41
2	265	37
3	1681	37
done	5000	37
0	13	25
1	37	25
2	133	25
3	643	25
4	2395	25
5	4741	25
done	5000	25
0	12	17
1	31	16
2	104	16
3	376	16
4	1118	16
5	2932	16
done	5001	16
0	11	16
1	28	16
2	99	16
3	385	16
4	916	16
5	1118	16
6	1409	16
7	1775	16
8	2546	16
done	5000	16
0	11	16
1	31	16
2	114	16
3	469	16
4	1368	16
5	3111	16
done	5001	16
0	12	33
1	29	33
2	100	33
3	376	33
4	939	33
5	1150	33
6	1487	33
7	1871	33
8	2617	33
done	5001	33
0	11	16
1	28	16
2	99	16
3	382	16
4	912	16
5	1118	16
6	1441	16
7	1811	16
8	2519	16
done	5000	16
0	12	47
1	30	47
2	115	17
3	528	17
4	3555	17
done	5001	17
0	11	16
1	28	16
2	99	16
3	382	16
4	912	16
5	1118	16
6	1441	16
7	1811	16
8	2519	16
done	5000	16
0	11	16
1	28	16
2	99	16
3	382	16
4	912	16
5	1118	16
6	1441	16
7	1811	16
8	2519	16
done	5000	16
0	13	19
1	44	19
2	199	13
3	1304	13
done	5000	13
0	14	47
1	45	31
2	210	27
3	1197	27
done	5001	27
0	7	12
1	21	12
2	98	12
3	377	12
4	841	12
5	921	12
done	921	12
0	12	31
1	39	27
2	166	17
3	1021	11
done	5000	11
0	10	15
1	26	15
2	78	15
3	220	15
4	297	15
5	309	15
6	329	15
7	371	15
8	484	15
9	861	15
10	2514	15
done	5001	15
0	10	10
1	19	10
2	32	10
3	54	9
4	69	9
5	104	9
6	226	9
7	677	9
8	2546	9
done	5000	9
0	10	10
1	20	10
2	44	10
3	89	9
4	106	9
5	143	9
6	263	9
7	720	9
8	2588	9
done	5000	9
0	10	10
1	19	10
2	33	10
3	55	10
4	66	10
5	78	10
6	98	10
7	142	10
8	256	10
9	631	10
10	2288	10
done	5001	10
0	10	10
1	20	10
2	45	10
3	90	10
4	103	10
5	115	10
6	135	10
7	179	10
8	295	10
9	679	10
10	2333	10
done	5000	10
0	11	11
1	19	9
2	32	9
3	51	9
4	66	9
5	108	9
6	236	9
7	756	9
8	3748	9
done	5001	9
0	11	11
1	21	9
2	46	9
3	78	9
4	86	9
5	96	9
6	118	9
7	174	9
8	382	9
9	1287	9
done	5000	9
0	7	12
1	21	12
2	98	12
3	377	12
4	841	12
5	921	12
done	921	12
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	6	11
1	17	11
2	62	11
3	178	11
4	208	11
done	208	11
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	9	17
1	19	10
2	62	10
3	159	10
4	251	10
5	261	10
done	261	10
0	12	16
1	23	15
2	51	15
3	135	9
4	229	9
5	243	9
done	243	9
0	12	15
1	25	15
2	58	13
3	141	8
4	277	8
5	294	8
done	294	8
0	12	16
1	23	15
2	51	15
3	135	9
4	225	9
5	239	9
done	239	9
0	8	15
1	19	9
2	45	9
3	115	9
4	222	9
5	283	9
done	283	9
0	10	14
1	21	13
2	44	13
3	111	8
4	262	8
5	319	8
done	319	8
0	12	15
1	25	15
2	58	13
3	143	8
4	287	8
5	309	8
done	309	8
0	10	14
1	21	13
2	44	13
3	113	8
4	270	8
5	341	8
done	341	8
0	7	13
1	16	8
2	40	8
3	87	8
4	208	8
5	304	8
6	307	8
done	307	8
0	7	12
1	20	12
2	81	8
3	270	8
4	514	8
5	626	8
done	626	8
0	7	12
1	20	12
2	80	12
3	273	12
4	569	12
5	1298	12
6	3341	12
done	5001	12
0	12	35
1	32	35
2	184	23
3	1331	11
done	5001	11
0	16	35
1	48	35
2	215	19
3	1498	9
done	5000	9
0	16	35
1	47	35
2	237	19
3	1678	15
done	5000	15
0	16	35
1	48	35
2	216	19
3	1515	9
done	5000	9
0	10	35
1	34	35
2	176	19
3	1300	9
done	5000	9
0	13	35
1	46	35
2	226	15
3	1703	7
done	5000	7
0	16	35
1	47	35
2	237	19
3	1721	15
done	5000	15
0	13	35
1	46	35
2	226	15
3	1662	7
done	5000	7
0	8	35
1	28	35
2	162	15
3	1143	7
done	5000	7
0	8	25
1	19	25
2	64	25
3	183	25
4	225	25
done	225	25
0	7	12
1	18	12
2	63	12
3	181	12
4	218	12
done	218	12
0	8	35
1	27	35
2	152	13
3	1113	7
done	5000	7
0	7	12
1	19	6
2	64	6
3	183	6
4	219	6
done	219	6
0	7	12
1	19	6
2	64	6
3	183	6
4	219	6
done	219	6
0	4	7
1	12	7
2	23	7
done	23	7
0	2	3
done	2	3
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	9
1	13	9
2	34	9
3	77	9
4	94	9
done	94	9
0	6	7
1	11	7
2	23	7
3	38	7
4	40	7
done	40	7
0	10	11
1	21	10
2	42	10
3	81	10
4	225	10
5	772	10
6	3469	10
done	5001	10
0	9	10
1	14	10
2	20	10
done	20	10
0	9	10
1	17	10
2	32	10
3	53	10
4	125	10
5	393	10
6	1342	10
done	5000	10
0	10	21
1	15	21
2	21	21
done	21	21
0	9	10
1	14	10
2	20	10
done	20	10
0	10	29
1	28	29
2	100	11
3	445	11
4	1844	11
done	5000	11
0	9	10
1	14	10
2	20	10
done	20	10
0	9	10
1	14	10
2	20	10
done	20	10
0	11	13
1	34	13
2	110	11
3	410	11
4	1437	11
5	3443	11
done	5001	11
0	12	29
1	39	23
2	141	21
3	490	19
4	963	19
5	1162	19
6	1469	19
7	2703	19
done	5000	19
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	14	9
2	31	9
3	56	9
4	58	9
done	58	9
0	11	11
1	23	11
2	56	11
3	86	11
4	94	11
5	104	11
6	128	11
7	194	11
8	410	11
9	1349	11
done	5001	11
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	1	1
done	1	1
0	12	13
1	29	13
2	102	13
3	239	13
4	423	13
5	479	13
6	536	13
7	687	13
8	1200	13
9	3380	13
done	5000	13
0	12	13
1	29	13
2	102	13
3	239	13
4	423	13
5	479	13
6	536	13
7	687	13
8	1200	13
9	3380	13
done	5000	13
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	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	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	9	9
1	19	9
2	33	9
3	38	9
4	44	9
5	54	9
6	78	9
7	138	9
8	345	9
9	1254	9
done	5001	9
0	9	9
1	19	9
2	33	9
3	38	9
4	44	9
5	54	9
6	78	9
7	138	9
8	345	9
9	1254	9
done	5001	9
0	9	9
1	19	9
2	33	9
3	38	9
4	44	9
5	54	9
6	78	9
7	138	9
8	345	9
9	1254	9
done	5001	9

prune208.0ms

Filtered

87 candidates to 142 candidates (-63.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

144 → 2

regimes304.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	10	9
done	10	9

end0.0ms

sample911.0ms

Algorithm

intervals

Results

419.0ms

12246×

body

valid

Details

sample30.0ms

simplify29.0ms

prune3.0ms

localize7.0ms

rewrite8.0ms

series10.0ms

simplify28.3s

prune24.0ms

localize17.0ms

rewrite41.0ms

series66.0ms

simplify7.6min

prune208.0ms

regimes304.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample911.0ms

Profiling