Details

sample37.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify856.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	21
1	35	21
2	63	21
3	120	21
4	203	21
5	291	21
6	368	21
7	474	21
8	576	21
9	612	21
10	614	21
done	614	21

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

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
0.1b	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
4.7b	(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
21.2b	(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`add-exp-log` `add-cbrt-cube`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt`
8×	`pow1`
6×	`associate-r` `associate-l` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-*r/`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `sum-log` `div-inv` `distribute-lft-out` `associate-/l*`

Counts

4 → 79

Calls

4 calls:

11.0ms	(+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
8.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
11.0ms	(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
18.0ms	(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series132.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
13.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
12.0ms	(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
28.0ms	(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify1.8min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	22
1	31	22
2	53	22
3	77	22
4	91	22
5	100	22
6	113	22
7	131	22
8	147	22
9	154	22
10	171	22
11	173	22
done	173	22
0	18	21
1	37	21
2	67	21
3	120	21
4	166	21
5	182	21
6	191	21
7	204	21
8	222	21
9	238	21
10	245	21
11	262	21
12	264	21
done	264	21
0	17	20
1	36	20
2	72	20
3	143	20
4	234	20
5	304	20
6	385	20
7	509	20
8	629	20
9	680	20
10	702	20
11	706	20
12	715	20
13	730	20
14	745	20
done	745	20
0	17	20
1	33	20
2	61	20
3	118	20
4	204	20
5	313	20
6	494	20
7	984	20
8	3177	20
done	5000	20
0	22	59
1	68	59
2	297	25
3	1438	25
done	5000	25
0	20	59
1	64	59
2	277	23
3	1425	21
done	5000	21
0	18	41
1	34	41
2	62	41
3	115	41
4	192	41
5	254	41
6	323	41
7	429	41
8	531	41
9	566	41
10	568	41
done	568	41
0	17	20
1	33	20
2	61	20
3	116	20
4	190	20
5	250	20
6	323	20
7	429	20
8	531	20
9	568	20
10	570	20
done	570	20
0	18	59
1	41	59
2	118	21
3	481	21
4	2867	21
done	5000	21
0	17	20
1	33	20
2	61	20
3	116	20
4	190	20
5	250	20
6	323	20
7	429	20
8	531	20
9	568	20
10	570	20
done	570	20
0	17	20
1	33	20
2	61	20
3	116	20
4	190	20
5	250	20
6	323	20
7	429	20
8	531	20
9	568	20
10	570	20
done	570	20
0	11	12
1	26	12
2	60	12
3	145	12
4	326	12
5	469	12
6	510	12
7	581	12
8	785	12
9	1248	12
10	1292	12
11	1310	12
done	1310	12
0	7	8
1	13	8
2	28	8
3	52	8
4	100	8
5	111	8
6	126	8
7	156	8
8	204	8
9	252	8
10	262	8
11	263	8
done	263	8
0	10	19
1	15	19
2	22	19
3	30	19
done	30	19
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	9	10
1	12	10
2	19	10
3	27	10
done	27	10
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	3	3
1	5	1
done	5	1
0	14	17
1	21	17
2	36	17
3	54	17
4	56	17
done	56	17
0	8	9
1	13	9
2	20	9
3	28	9
done	28	9
0	16	19
1	32	19
2	58	19
3	100	19
4	140	19
5	148	19
done	148	19
0	18	29
1	39	29
2	77	29
3	150	29
4	261	29
5	407	29
6	678	29
7	1154	29
8	1408	29
9	1508	29
10	1525	29
11	1538	29
12	1553	29
13	1557	29
done	1557	29
0	17	20
1	33	20
2	61	20
3	116	20
4	190	20
5	248	20
6	320	20
7	426	20
8	528	20
9	564	20
10	566	20
done	566	20
0	12	13
1	27	11
2	52	11
3	104	11
4	155	11
5	159	11
done	159	11
0	14	17
1	21	17
2	36	17
3	54	17
4	58	17
done	58	17
0	19	23
1	51	23
2	116	23
3	315	23
4	756	23
5	2174	23
done	5000	23
0	18	27
1	45	27
2	114	27
3	297	27
4	760	27
5	1920	27
done	5000	27
0	18	37
1	48	35
2	165	35
3	681	29
4	3018	29
done	5000	29
0	14	17
1	23	17
2	53	17
3	136	17
4	548	17
5	1940	17
done	5001	17
0	10	11
1	21	11
2	38	11
3	73	11
4	116	11
5	124	11
done	124	11
0	12	13
1	17	13
2	25	13
3	36	13
done	36	13
0	11	12
1	25	12
2	43	12
3	82	12
4	124	12
5	132	12
done	132	12
0	11	12
1	24	12
2	50	12
3	114	12
4	230	12
5	511	12
6	1287	12
done	5000	12
0	14	35
1	37	35
2	142	15
3	639	15
4	3590	13
done	5000	13
0	12	25
1	23	25
2	40	25
3	75	25
4	117	25
5	125	25
done	125	25
0	11	12
1	22	12
2	39	12
3	78	12
4	120	12
5	130	12
done	130	12
0	12	35
1	33	35
2	121	13
3	505	13
4	2371	13
done	5000	13
0	11	12
1	22	12
2	39	12
3	78	12
4	120	12
5	130	12
done	130	12
0	11	12
1	22	12
2	39	12
3	78	12
4	120	12
5	130	12
done	130	12
0	12	13
1	17	13
2	25	13
3	36	13
done	36	13
0	12	13
1	17	13
2	25	13
3	36	13
done	36	13
0	8	9
1	14	9
2	36	9
3	69	9
4	81	9
5	83	9
done	83	9
0	3	3
1	4	3
done	4	3
0	8	9
1	14	9
2	28	9
3	55	9
4	76	9
5	82	9
done	82	9
0	3	3
1	4	3
done	4	3
0	12	23
1	19	23
2	29	23
3	40	23
4	42	23
done	42	23
0	11	12
1	16	12
2	24	12
3	35	12
4	37	12
done	37	12
0	3	3
1	6	1
done	6	1
0	11	12
1	22	12
2	39	12
3	78	12
4	122	12
5	128	12
done	128	12
0	11	12
1	22	12
2	39	12
3	78	12
4	122	12
5	128	12
done	128	12
0	10	11
1	21	11
2	38	11
3	73	11
4	116	11
5	124	11
done	124	11
0	13	15
1	40	15
2	115	15
3	425	15
4	1556	15
5	4921	15
done	5000	15
0	12	21
1	28	21
2	80	21
3	261	21
4	790	21
5	2500	21
done	5000	21
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1329	8
8	4831	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	375	11
4	1427	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	877	9
5	2337	9
done	5001	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	59	11
5	61	11
done	61	11
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	405	11
5	1202	11
done	5000	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4111	13
done	5001	13
0	20	23
1	39	22
2	68	22
3	123	22
4	215	22
5	368	22
6	652	22
7	1285	22
8	4369	22
done	5000	22
0	19	22
1	36	22
2	64	22
3	119	22
4	203	22
5	283	22
6	369	22
7	475	22
8	577	22
9	612	22
10	614	22
done	614	22
0	19	22
1	39	22
2	68	22
3	123	22
4	220	22
5	373	22
6	634	22
7	1268	22
8	4372	22
done	5001	22
0	20	45
1	37	45
2	65	45
3	120	45
4	204	45
5	286	45
6	368	45
7	474	45
8	576	45
9	619	45
10	621	45
done	621	45
0	19	22
1	36	22
2	64	22
3	119	22
4	203	22
5	283	22
6	369	22
7	475	22
8	577	22
9	612	22
10	614	22
done	614	22
0	20	65
1	50	65
2	126	23
3	405	23
4	1912	23
done	5000	23
0	19	22
1	36	22
2	64	22
3	119	22
4	203	22
5	283	22
6	369	22
7	475	22
8	577	22
9	612	22
10	614	22
done	614	22
0	19	22
1	36	22
2	64	22
3	119	22
4	203	22
5	283	22
6	369	22
7	475	22
8	577	22
9	612	22
10	614	22
done	614	22
0	21	25
1	54	25
2	123	25
3	407	25
4	2271	25
done	5000	25
0	22	65
1	52	45
2	142	45
3	460	45
4	1975	45
done	5000	45
0	20	43
1	45	43
2	108	43
3	371	43
4	1821	43
done	5000	43
0	18	21
1	36	21
2	69	21
3	139	21
4	342	21
5	693	21
6	1115	21
7	1637	21
8	2335	21
9	3803	21
done	5001	21
0	18	21
1	35	21
2	63	21
3	120	21
4	203	21
5	291	21
6	368	21
7	474	21
8	576	21
9	612	21
10	614	21
done	614	21
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	14	17
1	32	17
2	74	15
3	111	13
4	139	11
5	159	11
6	183	11
7	244	11
8	450	11
9	1369	11
done	5000	11
0	14	17
1	32	17
2	74	15
3	111	13
4	139	11
5	159	11
6	183	11
7	244	11
8	450	11
9	1369	11
done	5000	11
0	14	17
1	32	17
2	74	15
3	111	13
4	139	11
5	159	11
6	183	11
7	244	11
8	450	11
9	1369	11
done	5000	11
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	10	11
1	20	11
2	45	9
3	78	9
4	89	9
5	100	9
6	123	9
7	150	9
8	179	9
9	193	9
10	230	9
11	301	9
12	302	9
done	302	9
0	10	11
1	18	11
2	27	11
3	33	11
4	38	9
5	40	9
done	40	9
0	10	11
1	18	11
2	27	11
3	33	11
4	38	9
5	40	9
done	40	9

prune187.0ms

Filtered

73 candidates to 91 candidates (-24.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	4	92

Merged error: 0.0b

Counts

92 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)
0.1b	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
0.1b	(* y (/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
17.3b	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
18×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-/r/`
3×	`prod-exp` `associate-/r` `cbrt-unprod` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `associate-/l/`
1×	`+-commutative` `frac-2neg` `associate-*r/` `clear-num` `sum-log`

Counts

4 → 96

Calls

4 calls:

9.0ms	(+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)
7.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
18.0ms	(* y (/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
17.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series50.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)
7.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
32.0ms	(* y (/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
6.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify1.7min

Counts

108 → 108

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	25	19
2	41	19
3	59	19
4	61	19
done	61	19
0	15	18
1	25	18
2	42	18
3	61	18
done	61	18
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	18	53
1	58	53
2	197	21
3	754	19
4	3407	19
done	5000	19
0	16	37
1	23	37
2	38	37
3	56	37
4	60	37
done	60	37
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	16	53
1	30	53
2	77	19
3	199	19
4	722	19
5	3089	19
done	5000	19
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	9	10
1	16	10
2	32	10
3	60	10
4	124	10
5	142	10
6	157	10
7	187	10
8	247	10
9	331	10
10	343	10
11	344	10
done	344	10
0	7	8
1	13	8
2	28	8
3	52	8
4	100	8
5	111	8
6	126	8
7	156	8
8	204	8
9	252	8
10	262	8
11	263	8
done	263	8
0	18	39
1	31	39
2	55	39
3	79	39
4	83	39
done	83	39
0	16	19
1	23	19
2	38	19
3	56	19
4	60	19
done	60	19
0	17	30
1	26	30
2	43	30
3	62	30
4	66	30
done	66	30
0	16	19
1	23	19
2	38	19
3	56	19
4	60	19
done	60	19
0	12	23
1	20	21
2	34	21
3	50	21
done	50	21
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	17	28
1	26	28
2	41	28
3	59	28
4	61	28
done	61	28
0	16	19
1	23	19
2	38	19
3	56	19
4	60	19
done	60	19
0	16	19
1	23	19
2	38	19
3	56	19
4	60	19
done	60	19
0	16	19
1	23	19
2	38	19
3	56	19
4	60	19
done	60	19
0	11	12
1	17	10
2	27	10
3	38	10
done	38	10
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	10	19
1	17	19
2	24	19
3	32	19
done	32	19
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	9	10
1	14	10
2	21	10
3	29	10
done	29	10
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	2	3
1	4	1
done	4	1
0	14	17
1	21	17
2	36	17
3	54	17
4	56	17
done	56	17
0	8	9
1	13	9
2	20	9
3	28	9
done	28	9
0	14	17
1	21	17
2	36	17
3	54	17
4	58	17
done	58	17
0	16	27
1	25	27
2	40	27
3	58	27
4	62	27
done	62	27
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	10	11
1	16	9
2	26	9
3	37	9
4	39	9
done	39	9
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	14	17
1	21	17
2	36	17
3	54	17
4	58	17
done	58	17
0	17	21
1	40	21
2	92	21
3	249	21
4	616	21
5	2002	21
done	5000	21
0	16	25
1	34	25
2	80	25
3	186	25
4	436	25
5	1082	25
6	3535	25
done	5000	25
0	18	37
1	48	35
2	165	35
3	681	29
4	3018	29
done	5000	29
0	14	17
1	23	17
2	53	17
3	136	17
4	548	17
5	1940	17
done	5001	17
0	16	19
1	26	19
2	52	19
3	90	19
4	165	19
5	220	19
6	290	19
7	396	19
8	494	19
9	555	19
10	562	19
done	562	19
0	19	22
1	31	22
2	53	22
3	80	22
4	90	22
5	100	22
6	107	22
7	119	22
8	142	22
9	156	22
10	162	22
done	162	22
0	18	21
1	29	21
2	50	21
3	77	21
4	91	21
5	100	21
6	105	21
7	114	21
8	131	21
9	150	21
10	158	21
done	158	21
0	17	20
1	30	20
2	62	20
3	110	20
4	206	20
5	270	20
6	352	20
7	476	20
8	590	20
9	664	20
10	691	20
11	696	20
12	705	20
13	720	20
14	735	20
done	735	20
0	17	20
1	29	20
2	61	20
3	109	20
4	238	20
5	463	20
6	902	20
7	2478	20
done	5001	20
0	22	59
1	68	59
2	259	25
3	1186	23
done	5001	23
0	20	59
1	40	59
2	120	23
3	392	23
4	1872	21
done	5000	21
0	18	41
1	28	41
2	54	41
3	92	41
4	163	41
5	217	41
6	287	41
7	393	41
8	491	41
9	552	41
10	559	41
done	559	41
0	17	20
1	27	20
2	53	20
3	91	20
4	168	20
5	224	20
6	302	20
7	408	20
8	506	20
9	567	20
10	574	20
done	574	20
0	18	59
1	38	59
2	115	21
3	393	21
4	1626	21
done	5000	21
0	17	20
1	27	20
2	53	20
3	91	20
4	168	20
5	224	20
6	302	20
7	408	20
8	506	20
9	567	20
10	574	20
done	574	20
0	17	20
1	27	20
2	53	20
3	91	20
4	168	20
5	224	20
6	302	20
7	408	20
8	506	20
9	567	20
10	574	20
done	574	20
0	18	21
1	26	21
2	41	21
3	59	21
4	63	21
done	63	21
0	18	21
1	26	21
2	41	21
3	59	21
4	63	21
done	63	21
0	19	22
1	29	22
2	47	22
3	69	22
4	76	22
done	76	22
0	19	22
1	29	22
2	47	22
3	69	22
4	76	22
done	76	22
0	18	39
1	28	39
2	45	39
3	63	39
4	65	39
done	65	39
0	17	20
1	25	20
2	40	20
3	58	20
4	62	20
done	62	20
0	20	41
1	36	41
2	80	41
3	137	41
4	199	41
5	215	41
done	215	41
0	19	32
1	31	32
2	56	32
3	89	32
4	106	32
5	108	32
done	108	32
0	14	25
1	25	23
2	50	23
3	100	23
4	132	23
done	132	23
0	19	30
1	31	30
2	57	30
3	88	30
4	104	30
done	104	30
0	18	21
1	28	21
2	46	21
3	68	21
4	75	21
done	75	21
0	13	14
1	22	14
2	37	12
3	57	12
4	65	12
done	65	12
0	12	21
1	22	21
2	39	19
3	55	19
4	75	19
5	107	19
6	110	19
done	110	19
0	11	12
1	19	12
2	29	10
3	38	10
4	43	10
5	44	10
done	44	10
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	10	11
1	21	11
2	38	11
3	73	11
4	116	11
5	124	11
done	124	11
0	19	23
1	45	23
2	108	23
3	289	23
4	734	23
5	2170	23
done	5000	23
0	18	27
1	39	27
2	101	27
3	249	27
4	641	27
5	1545	27
6	4881	27
done	5000	27
0	17	20
1	27	20
2	53	20
3	91	20
4	170	20
5	224	20
6	296	20
7	402	20
8	500	20
9	561	20
10	568	20
done	568	20
0	17	20
1	27	20
2	53	20
3	91	20
4	170	20
5	224	20
6	296	20
7	402	20
8	500	20
9	561	20
10	568	20
done	568	20
0	16	19
1	26	19
2	52	19
3	90	19
4	165	19
5	220	19
6	290	19
7	396	19
8	494	19
9	555	19
10	562	19
done	562	19
0	10	11
1	21	11
2	38	11
3	73	11
4	116	11
5	124	11
done	124	11
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1329	8
8	4831	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	375	11
4	1427	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	877	9
5	2337	9
done	5001	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	59	11
5	61	11
done	61	11
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	405	11
5	1202	11
done	5000	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4111	13
done	5001	13
0	10	11
1	18	10
2	37	10
3	67	10
4	132	10
5	262	10
6	691	10
7	2214	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	9	10
1	16	10
2	29	10
3	55	10
4	97	10
5	172	10
6	454	10
7	1460	10
done	5000	10
0	10	21
1	14	21
2	22	21
3	33	21
done	33	21
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	10	29
1	27	29
2	83	11
3	326	11
4	1556	11
done	5001	11
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	11	13
1	31	13
2	77	13
3	243	13
4	768	13
5	2191	13
done	5000	13
0	12	29
1	32	27
2	92	27
3	277	21
4	716	21
5	1976	21
done	5000	21
0	10	19
1	25	19
2	67	19
3	193	19
4	484	19
5	1204	19
6	3610	19
done	5000	19
0	8	9
1	13	9
2	22	9
3	37	9
4	41	9
5	45	9
6	53	9
7	80	9
8	131	9
9	230	9
10	249	9
11	264	9
12	286	9
13	287	9
done	287	9
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	143	11
4	353	11
5	1088	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	143	11
4	353	11
5	1088	9
done	5000	9
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9

prune213.0ms

Filtered

86 candidates to 108 candidates (-25.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	108	4	112

Merged error: 0.0b

Counts

112 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))))
0.1b	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
0.4b	(/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)))
17.4b	(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
60×	`add-sqr-sqrt` `*-un-lft-identity`
58×	`add-cube-cbrt`
18×	`associate-/r*`
13×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r/`
8×	`flip3-+` `flip-+`
6×	`pow1` `div-inv` `associate-/l*` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`associate-r` `associate-l`
2×	`frac-2neg` `associate-*l/` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

4 → 141

Calls

4 calls:

26.0ms	(+ x (/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))))
8.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
22.0ms	(/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)))
16.0ms	(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))

series130.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(+ x (/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))))
7.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
29.0ms	(/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)))
7.0ms	(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))

