Details

sample68.0ms

Algorithm

intervals

Results

47.0ms

341×

body

valid

simplify3.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	24	9
3	52	9
4	83	9
5	107	9
6	129	9
7	152	9
8	193	9
9	259	9
10	345	9
11	382	9
12	433	9
13	468	9
14	504	9
15	594	9
16	826	9
17	1116	9
18	1673	9
19	2171	9
20	2224	9
done	2224	9

prune4.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: 2.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (- y x) (/ z t)))
7.1b	(* (- y x) (/ z t))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`associate-r`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
5×	`associate-l`
4×	`pow1` `add-log-exp`
2×	`frac-times` `flip3--` `associate-*l/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `associate-r/` `div-exp` `pow-prod-down` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 49

Calls

2 calls:

3.0ms	(+ x (* (- y x) (/ z t)))
18.0ms	(* (- y x) (/ z t))

series27.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ x (* (- y x) (/ z t)))
14.0ms	(* (- y x) (/ z t))

simplify2.5min

Counts

55 → 55

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	10	10
1	17	10
2	25	10
3	34	10
4	40	10
5	50	10
6	57	10
7	69	10
8	92	10
9	106	10
10	112	10
done	112	10
0	9	9
1	15	9
2	22	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	81	9
9	100	9
10	108	9
done	108	9
0	8	8
1	16	8
2	32	8
3	66	8
4	108	8
5	137	8
6	160	8
7	178	8
8	194	8
9	201	8
10	218	8
11	220	8
done	220	8
0	8	8
1	15	8
2	36	8
3	76	8
4	149	8
5	277	8
6	617	8
7	1948	8
done	5001	8
0	13	23
1	30	23
2	121	13
3	562	11
4	2827	11
done	5001	11
0	11	23
1	26	23
2	88	11
3	332	11
4	1571	9
done	5000	9
0	9	17
1	14	17
2	24	17
3	48	17
4	71	17
5	87	17
6	98	17
done	98	17
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	9	23
1	24	23
2	103	9
3	525	9
4	2321	9
done	5000	9
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
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	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
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	5	5
1	7	5
2	15	5
done	15	5
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	9	13
1	14	13
2	23	13
3	40	13
4	50	13
5	58	13
done	58	13
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	11	15
1	22	15
2	58	15
3	162	15
4	349	15
5	570	15
6	734	15
7	772	15
8	774	15
done	774	15
0	10	12
1	17	12
2	34	12
3	87	12
4	163	12
5	230	12
6	279	12
7	284	12
done	284	12
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	10	12
1	17	12
2	35	12
3	84	12
4	143	12
5	208	12
6	243	12
7	250	12
done	250	12
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	9	11
1	18	11
2	35	9
3	99	9
4	204	9
5	278	9
6	351	9
7	380	9
8	398	9
9	400	9
done	400	9
0	8	8
1	15	8
2	25	6
3	60	6
4	102	6
5	129	6
6	148	6
7	150	6
8	151	6
done	151	6
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	28	11
2	59	11
3	163	11
4	489	11
5	1748	11
done	5000	11
0	9	11
1	17	11
2	39	11
3	118	11
4	311	11
5	564	11
6	963	11
7	1727	11
done	5000	11
0	10	11
1	20	10
2	41	10
3	89	10
4	192	10
5	383	10
6	903	10
7	3169	10
done	5000	10
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2159	10
20	2228	10
21	2236	10
22	2253	10
23	2275	10
24	2363	10
25	2624	10
26	3561	10
done	5000	10
0	9	10
1	18	10
2	33	10
3	76	10
4	151	10
5	287	10
6	625	10
7	2135	10
done	5000	10
0	10	21
1	16	21
2	26	21
3	54	21
4	85	21
5	109	21
6	131	21
7	154	21
8	195	21
9	261	21
10	347	21
11	384	21
12	435	21
13	470	21
14	506	21
15	596	21
16	830	21
17	1118	21
18	1674	21
19	2165	21
20	2221	21
done	2221	21
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2157	10
20	2220	10
done	2220	10
0	10	29
1	29	29
2	95	11
3	415	11
4	2134	11
done	5000	11
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2157	10
20	2220	10
done	2220	10
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2157	10
20	2220	10
done	2220	10
0	11	13
1	33	13
2	94	13
3	394	13
4	1872	13
done	5001	13
0	12	29
1	34	21
2	125	21
3	413	21
4	1354	21
5	4421	21
done	5000	21
0	10	19
1	27	19
2	95	19
3	390	19
4	1474	19
5	4968	19
done	5000	19
0	8	9
1	15	9
2	34	9
3	84	9
4	171	9
5	222	9
6	278	9
7	344	9
8	431	9
9	548	9
10	585	9
11	675	9
12	907	9
13	1195	9
14	1744	9
15	2225	9
16	2287	9
done	2287	9
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9

prune108.0ms

Filtered

42 candidates to 55 candidates (-31.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	47	8	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	9	56

Merged error: 0.0b

Counts

56 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

7.1b	(* (- y x) (/ z t))
8.4b	(cbrt (* (- y x) (/ z t)))
8.4b	(cbrt (* (- y x) (/ z t)))
8.4b	(cbrt (* (- y x) (/ z t)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
15×	`cbrt-div`
14×	`*-un-lft-identity`
13×	`associate-r`
12×	`add-cube-cbrt`
10×	`times-frac`
9×	`add-exp-log` `add-cbrt-cube`
8×	`frac-times` `flip3--` `associate-*l/` `flip--`
6×	`pow1`
5×	`associate-l`
4×	`associate-*r/` `add-log-exp`
3×	`cbrt-prod` `pow1/3`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 80

Calls

4 calls:

12.0ms	(* (- y x) (/ z t))
7.0ms	(cbrt (* (- y x) (/ z t)))
12.0ms	(cbrt (* (- y x) (/ z t)))
7.0ms	(cbrt (* (- y x) (/ z t)))

series153.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (- y x) (/ z t))
45.0ms	(cbrt (* (- y x) (/ z t)))
50.0ms	(cbrt (* (- y x) (/ z t)))
44.0ms	(cbrt (* (- y x) (/ z t)))

simplify1.5min

Counts

92 → 92

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
done	4	4
0	9	10
1	25	10
2	53	10
3	132	10
4	308	10
5	982	10
6	4496	10
done	5000	10
0	10	14
1	18	12
2	40	12
3	74	12
4	89	12
5	91	12
done	91	12
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3480	10
done	5000	10
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	2	2
done	2	2
0	11	12
1	29	12
2	60	12
3	164	12
4	483	12
5	1772	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	18	12
2	40	12
3	119	12
4	308	12
5	563	12
6	975	12
7	1736	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	10	19
1	15	19
2	25	19
3	49	19
4	72	19
5	88	19
6	99	19
done	99	19
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	10	26
1	16	26
2	28	10
3	57	7
4	86	7
5	112	7
6	146	7
7	211	7
8	429	7
9	1362	7
done	5000	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
done	4	4
0	9	10
1	25	10
2	53	10
3	132	10
4	308	10
5	982	10
6	4496	10
done	5000	10
0	10	14
1	18	12
2	40	12
3	74	12
4	89	12
5	91	12
done	91	12
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3480	10
done	5000	10
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	2	2
done	2	2
0	11	12
1	29	12
2	60	12
3	164	12
4	483	12
5	1772	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	18	12
2	40	12
3	119	12
4	308	12
5	563	12
6	975	12
7	1736	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	10	19
1	15	19
2	25	19
3	49	19
4	72	19
5	88	19
6	99	19
done	99	19
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	10	26
1	16	26
2	28	10
3	57	7
4	86	7
5	112	7
6	146	7
7	211	7
8	429	7
9	1362	7
done	5000	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
done	4	4
0	9	10
1	25	10
2	53	10
3	132	10
4	308	10
5	982	10
6	4496	10
done	5000	10
0	10	14
1	18	12
2	40	12
3	74	12
4	89	12
5	91	12
done	91	12
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3480	10
done	5000	10
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	2	2
done	2	2
0	11	12
1	29	12
2	60	12
3	164	12
4	483	12
5	1772	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	18	12
2	40	12
3	119	12
4	308	12
5	563	12
6	975	12
7	1736	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	10	19
1	15	19
2	25	19
3	49	19
4	72	19
5	88	19
6	99	19
done	99	19
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	10	26
1	16	26
2	28	10
3	57	7
4	86	7
5	112	7
6	146	7
7	211	7
8	429	7
9	1362	7
done	5000	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	10	10
1	17	10
2	25	10
3	34	10
4	40	10
5	50	10
6	57	10
7	69	10
8	92	10
9	106	10
10	112	10
done	112	10
0	9	9
1	15	9
2	22	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	81	9
9	100	9
10	108	9
done	108	9
0	8	8
1	16	8
2	32	8
3	66	8
4	108	8
5	137	8
6	160	8
7	178	8
8	194	8
9	201	8
10	218	8
11	220	8
done	220	8
0	8	8
1	15	8
2	36	8
3	76	8
4	149	8
5	277	8
6	617	8
7	1948	8
done	5001	8
0	13	23
1	30	23
2	121	13
3	562	11
4	2827	11
done	5001	11
0	11	23
1	26	23
2	88	11
3	332	11
4	1571	9
done	5000	9
0	9	17
1	14	17
2	24	17
3	48	17
4	71	17
5	87	17
6	98	17
done	98	17
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	9	23
1	24	23
2	103	9
3	525	9
4	2321	9
done	5000	9
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
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	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
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	5	5
1	7	5
2	15	5
done	15	5
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	9	13
1	14	13
2	23	13
3	40	13
4	50	13
5	58	13
done	58	13
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	11	15
1	22	15
2	58	15
3	162	15
4	349	15
5	570	15
6	734	15
7	772	15
8	774	15
done	774	15
0	10	12
1	17	12
2	34	12
3	87	12
4	163	12
5	230	12
6	279	12
7	284	12
done	284	12
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	10	12
1	17	12
2	35	12
3	84	12
4	143	12
5	208	12
6	243	12
7	250	12
done	250	12
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	9	11
1	18	11
2	35	9
3	99	9
4	204	9
5	278	9
6	351	9
7	380	9
8	398	9
9	400	9
done	400	9
0	8	8
1	15	8
2	25	6
3	60	6
4	102	6
5	129	6
6	148	6
7	150	6
8	151	6
done	151	6
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	28	11
2	59	11
3	163	11
4	489	11
5	1748	11
done	5000	11
0	9	11
1	17	11
2	39	11
3	118	11
4	311	11
5	564	11
6	963	11
7	1727	11
done	5000	11
0	36	58
1	84	58
2	227	58
3	624	55
4	1701	40
done	5000	40
0	17	20
1	39	16
2	99	13
3	306	10
4	612	9
5	1265	6
6	2280	6
done	5001	6
0	19	21
1	39	20
2	103	20
3	369	19
4	1589	14
done	5000	13
0	36	58
1	84	58
2	227	58
3	624	55
4	1701	40
done	5000	40
0	17	20
1	39	16
2	99	13
3	306	10
4	612	9
5	1265	6
6	2280	6
done	5001	6
0	19	21
1	39	20
2	103	20
3	369	19
4	1589	14
done	5000	13
0	36	58
1	84	58
2	227	58
3	624	55
4	1701	40
done	5000	40
0	17	20
1	39	16
2	99	13
3	306	10
4	612	9
5	1265	6
6	2280	6
done	5001	6
0	19	21
1	39	20
2	103	20
3	369	19
4	1589	14
done	5000	13
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7

prune152.0ms

Filtered

80 candidates to 92 candidates (-15.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	92	9	101

Merged error: 0.0b

Counts

101 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

7.1b	(* (- y x) (/ z t))
8.4b	(cbrt (* (- y x) (/ z t)))
8.4b	(cbrt (* (- y x) (/ z t)))
12.7b	(cbrt (/ z t))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
19×	`add-cube-cbrt` `times-frac`
15×	`cbrt-prod`
13×	`associate-r`
11×	`cbrt-div`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `frac-times` `flip3--` `associate-*l/` `flip--`
5×	`associate-l`
4×	`add-log-exp`
3×	`pow1/3` `associate-*r/`
2×	`prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 88

