Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify1.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	6
done	6	6

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.8b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.8b	(/ (atan2 im re) (log 10.0))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

12×	`times-frac`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1`
4×	`associate-/r*` `log-pow`
3×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 31

Calls

1 calls:

4.0ms

(/ (atan2 im re) (log 10.0))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(/ (atan2 im re) (log 10.0))

simplify5.4s

Counts

34 → 34

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
done	7	7
0	10	20
1	19	20
2	51	10
3	118	8
4	197	8
5	315	8
6	778	8
7	3372	8
done	5000	8
0	8	15
done	8	15
0	7	7
done	7	7
0	8	20
1	15	20
2	31	8
3	69	8
4	136	8
5	200	8
6	328	8
7	829	8
8	3549	8
done	5000	8
0	7	7
done	7	7
0	7	7
done	7	7
0	4	4
done	4	4
0	3	3
done	3	3
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	7	7
done	7	7
0	10	17
1	16	17
2	25	17
3	31	17
done	31	17
0	8	8
done	8	8
0	9	13
1	11	13
2	13	13
3	14	13
done	14	13
0	8	8
done	8	8
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	7	7
done	7	7
0	6	6
1	8	4
2	10	4
done	10	4
0	7	7
done	7	7
0	9	12
1	11	12
done	11	12
0	8	8
done	8	8
0	8	8
done	8	8
0	8	8
done	8	8
0	6	6
1	8	4
2	10	4
done	10	4
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	7	7
done	7	7
0	5	5
1	7	5
done	7	5
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	4	4
1	6	4
done	6	4
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6

prune75.0ms

Filtered

23 candidates to 34 candidates (-47.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	28	6	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	7	35

Merged error: 0.0b

Counts

35 → 7

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ (atan2 im re) (sqrt (log 10.0)))
0.8b	(* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-sqr-sqrt`
85×	`times-frac`
52×	`*-un-lft-identity`
51×	`sqrt-prod`
46×	`add-cube-cbrt`
26×	`add-exp-log`
25×	`associate-r` `associate-l`
16×	`add-cbrt-cube`
15×	`unswap-sqr`
14×	`pow1`
10×	`log-pow`
9×	`div-exp`
8×	`prod-exp`
7×	`associate-/r*`
5×	`cbrt-undiv`
4×	`cbrt-unprod`
3×	`div-inv` `associate-/l*`
2×	`rec-exp` `1-exp` `add-log-exp`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

2 → 132

Calls

2 calls:

5.0ms	(/ (atan2 im re) (sqrt (log 10.0)))
22.0ms	(* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))

series23.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(/ (atan2 im re) (sqrt (log 10.0)))
9.0ms	(* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))

simplify46.8s

Counts