simplify2.2min

Counts

153 → 153

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	25	19
2	41	19
3	59	19
done	59	19
0	15	18
1	25	18
2	42	18
3	61	18
done	61	18
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	18	53
1	58	53
2	197	21
3	754	19
4	3416	19
done	5000	19
0	16	37
1	23	37
2	38	37
3	56	37
done	56	37
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	16	53
1	30	53
2	77	19
3	199	19
4	697	19
5	2858	19
done	5000	19
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	7	8
1	13	8
2	28	8
3	52	8
4	100	8
5	111	8
6	126	8
7	156	8
8	204	8
9	252	8
10	262	8
11	263	8
done	263	8
0	9	10
1	16	10
2	32	10
3	60	10
4	124	10
5	142	10
6	157	10
7	187	10
8	247	10
9	331	10
10	343	10
11	344	10
done	344	10
0	18	39
1	31	39
2	55	39
3	79	39
4	83	39
done	83	39
0	16	19
1	23	19
2	38	19
3	56	19
done	56	19
0	17	28
1	26	28
2	43	28
3	62	28
4	64	28
done	64	28
0	16	19
1	23	19
2	38	19
3	56	19
done	56	19
0	10	19
1	17	17
2	30	17
3	43	17
4	45	17
done	45	17
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	17	30
1	26	30
2	41	30
3	59	30
done	59	30
0	16	19
1	23	19
2	38	19
3	56	19
done	56	19
0	16	19
1	23	19
2	38	19
3	56	19
done	56	19
0	16	19
1	23	19
2	38	19
3	56	19
done	56	19
0	9	10
1	14	8
2	23	8
3	31	8
4	35	8
done	35	8
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	12	23
1	20	23
2	28	23
3	39	23
4	41	23
done	41	23
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	11	12
1	17	12
2	25	12
3	36	12
done	36	12
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	2	3
1	4	1
done	4	1
0	14	17
1	21	17
2	36	17
3	54	17
4	58	17
done	58	17
0	10	11
1	16	11
2	24	11
3	35	11
4	37	11
done	37	11
0	14	17
1	21	17
2	36	17
3	54	17
4	56	17
done	56	17
0	16	29
1	25	29
2	40	29
3	58	29
done	58	29
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	8	9
1	13	7
2	22	7
3	30	7
done	30	7
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	15	18
1	22	18
2	37	18
3	55	18
done	55	18
0	14	17
1	21	17
2	36	17
3	54	17
4	56	17
done	56	17
0	17	21
1	40	21
2	92	21
3	265	21
4	770	21
5	2184	21
done	5000	21
0	16	27
1	34	27
2	84	27
3	219	27
4	513	27
5	1222	27
6	3655	27
done	5000	27
0	18	33
1	48	31
2	161	31
3	635	27
4	2900	27
done	5000	27
0	14	17
1	23	17
2	53	17
3	136	17
4	550	17
5	1951	17
done	5000	17
0	19	22
1	32	22
2	55	22
3	86	22
4	94	22
5	102	22
6	117	22
7	143	22
8	152	22
done	152	22
0	18	21
1	30	21
2	50	21
3	75	21
4	92	21
5	97	21
6	105	21
7	120	21
8	146	21
9	155	21
done	155	21
0	17	20
1	29	20
2	62	20
3	117	20
4	217	20
5	326	20
6	426	20
7	537	20
8	637	20
9	681	20
10	691	20
11	702	20
12	717	20
13	732	20
done	732	20
0	17	20
1	26	20
2	54	20
3	111	20
4	239	20
5	434	20
6	876	20
7	2837	20
done	5000	20
0	22	59
1	67	59
2	260	25
3	1272	23
done	5000	23
0	20	59
1	42	59
2	131	23
3	491	21
4	2578	21
done	5000	21
0	18	41
1	27	41
2	53	41
3	100	41
4	192	41
5	285	41
6	372	41
7	472	41
8	552	41
9	573	41
10	574	41
done	574	41
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	285	20
6	375	20
7	473	20
8	552	20
9	573	20
done	573	20
0	18	59
1	34	59
2	95	21
3	386	21
4	2190	21
done	5000	21
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	285	20
6	375	20
7	473	20
8	552	20
9	573	20
done	573	20
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	285	20
6	375	20
7	473	20
8	552	20
9	573	20
done	573	20
0	2	2
done	2	2
0	15	18
1	24	18
2	43	18
3	73	18
4	116	18
5	156	18
6	228	18
7	336	18
8	441	18
9	583	18
10	634	18
11	687	18
12	914	18
13	1357	18
14	2100	18
done	5000	18
0	20	43
1	33	43
2	57	43
3	81	43
4	85	43
done	85	43
0	18	21
1	25	21
2	40	21
3	58	21
4	62	21
done	62	21
0	19	24
1	28	24
2	45	24
3	64	24
4	68	24
done	68	24
0	18	21
1	25	21
2	40	21
3	58	21
4	62	21
done	62	21
0	22	45
1	39	45
2	90	45
3	197	45
4	329	45
5	424	45
6	463	45
7	473	45
8	475	45
done	475	45
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	21	34
1	34	34
2	67	34
3	129	34
4	177	34
5	196	34
6	201	34
7	202	34
done	202	34
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	14	25
1	25	23
2	55	23
3	138	23
4	168	23
5	188	23
6	190	23
done	190	23
0	18	21
1	27	21
2	53	21
3	100	21
4	196	21
5	278	21
6	375	21
7	474	21
8	553	21
9	572	21
done	572	21
0	21	36
1	34	36
2	64	36
3	110	36
4	150	36
5	171	36
6	181	36
7	190	36
8	192	36
done	192	36
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	20	25
1	31	25
2	55	25
3	83	25
4	97	25
5	101	25
6	103	25
7	104	25
done	104	25
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	13	16
1	22	14
2	40	14
3	70	14
4	78	14
5	82	14
6	88	14
done	88	14
0	18	21
1	27	21
2	53	21
3	100	21
4	196	21
5	278	21
6	375	21
7	474	21
8	553	21
9	572	21
done	572	21
0	16	29
1	28	29
2	51	27
3	109	27
4	222	27
5	285	27
6	330	27
done	330	27
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	15	18
1	25	18
2	42	16
3	79	16
4	126	16
5	135	16
done	135	16
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	287	20
6	380	20
7	478	20
8	557	20
9	577	20
done	577	20
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	287	20
6	380	20
7	478	20
8	557	20
9	577	20
done	577	20
0	10	13
1	15	13
2	24	13
3	33	13
done	33	13
0	13	14
1	21	14
2	40	12
3	78	12
4	153	12
5	253	12
6	497	12
7	777	12
8	828	12
done	828	12
0	21	27
1	48	27
2	117	27
3	367	27
4	1561	27
done	5001	27
0	15	32
1	35	30
2	95	30
3	278	24
4	720	24
5	1969	24
done	5001	24
0	20	33
1	42	33
2	109	33
3	350	33
4	1393	33
done	5000	33
0	11	12
1	16	12
2	25	12
3	40	12
4	44	12
5	48	12
6	56	12
7	83	12
8	134	12
9	233	12
10	252	12
11	267	12
12	289	12
13	290	12
done	290	12
0	19	40
1	28	40
2	43	40
3	61	40
4	63	40
done	63	40
0	18	21
1	25	21
2	40	21
3	58	21
4	62	21
done	62	21
0	18	21
1	25	21
2	40	21
3	58	21
4	62	21
done	62	21
0	18	21
1	25	21
2	40	21
3	58	21
4	62	21
done	62	21
0	21	42
1	36	42
2	72	42
3	119	42
4	149	42
5	183	42
6	206	42
7	216	42
8	217	42
done	217	42
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	20	31
1	31	31
2	54	31
3	85	31
4	95	31
5	101	31
6	104	31
done	104	31
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	13	22
1	22	20
2	42	20
3	77	20
4	89	20
5	101	20
6	107	20
done	107	20
0	18	21
1	27	21
2	53	21
3	100	21
4	196	21
5	278	21
6	375	21
7	474	21
8	553	21
9	572	21
done	572	21
0	20	33
1	31	33
2	53	33
3	79	33
4	87	33
5	96	33
6	102	33
7	107	33
done	107	33
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	19	22
1	28	22
2	46	22
3	65	22
4	71	22
5	73	22
6	74	22
done	74	22
0	12	13
1	19	11
2	32	11
3	45	11
4	47	11
5	50	11
6	54	11
done	54	11
0	18	21
1	27	21
2	53	21
3	100	21
4	196	21
5	278	21
6	375	21
7	474	21
8	553	21
9	572	21
done	572	21
0	15	26
1	25	26
2	40	24
3	67	24
4	93	24
5	116	24
6	136	24
done	136	24
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	14	15
1	22	15
2	33	13
3	53	13
4	62	13
5	64	13
done	64	13
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	287	20
6	380	20
7	478	20
8	557	20
9	577	20
done	577	20
0	4	4
1	6	2
2	8	2
done	8	2
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	287	20
6	380	20
7	478	20
8	557	20
9	577	20
done	577	20
0	9	10
1	12	10
2	19	10
3	27	10
done	27	10
0	13	14
1	21	14
2	40	12
3	78	12
4	153	12
5	253	12
6	497	12
7	777	12
8	828	12
done	828	12
0	20	24
1	45	24
2	108	24
3	345	24
4	1349	24
done	5001	24
0	15	32
1	35	30
2	95	30
3	278	24
4	720	24
5	1969	24
done	5001	24
0	19	30
1	39	30
2	100	30
3	314	30
4	1026	30
5	3673	30
done	5000	30
0	11	12
1	16	12
2	25	12
3	40	12
4	44	12
5	48	12
6	56	12
7	83	12
8	134	12
9	233	12
10	252	12
11	267	12
12	289	12
13	290	12
done	290	12
0	18	39
1	29	39
2	44	39
3	62	39
4	66	39
done	66	39
0	17	20
1	24	20
2	39	20
3	57	20
4	59	20
done	59	20
0	17	20
1	26	20
2	41	20
3	59	20
4	61	20
done	61	20
0	17	20
1	24	20
2	39	20
3	57	20
4	59	20
done	59	20
0	20	41
1	37	41
2	73	41
3	120	39
4	182	39
5	253	39
done	253	39
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	19	30
1	32	30
2	55	30
3	86	28
4	117	28
5	154	28
done	154	28
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	11	21
1	20	19
2	38	19
3	55	19
done	55	19
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	291	20
6	388	20
7	486	20
8	565	20
9	585	20
done	585	20
0	19	32
1	32	32
2	54	32
3	80	30
4	108	30
5	123	30
done	123	30
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	18	21
1	29	21
2	47	21
3	66	19
4	83	19
5	90	19
done	90	19
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	10	12
1	17	10
2	29	10
3	37	10
done	37	10
0	17	20
1	26	20
2	52	20
3	99	20
4	193	20
5	291	20
6	388	20
7	486	20
8	565	20
9	585	20
done	585	20
0	13	25
1	23	21
2	40	21
3	64	21
4	78	21
5	79	21
done	79	21
0	17	20
1	26	20
2	44	20
3	63	20
4	65	20
5	67	20
6	68	20
done	68	20
0	12	14
1	20	10
2	33	10
3	46	10
4	49	10
done	49	10
0	17	20
1	26	20
2	44	20
3	63	20
4	65	20
5	67	20
6	68	20
done	68	20
0	3	5
1	6	1
done	6	1
0	16	19
1	25	19
2	51	19
3	98	19
4	190	19
5	276	19
6	373	19
7	472	19
8	553	19
9	572	19
done	572	19
0	2	3
1	4	1
done	4	1
0	16	19
1	25	19
2	51	19
3	98	19
4	190	19
5	276	19
6	373	19
7	472	19
8	553	19
9	572	19
done	572	19
0	8	9
1	13	9
2	20	9
3	28	9
done	28	9
0	12	13
1	20	13
2	39	11
3	72	11
4	127	11
5	150	11
done	150	11
0	19	23
1	46	23
2	109	23
3	345	21
4	1397	21
done	5000	21
0	14	31
1	34	29
2	94	29
3	278	23
4	716	23
5	1975	23
done	5000	23
0	18	29
1	40	29
2	101	29
3	315	27
4	1075	27
5	4248	27
done	5000	27
0	10	11
1	15	11
2	24	11
3	39	11
4	43	11
5	47	11
6	55	11
7	82	11
8	133	11
9	232	11
10	251	11
11	266	11
12	288	11
13	289	11
done	289	11
0	16	19
1	27	19
2	53	19
3	100	17
4	219	17
5	414	17
6	520	17
7	535	17
done	535	17
0	16	19
1	25	19
2	51	19
3	85	19
4	131	19
5	149	19
done	149	19
0	18	39
1	27	39
2	42	39
3	60	39
done	60	39
0	17	20
1	24	20
2	39	20
3	57	20
4	59	20
done	59	20
0	20	41
1	35	41
2	71	41
3	118	41
4	148	41
5	182	41
6	205	41
7	215	41
done	215	41
0	19	30
1	30	30
2	53	30
3	84	30
4	92	30
5	98	30
6	101	30
done	101	30
0	12	21
1	21	19
2	41	19
3	76	19
4	84	19
5	93	19
6	108	19
7	111	19
done	111	19
0	19	32
1	30	32
2	52	32
3	78	32
4	86	32
5	95	32
6	101	32
7	106	32
done	106	32
0	18	21
1	27	21
2	45	21
3	64	21
4	66	21
5	68	21
6	69	21
done	69	21
0	11	12
1	18	10
2	31	10
3	44	10
done	44	10
0	14	25
1	24	25
2	39	23
3	60	23
4	82	23
5	114	23
6	126	23
done	126	23
0	13	14
1	21	14
2	32	12
3	49	12
4	56	12
5	61	12
done	61	12
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	19	23
1	44	23
2	107	23
3	339	23
4	1347	23
done	5000	23
0	18	29
1	38	29
2	99	29
3	311	29
4	1020	29
5	3704	29
done	5001	29
0	17	20
1	26	20
2	52	20
3	86	20
4	132	20
5	156	20
done	156	20
0	17	20
1	26	20
2	52	20
3	86	20
4	132	20
5	156	20
done	156	20
0	16	19
1	25	19
2	51	19
3	85	19
4	131	19
5	149	19
done	149	19
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1329	8
8	4831	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	375	11
4	1427	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	877	9
5	2337	9
done	5001	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	59	11
5	61	11
done	61	11
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	405	11
5	1202	11
done	5000	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4111	13
done	5001	13
0	20	23
1	32	22
2	61	22
3	126	22
4	288	22
5	569	22
6	1173	22
7	3976	22
done	5001	22
0	19	22
1	29	22
2	55	22
3	110	22
4	220	22
5	338	22
6	435	22
7	535	22
8	614	22
9	633	22
done	633	22
0	19	22
1	32	22
2	61	22
3	126	22
4	290	22
5	577	22
6	1174	22
7	3977	22
done	5000	22
0	20	45
1	30	45
2	56	45
3	111	45
4	223	45
5	339	45
6	438	45
7	537	45
8	616	45
9	636	45
done	636	45
0	19	22
1	29	22
2	55	22
3	110	22
4	220	22
5	338	22
6	435	22
7	535	22
8	614	22
9	633	22
done	633	22
0	20	65
1	43	65
2	117	23
3	444	23
4	2535	23
done	5001	23
0	19	22
1	29	22
2	55	22
3	110	22
4	220	22
5	338	22
6	435	22
7	535	22
8	614	22
9	633	22
done	633	22
0	19	22
1	29	22
2	55	22
3	110	22
4	220	22
5	338	22
6	435	22
7	535	22
8	614	22
9	633	22
done	633	22
0	21	25
1	47	25
2	116	25
3	384	25
4	1989	25
done	5000	25
0	22	65
1	45	45
2	119	45
3	416	45
4	1811	45
done	5000	45
0	20	43
1	38	43
2	92	43
3	338	43
4	1681	43
done	5000	43
0	18	21
1	29	21
2	62	21
3	137	21
4	352	21
5	807	21
6	1371	21
7	2089	21
8	3585	21
done	5000	21
0	18	21
1	28	21
2	54	21
3	109	21
4	221	21
5	339	21
6	436	21
7	537	21
8	618	21
9	637	21
done	637	21
0	10	11
1	22	11
2	51	11
3	74	11
4	106	9
5	138	9
6	187	9
7	280	9
8	500	9
9	1437	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	10	11
1	20	11
2	45	9
3	78	9
4	89	9
5	100	9
6	123	9
7	150	9
8	179	9
9	193	9
10	230	9
11	301	9
12	302	9
done	302	9
0	10	11
1	18	11
2	27	11
3	33	11
4	38	9
5	40	9
done	40	9
0	10	11
1	18	11
2	27	11
3	33	11
4	38	9
5	40	9
done	40	9

