Details

sample29.0ms

Algorithm

intervals

Results

17.0ms

256×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	11	12
done	11	12

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

Counts

2 → 1

localize12.0ms

Local error

Found 2 expressions with local error:

0.6b	(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

24×	`times-frac`
22×	`log-pow`
20×	`pow1`
16×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-pow1` `pow1/2` `associate-/l*`
4×	`add-exp-log` `sqrt-div` `associate-/r*` `add-cbrt-cube`
3×	`sqrt-prod`
2×	`log-div` `flip3-+` `div-sub` `flip-+` `add-log-exp`
1×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

2 → 63

Calls

2 calls:

9.0ms	(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
6.0ms	(sqrt (+ (* re re) (* im im)))

series47.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
23.0ms	(sqrt (+ (* re re) (* im im)))

simplify33.3s

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	12	14
1	15	14
2	16	14
done	16	14
0	11	13
1	15	13
2	17	13
3	18	13
done	18	13
0	11	13
1	12	13
done	12	13
0	14	38
1	24	38
2	56	16
3	123	14
4	202	14
5	318	14
6	777	14
7	3365	14
done	5000	14
0	12	27
1	13	27
done	13	27
0	11	13
1	12	13
done	12	13
0	12	38
1	20	38
2	36	14
3	74	14
4	141	14
5	203	14
6	329	14
7	823	14
8	3562	14
done	5000	14
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	8	10
1	9	10
done	9	10
0	3	3
done	3	3
0	13	16
1	31	16
2	68	12
3	119	12
4	261	12
5	693	12
6	2308	12
done	5000	12
0	14	28
1	36	24
2	90	22
3	184	20
4	315	20
5	728	20
6	1989	20
done	5000	20
0	12	20
1	25	20
2	48	16
3	94	12
4	219	12
5	580	12
6	1493	12
done	5001	12
0	10	12
1	15	12
2	22	12
3	37	12
4	62	12
5	103	12
6	161	12
7	329	12
8	1604	12
done	5000	12
0	3	3
1	5	1
done	5	1
0	9	11
1	10	11
done	10	11
0	6	9
1	8	9
done	8	9
0	10	12
1	11	12
done	11	12
0	5	5
done	5	5
0	10	12
1	11	12
done	11	12
0	3	3
1	5	1
done	5	1
0	9	11
1	10	11
done	10	11
0	2	3
1	4	1
done	4	1
0	10	12
1	11	12
done	11	12
0	6	9
1	10	9
done	10	9
0	11	13
1	12	13
done	12	13
0	5	5
1	7	5
done	7	5
0	11	13
1	12	13
done	12	13
0	2	3
1	4	1
done	4	1
0	10	12
1	11	12
done	11	12
0	4	5
1	9	1
done	9	1
0	9	11
1	10	11
done	10	11
0	8	11
1	15	9
2	20	9
3	25	9
4	29	9
done	29	9
0	10	12
1	11	12
done	11	12
0	7	7
1	12	5
2	15	5
done	15	5
0	10	12
1	11	12
done	11	12
0	4	5
1	9	1
done	9	1
0	9	11
1	10	11
done	10	11
0	11	23
1	16	21
2	22	21
3	27	21
done	27	21
0	11	13
1	12	13
done	12	13
0	14	29
1	21	29
2	30	29
3	36	29
done	36	29
0	12	14
1	13	14
done	13	14
0	13	25
1	16	25
2	18	25
3	19	25
done	19	25
0	12	14
1	13	14
done	13	14
0	11	23
1	16	21
2	22	21
3	27	21
done	27	21
0	11	13
1	12	13
done	12	13
0	10	12
1	13	10
2	15	10
done	15	10
0	11	13
1	12	13
done	12	13
0	13	18
1	16	18
done	16	18
0	12	14
1	13	14
done	13	14
0	12	14
1	13	14
done	13	14
0	12	14
1	13	14
done	13	14
0	10	12
1	13	10
2	15	10
done	15	10
0	11	13
1	12	13
done	12	13
0	2	3
1	4	1
done	4	1
0	10	12
1	11	12
done	11	12
0	6	9
1	10	9
done	10	9
0	11	13
1	12	13
done	12	13
0	5	5
1	7	5
done	7	5
0	11	13
1	12	13
done	12	13
0	2	3
1	4	1
done	4	1
0	10	12
1	11	12
done	11	12
0	4	4
1	6	4
done	6	4
0	10	12
1	11	12
done	11	12
0	9	11
1	12	9
2	14	9
done	14	9
0	12	17
1	15	17
done	15	17
0	11	13
1	12	13
done	12	13
0	9	11
1	12	9
2	14	9
done	14	9
0	9	11
1	10	11
done	10	11
0	10	12
1	11	12
done	11	12
0	9	11
1	10	11
done	10	11
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	10	12
1	11	12
done	11	12
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	8	8
1	11	7
done	11	5
0	9	10
1	19	8
2	28	5
3	45	5
4	48	5
5	49	5
done	49	5
0	10	10
1	20	9
2	30	8
3	52	8
4	94	8
5	153	8
6	186	8
7	201	8
8	223	8
9	237	8
done	237	8

prune172.0ms

Filtered

46 candidates to 69 candidates (-50.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	56	13	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	13	70

Merged error: 8.2b

Counts

70 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
32.9b	(sqrt (+ (* re re) (* im im)))
32.9b	(sqrt (+ (* re re) (* im im)))
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

126×	`pow1`
94×	`log-pow`
72×	`times-frac`
60×	`sqrt-div`
54×	`cbrt-div`
45×	`pow1/3` `pow-prod-up`
34×	`add-sqr-sqrt`
31×	`add-cube-cbrt` `*-un-lft-identity`
30×	`flip3-+` `pow-plus` `flip-+`
28×	`frac-times`
26×	`log-div` `div-sub`
25×	`pow-prod-down`
18×	`associate-/l*`
15×	`pow-sqr`
14×	`associate-*l/`
10×	`pow2`
9×	`sqrt-prod`
8×	`associate-*r/`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow3`
4×	`associate-/r*` `add-log-exp`
3×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 177

Calls

4 calls:

33.0ms	(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
5.0ms	(sqrt (+ (* re re) (* im im)))
4.0ms	(sqrt (+ (* re re) (* im im)))
5.0ms	(sqrt (+ (* re re) (* im im)))

series43.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
7.0ms	(sqrt (+ (* re re) (* im im)))
7.0ms	(sqrt (+ (* re re) (* im im)))
7.0ms	(sqrt (+ (* re re) (* im im)))

simplify5.8min

Counts

189 → 189

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	15	35
1	22	35
2	27	17
3	34	14
4	50	14
5	73	14
6	124	14
7	252	14
8	685	14
9	2396	14
done	5000	14
0	14	34
1	22	34
2	28	16
3	36	13
4	54	13
5	83	13
6	144	13
7	296	13
8	804	13
9	2771	13
done	5000	13
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	111	13
7	246	13
8	697	13
9	2518	13
done	5001	13
0	17	101
1	31	101
2	78	19
3	197	14
4	564	14
5	2508	14
done	5000	14
0	15	69
1	20	69
2	24	33
3	31	27
4	46	27
5	66	27
6	110	27
7	237	27
8	662	27
9	2435	27
done	5000	27
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2396	13
done	5000	13
0	15	101
1	27	101
2	58	17
3	138	14
4	384	14
5	1418	14
done	5000	14
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2396	13
done	5000	13
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2396	13
done	5000	13
0	11	31
1	16	31
2	23	13
3	33	10
4	56	10
5	80	10
6	134	10
7	299	10
8	836	10
9	3161	10
done	5001	10
0	3	3
done	3	3
0	16	45
1	38	45
2	78	15
3	135	12
4	287	12
5	735	12
6	2433	12
done	5001	12
0	17	81
1	43	69
2	98	25
3	195	20
4	340	20
5	767	20
6	2052	20
done	5001	20
0	21	49
1	56	49
2	114	37
3	222	26
4	496	26
5	1339	26
6	3994	26
done	5001	26
0	20	65
1	53	57
2	116	53
3	228	34
4	383	34
5	916	34
6	2402	34
done	5000	34
0	21	49
1	55	49
2	113	37
3	221	33
4	495	26
5	1339	26
6	4001	26
done	5000	26
0	20	65
1	52	57
2	115	53
3	228	49
4	382	34
5	916	34
6	2396	34
done	5000	34
0	21	53
1	57	53
2	115	41
3	223	33
4	494	26
5	1323	26
6	3963	26
done	5000	26
0	20	49
1	54	45
2	117	43
3	227	41
4	381	34
5	915	34
6	2383	34
done	5000	34
0	21	49
1	57	49
2	117	37
3	221	33
4	496	26
5	1332	26
6	3995	26
done	5000	26
0	20	65
1	54	57
2	117	53
3	228	49
4	381	34
5	916	34
6	2386	34
done	5000	34
0	21	53
1	55	53
2	115	41
3	221	33
4	495	26
5	1334	26
6	4005	26
done	5000	26
0	20	49
1	52	45
2	113	43
3	226	41
4	380	34
5	914	34
6	2398	34
done	5000	34
0	21	53
1	56	53
2	118	41
3	224	26
4	499	26
5	1328	26
6	3975	26
done	5000	26
0	20	49
1	53	45
2	118	43
3	229	34
4	383	34
5	915	34
6	2402	34
done	5000	34
0	15	57
1	32	57
2	56	19
3	106	12
4	242	12
5	616	12
6	1570	12
done	5001	12
0	13	33
1	22	33
2	33	15
3	55	12
4	95	12
5	156	12
6	258	12
7	549	12
8	2247	12
done	5000	12
0	19	41
1	45	41
2	89	33
3	150	33
4	295	26
5	751	26
6	2378	26
done	5000	26
0	16	55
1	40	47
2	94	25
3	189	23
4	326	23
5	745	23
6	2011	23
done	5000	23
0	24	45
1	60	45
2	125	37
3	245	33
4	519	33
5	1356	33
6	4051	33
done	5001	33
0	19	39
1	50	35
2	107	33
3	212	31
4	365	31
5	898	31
6	2376	31
done	5001	31
0	24	45
1	60	45
2	125	37
3	239	33
4	517	33
5	1347	33
6	4032	33
done	5000	33
0	19	39
1	50	35
2	107	33
3	213	31
4	366	31
5	898	31
6	2379	31
done	5000	31
0	18	49
1	38	49
2	65	41
3	115	33
4	241	26
5	613	26
6	1533	26
done	5001	26
0	12	23
1	19	23
2	28	15
3	46	15
4	75	15
5	119	15
6	182	15
7	350	15
8	1626	15
done	5001	15
0	19	41
1	43	41
2	87	33
3	144	33
4	285	26
5	719	26
6	2376	26
done	5000	26
0	16	55
1	40	47
2	94	25
3	189	23
4	326	23
5	745	23
6	2011	23
done	5000	23
0	24	45
1	60	45
2	125	37
3	245	33
4	517	33
5	1353	33
6	4043	33
done	5000	33
0	19	39
1	50	35
2	107	33
3	212	31
4	365	31
5	898	31
6	2376	31
done	5001	31
0	24	45
1	60	45
2	125	37
3	239	33
4	516	33
5	1350	33
6	4025	33
done	5000	33
0	19	39
1	50	35
2	107	33
3	213	31
4	366	31
5	898	31
6	2379	31
done	5000	31
0	18	49
1	36	49
2	65	41
3	117	33
4	243	26
5	611	26
6	1524	26
done	5000	26
0	12	23
1	19	23
2	28	15
3	46	15
4	75	15
5	119	15
6	182	15
7	350	15
8	1626	15
done	5001	15
0	19	37
1	44	37
2	88	33
3	147	26
4	288	26
5	712	26
6	2366	26
done	5001	26
0	15	29
1	37	25
2	91	23
3	184	21
4	315	21
5	726	21
6	1989	21
done	5000	21
0	18	41
1	37	41
2	64	37
3	116	26
4	242	26
5	611	26
6	1528	26
done	5000	26
0	11	13
1	16	13
2	23	13
3	38	13
4	63	13
5	104	13
6	160	13
7	328	13
8	1645	13
done	5001	13
0	19	41
1	44	41
2	88	33
3	145	26
4	284	26
5	712	26
6	2324	26
done	5000	26
0	16	55
1	40	47
2	94	25
3	189	23
4	326	23
5	745	23
6	2011	23
done	5000	23
0	24	45
1	60	45
2	123	37
3	239	33
4	508	33
5	1349	33
6	4038	33
done	5001	33
0	19	39
1	50	35
2	107	33
3	212	31
4	365	31
5	898	31
6	2376	31
done	5001	31
0	24	45
1	60	45
2	125	37
3	239	33
4	513	33
5	1349	33
6	4031	33
done	5000	33
0	19	39
1	50	35
2	107	33
3	213	31
4	366	31
5	898	31
6	2379	31
done	5000	31
0	18	49
1	37	49
2	66	41
3	118	26
4	244	26
5	613	26
6	1519	26
done	5000	26
0	12	23
1	19	23
2	28	15
3	46	15
4	75	15
5	119	15
6	182	15
7	350	15
8	1626	15
done	5001	15
0	19	37
1	43	37
2	87	33
3	148	33
4	291	26
5	728	26
6	2394	26
done	5000	26
0	15	29
1	37	25
2	91	23
3	184	21
4	315	21
5	726	21
6	1989	21
done	5000	21
0	18	41
1	36	41
2	63	37
3	115	33
4	241	26
5	613	26
6	1528	26
done	5000	26
0	11	13
1	16	13
2	23	13
3	38	13
4	63	13
5	104	13
6	160	13
7	328	13
8	1645	13
done	5001	13
0	19	37
1	45	37
2	89	33
3	144	33
4	283	26
5	713	26
6	2332	26
done	5001	26
0	15	29
1	37	25
2	91	23
3	184	21
4	315	21
5	726	21
6	1989	21
done	5000	21
0	18	41
1	38	41
2	67	37
3	117	33
4	243	26
5	607	26
6	1525	26
done	5000	26
0	11	13
1	16	13
2	23	13
3	38	13
4	63	13
5	104	13
6	160	13
7	328	13
8	1645	13
done	5001	13
0	5	7
1	11	1
done	11	1
0	10	12
1	11	12
done	11	12
0	8	13
1	15	9
2	17	9
done	17	9
0	11	13
1	12	13
done	12	13
0	7	9
1	12	5
2	14	5
done	14	5
0	11	13
1	12	13
done	12	13
0	5	7
1	11	1
done	11	1
0	10	12
1	11	12
done	11	12
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	8	13
1	16	9
done	16	9
0	12	14
1	13	14
done	13	14
0	7	9
1	13	5
done	13	5
0	12	14
1	13	14
done	13	14
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	4	5
1	8	1
done	8	1
0	11	13
1	12	13
done	12	13
0	8	11
1	14	9
done	14	9
0	12	14
1	13	14
done	13	14
0	7	7
1	11	5
done	11	5
0	12	14
1	13	14
done	13	14
0	4	5
1	8	1
done	8	1
0	11	13
1	12	13
done	12	13
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	8	13
1	16	9
done	16	9
0	12	14
1	13	14
done	13	14
0	7	9
1	13	5
done	13	5
0	12	14
1	13	14
done	13	14
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	6	7
1	14	3
2	19	1
done	19	1
0	10	12
1	11	12
done	11	12
0	9	13
1	18	9
2	20	9
done	20	9
0	11	13
1	12	13
done	12	13
0	8	9
1	15	7
2	20	5
3	22	5
4	23	5
done	23	5
0	11	13
1	12	13
done	12	13
0	6	7
1	14	3
2	19	1
done	19	1
0	10	12
1	11	12
done	11	12
0	5	7
1	12	1
done	12	1
0	11	13
1	12	13
done	12	13
0	9	13
1	18	9
done	18	9
0	12	14
1	13	14
done	13	14
0	8	9
1	15	5
done	15	5
0	12	14
1	13	14
done	13	14
0	5	7
1	12	1
done	12	1
0	11	13
1	12	13
done	12	13
0	3	3
1	5	1
done	5	1
0	12	30
1	17	20
2	30	14
3	45	14
4	60	14
5	80	14
6	126	13
7	249	13
8	674	13
9	2445	13
done	5000	13
0	6	9
1	8	9
done	8	9
0	13	31
1	18	21
2	31	15
3	46	15
4	63	15
5	83	15
6	127	14
7	250	14
8	692	14
9	2444	14
done	5000	14
0	5	5
done	5	5
0	13	31
1	18	21
2	31	15
3	46	15
4	63	15
5	83	15
6	127	14
7	250	14
8	692	14
9	2444	14
done	5000	14
0	3	3
1	5	1
done	5	1
0	12	30
1	17	20
2	30	14
3	45	14
4	60	14
5	80	14
6	126	13
7	249	13
8	674	13
9	2445	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	6	9
1	10	9
done	10	9
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	5	5
1	7	5
done	7	5
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	6	9
1	10	9
done	10	9
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	5	5
1	7	5
done	7	5
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	3	3
1	5	1
done	5	1
0	11	13
1	12	13
done	12	13
0	6	9
1	8	9
done	8	9
0	12	14
1	13	14
done	13	14
0	5	5
done	5	5
0	12	14
1	13	14
done	13	14
0	3	3
1	5	1
done	5	1
0	11	13
1	12	13
done	12	13
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	8	13
1	16	9
done	16	9
0	12	14
1	13	14
done	13	14
0	7	9
1	13	5
done	13	5
0	12	14
1	13	14
done	13	14
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	4	5
1	8	1
done	8	1
0	11	13
1	12	13
done	12	13
0	8	11
1	14	9
done	14	9
0	12	14
1	13	14
done	13	14
0	7	7
1	11	5
done	11	5
0	12	14
1	13	14
done	13	14
0	4	5
1	8	1
done	8	1
0	11	13
1	12	13
done	12	13
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	8	13
1	16	9
done	16	9
0	12	14
1	13	14
done	13	14
0	7	9
1	13	5
done	13	5
0	12	14
1	13	14
done	13	14
0	4	7
1	10	1
done	10	1
0	11	13
1	12	13
done	12	13
0	5	7
1	12	1
done	12	1
0	11	13
1	12	13
done	12	13
0	9	13
1	18	9
done	18	9
0	12	14
1	13	14
done	13	14
0	8	9
1	15	5
done	15	5
0	12	14
1	13	14
done	13	14
0	5	7
1	12	1
done	12	1
0	11	13
1	12	13
done	12	13
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	6	9
1	10	9
done	10	9
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	5	5
1	7	5
done	7	5
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	14	65
1	23	63
2	33	27
3	45	21
4	57	21
5	71	21
6	110	21
7	224	21
8	604	21
9	2182	21
done	5001	21
0	14	34
1	19	34
2	23	16
3	30	13
4	43	13
5	59	13
6	98	13
7	213	13
8	579	13
9	2155	13
done	5001	13
0	17	71
1	28	71
2	41	35
3	54	29
4	67	29
5	83	29
6	122	29
7	238	29
8	607	29
9	2171	29
done	5000	29
0	15	35
1	20	35
2	24	17
3	31	14
4	44	14
5	60	14
6	101	14
7	217	14
8	591	14
9	2157	14
done	5000	14
0	16	67
1	23	67
2	29	31
3	37	25
4	50	25
5	66	25
6	105	25
7	220	25
8	591	25
9	2178	25
done	5000	25
0	15	35
1	20	35
2	24	17
3	31	14
4	44	14
5	60	14
6	101	14
7	217	14
8	591	14
9	2157	14
done	5000	14
0	14	65
1	23	63
2	33	27
3	45	21
4	57	21
5	71	21
6	110	21
7	224	21
8	604	21
9	2182	21
done	5001	21
0	14	34
1	19	34
2	23	16
3	30	13
4	43	13
5	59	13
6	98	13
7	213	13
8	579	13
9	2155	13
done	5001	13
0	13	33
1	20	31
2	26	13
3	33	10
4	45	10
5	59	10
6	100	10
7	210	10
8	580	10
9	2153	10
done	5000	10
0	14	34
1	19	34
2	23	16
3	30	13
4	43	13
5	59	13
6	98	13
7	213	13
8	579	13
9	2155	13
done	5001	13
0	16	39
1	23	39
2	27	21
3	34	18
4	47	18
5	63	18
6	102	18
7	218	18
8	592	18
9	2165	18
done	5000	18
0	15	35
1	20	35
2	24	17
3	31	14
4	44	14
5	60	14
6	101	14
7	217	14
8	591	14
9	2157	14
done	5000	14
0	15	35
1	20	35
2	24	17
3	31	14
4	44	14
5	60	14
6	101	14
7	217	14
8	591	14
9	2157	14
done	5000	14
0	15	35
1	20	35
2	24	17
3	31	14
4	44	14
5	60	14
6	101	14
7	217	14
8	591	14
9	2157	14
done	5000	14
0	13	33
1	20	31
2	26	13
3	33	10
4	45	10
5	59	10
6	100	10
7	210	10
8	580	10
9	2153	10
done	5000	10
0	14	34
1	19	34
2	23	16
3	30	13
4	43	13
5	59	13
6	98	13
7	213	13
8	579	13
9	2155	13
done	5001	13
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	6	9
1	10	9
done	10	9
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	5	5
1	7	5
done	7	5
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	2	3
1	4	1
done	4	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	64	12
6	108	12
7	232	12
8	668	12
9	2437	12
done	5000	12
0	4	4
1	6	4
done	6	4
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	62	12
6	103	12
7	220	12
8	607	12
9	2216	12
done	5001	12
0	12	32
1	19	30
2	25	12
3	32	9
4	46	9
5	67	9
6	115	9
7	239	9
8	649	9
9	2356	9
done	5000	9
0	15	38
1	22	38
2	26	20
3	33	17
4	53	17
5	82	17
6	141	17
7	294	17
8	837	17
9	2889	17
done	5000	17
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	65	13
6	109	13
7	236	13
8	664	13
9	2399	13
done	5001	13
0	12	32
1	19	30
2	25	12
3	32	9
4	46	9
5	67	9
6	115	9
7	239	9
8	649	9
9	2356	9
done	5000	9
0	10	12
1	11	12
done	11	12
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	10	12
1	11	12
done	11	12
0	11	13
1	12	13
done	12	13
0	12	30
1	17	20
2	30	14
3	45	14
4	60	14
5	78	14
6	121	13
7	240	13
8	619	13
9	2242	13
done	5000	13
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	62	12
6	103	12
7	220	12
8	607	12
9	2216	12
done	5001	12
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	62	12
6	103	12
7	220	12
8	607	12
9	2216	12
done	5001	12
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	11	13
1	12	13
done	12	13
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	62	12
6	103	12
7	220	12
8	607	12
9	2216	12
done	5001	12
0	14	34
1	19	34
2	23	16
3	30	13
4	43	13
5	59	13
6	98	13
7	207	13
8	568	13
9	2155	13
done	5000	13
0	14	34
1	19	34
2	23	16
3	30	13
4	43	13
5	59	13
6	98	13
7	207	13
8	568	13
9	2155	13
done	5000	13
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	62	12
6	103	12
7	220	12
8	607	12
9	2216	12
done	5001	12
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	8	8
1	11	7
done	11	5
0	9	10
1	19	8
2	28	5
3	45	5
4	48	5
5	49	5
done	49	5
0	10	10
1	20	9
2	30	8
3	52	8
4	94	8
5	153	8
6	186	8
7	201	8
8	223	8
9	237	8
done	237	8

prune315.0ms

Filtered

99 candidates to 189 candidates (-90.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	184	5	189
Fresh	4	8	12
Picked	0	1	1
Done	0	0	0
Total	188	14	202

Merged error: 8.2b

Counts

202 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 3 (/ (log 10.0) (log (cbrt (sqrt (+ (* re re) (* im im)))))))
0.5b	(cbrt (sqrt (+ (* re re) (* im im))))
0.6b	(/ (log 10.0) (log (cbrt (sqrt (+ (* re re) (* im im))))))
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

172×	`times-frac`
84×	`add-sqr-sqrt`
83×	`add-cube-cbrt` `*-un-lft-identity`
68×	`log-pow`
52×	`pow1`
29×	`associate-/r*`
22×	`pow1/3`
11×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/l*`
6×	`cbrt-prod` `sqrt-prod` `div-inv`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `add-log-exp`
2×	`cbrt-div` `frac-2neg` `flip3-+` `clear-num` `flip-+`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-/r/`

Counts

4 → 186

Calls

4 calls:

9.0ms	(/ 3 (/ (log 10.0) (log (cbrt (sqrt (+ (* re re) (* im im)))))))
5.0ms	(cbrt (sqrt (+ (* re re) (* im im))))
5.0ms	(/ (log 10.0) (log (cbrt (sqrt (+ (* re re) (* im im))))))
5.0ms	(sqrt (+ (* re re) (* im im)))

series122.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(/ 3 (/ (log 10.0) (log (cbrt (sqrt (+ (* re re) (* im im)))))))
25.0ms	(cbrt (sqrt (+ (* re re) (* im im))))
52.0ms	(/ (log 10.0) (log (cbrt (sqrt (+ (* re re) (* im im))))))
7.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.6min

Counts

198 → 198

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	13	15
1	16	15
2	17	15
done	17	15
0	12	14
1	16	14
2	18	14
3	19	14
done	19	14
0	12	14
1	13	14
done	13	14
0	15	41
1	25	41
2	57	17
3	124	15
4	202	15
5	320	15
6	779	15
7	3357	15
done	5000	15
0	13	29
1	14	29
done	14	29
0	12	14
1	13	14
done	13	14
0	13	41
1	21	41
2	37	15
3	75	15
4	140	15
5	205	15
6	331	15
7	824	15
8	3544	15
done	5000	15
0	12	14
1	13	14
done	13	14
0	12	14
1	13	14
done	13	14
0	3	3
done	3	3
0	9	11
1	10	11
done	10	11
0	3	3
1	6	1
done	6	1
0	10	12
1	11	12
done	11	12
0	2	3
1	4	1
done	4	1
0	11	13
1	12	13
done	12	13
0	12	25
1	17	25
done	17	25
0	12	14
1	13	14
done	13	14
0	11	13
1	14	13
done	14	13
0	12	14
1	13	14
done	13	14
0	2	3
1	4	1
done	4	1
0	11	13
1	12	13
done	12	13
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	11	13
1	12	13
done	12	13
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	12	14
1	13	14
done	13	14
0	15	31
1	22	31
2	31	31
3	37	31
done	37	31
0	13	15
1	14	15
done	14	15
0	14	19
1	17	19
2	19	19
3	20	19
done	20	19
0	13	15
1	14	15
done	14	15
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	12	14
1	13	14
done	13	14
0	5	5
done	5	5
0	11	13
1	12	13
done	12	13
0	5	5
1	7	3
2	9	3
done	9	3
0	12	14
1	13	14
done	13	14
0	14	27
1	17	27
done	17	27
0	13	15
1	14	15
done	14	15
0	13	15
1	14	15
done	14	15
0	13	15
1	14	15
done	14	15
0	5	5
1	7	3
2	9	3
done	9	3
0	12	14
1	13	14
done	13	14
0	3	3
1	6	1
done	6	1
0	10	12
1	11	12
done	11	12
0	2	3
1	4	1
done	4	1
0	11	13
1	12	13
done	12	13
0	12	25
1	17	25
done	17	25
0	12	14
1	13	14
done	13	14
0	11	13
1	14	13
done	14	13
0	12	14
1	13	14
done	13	14
0	2	3
1	4	1
done	4	1
0	11	13
1	12	13
done	12	13
0	10	12
1	13	12
done	13	12
0	11	13
1	12	13
done	12	13
0	4	4
done	4	4
0	4	4
1	6	2
2	8	2
done	8	2
0	13	26
1	16	26
done	16	26
0	12	14
1	13	14
done	13	14
0	4	4
1	6	2
2	8	2
done	8	2
0	11	13
1	12	13
done	12	13
0	12	14
1	13	14
done	13	14
0	12	14
1	13	14
done	13	14
0	11	13
1	12	13
done	12	13
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	9	20
1	10	20
done	10	20
0	8	10
1	9	10
done	9	10
0	9	19
1	11	10
done	11	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	3	3
1	5	2
done	5	2
0	7	9
1	8	9
done	8	9
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	2	2
1	4	1
done	4	1
0	7	9
1	8	9
done	8	9
0	10	13
1	28	13
2	65	9
3	118	9
4	258	9
5	683	9
6	2321	9
done	5000	9
0	11	25
1	33	21
2	87	19
3	180	17
4	312	17
5	726	17
6	1983	17
done	5001	17
0	9	17
1	22	17
2	43	13
3	89	9
4	214	9
5	585	9
6	1494	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	9	21
1	10	21
done	10	21
0	8	10
1	9	10
done	9	10
0	9	29
1	11	29
2	13	11
3	18	8
4	24	8
5	34	8
6	55	8
7	120	8
8	340	8
9	1270	8
done	5000	8
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	16	18
1	23	18
2	31	18
3	44	18
4	48	18
5	56	18
6	71	18
7	97	18
8	106	18
done	106	18
0	15	17
1	21	17
2	26	17
3	33	17
4	46	17
5	50	17
6	58	17
7	73	17
8	99	17
9	108	17
done	108	17
0	14	16
1	20	16
2	30	16
3	39	16
4	51	16
5	70	16
6	79	16
7	90	16
8	108	16
9	128	16
10	134	16
done	134	16
0	14	16
1	17	16
2	22	16
3	30	14
4	42	14
5	69	14
6	136	14
7	297	14
8	865	14
9	3673	14
done	5000	14
0	19	47
1	36	43
2	93	19
3	313	17
4	969	17
5	2444	17
done	5001	17
0	17	47
1	35	43
2	77	17
3	226	17
4	750	17
5	2050	17
6	3775	17
done	5000	17
0	15	33
1	18	33
2	21	33
3	22	33
4	24	33
5	26	33
6	27	33
done	27	33
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	15	47
1	25	47
2	63	17
3	236	17
4	948	17
5	2626	17
6	4592	17
done	5001	17
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	2	2
1	3	1
done	3	1
0	12	14
1	15	14
done	15	14
0	17	35
1	24	35
2	33	35
3	39	35
done	39	35
0	15	17
1	16	17
done	16	17
0	16	20
1	19	20
2	21	20
3	22	20
done	22	20
0	15	17
1	16	17
done	16	17
0	7	9
1	13	7
2	20	7
3	45	7
4	85	7
5	97	7
done	97	7
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	16	31
1	25	31
2	40	29
3	87	29
4	200	29
5	263	29
6	307	29
done	307	29
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	15	19
1	22	19
2	31	17
3	57	17
4	104	17
5	113	17
done	113	17
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	10	15
1	16	15
2	34	15
3	78	15
4	124	15
5	144	15
6	149	15
7	150	15
done	150	15
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	10	15
1	18	13
2	41	13
3	116	13
4	147	13
5	171	13
6	173	13
done	173	13
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	19	37
1	30	37
2	66	37
3	157	37
4	285	37
5	379	37
6	418	37
7	428	37
done	428	37
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	18	25
1	25	25
2	43	25
3	87	25
4	133	25
5	153	25
6	158	25
7	159	25
done	159	25
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	10	15
1	18	13
2	41	13
3	116	13
4	147	13
5	171	13
6	173	13
done	173	13
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	9	11
1	13	11
2	22	11
3	32	11
4	42	11
5	46	11
6	48	11
7	49	11
done	49	11
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	9	11
1	15	9
2	26	9
3	48	9
4	53	9
5	57	9
6	63	9
7	65	9
done	65	9
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	18	33
1	25	33
2	40	33
3	68	33
4	104	33
5	126	33
6	136	33
7	145	33
done	145	33
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	17	21
1	22	21
2	31	21
3	41	21
4	51	21
5	55	21
6	57	21
7	58	21
done	58	21
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	9	11
1	15	9
2	26	9
3	48	9
4	53	9
5	57	9
6	63	9
7	65	9
done	65	9
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	7	9
1	13	7
2	20	7
3	45	7
4	85	7
5	97	7
done	97	7
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	16	31
1	25	31
2	40	29
3	87	29
4	200	29
5	263	29
6	307	29
done	307	29
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	15	19
1	22	19
2	31	17
3	57	17
4	104	17
5	113	17
done	113	17
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	13	15
1	18	15
2	21	13
3	30	13
4	39	13
5	41	13
done	41	13
0	16	32
1	19	32
done	19	32
0	15	17
1	16	17
done	16	17
0	15	17
1	16	17
done	16	17
0	15	17
1	16	17
done	16	17
0	6	6
1	10	4
2	13	4
3	22	4
4	27	4
done	27	4
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	15	28
1	22	28
2	29	26
3	45	26
4	71	26
5	96	26
6	115	26
done	115	26
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	14	16
1	19	16
2	22	14
3	31	14
4	40	14
5	42	14
done	42	14
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	9	12
1	13	12
2	21	12
3	34	12
4	42	12
5	48	12
6	51	12
done	51	12
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	9	12
1	15	10
2	28	10
3	55	10
4	67	10
5	79	10
6	84	10
done	84	10
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	18	34
1	27	34
2	48	34
3	79	34
4	105	34
5	138	34
6	162	34
7	172	34
8	173	34
done	173	34
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	17	22
1	22	22
2	30	22
3	43	22
4	51	22
5	57	22
6	60	22
done	60	22
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	9	12
1	15	10
2	28	10
3	55	10
4	67	10
5	79	10
6	84	10
done	84	10
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	8	8
1	12	6
2	18	6
3	23	6
4	25	6
5	28	6
6	32	6
done	32	6
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	17	30
1	22	30
2	29	30
3	37	30
4	41	30
5	50	30
6	56	30
7	61	30
8	62	30
done	62	30
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	16	18
1	19	18
2	22	18
3	23	18
4	25	18
5	27	18
6	28	18
done	28	18
0	8	8
1	12	6
2	18	6
3	23	6
4	25	6
5	28	6
6	32	6
done	32	6
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	6	6
1	10	4
2	13	4
3	22	4
4	27	4
done	27	4
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	15	28
1	22	28
2	29	26
3	45	26
4	71	26
5	96	26
6	115	26
done	115	26
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	14	16
1	19	16
2	22	14
3	31	14
4	40	14
5	42	14
done	42	14
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	4	4
1	6	2
2	8	2
done	8	2
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	5	5
done	5	5
0	13	15
1	18	15
2	21	13
3	30	13
4	39	13
5	41	13
done	41	13
0	15	31
1	20	31
done	20	31
0	14	16
1	15	16
done	15	16
0	14	16
1	17	16
done	17	16
0	14	16
1	15	16
done	15	16
0	4	5
1	9	1
done	9	1
0	12	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	3	5
1	6	1
done	6	1
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	13	27
1	20	23
2	29	23
3	42	23
4	56	23
5	57	23
done	57	23
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	12	15
1	17	11
2	22	11
3	24	11
4	25	11
done	25	11
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	3	5
1	6	1
done	6	1
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	8	11
1	14	11
2	22	9
3	35	9
4	39	9
5	64	9
6	103	9
7	107	9
done	107	9
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	7	11
1	13	9
2	24	9
3	33	9
done	33	9
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	17	33
1	28	33
2	49	33
3	80	31
4	140	31
5	213	31
done	213	31
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	16	21
1	23	21
2	31	21
3	44	19
4	71	19
5	109	19
done	109	19
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	7	11
1	13	9
2	24	9
3	33	9
done	33	9
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	7	7
1	11	7
2	14	5
3	16	5
done	16	5
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	6	7
1	10	5
2	15	5
done	15	5
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	16	29
1	23	29
2	30	29
3	38	27
4	62	27
5	79	27
done	79	27
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	15	17
1	20	17
2	23	17
3	24	15
4	37	15
5	42	15
done	42	15
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	6	7
1	10	5
2	15	5
done	15	5
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	4	5
1	9	1
done	9	1
0	12	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	3	5
1	6	1
done	6	1
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	13	27
1	20	23
2	29	23
3	42	23
4	56	23
5	57	23
done	57	23
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	12	15
1	17	11
2	22	11
3	24	11
4	25	11
done	25	11
0	14	16
1	17	16
2	20	16
3	21	16
4	23	16
5	25	16
6	26	16
done	26	16
0	3	5
1	6	1
done	6	1
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	2	3
1	4	1
done	4	1
0	13	15
1	16	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	4	4
1	6	4
done	6	4
0	12	14
1	17	12
2	18	12
done	18	12
0	13	15
1	18	15
2	21	15
3	22	13
4	35	13
5	42	13
done	42	13
0	13	15
1	16	15
2	19	15
done	19	15
0	15	31
1	18	31
done	18	31
0	14	16
1	15	16
done	15	16
0	5	5
1	9	1
done	9	1
0	4	5
1	8	1
done	8	1
0	14	27
1	21	25
2	26	25
3	30	25
4	36	25
5	49	25
6	80	25
7	103	25
done	103	25
0	13	15
1	18	13
2	19	13
done	19	13
0	4	5
1	8	1
done	8	1
0	8	11
1	12	11
2	21	9
3	37	9
4	41	9
5	44	9
6	50	9
7	52	9
done	52	9
0	8	11
1	14	9
2	27	9
3	45	9
4	51	9
5	60	9
6	75	9
7	78	9
done	78	9
0	17	33
1	26	33
2	47	33
3	78	33
4	104	33
5	138	33
6	162	33
7	172	33
8	173	33
done	173	33
0	16	21
1	21	21
2	29	21
3	42	21
4	50	21
5	56	21
6	59	21
done	59	21
0	8	11
1	14	9
2	27	9
3	45	9
4	51	9
5	60	9
6	75	9
7	78	9
done	78	9
0	7	7
1	9	7
2	13	5
3	17	5
done	17	5
0	7	7
1	11	5
2	17	5
3	19	5
done	19	5
0	16	29
1	21	29
2	28	29
3	36	29
4	40	29
5	49	29
6	55	29
7	60	29
done	60	29
0	15	17
1	18	17
2	21	17
3	22	17
4	24	17
5	26	17
6	27	17
done	27	17
0	7	7
1	11	5
2	17	5
3	19	5
done	19	5
0	5	5
1	9	1
done	9	1
0	4	5
1	8	1
done	8	1
0	14	27
1	21	25
2	26	25
3	30	25
4	36	25
5	49	25
6	80	25
7	103	25
done	103	25
0	13	15
1	18	13
2	19	13
done	19	13
0	4	5
1	8	1
done	8	1
0	3	3
1	5	1
done	5	1
0	4	4
done	4	4
0	14	16
1	17	16
2	20	16
done	20	16
0	14	16
1	17	16
2	20	16
done	20	16
0	13	15
1	16	15
2	19	15
done	19	15
0	4	4
done	4	4
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	12	12
1	19	11
2	22	9
3	46	7
4	78	7
5	89	7
6	90	7
done	90	7
0	13	14
1	24	12
2	40	10
3	105	7
4	194	7
5	266	7
6	330	7
7	338	7
done	338	7
0	14	14
1	25	13
2	38	11
3	102	9
4	210	9
5	346	9
6	509	9
7	677	9
8	763	9
9	901	9
10	928	9
done	928	9
0	21	27
1	49	25
2	107	19
3	283	14
4	791	12
5	3012	12
done	5000	12
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	617	2
6	1981	2
done	5000	2
0	12	12
1	23	11
2	44	9
3	126	7
4	324	5
5	874	4
6	2893	3
done	5000	3
0	12	12
1	19	11
2	30	9
3	53	7
4	82	5
5	248	5
6	590	5
7	1471	5
8	4464	5
done	5000	5
0	13	14
1	27	12
2	55	10
3	130	7
4	263	5
5	929	5
6	3086	5
done	5000	5
0	14	14
1	28	13
2	53	11
3	123	9
4	304	8
5	1137	8
6	3086	8
done	5001	8

prune395.0ms

Filtered

132 candidates to 198 candidates (-50.0%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	186	12	198
Fresh	4	8	12
Picked	1	0	1
Done	1	0	1
Total	192	20	212

Merged error: 8.1b

Counts

212 → 20

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ (log 10.0) (log (cbrt (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))))))
32.9b	(sqrt (+ (* re re) (* im im)))
32.9b	(sqrt (+ (* re re) (* im im)))
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
20×	`times-frac`
18×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
16×	`log-pow`
9×	`sqrt-prod`
6×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
5×	`pow1/3` `associate-/r*`
4×	`associate-/l*` `add-log-exp`
3×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 86