138 → 138

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	17	13
2	25	11
3	66	11
4	116	6
5	118	6
done	118	6
0	11	15
1	15	15
2	19	14
3	30	12
4	39	11
5	48	11
6	62	11
7	72	11
8	75	11
done	75	11
0	11	14
1	14	14
2	20	13
3	30	13
4	42	11
5	50	11
6	60	11
7	68	11
8	78	11
9	81	11
done	81	11
0	12	16
1	20	15
2	44	14
3	107	12
4	215	11
5	279	11
6	296	11
done	296	11
0	12	15
1	19	14
2	39	13
3	81	13
4	201	11
5	281	11
6	300	11
done	300	11
0	13	17
1	23	16
2	45	14
3	107	14
4	244	11
5	334	11
6	348	11
done	348	11
0	13	16
1	22	15
2	39	14
3	83	13
4	200	12
5	276	11
6	289	11
7	304	11
done	304	11
0	13	16
1	22	15
2	35	14
3	83	12
4	155	11
5	207	11
6	227	11
done	227	11
0	12	15
1	21	14
2	32	13
3	64	13
4	140	11
5	199	11
6	250	11
done	250	11
0	11	14
1	21	14
2	37	12
3	96	12
4	204	7
5	297	7
6	366	7
7	430	7
done	430	7
0	11	14
1	20	14
2	34	12
3	100	12
4	229	7
5	418	7
6	1031	7
7	3723	7
done	5001	7
0	16	41
1	39	27
2	138	17
3	827	14
4	3032	11
done	5001	11
0	16	41
1	38	32
2	110	15
3	466	15
4	1810	14
5	4302	8
done	5001	8
0	16	41
1	39	36
2	142	19
3	599	15
4	2165	14
done	5001	14
0	14	41
1	35	41
2	108	17
3	370	17
4	1175	8
5	3763	8
done	5001	8
0	12	29
1	19	29
2	27	25
3	68	25
4	119	15
5	121	15
done	121	15
0	11	14
1	18	14
2	26	12
3	67	12
4	117	7
5	119	7
done	119	7
0	12	41
1	29	41
2	108	13
3	380	13
4	1092	8
5	2673	8
done	5000	8
0	11	14
1	18	14
2	26	12
3	67	12
4	117	7
5	119	7
done	119	7
0	11	14
1	18	14
2	26	12
3	67	12
4	117	7
5	119	7
done	119	7
0	5	5
1	8	3
2	11	3
done	11	3
0	4	7
done	4	2
0	12	15
1	15	15
done	15	15
0	12	15
1	15	15
done	15	15
0	13	16
1	18	16
2	21	16
3	25	16
4	26	16
done	26	16
0	13	16
1	18	16
2	21	16
3	25	16
4	26	16
done	26	16
0	13	16
1	18	16
2	21	16
3	25	16
4	26	16
done	26	16
0	13	16
1	18	16
2	21	16
3	25	16
4	26	16
done	26	16
0	13	16
1	18	15
2	21	15
3	23	13
4	37	13
done	37	13
0	13	16
1	18	15
2	21	15
3	23	13
4	37	13
done	37	13
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	13	16
1	18	15
2	21	15
3	23	13
4	37	13
done	37	13
0	13	16
1	18	15
2	21	15
3	23	13
4	37	13
done	37	13
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	13	17
1	20	16
2	28	16
3	40	14
4	90	8
5	95	8
done	95	8
0	12	15
1	17	15
2	20	13
3	33	13
4	38	13
done	38	13
0	12	15
1	17	15
2	20	13
3	33	13
4	38	13
done	38	13
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	15
1	17	15
2	20	13
3	33	13
4	38	13
done	38	13
0	12	15
1	17	15
2	20	13
3	33	13
4	38	13
done	38	13
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	16
1	19	16
2	27	14
3	68	14
4	115	8
5	116	8
done	116	8
0	12	23
1	19	23
2	27	21
3	55	21
4	70	21
5	71	21
6	74	21
7	79	21
8	81	21
9	83	21
10	84	21
done	84	21
0	11	14
1	16	14
2	19	12
3	32	12
4	37	12
5	38	12
6	41	12
7	46	12
8	48	12
9	50	12
10	51	12
done	51	12
0	14	25
1	27	25
2	68	23
3	214	23
4	510	23
5	817	23
6	837	23
done	837	23
0	13	18
1	22	17
2	40	15
3	117	13
4	249	13
5	254	13
done	254	13
0	15	24
1	25	20
2	43	18
3	120	18
4	238	18
5	310	18
6	325	18
done	325	18
0	13	20
1	22	20
2	40	18
3	117	18
4	234	18
5	299	18
6	310	18
done	310	18
0	13	18
1	22	17
2	40	15
3	117	13
4	249	13
5	254	13
done	254	13
0	13	20
1	22	20
2	40	18
3	117	18
4	234	18
5	299	18
6	310	18
done	310	18
0	12	17
1	21	15
2	47	13
3	172	13
4	216	13
5	217	13
done	217	13
0	13	20
1	22	20
2	41	18
3	113	18
4	247	18
5	393	18
6	403	18
done	403	18
0	12	13
1	19	12
2	28	10
3	67	8
4	132	8
5	133	8
done	133	8
0	14	19
1	22	15
2	31	13
3	70	13
4	114	13
5	157	13
6	165	13
done	165	13
0	12	15
1	19	15
2	28	13
3	67	13
4	111	13
5	153	13
6	160	13
done	160	13
0	12	13
1	19	12
2	28	10
3	67	8
4	132	8
5	133	8
done	133	8
0	12	15
1	19	15
2	28	13
3	67	13
4	111	13
5	153	13
6	160	13
done	160	13
0	11	12
1	18	10
2	31	8
3	75	8
4	90	8
done	90	8
0	9	17
1	18	17
2	36	15
3	86	15
4	134	15
done	134	15
0	8	10
1	15	9
2	23	5
3	29	5
4	39	5
done	39	5
0	10	16
1	18	12
2	27	10
3	46	10
4	55	10
done	55	10
0	8	12
1	15	12
2	24	10
3	43	10
4	52	10
done	52	10
0	8	10
1	15	9
2	23	5
3	29	5
4	39	5
done	39	5
0	8	12
1	15	12
2	24	10
3	43	10
4	52	10
done	52	10
0	7	9
1	14	5
2	18	5
3	25	5
done	25	5
0	6	7
1	11	5
done	11	5
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	11	14
1	16	14
2	19	14
3	23	14
4	24	14
done	24	14
0	11	14
1	16	14
2	19	14
3	23	14
4	24	14
done	24	14
0	12	15
1	19	14
2	28	14
3	45	12
4	98	12
5	139	12
6	142	12
done	142	12
0	11	14
1	18	13
2	26	13
3	38	11
4	88	6
5	93	6
done	93	6
0	13	15
1	20	14
2	29	14
3	46	12
4	99	12
5	144	12
6	149	12
done	149	12
0	12	15
1	19	14
2	28	14
3	45	12
4	98	12
5	139	12
6	142	12
done	142	12
0	11	14
1	18	13
2	26	13
3	38	11
4	88	6
5	93	6
done	93	6
0	12	15
1	19	14
2	28	14
3	45	12
4	98	12
5	139	12
6	142	12
done	142	12
0	11	14
1	18	13
2	26	13
3	38	11
4	88	6
5	93	6
done	93	6
0	12	15
1	19	14
2	28	14
3	45	12
4	98	12
5	139	12
6	142	12
done	142	12
0	11	14
1	18	13
2	26	13
3	38	11
4	88	6
5	93	6
done	93	6
0	13	15
1	20	14
2	29	14
3	46	12
4	99	12
5	144	12
6	149	12
done	149	12
0	12	15
1	19	14
2	28	14
3	45	12
4	98	12
5	139	12
6	142	12
done	142	12
0	11	14
1	18	13
2	26	13
3	38	11
4	88	6
5	93	6
done	93	6
0	12	15
1	19	14
2	28	14
3	45	12
4	98	12
5	139	12
6	142	12
done	142	12
0	11	14
1	18	13
2	26	13
3	38	11
4	88	6
5	93	6
done	93	6
0	11	14
1	18	14
2	27	12
3	66	12
4	110	12
5	148	12
6	154	12
done	154	12
0	10	13
1	17	13
2	25	11
3	66	11
4	116	6
5	118	6
done	118	6
0	12	14
1	19	14
2	28	12
3	67	12
4	111	12
5	153	12
6	160	12
done	160	12
0	11	14
1	18	14
2	27	12
3	66	12
4	110	12
5	148	12
6	154	12
done	154	12
0	10	13
1	17	13
2	25	11
3	66	11
4	116	6
5	118	6
done	118	6
0	11	14
1	18	14
2	27	12
3	66	12
4	110	12
5	148	12
6	154	12
done	154	12
0	10	13
1	17	13
2	25	11
3	66	11
4	116	6
5	118	6
done	118	6
0	10	13
1	17	13
2	25	11
3	66	11
4	116	6
5	118	6
done	118	6
0	10	13
1	17	13
2	25	11
3	66	11
4	116	6
5	118	6
done	118	6
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	9	9
1	14	7
2	24	7
3	30	7
4	40	7
5	42	7
done	42	7
0	9	9
1	11	9
2	12	9
done	12	9
0	8	8
1	11	8
2	13	8
3	14	8
done	14	8
0	8	8
done	8	8
0	11	23
1	20	18
2	53	11
3	120	9
4	197	9
5	313	9
6	772	9
7	3349	9
done	5001	9
0	9	17
done	9	17
0	8	8
done	8	8
0	9	23
1	16	23
2	32	9
3	70	9
4	137	9
5	204	9
6	330	9
7	833	9
8	3574	9
done	5001	9
0	8	8
done	8	8
0	8	8
done	8	8
0	4	4
done	4	4
0	4	4
done	4	4
0	11	19
1	17	19
2	26	19
3	32	19
done	32	19
0	9	9
done	9	9
0	8	12
1	12	11
2	14	11
3	15	9
4	22	9
done	22	9
0	8	8
done	8	8
0	11	18
1	14	14
2	16	14
3	17	14
done	17	14
0	9	9
done	9	9
0	10	14
1	12	14
2	14	14
3	15	14
done	15	14
0	9	9
done	9	9
0	8	12
1	12	11
2	14	11
3	15	9
4	22	9
done	22	9
0	8	8
done	8	8
0	10	14
1	12	14
2	14	14
3	15	14
done	15	14
0	9	9
done	9	9
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	8	8
done	8	8
0	10	14
1	12	14
done	12	14
0	9	9
done	9	9
0	7	7
1	9	6
done	9	6
0	8	8
done	8	8
0	10	13
1	11	9
done	11	9
0	9	9
done	9	9
0	9	9
done	9	9
0	9	9
done	9	9
0	7	7
1	9	6
done	9	6
0	8	8
done	8	8
0	9	9
done	9	9
0	9	9
done	9	9
0	6	6
1	8	4
2	10	4
done	10	4
0	8	8
done	8	8
0	7	11
1	11	11
done	11	11
0	8	8
done	8	8
0	3	4
1	5	3
done	5	3
0	7	7
done	7	7
0	7	10
1	10	6
done	10	6
0	8	8
done	8	8
0	6	6
1	8	6
done	8	6
0	8	8
done	8	8
0	3	4
1	5	3
done	5	3
0	7	7
done	7	7
0	6	6
1	8	6
done	8	6
0	8	8
done	8	8
0	2	3
1	4	1
done	4	1
0	7	7
done	7	7
0	5	5
1	7	5
done	7	5
0	7	7
done	7	7
0	9	13
1	11	13
done	11	13
0	6	6
1	8	5
done	8	5
0	9	12
1	10	8
done	10	8
0	8	8
done	8	8
0	6	6
1	8	5
done	8	5
0	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	8	8
done	8	8
0	8	8
done	8	8
0	7	7
done	7	7
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9