Calls

4 calls:

11.0ms	(* (- y x) (/ z t))
7.0ms	(cbrt (* (- y x) (/ z t)))
7.0ms	(cbrt (* (- y x) (/ z t)))
3.0ms	(cbrt (/ z t))

series131.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (- y x) (/ z t))
45.0ms	(cbrt (* (- y x) (/ z t)))
51.0ms	(cbrt (* (- y x) (/ z t)))
15.0ms	(cbrt (/ z t))

simplify1.3min

Counts

100 → 100

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
done	4	4
0	9	10
1	25	10
2	53	10
3	132	10
4	308	10
5	982	10
6	4496	10
done	5000	10
0	10	14
1	18	12
2	40	12
3	74	12
4	89	12
5	91	12
done	91	12
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3480	10
done	5000	10
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	2	2
done	2	2
0	11	12
1	29	12
2	60	12
3	164	12
4	483	12
5	1772	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	18	12
2	40	12
3	119	12
4	308	12
5	563	12
6	975	12
7	1736	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	10	19
1	15	19
2	25	19
3	49	19
4	72	19
5	88	19
6	99	19
done	99	19
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	10	26
1	16	26
2	28	10
3	57	7
4	86	7
5	112	7
6	146	7
7	211	7
8	429	7
9	1362	7
done	5000	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
done	4	4
0	9	10
1	25	10
2	53	10
3	132	10
4	308	10
5	982	10
6	4496	10
done	5000	10
0	10	14
1	18	12
2	40	12
3	74	12
4	89	12
5	91	12
done	91	12
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3480	10
done	5000	10
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	2	2
done	2	2
0	11	12
1	29	12
2	60	12
3	164	12
4	483	12
5	1772	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	18	12
2	40	12
3	119	12
4	308	12
5	563	12
6	975	12
7	1736	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	10	19
1	15	19
2	25	19
3	49	19
4	72	19
5	88	19
6	99	19
done	99	19
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	10	26
1	16	26
2	28	10
3	57	7
4	86	7
5	112	7
6	146	7
7	211	7
8	429	7
9	1362	7
done	5000	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	10	10
1	17	10
2	25	10
3	34	10
4	40	10
5	50	10
6	57	10
7	69	10
8	92	10
9	106	10
10	112	10
done	112	10
0	9	9
1	15	9
2	22	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	81	9
9	100	9
10	108	9
done	108	9
0	8	8
1	16	8
2	32	8
3	66	8
4	108	8
5	137	8
6	160	8
7	178	8
8	194	8
9	201	8
10	218	8
11	220	8
done	220	8
0	8	8
1	15	8
2	36	8
3	76	8
4	149	8
5	277	8
6	617	8
7	1948	8
done	5001	8
0	13	23
1	30	23
2	121	13
3	562	11
4	2827	11
done	5001	11
0	11	23
1	26	23
2	88	11
3	332	11
4	1571	9
done	5000	9
0	9	17
1	14	17
2	24	17
3	48	17
4	71	17
5	87	17
6	98	17
done	98	17
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	9	23
1	24	23
2	103	9
3	525	9
4	2321	9
done	5000	9
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
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	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
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	5	5
1	7	5
2	15	5
done	15	5
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	9	13
1	14	13
2	23	13
3	40	13
4	50	13
5	58	13
done	58	13
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	11	15
1	22	15
2	58	15
3	162	15
4	349	15
5	570	15
6	734	15
7	772	15
8	774	15
done	774	15
0	10	12
1	17	12
2	34	12
3	87	12
4	163	12
5	230	12
6	279	12
7	284	12
done	284	12
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	10	12
1	17	12
2	35	12
3	84	12
4	143	12
5	208	12
6	243	12
7	250	12
done	250	12
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	9	11
1	18	11
2	35	9
3	99	9
4	204	9
5	278	9
6	351	9
7	380	9
8	398	9
9	400	9
done	400	9
0	8	8
1	15	8
2	25	6
3	60	6
4	102	6
5	129	6
6	148	6
7	150	6
8	151	6
done	151	6
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	28	11
2	59	11
3	163	11
4	489	11
5	1748	11
done	5000	11
0	9	11
1	17	11
2	39	11
3	118	11
4	311	11
5	564	11
6	963	11
7	1727	11
done	5000	11
0	11	11
1	21	10
2	46	8
3	94	7
4	167	4
5	315	4
6	762	4
7	2220	4
done	5000	4
0	13	15
1	29	12
2	60	9
3	136	7
4	250	6
5	495	4
6	999	4
7	2967	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	200	11
4	562	8
5	1584	4
6	3993	4
done	5000	4
0	36	58
1	84	58
2	227	58
3	624	55
4	1701	40
done	5000	40
0	17	20
1	39	16
2	99	13
3	306	10
4	612	9
5	1265	6
6	2280	6
done	5001	6
0	19	21
1	39	20
2	103	20
3	369	19
4	1589	14
done	5000	13
0	36	58
1	84	58
2	227	58
3	624	55
4	1701	40
done	5000	40
0	17	20
1	39	16
2	99	13
3	306	10
4	612	9
5	1265	6
6	2280	6
done	5001	6
0	19	21
1	39	20
2	103	20
3	369	19
4	1589	14
done	5000	13
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7