prune355.0ms

Filtered

129 candidates to 153 candidates (-18.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	152	5	157

Merged error: 0.0b

Counts

157 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z))
0.0b	(+ x (/ y (+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z))))
0.0b	(/ (- (/ 101.23733352003816 z) 15.646356830292035) z)
3.1b	(/ y (+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt` `*-un-lft-identity`
34×	`times-frac`
24×	`add-cube-cbrt`
9×	`associate-/l*`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
7×	`associate-/r*`
6×	`distribute-lft-out`
4×	`pow1` `distribute-lft-out--`
3×	`flip3-+` `flip-+`
2×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-sub` `div-exp` `clear-num` `sum-log` `associate-/r/` `div-inv` `associate-/l/`
1×	`associate-+r-` `flip3--` `flip--`

Counts

4 → 100

Calls

4 calls:

14.0ms	(+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z))
20.0ms	(+ x (/ y (+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z))))
11.0ms	(/ (- (/ 101.23733352003816 z) 15.646356830292035) z)
20.0ms	(/ y (+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z)))

series56.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z))
30.0ms	(+ x (/ y (+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z))))
6.0ms	(/ (- (/ 101.23733352003816 z) 15.646356830292035) z)
16.0ms	(/ y (+ 14.431876219268938 (/ (- (/ 101.23733352003816 z) 15.646356830292035) z)))