prune263.0ms

Filtered

76 candidates to 138 candidates (-81.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	134	4	138
Fresh	1	4	5
Picked	1	0	1
Done	1	0	1
Total	137	8	145

Merged error: 0.0b

Counts

145 → 8

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (atan2 im re) (/ 1 (sqrt (log 10.0))))
0.8b	(* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-exp-log`
46×	`times-frac`
43×	`add-sqr-sqrt`
40×	`prod-exp`
33×	`*-un-lft-identity`
31×	`add-cube-cbrt`
28×	`associate-l` `add-cbrt-cube`
26×	`associate-r` `sqrt-prod`
20×	`div-exp`
15×	`pow1`
12×	`cbrt-unprod`
10×	`rec-exp` `1-exp`
6×	`cbrt-undiv` `log-pow`
5×	`associate-*r/` `unswap-sqr`
4×	`pow-prod-down`
3×	`un-div-inv`
2×	`frac-times` `*-commutative` `div-inv` `add-log-exp`
1×	`associate-*l/`

Counts

2 → 117

Calls

2 calls:

12.0ms	(* (atan2 im re) (/ 1 (sqrt (log 10.0))))
16.0ms	(* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))

series22.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(* (atan2 im re) (/ 1 (sqrt (log 10.0))))
9.0ms	(* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))

simplify1.1min

Counts

123 → 123

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	10	15
1	18	15
2	35	11
3	81	11
4	94	6
5	95	6
done	95	6
0	10	15
1	18	15
2	35	11
3	81	11
4	94	6
5	95	6
done	95	6
0	11	16
1	14	15
2	20	14
3	30	12
4	39	11
5	48	11
6	62	11
7	72	11
8	75	11
done	75	11
0	13	17
1	20	16
2	44	14
3	82	12
4	158	11
5	213	11
6	230	11
done	230	11
0	14	18
1	23	17
2	43	14
3	89	14
4	156	11
5	230	11
6	250	11
done	250	11
0	14	17
1	22	16
2	36	14
3	79	12
4	140	11
5	227	11
6	247	11
7	261	11
done	261	11
0	13	16
1	22	16
2	34	13
3	69	13
4	114	11
5	175	11
6	239	11
7	255	11
done	255	11
0	13	17
1	21	15
2	48	14
3	111	12
4	223	11
5	294	11
6	307	11
done	307	11
0	12	18
1	20	16
2	50	14
3	98	12
4	201	11
5	272	11
6	285	11
done	285	11
0	15	19
1	27	16
2	57	14
3	104	12
4	207	11
5	280	11
6	293	11
done	293	11
0	15	18
1	26	16
2	52	14
3	112	12
4	218	11
5	288	11
6	301	11
done	301	11
0	14	17
1	26	16
2	52	13
3	112	13
4	206	11
5	286	11
6	301	11
done	301	11
0	14	18
1	24	16
2	50	14
3	114	14
4	254	11
5	360	11
6	377	11
done	377	11
0	15	19
1	27	16
2	57	14
3	104	12
4	207	11
5	279	11
6	292	11
done	292	11
0	13	20
1	23	18
2	50	14
3	107	12
4	210	11
5	281	11
6	294	11
done	294	11
0	15	19
1	25	16
2	51	14
3	111	12
4	218	11
5	290	11
6	303	11
done	303	11
0	14	18
1	27	17
2	48	14
3	114	13
4	208	11
5	287	11
6	304	11
done	304	11
0	14	17
1	23	15
2	38	14
3	85	12
4	158	11
5	211	11
6	228	11
done	228	11
0	15	18
1	26	16
2	50	14
3	89	12
4	165	11
5	221	11
6	238	11
done	238	11
0	15	19
1	25	16
2	49	14
3	86	12
4	162	11
5	217	11
6	237	11
done	237	11
0	12	18
1	20	16
2	34	14
3	77	12
4	139	11
5	222	11
6	240	11
7	254	11
done	254	11
0	12	17
1	24	16
2	39	13
3	92	12
4	149	11
5	238	11
6	301	11
7	315	11
done	315	11
0	11	16
1	22	16
2	49	12
3	121	12
4	196	7
5	267	7
6	334	7
7	350	7
done	350	7
0	11	16
1	21	16
2	44	12
3	120	12
4	213	7
5	413	7
6	1054	7
7	3775	7
done	5001	7
0	16	47
1	35	29
2	115	17
3	602	14
4	2346	11
done	5001	11
0	19	47
1	46	38
2	139	19
3	638	13
4	2032	11
done	5001	11
0	17	47
1	44	38
2	159	15
3	661	15
4	1995	8
done	5000	8
0	19	47
1	46	38
2	137	17
3	552	13
4	1715	11
done	5001	11
0	14	47
1	32	47
2	111	21
3	411	13
4	1208	12
5	4090	8
done	5001	8
0	14	47
1	40	47
2	152	17
3	524	17
4	1278	8
5	3810	8
done	5000	8
0	12	33
1	20	33
2	37	25
3	83	25
4	96	15
5	97	15
done	97	15
0	11	16
1	19	16
2	36	12
3	82	12
4	95	7
5	96	7
done	96	7
0	12	47
1	30	47
2	124	13
3	428	13
4	1120	8
5	2459	8
done	5000	8
0	11	16
1	19	16
2	36	12
3	82	12
4	95	7
5	96	7
done	96	7
0	11	16
1	19	16
2	36	12
3	82	12
4	95	7
5	96	7
done	96	7
0	5	5
1	8	3
2	11	3
done	11	3
0	4	7
done	4	2
0	6	7
1	10	3
2	13	3
done	13	3
0	4	7
done	4	2
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	11	16
1	19	16
2	34	14
3	67	14
4	95	14
5	98	14
done	98	14
0	11	16
1	19	16
2	34	14
3	67	14
4	95	14
5	98	14
done	98	14
0	13	17
1	23	16
2	47	12
3	114	12
4	160	12
5	162	12
done	162	12
0	12	16
1	22	15
2	39	11
3	85	11
4	96	6
5	97	6
done	97	6
0	14	17
1	24	16
2	48	12
3	115	12
4	166	12
5	168	12
done	168	12
0	13	17
1	23	16
2	47	12
3	114	12
4	160	12
5	162	12
done	162	12
0	12	16
1	22	15
2	39	11
3	85	11
4	96	6
5	97	6
done	97	6
0	13	17
1	23	16
2	47	12
3	114	12
4	160	12
5	162	12
done	162	12
0	12	16
1	22	15
2	39	11
3	85	11
4	96	6
5	97	6
done	97	6
0	13	17
1	23	16
2	47	12
3	114	12
4	160	12
5	162	12
done	162	12
0	12	16
1	22	15
2	39	11
3	85	11
4	96	6
5	97	6
done	97	6
0	14	17
1	24	16
2	48	12
3	115	12
4	166	12
5	168	12
done	168	12
0	13	17
1	23	16
2	47	12
3	114	12
4	160	12
5	162	12
done	162	12
0	12	16
1	22	15
2	39	11
3	85	11
4	96	6
5	97	6
done	97	6
0	13	17
1	23	16
2	47	12
3	114	12
4	160	12
5	162	12
done	162	12
0	12	16
1	22	15
2	39	11
3	85	11
4	96	6
5	97	6
done	97	6
0	12	16
1	22	16
2	46	12
3	111	12
4	159	12
5	161	12
done	161	12
0	10	15
1	18	15
2	35	11
3	81	11
4	94	6
5	95	6
done	95	6
0	13	16
1	23	16
2	47	12
3	114	12
4	158	12
5	160	12
done	160	12
0	12	16
1	22	16
2	46	12
3	111	12
4	159	12
5	161	12
done	161	12
0	10	15
1	18	15
2	35	11
3	81	11
4	94	6
5	95	6
done	95	6
0	12	16
1	22	16
2	46	12
3	111	12
4	159	12
5	161	12
done	161	12
0	10	15
1	18	15
2	35	11
3	81	11
4	94	6
5	95	6
done	95	6
0	10	15
1	18	15
2	35	11
3	81	11
4	94	6
5	95	6
done	95	6
0	10	15
1	18	15
2	35	11
3	81	11
4	94	6
5	95	6
done	95	6
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	10	11
1	18	7
2	32	7
3	38	7
done	38	7
0	10	11
1	18	9
2	34	7
3	42	7
4	43	7
done	43	7
0	9	9
1	14	9
2	17	7
3	32	7
4	35	7
done	35	7
0	10	10
1	12	9
done	12	9
0	11	11
1	16	10
2	26	9
3	35	9
4	53	9
5	78	9
6	83	9
7	92	9
8	105	9
done	105	9
0	12	12
1	19	11
2	26	9
3	43	9
4	61	9
5	87	9
6	90	9
7	99	9
8	110	9
done	110	9
0	11	11
1	18	10
2	24	9
3	35	9
4	47	9
5	79	9
6	97	9
7	104	9
8	114	9
done	114	9
0	10	10
1	18	10
2	27	8
3	48	8
4	67	8
5	82	8
6	115	8
7	119	8
8	128	8
done	128	8
0	10	10
1	17	10
2	26	8
3	54	8
4	98	8
5	202	8
6	482	8
7	1484	8
done	5000	8
0	15	29
1	31	20
2	78	11
3	251	11
4	579	11
5	1055	9
6	2724	9
done	5000	9
0	13	29
1	28	29
2	77	13
3	207	13
4	483	9
5	949	9
6	2090	9
done	5000	9
0	11	21
1	16	21
2	19	17
3	34	17
4	35	17
done	35	17
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	11	29
1	26	29
2	80	9
3	226	9
4	432	9
5	585	9
6	1092	9
7	2895	9
done	5000	9
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	11	11
1	14	11
done	14	11
0	11	11
1	14	11
done	14	11
0	12	12
1	17	11
2	20	11
3	24	9
4	35	9
done	35	9
0	12	12
1	17	11
2	20	11
3	24	9
4	35	9
done	35	9
0	12	12
1	17	11
2	20	11
3	24	9
4	35	9
done	35	9
0	12	12
1	17	11
2	20	11
3	24	9
4	35	9
done	35	9
0	11	11
1	16	11
2	19	9
3	34	9
4	35	9
done	35	9
0	11	11
1	16	11
2	19	9
3	34	9
4	35	9
done	35	9
0	11	11
1	16	11
2	19	9
3	34	9
4	35	9
done	35	9
0	11	11
1	16	11
2	19	9
3	34	9
4	35	9
done	35	9
0	11	17
1	16	17
2	18	17
done	18	17
0	10	10
1	13	10
done	13	10
0	13	19
1	24	17
2	53	15
3	87	13
4	98	13
done	98	13
0	9	12
1	16	9
2	25	7
3	42	3
4	46	3
done	46	3
0	13	18
1	21	12
2	31	10
3	44	8
4	46	8
done	46	8
0	12	14
1	19	12
2	29	10
3	42	8
4	44	8
done	44	8
0	9	12
1	16	9
2	25	7
3	42	3
4	46	3
done	46	3
0	12	14
1	19	12
2	29	10
3	42	8
4	44	8
done	44	8
0	8	11
1	15	7
2	30	5
3	34	3
4	38	3
done	38	3
0	12	16
1	19	15
2	30	15
3	43	13
4	80	13
5	87	13
done	87	13
0	7	9
1	12	5
2	17	3
3	21	3
done	21	3
0	12	15
1	18	10
2	21	10
3	25	8
4	36	8
done	36	8
0	11	11
1	16	10
2	19	10
3	23	8
4	34	8
done	34	8
0	7	9
1	12	5
2	17	3
3	21	3
done	21	3
0	11	11
1	16	10
2	19	10
3	23	8
4	34	8
done	34	8
0	7	8
1	12	5
2	17	3
3	21	3
done	21	3
0	11	15
1	18	15
2	28	13
3	58	13
4	79	13
5	80	13
done	80	13
0	7	8
1	12	7
2	14	5
3	29	3
4	58	3
5	75	3
done	75	3
0	11	14
1	17	10
2	20	8
3	35	8
4	36	8
done	36	8
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	7	8
1	12	7
2	14	5
3	29	3
4	58	3
5	75	3
done	75	3
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	6	7
1	11	5
2	16	3
3	20	3
done	20	3
0	5	5
1	8	3
2	11	3
done	11	3
0	5	5
1	8	3
2	11	3
done	11	3
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	9	9
1	14	9
2	17	7
3	32	7
4	35	7
done	35	7
0	5	5
1	8	3
2	11	3
done	11	3
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9

prune208.0ms

Filtered

60 candidates to 123 candidates (-105.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	121	2	123
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	122	9	131

Merged error: 0.0b

Counts

131 → 9

localize14.0ms

Local error

Found 3 expressions with local error:

0.1b

(* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re))

0.1b

(/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0)))

0.8b

(* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

100×	`sqrt-prod`
69×	`add-sqr-sqrt`
64×	`times-frac`
56×	`associate-l`
45×	`*-un-lft-identity`
41×	`add-cube-cbrt`
19×	`add-exp-log` `add-cbrt-cube`
16×	`pow1`
14×	`associate-r`
12×	`unswap-sqr`
9×	`log-pow`
7×	`associate-/r*`
6×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `div-inv`
3×	`associate-*l/` `add-log-exp`
2×	`pow-prod-down` `*-commutative`
1×	`frac-times` `frac-2neg` `associate-r/` `clear-num` `associate-/l/` `associate-/l`

Counts

3 → 142

Calls

3 calls:

12.0ms

(* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re))

12.0ms

(/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0)))

26.0ms

(* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0))))

series68.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms

(* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re))

37.0ms

(/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0)))

9.0ms

(* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0))))

simplify3.2min

Counts

151 → 151

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	21
1	20	21
2	30	21
3	43	13
4	64	13
5	74	6
6	143	6
7	194	6
8	206	6
9	231	6
10	328	6
11	560	6
12	1299	6
13	4151	6
done	5000	6
0	15	25
1	25	25
2	41	25
3	62	19
4	88	19
5	138	19
6	194	19
7	260	19
8	295	19
9	353	19
10	354	19
done	354	19
0	15	24
1	25	24
2	39	24
3	64	19
4	87	19
5	129	19
6	180	19
7	239	19
8	315	19
9	377	19
10	378	19
done	378	19
0	14	23
1	23	23
2	38	23
3	74	23
4	121	18
5	183	18
6	240	18
7	296	18
8	331	18
9	387	18
10	388	18
done	388	18
0	13	22
1	24	22
2	42	22
3	82	14
4	164	14
5	257	7
6	498	7
7	752	7
8	879	7
9	939	7
10	1081	7
11	1653	7
12	3520	7
done	5000	7
0	13	22
1	23	22
2	39	22
3	70	14
4	161	14
5	382	7
6	1181	7
7	4785	7
done	5000	7
0	18	65
1	40	44
2	189	29
3	1141	19
done	5001	16
0	18	65
1	44	44
2	202	27
3	1317	20
done	5000	20
0	16	65
1	34	57
2	115	25
3	505	23
4	2618	10
done	5001	10
0	14	45
1	22	45
2	32	45
3	45	29
4	66	29
5	76	15
6	145	15
7	194	15
8	208	15
9	233	15
10	332	15
11	572	15
12	1327	15
13	4184	15
done	5000	15
0	13	22
1	21	22
2	31	22
3	44	14
4	65	14
5	75	7
6	144	7
7	195	7
8	210	7
9	235	7
10	332	7
11	567	7
12	1311	7
13	4172	7
done	5000	7
0	14	65
1	32	65
2	98	15
3	446	15
4	2323	13
done	5000	13
0	13	22
1	21	22
2	31	22
3	44	14
4	65	14
5	75	7
6	144	7
7	195	7
8	210	7
9	235	7
10	332	7
11	567	7
12	1311	7
13	4172	7
done	5000	7
0	13	22
1	21	22
2	31	22
3	44	14
4	65	14
5	75	7
6	144	7
7	195	7
8	210	7
9	235	7
10	332	7
11	567	7
12	1311	7
13	4172	7
done	5000	7
0	12	13
1	18	12
2	24	12
done	24	10
0	5	8
1	6	8
done	6	8
0	14	23
1	20	23
2	24	23
3	27	23
4	28	23
done	28	23
0	14	23
1	20	23
2	24	23
3	27	23
4	28	23
done	28	23
0	17	24
1	23	23
2	27	23
3	30	23
4	31	23
done	31	23
0	17	24
1	23	23
2	27	23
3	30	23
4	31	23
done	31	23
0	17	24
1	23	23
2	27	23
3	30	23
4	31	23
done	31	23
0	17	24
1	23	23
2	27	23
3	30	23
4	31	23
done	31	23
0	16	23
1	22	23
2	26	23
3	29	23
4	30	23
done	30	23
0	16	23
1	22	23
2	26	23
3	29	23
4	30	23
done	30	23
0	16	23
1	22	23
2	26	23
3	29	23
4	30	23
done	30	23
0	16	23
1	22	23
2	26	23
3	29	23
4	30	23
done	30	23
0	14	23
1	20	23
2	24	23
3	27	23
4	28	23
done	28	23
0	14	23
1	20	23
2	24	23
3	27	23
4	28	23
done	28	23
0	14	38
1	22	38
2	28	38
3	31	38
4	32	38
done	32	38
0	13	22
1	19	22
2	23	22
3	26	22
4	27	22
done	27	22
0	10	23
1	17	23
2	26	15
3	36	15
4	48	15
5	51	15
done	51	15
0	9	16
1	14	15
2	16	7
3	19	5
4	31	5
5	40	5
6	42	5
done	42	5
0	11	22
1	17	18
2	19	10
3	22	10
4	25	10
done	25	10
0	9	18
1	14	18
2	16	10
3	19	10
4	22	10
done	22	10
0	9	16
1	14	15
2	16	7
3	19	5
4	31	5
5	40	5
6	42	5
done	42	5
0	9	18
1	14	18
2	16	10
3	19	10
4	22	10
done	22	10
0	8	15
1	13	13
2	17	5
3	24	5
4	29	5
done	29	5
0	7	8
1	10	6
2	13	6
done	13	6
0	11	17
1	17	17
2	18	9
3	23	9
4	27	7
5	47	7
6	60	7
done	60	7
0	13	22
1	21	22
2	35	22
3	56	22
4	85	22
5	96	22
done	96	22
0	14	22
1	22	22
2	36	22
3	57	22
4	86	22
5	97	22
done	97	22
0	13	22
1	21	22
2	35	22
3	56	22
4	85	22
5	96	22
done	96	22
0	16	23
1	24	22
2	38	22
3	59	22
4	88	22
5	99	22
done	99	22
0	15	22
1	23	21
2	33	21
3	46	13
4	67	13
5	77	6
6	146	6
7	196	6
8	211	6
9	236	6
10	335	6
11	569	6
12	1313	6
13	4183	6
done	5000	6
0	17	23
1	25	22
2	39	22
3	60	22
4	89	22
5	100	22
done	100	22
0	16	23
1	24	22
2	38	22
3	59	22
4	88	22
5	99	22
done	99	22
0	15	22
1	23	21
2	33	21
3	46	13
4	67	13
5	77	6
6	146	6
7	196	6
8	211	6
9	236	6
10	335	6
11	569	6
12	1313	6
13	4183	6
done	5000	6
0	16	23
1	24	22
2	38	22
3	59	22
4	88	22
5	99	22
done	99	22
0	15	22
1	23	21
2	33	21
3	46	13
4	67	13
5	77	6
6	146	6
7	196	6
8	211	6
9	236	6
10	335	6
11	569	6
12	1313	6
13	4183	6
done	5000	6
0	16	23
1	24	22
2	38	22
3	59	22
4	88	22
5	99	22
done	99	22
0	15	22
1	23	21
2	33	21
3	46	13
4	67	13
5	77	6
6	146	6
7	196	6
8	211	6
9	236	6
10	335	6
11	569	6
12	1313	6
13	4183	6
done	5000	6
0	17	23
1	25	22
2	39	22
3	60	22
4	89	22
5	100	22
done	100	22
0	16	23
1	24	22
2	38	22
3	59	22
4	88	22
5	99	22
done	99	22
0	15	22
1	23	21
2	33	21
3	46	13
4	67	13
5	77	6
6	146	6
7	196	6
8	211	6
9	236	6
10	335	6
11	569	6
12	1313	6
13	4183	6
done	5000	6
0	16	23
1	24	22
2	38	22
3	59	22
4	88	22
5	99	22
done	99	22
0	15	22
1	23	21
2	33	21
3	46	13
4	67	13
5	77	6
6	146	6
7	196	6
8	211	6
9	236	6
10	335	6
11	569	6
12	1313	6
13	4183	6
done	5000	6
0	15	22
1	23	22
2	37	22
3	58	22
4	87	22
5	98	22
done	98	22
0	12	21
1	20	21
2	30	21
3	43	13
4	64	13
5	74	6
6	143	6
7	194	6
8	206	6
9	231	6
10	328	6
11	560	6
12	1299	6
13	4151	6
done	5000	6
0	16	22
1	24	22
2	38	22
3	59	22
4	88	22
5	99	22
done	99	22
0	15	22
1	23	22
2	37	22
3	58	22
4	87	22
5	98	22
done	98	22
0	12	21
1	20	21
2	30	21
3	43	13
4	64	13
5	74	6
6	143	6
7	194	6
8	206	6
9	231	6
10	328	6
11	560	6
12	1299	6
13	4151	6
done	5000	6
0	15	22
1	23	22
2	37	22
3	58	22
4	87	22
5	98	22
done	98	22
0	12	21
1	20	21
2	30	21
3	43	13
4	64	13
5	74	6
6	143	6
7	194	6
8	206	6
9	231	6
10	328	6
11	560	6
12	1299	6
13	4151	6
done	5000	6
0	12	21
1	20	21
2	30	21
3	43	13
4	64	13
5	74	6
6	143	6
7	194	6
8	206	6
9	231	6
10	328	6
11	560	6
12	1299	6
13	4151	6
done	5000	6
0	12	21
1	20	21
2	30	21
3	43	13
4	64	13
5	74	6
6	143	6
7	194	6
8	206	6
9	231	6
10	328	6
11	560	6
12	1299	6
13	4151	6
done	5000	6
0	13	22
1	21	22
2	35	22
3	56	22
4	85	22
5	96	22
done	96	22
0	12	21
1	20	21
2	30	21
3	43	13
4	64	13
5	74	6
6	143	6
7	194	6
8	206	6
9	231	6
10	328	6
11	560	6
12	1299	6
13	4151	6
done	5000	6
0	11	17
1	17	17
2	18	9
3	23	9
4	27	7
5	47	7
6	60	7
done	60	7
0	13	17
1	21	16
2	35	16
3	55	14
4	98	14
5	104	14
done	104	14
0	14	17
1	21	17
2	28	17
3	34	17
4	40	17
5	49	17
6	62	17
7	80	17
8	96	17
9	103	17
10	120	17
11	122	17
done	122	17
0	13	16
1	21	16
2	27	16
3	36	16
4	39	16
5	45	16
6	54	16
7	67	16
8	85	16
9	101	16
10	108	16
11	125	16
12	127	16
done	127	16
0	12	15
1	20	15
2	32	15
3	51	15
4	67	15
5	75	15
6	87	15
7	105	15
8	121	15
9	128	15
10	145	15
11	147	15
done	147	15
0	12	15
1	17	15
2	21	15
3	26	15
4	35	15
5	48	15
6	81	15
7	163	15
8	372	15
9	1020	15
10	4622	15
done	5001	15
0	17	44
1	34	31
2	138	20
3	623	18
4	2963	16
done	5000	16
0	15	44
1	36	39
2	138	18
3	718	16
4	2889	14
done	5000	14
0	13	31
1	18	31
2	22	31
3	25	31
4	26	31
done	26	31
0	12	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	13	44
1	25	44
2	66	16
3	247	16
4	1001	16
5	3070	16
done	5000	16
0	12	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	12	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	11	11
1	18	11
2	20	11
done	20	11
0	4	4
done	4	4
0	9	16
1	13	16
done	13	16
0	8	8
done	8	8
0	8	9
1	10	8
done	10	8
0	7	7
done	7	7
0	10	15
1	13	11
done	13	11
0	8	8
done	8	8
0	8	11
1	10	11
done	10	11
0	8	8
done	8	8
0	8	9
1	10	8
done	10	8
0	7	7
done	7	7
0	8	11
1	10	11
done	10	11
0	8	8
done	8	8
0	7	8
1	9	6
2	11	6
done	11	6
0	7	7
done	7	7
0	5	5
1	7	5
done	7	5
0	11	14
1	16	14
2	18	14
done	18	14
0	13	20
1	23	20
2	37	20
3	50	20
4	54	20
done	54	20
0	12	13
1	17	12
2	21	12
3	24	10
4	36	10
5	40	10
done	40	10
0	14	19
1	20	15
2	24	15
3	27	15
4	28	15
done	28	15
0	12	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	12	13
1	17	12
2	21	12
3	24	10
4	36	10
5	40	10
done	40	10
0	12	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	11	12
1	16	10
2	24	10
3	33	10
4	38	10
done	38	10
0	7	7
done	7	7
0	5	8
1	6	8
done	6	8
0	10	10
1	13	10
done	13	10
0	12	12
1	15	12
done	15	12
0	11	11
1	17	11
2	18	11
done	18	11
0	11	11
1	16	11
2	22	11
3	30	11
4	53	11
5	108	11
6	243	11
7	707	11
8	2698	11
done	5000	11
0	14	32
1	23	24
2	55	14
3	124	14
4	306	12
5	644	12
6	1404	12
7	4081	12
done	5000	12
0	12	23
1	15	23
done	15	23
0	11	11
1	14	11
done	14	11
0	12	32
1	25	32
2	54	12
3	112	12
4	196	12
5	403	12
6	681	12
7	1535	12
8	4576	12
done	5001	12
0	11	11
1	14	11
done	14	11
0	11	11
1	14	11
done	14	11
0	12	12
1	15	12
done	15	12
0	12	12
1	15	12
done	15	12
0	13	13
1	16	12
done	16	12
0	13	13
1	16	12
done	16	12
0	13	13
1	16	12
done	16	12
0	13	13
1	16	12
done	16	12
0	12	12
1	15	12
done	15	12
0	12	12
1	15	12
done	15	12
0	12	12
1	15	12
done	15	12
0	12	12
1	15	12
done	15	12
0	12	12
1	15	12
done	15	12
0	12	12
1	15	12
done	15	12
0	12	16
1	17	16
2	19	16
done	19	16
0	11	11
1	14	11
done	14	11
0	7	8
1	10	6
2	13	6
done	13	6
0	11	11
1	14	11
done	14	11
0	11	11
1	14	11
done	14	11
0	11	11
1	14	11
done	14	11
0	12	12
1	15	11
done	15	11
0	11	11
1	14	10
done	14	10
0	12	12
1	15	11
done	15	11
0	12	12
1	15	11
done	15	11
0	11	11
1	14	10
done	14	10
0	12	12
1	15	11
done	15	11
0	11	11
1	14	10
done	14	10
0	12	12
1	15	11
done	15	11
0	11	11
1	14	10
done	14	10
0	12	12
1	15	11
done	15	11
0	12	12
1	15	11
done	15	11
0	11	11
1	14	10
done	14	10
0	12	12
1	15	11
done	15	11
0	11	11
1	14	10
done	14	10
0	11	11
1	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	11
1	14	11
done	14	11
0	11	11
1	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	11
1	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	10	10
1	13	10
done	13	10
0	10	10
1	13	10
done	13	10
0	11	11
1	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	6	6
1	9	5
done	9	5
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	12	12
1	27	12
2	49	12
3	83	12
4	161	12
5	393	12
6	1205	12
7	4850	12
done	5000	12
0	12	12
1	27	12
2	49	12
3	83	12
4	161	12
5	393	12
6	1205	12
7	4850	12
done	5000	12
0	12	12
1	27	12
2	49	12
3	83	12
4	161	12
5	393	12
6	1205	12
7	4850	12
done	5000	12
0	10	10
1	18	10
2	28	10
3	48	10
4	98	10
5	249	10
6	778	10
7	3099	10
done	5001	10
0	10	10
1	18	10
2	28	10
3	48	10
4	98	10
5	249	10
6	778	10
7	3099	10
done	5001	10
0	10	10
1	18	10
2	28	10
3	48	10
4	98	10
5	249	10
6	778	10
7	3099	10
done	5001	10

prune438.0ms

Filtered

105 candidates to 151 candidates (-43.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	5	2	7
Picked	0	1	1
Done	0	1	1
Total	155	5	160

Merged error: 0b

Counts

160 → 5

regimes169.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	35
1	24	35
done	24	35

end0.0ms

sample584.0ms

Algorithm

intervals

Results

309.0ms

8000×

body

valid

Details

sample22.0ms

simplify1.0ms

prune3.0ms

localize7.0ms

rewrite5.0ms

series9.0ms

simplify5.4s

prune75.0ms

localize10.0ms

rewrite34.0ms

series23.0ms

simplify46.8s

prune263.0ms

localize10.0ms

rewrite35.0ms

series22.0ms

simplify1.1min

prune208.0ms

localize14.0ms

rewrite58.0ms

series68.0ms

simplify3.2min

prune438.0ms

regimes169.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample584.0ms

Profiling