Calls

4 calls:

5.0ms	(/ (log 10.0) (log (cbrt (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))))))
5.0ms	(sqrt (+ (* re re) (* im im)))
5.0ms	(sqrt (+ (* re re) (* im im)))
5.0ms	(sqrt (+ (* re re) (* im im)))

series66.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(/ (log 10.0) (log (cbrt (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))))))
7.0ms	(sqrt (+ (* re re) (* im im)))
7.0ms	(sqrt (+ (* re re) (* im im)))
7.0ms	(sqrt (+ (* re re) (* im im)))

simplify3.0min

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	16	36
1	20	36
2	23	18
3	28	15
4	34	15
5	44	15
6	65	15
7	125	15
8	334	15
9	1258	15
done	5001	15
0	15	35
1	20	35
2	24	17
3	30	14
4	36	14
5	46	14
6	67	14
7	123	14
8	325	14
9	1234	14
done	5000	14
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	18	104
1	29	104
2	62	20
3	131	15
4	213	15
5	339	15
6	814	15
7	3438	15
done	5000	15
0	16	71
1	18	71
2	20	35
3	25	29
4	31	29
5	41	29
6	62	29
7	120	29
8	325	29
9	1250	29
done	5000	29
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	16	104
1	25	104
2	42	18
3	82	15
4	152	15
5	226	15
6	372	15
7	921	15
8	3842	15
done	5001	15
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	3	3
done	3	3
0	12	32
1	14	32
2	16	14
3	21	11
4	27	11
5	37	11
6	58	11
7	118	11
8	334	11
9	1264	11
done	5000	11
0	3	3
1	6	1
done	6	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	62	12
6	103	12
7	220	12
8	607	12
9	2216	12
done	5001	12
0	2	3
1	4	1
done	4	1
0	14	34
1	16	34
2	18	16
3	23	13
4	29	13
5	39	13
6	60	13
7	116	13
8	318	13
9	1231	13
done	5000	13
0	15	67
1	21	67
2	23	31
3	28	25
4	34	25
5	44	25
6	67	25
7	131	25
8	348	25
9	1287	25
done	5001	25
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	14	34
1	18	34
2	20	16
3	25	13
4	31	13
5	41	13
6	64	13
7	120	13
8	331	13
9	1263	13
done	5000	13
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	14	34
1	16	34
2	18	16
3	23	13
4	29	13
5	39	13
6	60	13
7	116	13
8	318	13
9	1231	13
done	5000	13
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	63	13
6	104	13
7	225	13
8	607	13
9	2221	13
done	5000	13
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1245	14
done	5000	14
0	18	73
1	26	73
2	37	37
3	48	31
4	54	31
5	64	31
6	85	31
7	145	31
8	359	31
9	1283	31
done	5000	31
0	16	36
1	18	36
2	20	18
3	25	15
4	31	15
5	41	15
6	64	15
7	120	15
8	326	15
9	1258	15
done	5000	15
0	17	40
1	21	40
2	25	22
3	31	19
4	37	19
5	47	19
6	68	19
7	129	19
8	335	19
9	1263	19
done	5000	19
0	16	36
1	18	36
2	20	18
3	25	15
4	31	15
5	41	15
6	64	15
7	120	15
8	326	15
9	1258	15
done	5000	15
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1245	14
done	5000	14
0	5	5
done	5	5
0	14	34
1	19	34
2	23	16
3	30	13
4	45	13
5	63	13
6	104	13
7	225	13
8	607	13
9	2221	13
done	5000	13
0	5	5
1	7	3
2	9	3
done	9	3
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1245	14
done	5000	14
0	17	69
1	21	69
2	23	33
3	28	27
4	34	27
5	44	27
6	65	27
7	125	27
8	334	27
9	1258	27
done	5001	27
0	16	36
1	18	36
2	20	18
3	25	15
4	31	15
5	41	15
6	64	15
7	120	15
8	326	15
9	1258	15
done	5000	15
0	16	36
1	18	36
2	20	18
3	25	15
4	31	15
5	41	15
6	64	15
7	120	15
8	326	15
9	1258	15
done	5000	15
0	16	36
1	18	36
2	20	18
3	25	15
4	31	15
5	41	15
6	64	15
7	120	15
8	326	15
9	1258	15
done	5000	15
0	5	5
1	7	3
2	9	3
done	9	3
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1245	14
done	5000	14
0	3	3
1	6	1
done	6	1
0	13	33
1	18	33
2	22	15
3	29	12
4	44	12
5	62	12
6	103	12
7	220	12
8	607	12
9	2216	12
done	5001	12
0	2	3
1	4	1
done	4	1
0	14	34
1	16	34
2	18	16
3	23	13
4	29	13
5	39	13
6	60	13
7	116	13
8	318	13
9	1231	13
done	5000	13
0	15	67
1	21	67
2	23	31
3	28	25
4	34	25
5	44	25
6	67	25
7	131	25
8	348	25
9	1287	25
done	5001	25
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	14	34
1	18	34
2	20	16
3	25	13
4	31	13
5	41	13
6	64	13
7	120	13
8	331	13
9	1263	13
done	5000	13
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	14	34
1	16	34
2	18	16
3	23	13
4	29	13
5	39	13
6	60	13
7	116	13
8	318	13
9	1231	13
done	5000	13
0	13	33
1	17	33
2	19	15
3	24	12
4	30	12
5	40	12
6	61	12
7	125	12
8	336	12
9	1266	12
done	5000	12
0	14	34
1	16	34
2	18	16
3	23	13
4	29	13
5	39	13
6	60	13
7	118	13
8	336	13
9	1261	13
done	5000	13
0	4	4
done	4	4
0	4	4
1	6	2
2	8	2
done	8	2
0	16	68
1	20	68
2	22	32
3	27	26
4	33	26
5	43	26
6	64	26
7	124	26
8	331	26
9	1259	26
done	5000	26
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	123	14
8	330	14
9	1249	14
done	5000	14
0	4	4
1	6	2
2	8	2
done	8	2
0	14	34
1	16	34
2	18	16
3	23	13
4	29	13
5	39	13
6	60	13
7	118	13
8	336	13
9	1261	13
done	5000	13
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	126	14
8	338	14
9	1264	14
done	5001	14
0	15	35
1	17	35
2	19	17
3	24	14
4	30	14
5	40	14
6	61	14
7	126	14
8	338	14
9	1264	14
done	5001	14
0	14	34
1	16	34
2	18	16
3	23	13
4	29	13
5	39	13
6	60	13
7	118	13
8	336	13
9	1261	13
done	5000	13
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	12	12
1	19	11
2	22	9
3	46	7
4	78	7
5	89	7
6	90	7
done	90	7
0	13	14
1	24	12
2	40	10
3	105	7
4	194	7
5	266	7
6	330	7
7	338	7
done	338	7
0	14	14
1	25	13
2	38	11
3	102	9
4	210	9
5	346	9
6	509	9
7	677	9
8	763	9
9	901	9
10	928	9
done	928	9