simplify1.1min

Counts

112 → 112

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13
2	30	13
3	40	13
4	50	13
5	59	13
6	64	13
7	73	13
8	92	13
9	119	13
10	136	13
11	143	13
12	148	13
done	148	13
0	11	12
1	20	12
2	31	12
3	42	12
4	52	12
5	61	12
6	66	12
7	75	12
8	94	12
9	121	12
10	138	12
11	145	12
12	150	12
done	150	12
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	14	35
1	41	35
2	120	15
3	358	13
4	1486	13
done	5000	13
0	12	25
1	18	25
2	27	25
3	37	25
4	47	25
5	56	25
6	61	25
7	70	25
8	89	25
9	116	25
10	133	25
11	140	25
12	145	25
done	145	25
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	12	35
1	25	35
2	50	13
3	110	13
4	277	13
5	1216	13
done	5000	13
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	2	2
done	2	2
0	9	10
1	18	10
2	31	10
3	51	10
4	85	9
5	107	9
6	116	9
7	132	9
8	158	9
9	168	9
10	169	9
done	169	9
0	14	27
1	26	27
2	44	27
3	60	27
4	70	27
5	79	27
6	84	27
7	93	27
8	112	27
9	139	27
10	156	27
11	163	27
12	168	27
done	168	27
0	12	13
1	18	13
2	27	13
3	37	13
4	47	13
5	56	13
6	61	13
7	70	13
8	89	13
9	116	13
10	133	13
11	140	13
12	145	13
done	145	13
0	13	16
1	21	16
2	32	16
3	43	16
4	53	16
5	62	16
6	67	16
7	76	16
8	95	16
9	122	16
10	139	16
11	146	16
12	151	16
done	151	16
0	12	13
1	18	13
2	27	13
3	37	13
4	47	13
5	56	13
6	61	13
7	70	13
8	89	13
9	116	13
10	133	13
11	140	13
12	145	13
done	145	13
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	13	24
1	21	24
2	30	24
3	40	24
4	50	24
5	59	24
6	64	24
7	73	24
8	92	24
9	119	24
10	136	24
11	143	24
12	148	24
done	148	24
0	12	13
1	18	13
2	27	13
3	37	13
4	47	13
5	56	13
6	61	13
7	70	13
8	89	13
9	116	13
10	133	13
11	140	13
12	145	13
done	145	13
0	12	13
1	18	13
2	27	13
3	37	13
4	47	13
5	56	13
6	61	13
7	70	13
8	89	13
9	116	13
10	133	13
11	140	13
12	145	13
done	145	13
0	12	13
1	18	13
2	27	13
3	37	13
4	47	13
5	56	13
6	61	13
7	70	13
8	89	13
9	116	13
10	133	13
11	140	13
12	145	13
done	145	13
0	4	4
1	6	2
2	8	2
done	8	2
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	4	4
1	6	2
2	8	2
done	8	2
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	12	23
1	22	23
2	31	23
3	41	23
4	51	23
5	60	23
6	65	23
7	74	23
8	93	23
9	120	23
10	137	23
11	144	23
12	149	23
done	149	23
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	11	12
1	19	12
2	28	12
3	38	12
4	48	12
5	57	12
6	62	12
7	71	12
8	90	12
9	117	12
10	134	12
11	141	12
12	146	12
done	146	12
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	2	3
1	4	1
done	4	1
0	10	11
1	16	11
2	25	11
3	35	11
4	45	11
5	54	11
6	59	11
7	68	11
8	87	11
9	114	11
10	131	11
11	138	11
12	143	11
done	143	11
0	2	3
1	4	1
done	4	1
0	10	11
1	16	11
2	25	11
3	35	11
4	45	11
5	54	11
6	59	11
7	68	11
8	87	11
9	114	11
10	131	11
11	138	11
12	143	11
done	143	11
0	10	11
1	18	11
2	27	11
3	37	11
4	47	11
5	56	11
6	61	11
7	70	11
8	89	11
9	116	11
10	133	11
11	140	11
12	145	11
done	145	11
0	10	11
1	16	11
2	25	11
3	41	11
4	62	11
5	93	11
6	116	11
7	152	11
8	187	11
9	245	11
10	298	11
11	317	11
12	334	11
13	339	11
done	339	11
0	12	23
1	20	23
2	29	23
3	39	23
4	49	23
5	58	23
6	63	23
7	72	23
8	91	23
9	118	23
10	135	23
11	142	23
12	147	23
done	147	23
0	11	12
1	17	12
2	26	12
3	36	12
4	46	12
5	55	12
6	60	12
7	69	12
8	88	12
9	115	12
10	132	12
11	139	12
12	144	12
done	144	12
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	11	12
1	17	12
2	26	12
3	42	12
4	63	12
5	94	12
6	117	12
7	153	12
8	188	12
9	246	12
10	299	12
11	320	12
12	337	12
13	342	12
done	342	12
0	11	12
1	17	12
2	26	12
3	42	12
4	63	12
5	94	12
6	117	12
7	153	12
8	188	12
9	246	12
10	299	12
11	320	12
12	337	12
13	342	12
done	342	12
0	10	11
1	16	11
2	25	11
3	41	11
4	62	11
5	93	11
6	116	11
7	152	11
8	187	11
9	245	11
10	298	11
11	317	11
12	334	11
13	339	11
done	339	11
0	13	15
1	35	15
2	66	15
3	183	15
4	599	15
5	2008	15
done	5000	15
0	12	21
1	26	21
2	58	21
3	173	21
4	575	21
5	1688	21
done	5002	21
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	15	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	66	8
10	79	8
11	103	8
12	129	8
13	144	8
14	151	8
15	157	8
done	157	8
0	10	23
1	21	23
2	69	11
3	213	9
4	625	9
5	2341	9
done	5000	9
0	8	17
1	13	17
2	18	17
3	20	17
done	20	17
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	8	23
1	20	23
2	53	9
3	186	9
4	642	9
5	2052	9
done	5001	9
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	6	6
1	8	6
2	12	6
3	16	6
4	17	5
done	17	5
0	2	2
done	2	2
0	4	5
1	6	5
done	6	5
0	3	3
done	3	3
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	9	16
1	13	16
2	16	16
3	17	16
done	17	16
0	8	9
1	10	9
2	11	9
done	11	9
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	7	8
1	9	8
2	10	8
done	10	8
0	9	12
1	13	12
2	14	12
done	14	12
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	8
1	12	6
2	15	6
done	15	6
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	16	7
3	18	7
done	18	7
0	10	13
1	13	13
done	13	13
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	10
1	10	10
done	10	10
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	9
1	12	7
2	14	7
done	14	7
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	11	14
1	14	14
done	14	14
0	10	11
1	15	11
2	20	11
3	25	11
done	25	11
0	9	11
1	10	11
done	10	11
0	9	11
1	14	11
2	19	11
3	21	10
done	21	10
0	10	10
1	13	8
2	15	8
done	15	8
0	9	10
1	14	10
2	19	10
3	24	10
done	24	10
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	16	7
3	18	7
done	18	7
0	3	3
1	5	3
done	5	3
0	6	7
1	8	7
2	9	7
done	9	7
0	8	11
1	15	11
2	25	11
3	36	11
4	45	11
done	45	11
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	7	7
1	14	5
2	21	5
3	26	5
done	26	5
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	6	7
1	8	7
2	9	7
done	9	7
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	10	19
1	30	17
2	72	17
3	135	15
4	213	15
5	293	13
6	787	13
7	3966	13
done	5000	13
0	6	7
1	14	7
2	19	7
3	23	7
4	25	7
5	28	5
done	28	5
0	14	15
1	23	14
2	33	14
3	43	14
4	53	14
5	62	14
6	67	14
7	76	14
8	95	14
9	122	14
10	139	14
11	146	14
12	151	14
done	151	14
0	13	14
1	20	14
2	29	14
3	39	14
4	49	14
5	58	14
6	63	14
7	72	14
8	91	14
9	118	14
10	135	14
11	142	14
12	147	14
done	147	14
0	13	14
1	23	14
2	33	14
3	43	14
4	53	14
5	62	14
6	67	14
7	76	14
8	95	14
9	122	14
10	139	14
11	146	14
12	151	14
done	151	14
0	14	29
1	21	29
2	30	29
3	40	29
4	50	29
5	59	29
6	64	29
7	73	29
8	92	29
9	119	29
10	136	29
11	143	29
12	148	29
done	148	29
0	13	14
1	20	14
2	29	14
3	39	14
4	49	14
5	58	14
6	63	14
7	72	14
8	91	14
9	118	14
10	135	14
11	142	14
12	147	14
done	147	14
0	14	41
1	34	41
2	83	15
3	201	15
4	494	15
5	1354	15
6	3294	15
done	5000	15
0	13	14
1	20	14
2	29	14
3	39	14
4	49	14
5	58	14
6	63	14
7	72	14
8	91	14
9	118	14
10	135	14
11	142	14
12	147	14
done	147	14
0	13	14
1	20	14
2	29	14
3	39	14
4	49	14
5	58	14
6	63	14
7	72	14
8	91	14
9	118	14
10	135	14
11	142	14
12	147	14
done	147	14
0	15	17
1	38	17
2	74	17
3	165	17
4	488	17
5	1996	17
done	5001	17
0	16	41
1	36	29
2	72	29
3	132	29
4	269	29
5	844	29
6	2461	29
done	5001	29
0	14	27
1	29	27
2	53	27
3	109	27
4	247	27
5	838	27
6	2515	27
done	5001	27
0	12	13
1	20	13
2	32	13
3	42	13
4	52	13
5	61	13
6	66	13
7	75	13
8	94	13
9	121	13
10	138	13
11	145	13
12	150	13
done	150	13
0	12	13
1	19	13
2	28	13
3	38	13
4	48	13
5	57	13
6	62	13
7	71	13
8	90	13
9	117	13
10	134	13
11	141	13
12	146	13
done	146	13
0	10	11
1	18	10
2	29	10
3	45	10
4	69	10
5	97	10
6	128	10
7	213	10
8	307	10
9	441	10
10	492	10
11	503	10
12	504	10
done	504	10
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	9	10
1	18	10
2	31	10
3	51	10
4	78	10
5	110	10
6	147	10
7	261	10
8	405	10
9	465	10
10	479	10
11	486	10
12	487	10
done	487	10
0	10	21
1	16	21
2	25	21
3	35	21
4	45	21
5	54	21
6	59	21
7	68	21
8	87	21
9	114	21
10	131	21
11	138	21
12	143	21
done	143	21
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	10	29
1	29	29
2	78	11
3	248	11
4	1199	11
done	5000	11
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	11	13
1	33	13
2	64	13
3	181	13
4	600	13
5	2022	13
done	5000	13
0	12	29
1	31	21
2	77	21
3	209	21
4	612	21
5	1712	21
6	4464	21
done	5000	21
0	10	19
1	24	19
2	54	19
3	167	19
4	569	19
5	1681	19
done	5000	19
0	8	9
1	15	9
2	25	9
3	37	9
4	57	9
5	61	9
6	69	9
7	84	9
8	114	9
9	131	9
10	134	9
done	134	9
0	8	9
1	14	9
2	23	9
3	33	9
4	43	9
5	52	9
6	57	9
7	66	9
8	85	9
9	112	9
10	129	9
11	136	9
12	141	9
done	141	9
0	6	7
1	9	7
done	9	7
0	19	23
1	50	23
2	151	21
3	350	17
4	975	17
5	3249	15
done	5000	15
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	14	17
1	31	17
2	71	17
3	123	17
4	194	13
5	297	13
6	418	13
7	614	13
8	920	13
9	1980	11
done	5000	11
0	11	13
1	25	13
2	55	9
3	106	9
4	228	9
5	625	7
6	2870	7
done	5001	7
0	11	13
1	25	13
2	55	9
3	106	9
4	228	9
5	625	7
6	2870	7
done	5001	7
0	11	13
1	25	13
2	55	9
3	106	9
4	228	9
5	625	7
6	2870	7
done	5001	7
0	1	1
done	1	1
0	10	11
1	18	11
2	27	11
3	33	11
4	38	9
5	40	9
done	40	9
0	10	11
1	18	11
2	27	11
3	33	11
4	38	9
5	40	9
done	40	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9

prune161.0ms

Filtered

84 candidates to 112 candidates (-33.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	112	5	117

Merged error: 0.0b

Counts

117 → 5

regimes227.0ms

Accuracy

99.5% (0.1b remaining)

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

bsearch40.0ms

Steps

Iters	Range		Point
8	581391.78906282	15273892916.397661	178736421.5097445
8	-1.1749895509508323e+115	-9.408497984883987e+110	-1.1487704036659778e+115

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	29	47
1	44	39
done	44	39

end0.0ms

sample815.0ms

Algorithm

intervals

Results

475.0ms

8000×

body

valid

Details

sample37.0ms

simplify856.0ms

prune3.0ms

localize21.0ms

rewrite51.0ms

series132.0ms

simplify1.8min

prune187.0ms

localize16.0ms

rewrite54.0ms

series50.0ms

simplify1.7min

prune213.0ms

localize16.0ms

rewrite78.0ms

series130.0ms

simplify2.2min

prune355.0ms

localize10.0ms

rewrite68.0ms

series56.0ms

simplify1.1min

prune161.0ms

regimes227.0ms

bsearch40.0ms

simplify3.0ms

end0.0ms

sample815.0ms

Profiling