prune152.0ms

Filtered

83 candidates to 100 candidates (-20.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	100	9	109

Merged error: 0.0b

Counts

109 → 9

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (* (- y x) z) t))
0.0b	(* (- y x) z)
6.5b	(/ (* (- y x) z) t)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `associate-l` `add-log-exp`
4×	`associate-*l/`
3×	`times-frac` `associate-r` `associate-/r*`
2×	`cbrt-undiv` `flip3--` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 57

Calls

3 calls:

5.0ms	(+ x (/ (* (- y x) z) t))
7.0ms	(* (- y x) z)
8.0ms	(/ (* (- y x) z) t)

series35.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(+ x (/ (* (- y x) z) t))
7.0ms	(* (- y x) z)
14.0ms	(/ (* (- y x) z) t)

simplify2.2min

Counts

66 → 66

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	17	10
2	25	10
3	31	10
4	37	10
5	46	10
6	59	10
7	77	10
8	93	10
9	100	10
10	117	10
11	119	10
done	119	10
0	9	9
1	17	9
2	30	9
3	44	9
4	53	9
5	59	9
6	68	9
7	81	9
8	99	9
9	115	9
10	122	9
11	139	9
12	141	9
done	141	9
0	8	8
1	16	8
2	38	8
3	69	8
4	107	8
5	129	8
6	150	8
7	170	8
8	186	8
9	193	8
10	210	8
11	212	8
done	212	8
0	8	8
1	13	8
2	27	8
3	47	8
4	85	8
5	125	8
6	221	8
7	503	8
8	1992	8
done	5000	8
0	13	23
1	30	23
2	139	13
3	668	13
4	2981	11
done	5000	11
0	11	23
1	32	23
2	158	11
3	911	9
4	3894	9
done	5000	9
0	9	17
1	14	17
2	28	17
3	43	17
4	66	17
5	80	17
6	89	17
7	91	17
done	91	17
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	9	23
1	21	23
2	72	9
3	334	9
4	1733	9
done	5000	9
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	2	2
done	2	2
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	5	5
1	12	3
2	17	3
done	17	3
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	21	7
3	26	7
4	30	7
done	30	7
0	9	11
1	19	11
2	46	11
3	78	11
4	141	11
5	179	11
6	211	11
7	232	11
done	232	11
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	3	3
done	3	3
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
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	10	11
1	18	10
2	33	10
3	57	10
4	110	10
5	178	10
6	345	10
7	930	10
8	4746	10
done	5000	10
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2135	10
19	2193	10
20	2201	10
21	2218	10
22	2242	10
23	2330	10
24	2683	10
25	3665	10
done	5001	10
0	9	10
1	18	10
2	33	10
3	57	10
4	110	10
5	178	10
6	345	10
7	928	10
8	4749	10
done	5000	10
0	10	21
1	16	21
2	30	21
3	49	21
4	79	21
5	103	21
6	123	21
7	130	21
8	146	21
9	191	21
10	284	21
11	425	21
12	463	21
13	514	21
14	604	21
15	834	21
16	1114	21
17	1662	21
18	2143	21
19	2196	21
done	2196	21
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2133	10
19	2185	10
done	2185	10
0	10	29
1	29	29
2	91	11
3	344	11
4	1511	11
done	5000	11
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2133	10
19	2185	10
done	2185	10
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2133	10
19	2185	10
done	2185	10
0	11	13
1	33	13
2	88	13
3	326	13
4	1775	13
done	5000	13
0	12	29
1	31	21
2	94	21
3	325	21
4	989	21
5	2902	21
done	5000	21
0	10	19
1	24	19
2	67	19
3	267	19
4	1066	19
5	3862	19
done	5001	19
0	8	9
1	15	9
2	34	9
3	69	9
4	129	9
5	212	9
6	255	9
7	271	9
8	299	9
9	373	9
10	494	9
11	531	9
12	621	9
13	855	9
14	1141	9
15	1680	9
16	2167	9
17	2223	9
done	2223	9
0	8	9
1	14	9
2	28	9
3	47	9
4	77	9
5	101	9
6	121	9
7	128	9
8	144	9
9	189	9
10	282	9
11	423	9
12	461	9
13	512	9
14	602	9
15	834	9
16	1118	9
17	1657	9
18	2137	9
19	2195	9
done	2195	9
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	1	1
done	1	1
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9