prune160.0ms

Filtered

70 candidates to 98 candidates (-40.0%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	98	20	118

Merged error: 8.1b

Counts

118 → 20

regimes1.5s

Accuracy

56.4% (10.7b remaining)

Error of 17.8b against oracle of 7.1b and baseline of 31.7b

bsearch86.0ms

Steps

Iters	Range		Point
9	2.4540169358802756e+30	3.519108532790208e+36	3.466178613033722e+36
8	3.8885538970219946e-190	3.3867492948767555e-187	4.1020592309585383e-190
9	-1.5130857388211537e-243	-3.646205474305488e-252	-1.827079623045419e-251
8	-4.996746474906799e+125	-3.0297993811682655e+122	-3.784927748967173e+122

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	93
1	49	93
done	49	93

end0.0ms

sample808.0ms

Algorithm

intervals

Results

542.0ms

8000×

body

valid

Details

sample29.0ms

simplify3.0ms

prune4.0ms

localize12.0ms

rewrite17.0ms

series47.0ms

simplify33.3s

prune172.0ms

localize15.0ms

rewrite60.0ms

series43.0ms

simplify5.8min

prune315.0ms

localize15.0ms

rewrite33.0ms

series122.0ms

simplify1.6min

prune395.0ms

localize23.0ms

rewrite22.0ms

series66.0ms

simplify3.0min

prune160.0ms

regimes1.5s

bsearch86.0ms

simplify4.0ms

end0.0ms

sample808.0ms

Profiling