prune74.0ms

Filtered

48 candidates to 66 candidates (-37.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	64	2	66
Fresh	3	2	5
Picked	1	0	1
Done	1	2	3
Total	69	6	75

Merged error: 0.0b

Counts

75 → 6

regimes496.0ms

Accuracy

-24.2% (2.6b remaining)

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

bsearch85.0ms

Steps

Iters	Range		Point
8	6.05358659350486e+176	4.3836966006688657e+179	6.147524602155639e+176
11	-3.599476642763101e-289	4.830314714371918e-298	2.011868196789524e-307

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	37
1	28	29
done	28	29

end0.0ms

sample951.0ms

Algorithm

intervals

Results

372.0ms

10597×

body

valid

Details

sample68.0ms

simplify3.8s

prune4.0ms

localize7.0ms

rewrite23.0ms

series27.0ms

simplify2.5min

prune108.0ms

localize12.0ms

rewrite41.0ms

series153.0ms

simplify1.5min

prune152.0ms

localize15.0ms

rewrite32.0ms

series131.0ms

simplify1.3min

prune152.0ms

localize8.0ms

rewrite22.0ms

series35.0ms

simplify2.2min

prune74.0ms

regimes496.0ms

bsearch85.0ms

simplify3.0ms

end0.0ms

sample951.0ms

Profiling