Details

sample174.0ms

Algorithm

intervals

Results

75.0ms	76×	body	1280	valid
30.0ms	251×	body	80	valid
22.0ms	44×	body	640	valid
9.0ms	24×	body	320	valid
3.0ms	12×	body	160	valid

simplify1.6s

Counts

1 → 1

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	19	37
1	31	37
2	53	36
3	84	36
4	201	36
5	841	36
done	5001	36

prune17.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 32.8b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

2.1b	(* (atan2 x.im x.re) y.im)
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
33.4b	(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `sqrt-prod` `add-cbrt-cube`
4×	`sqrt-div` `add-log-exp`
3×	`associate-r` `associate-l`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`cos-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 56

Calls

4 calls:

4.0ms	(* (atan2 x.im x.re) y.im)
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
9.0ms	(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series101.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (atan2 x.im x.re) y.im)
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
7.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
80.0ms	(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify43.2s

Counts

68 → 68

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	16	39
1	20	39
done	20	39
0	15	19
1	19	19
done	19	19
0	16	56
1	21	56
2	23	20
3	28	20
4	34	20
5	44	20
6	65	20
7	130	20
8	340	20
9	1280	20
done	5000	20
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
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	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2456	6
done	5000	6
0	9	17
1	16	17
2	41	9
3	79	9
4	137	7
5	270	7
6	685	7
7	2486	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2707	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	12	9
done	12	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	11	3
done	11	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	1	1
1	3	1
done	3	1
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	161	11
7	183	11
8	193	11
done	193	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	251	13
6	409	13
7	508	13
8	567	13
9	577	13
done	577	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	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5

prune147.0ms

Filtered

55 candidates to 68 candidates (-23.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	62	6	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	6	69

Merged error: 20.5b

Counts

69 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
0.3b	(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
2.1b	(* (atan2 x.im x.re) y.im)
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
11×	`pow1`
10×	`add-cube-cbrt` `*-un-lft-identity`
9×	`associate-l`
8×	`add-exp-log` `add-cbrt-cube`
7×	`add-log-exp`
6×	`associate-r`
3×	`exp-prod` `sqrt-prod` `log-pow`
2×	`sqrt-pow1` `pow1/2` `sqrt-div` `exp-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `rem-exp-log` `unswap-sqr`
1×	`sub-neg` `rem-sqrt-square` `flip3-+` `exp-diff` `diff-log` `flip-+`

Counts

4 → 69

Calls

4 calls:

5.0ms	(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
6.0ms	(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
4.0ms	(* (atan2 x.im x.re) y.im)
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))

series88.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
29.0ms	(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
8.0ms	(* (atan2 x.im x.re) y.im)
7.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify1.2min

Counts

81 → 81

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	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2456	6
done	5000	6
0	9	17
1	16	17
2	41	9
3	79	9
4	137	7
5	270	7
6	685	7
7	2486	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2707	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	12	9
done	12	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	11	3
done	11	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	9	11
1	11	11
done	11	11
0	11	13
1	13	13
done	13	13
0	10	12
1	15	12
2	16	12
done	16	12
0	10	12
1	15	10
2	23	10
3	31	10
4	54	10
5	112	10
6	256	10
7	723	10
8	2468	10
done	5000	10
0	13	35
1	21	35
2	46	15
3	86	15
4	140	13
5	259	13
6	653	13
7	2444	13
done	5000	13
0	11	25
1	13	25
done	13	25
0	10	12
1	12	12
done	12	12
0	11	35
1	23	35
2	52	13
3	97	13
4	113	13
5	159	13
6	296	13
7	741	13
8	2703	13
done	5000	13
0	10	12
1	12	12
done	12	12
0	10	12
1	12	12
done	12	12
0	11	13
1	13	13
done	13	13
0	11	13
1	13	13
done	13	13
0	11	15
1	15	15
2	17	15
done	17	15
0	10	12
1	12	12
done	12	12
0	9	11
1	13	9
2	16	9
done	16	9
0	8	10
1	10	10
done	10	10
0	9	11
1	11	11
done	11	11
0	8	10
1	10	10
done	10	10
0	10	12
1	12	12
done	12	12
0	10	12
1	12	12
done	12	12
0	9	11
1	11	11
done	11	11
0	16	38
1	23	38
2	34	38
3	39	38
4	57	38
5	99	38
6	210	38
7	588	38
8	2282	38
done	5000	38
0	15	19
1	20	19
2	27	19
done	27	19
0	2	2
1	5	1
done	5	1
0	10	12
1	15	10
2	23	10
3	31	10
4	54	10
5	112	10
6	256	10
7	723	10
8	2468	10
done	5000	10
0	7	7
1	15	7
2	26	7
3	42	7
4	71	7
5	149	7
6	340	7
7	846	7
8	2652	7
done	5000	7
0	10	12
1	15	10
2	23	10
3	31	10
4	54	10
5	112	10
6	256	10
7	723	10
8	2468	10
done	5000	10
0	7	7
1	15	7
2	26	7
3	42	7
4	71	7
5	149	7
6	340	7
7	846	7
8	2652	7
done	5000	7
0	10	12
1	15	10
2	23	10
3	31	10
4	54	10
5	112	10
6	256	10
7	723	10
8	2468	10
done	5000	10
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2456	6
done	5000	6
0	15	19
1	23	17
2	44	17
3	78	17
4	168	17
5	595	17
6	3241	17
done	5001	17
0	15	19
1	23	19
2	41	18
3	67	18
4	142	18
5	528	18
6	2823	18
done	5000	18
0	16	39
1	24	39
2	42	37
3	66	37
4	132	37
5	464	37
6	2473	37
done	5000	37
0	15	19
1	23	19
2	41	18
3	65	18
4	131	18
5	463	18
6	2481	18
done	5000	18
0	16	56
1	27	55
2	68	19
3	187	19
4	747	19
done	5000	19
0	15	19
1	23	19
2	41	18
3	65	18
4	131	18
5	467	18
6	2493	18
done	5001	18
0	15	19
1	23	19
2	41	18
3	65	18
4	131	18
5	467	18
6	2493	18
done	5001	18
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	9	9
1	17	8
2	28	7
3	58	7
4	111	7
5	186	7
6	244	7
7	270	7
8	319	7
9	345	7
done	345	7
0	14	17
1	27	16
2	57	12
3	89	12
4	109	12
5	153	12
6	226	12
7	319	12
8	402	12
9	432	12
10	442	12
11	452	12
done	452	12
0	15	18
1	31	16
2	58	14
3	113	11
4	236	10
5	532	10
6	1907	10
done	5000	10
0	16	18
1	32	17
2	56	15
3	109	13
4	242	13
5	629	12
6	2071	12
done	5000	12

prune161.0ms

Filtered

62 candidates to 81 candidates (-30.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	76	5	81
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	78	9	87

Merged error: 3.9b

Counts

87 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (/ x.re -1) y.re)
0.0b	(exp (* y.im (atan2 x.im x.re)))
0.2b	(/ (pow (/ x.re -1) y.re) (exp (* y.im (atan2 x.im x.re))))
2.1b	(* y.im (atan2 x.im x.re))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

96×	`times-frac`
66×	`add-sqr-sqrt`
65×	`unpow-prod-down`
64×	`add-cube-cbrt` `*-un-lft-identity`
17×	`associate-/l*`
13×	`add-exp-log`
8×	`add-cbrt-cube`
7×	`pow1`
6×	`div-exp` `div-inv` `add-log-exp`
5×	`sqr-pow`
4×	`pow-exp`
3×	`pow-unpow` `associate-r` `associate-l` `associate-/r*`
2×	`pow-to-exp`
1×	`cbrt-undiv` `exp-prod` `exp-to-pow` `pow-pow` `frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `rem-exp-log` `unswap-sqr`

Counts

4 → 142

Calls

4 calls:

9.0ms	(pow (/ x.re -1) y.re)
2.0ms	(exp (* y.im (atan2 x.im x.re)))
10.0ms	(/ (pow (/ x.re -1) y.re) (exp (* y.im (atan2 x.im x.re))))
4.0ms	(* y.im (atan2 x.im x.re))

series58.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(pow (/ x.re -1) y.re)
9.0ms	(exp (* y.im (atan2 x.im x.re)))
31.0ms	(/ (pow (/ x.re -1) y.re) (exp (* y.im (atan2 x.im x.re))))
5.0ms	(* y.im (atan2 x.im x.re))

simplify13.4min

Counts

154 → 154

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5001	6
0	9	17
1	16	17
2	41	9
3	78	9
4	138	7
5	268	7
6	671	7
7	2479	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2713	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	12	13
1	18	13
2	32	13
3	43	13
4	57	13
5	65	13
6	77	13
7	111	13
8	167	13
9	227	13
10	232	13
done	232	13
0	11	12
1	18	12
2	27	12
3	34	12
4	45	12
5	59	12
6	67	12
7	79	12
8	113	12
9	169	12
10	229	12
11	234	12
done	234	12
0	11	12
1	18	12
2	27	12
3	34	12
4	45	12
5	59	12
6	67	12
7	79	12
8	113	12
9	169	12
10	229	12
11	234	12
done	234	12
0	11	12
1	20	12
2	38	12
3	69	12
4	165	12
5	510	12
6	2006	12
done	5000	12
0	12	13
1	22	13
2	42	12
3	111	12
4	334	12
5	1603	12
done	5000	12
0	12	13
1	19	13
2	31	13
3	70	13
4	223	13
5	1093	13
done	5000	13
0	15	38
1	35	33
2	109	16
3	444	14
4	3134	14
done	5000	14
0	13	27
1	20	27
2	32	27
3	71	27
4	220	27
5	1062	27
done	5001	27
0	12	13
1	19	13
2	31	13
3	70	13
4	219	13
5	1065	13
done	5000	13
0	13	38
1	27	38
2	62	14
3	222	14
4	1575	14
done	5001	14
0	12	13
1	19	13
2	31	13
3	70	13
4	220	13
5	1067	13
done	5000	13
0	12	13
1	19	13
2	31	13
3	70	13
4	220	13
5	1067	13
done	5000	13
0	6	6
1	10	6
2	18	6
3	43	6
4	107	6
5	286	6
6	978	6
7	3760	6
done	5001	6
0	7	7
1	10	7
2	16	7
3	27	7
4	60	7
5	144	7
6	392	7
7	1236	7
8	4961	7
done	5000	7
0	15	27
1	24	27
2	40	27
3	84	27
4	214	27
5	645	27
6	2370	27
done	5000	27
0	13	14
1	20	14
2	32	14
3	64	14
4	146	14
5	382	14
6	1180	14
7	4451	14
done	5001	14
0	14	19
1	21	19
2	33	19
3	66	19
4	149	19
5	381	19
6	1187	19
7	4450	19
done	5000	19
0	13	14
1	20	14
2	32	14
3	65	14
4	148	14
5	385	14
6	1189	14
7	4453	14
done	5000	14
0	9	13
1	15	11
2	24	11
3	50	11
4	122	11
5	342	11
6	1284	11
done	5000	11
0	12	13
1	19	13
2	31	13
3	70	13
4	221	13
5	1067	13
done	5000	13
0	14	22
1	23	22
2	39	22
3	83	22
4	211	22
5	639	22
6	2373	22
done	5000	22
0	13	14
1	20	14
2	32	14
3	64	14
4	146	14
5	382	14
6	1180	14
7	4451	14
done	5001	14
0	13	14
1	20	14
2	32	14
3	65	14
4	148	14
5	385	14
6	1189	14
7	4453	14
done	5000	14
0	13	14
1	20	14
2	32	14
3	65	14
4	148	14
5	385	14
6	1189	14
7	4453	14
done	5000	14
0	8	8
1	14	6
2	23	6
3	49	6
4	123	6
5	345	6
6	1290	6
done	5000	6
0	12	13
1	19	13
2	31	13
3	70	13
4	221	13
5	1067	13
done	5000	13
0	17	29
1	32	29
2	57	29
3	107	29
4	237	29
5	671	29
6	2428	29
done	5001	29
0	14	15
1	21	15
2	33	15
3	65	15
4	147	15
5	379	15
6	1181	15
7	4458	15
done	5000	15
0	16	21
1	29	21
2	50	21
3	89	21
4	172	21
5	410	21
6	1212	21
7	4503	21
done	5000	21
0	14	15
1	21	15
2	33	15
3	66	15
4	149	15
5	381	15
6	1187	15
7	4450	15
done	5000	15
0	11	15
1	23	13
2	41	13
3	73	13
4	147	13
5	372	13
6	1326	13
done	5001	13
0	13	14
1	20	14
2	32	14
3	71	14
4	220	14
5	1063	14
done	5001	14
0	16	26
1	27	26
2	45	26
3	90	26
4	218	26
5	644	26
6	2382	26
done	5000	26
0	14	15
1	21	15
2	33	15
3	65	15
4	147	15
5	379	15
6	1181	15
7	4458	15
done	5000	15
0	15	18
1	24	18
2	38	18
3	72	18
4	155	18
5	391	18
6	1200	18
7	4498	18
done	5000	18
0	14	15
1	21	15
2	33	15
3	66	15
4	149	15
5	381	15
6	1187	15
7	4450	15
done	5000	15
0	10	12
1	18	10
2	29	10
3	56	10
4	128	10
5	355	10
6	1300	10
done	5000	10
0	13	14
1	20	14
2	32	14
3	71	14
4	220	14
5	1063	14
done	5001	14
0	15	25
1	28	23
2	50	23
3	99	23
4	226	23
5	659	23
6	2393	23
done	5001	23
0	13	14
1	20	14
2	32	14
3	64	14
4	146	14
5	382	14
6	1180	14
7	4451	14
done	5001	14
0	14	17
1	25	15
2	43	15
3	81	15
4	163	15
5	399	15
6	1203	15
7	4504	15
done	5000	15
0	13	14
1	20	14
2	32	14
3	65	14
4	148	14
5	385	14
6	1189	14
7	4453	14
done	5000	14
0	8	11
1	16	7
2	30	7
3	61	7
4	133	7
5	357	7
6	1317	7
done	5000	7
0	12	13
1	19	13
2	31	13
3	70	13
4	221	13
5	1067	13
done	5000	13
0	16	26
1	27	26
2	43	26
3	87	26
4	217	26
5	650	26
6	2375	26
done	5000	26
0	14	15
1	21	15
2	33	15
3	65	15
4	147	15
5	379	15
6	1181	15
7	4458	15
done	5000	15
0	15	18
1	24	18
2	36	18
3	69	18
4	152	18
5	390	18
6	1202	18
7	4497	18
done	5000	18
0	14	15
1	21	15
2	33	15
3	66	15
4	149	15
5	381	15
6	1187	15
7	4450	15
done	5000	15
0	10	12
1	18	10
2	27	10
3	53	10
4	125	10
5	350	10
6	1289	10
done	5000	10
0	13	14
1	20	14
2	32	14
3	71	14
4	220	14
5	1063	14
done	5001	14
0	15	23
1	24	23
2	40	23
3	84	23
4	214	23
5	645	23
6	2370	23
done	5000	23
0	14	15
1	21	15
2	33	15
3	65	15
4	147	15
5	379	15
6	1181	15
7	4458	15
done	5000	15
0	14	15
1	21	15
2	33	15
3	66	15
4	149	15
5	381	15
6	1187	15
7	4450	15
done	5000	15
0	14	15
1	21	15
2	33	15
3	66	15
4	149	15
5	381	15
6	1187	15
7	4450	15
done	5000	15
0	9	9
1	15	7
2	24	7
3	50	7
4	122	7
5	342	7
6	1284	7
done	5000	7
0	13	14
1	20	14
2	32	14
3	71	14
4	220	14
5	1063	14
done	5001	14
0	14	22
1	25	20
2	43	20
3	87	20
4	214	20
5	642	20
6	2362	20
done	5001	20
0	13	14
1	20	14
2	32	14
3	64	14
4	146	14
5	382	14
6	1180	14
7	4451	14
done	5001	14
0	13	14
1	22	12
2	36	12
3	69	12
4	151	12
5	384	12
6	1183	12
7	4488	12
done	5000	12
0	13	14
1	20	14
2	32	14
3	65	14
4	148	14
5	385	14
6	1189	14
7	4453	14
done	5000	14
0	7	8
1	13	4
2	23	4
3	49	4
4	123	4
5	344	4
6	1271	4
done	5000	4
0	12	13
1	19	13
2	31	13
3	70	13
4	221	13
5	1067	13
done	5000	13
0	16	25
1	29	25
2	45	25
3	89	25
4	216	25
5	652	25
6	2391	25
done	5001	25
0	13	14
1	20	14
2	32	14
3	64	14
4	146	14
5	382	14
6	1180	14
7	4451	14
done	5001	14
0	15	17
1	26	17
2	38	17
3	71	17
4	153	17
5	387	17
6	1191	17
7	4483	17
done	5000	17
0	13	14
1	20	14
2	32	14
3	65	14
4	148	14
5	385	14
6	1189	14
7	4453	14
done	5000	14
0	8	11
1	16	9
2	25	9
3	51	9
4	123	9
5	348	9
6	1276	9
done	5000	9
0	12	13
1	19	13
2	31	13
3	70	13
4	221	13
5	1067	13
done	5000	13
0	15	22
1	26	22
2	42	22
3	86	22
4	213	22
5	644	22
6	2387	22
done	5000	22
0	13	14
1	20	14
2	32	14
3	64	14
4	146	14
5	382	14
6	1180	14
7	4451	14
done	5001	14
0	14	14
1	23	14
2	35	14
3	68	14
4	152	14
5	386	14
6	1192	14
7	4485	14
done	5000	14
0	13	14
1	20	14
2	32	14
3	65	14
4	148	14
5	385	14
6	1189	14
7	4453	14
done	5000	14
0	7	8
1	13	6
2	22	6
3	48	6
4	122	6
5	342	6
6	1279	6
done	5001	6
0	12	13
1	19	13
2	31	13
3	70	13
4	221	13
5	1067	13
done	5000	13
0	13	21
1	24	19
2	40	17
3	66	17
4	98	17
5	163	17
6	319	17
7	788	17
8	2782	17
done	5000	17
0	12	13
1	19	13
2	31	13
3	63	13
4	145	13
5	378	13
6	1175	13
7	4486	13
done	5001	13
0	12	13
1	21	11
2	33	9
3	52	9
4	85	9
5	152	9
6	306	9
7	775	9
8	2790	9
done	5001	9
0	12	13
1	19	13
2	31	13
3	64	13
4	147	13
5	380	13
6	1180	13
7	4459	13
done	5000	13
0	5	7
1	11	3
2	20	1
3	29	1
4	39	1
5	52	1
6	66	1
7	82	1
8	101	1
9	123	1
10	148	1
11	176	1
12	207	1
13	241	1
14	278	1
15	318	1
16	361	1
17	407	1
18	456	1
19	508	1
20	563	1
21	621	1
22	682	1
23	746	1
24	813	1
25	883	1
26	956	1
27	1032	1
28	1111	1
29	1193	1
30	1278	1
31	1366	1
32	1457	1
33	1551	1
34	1648	1
35	1748	1
36	1851	1
37	1957	1
38	2066	1
39	2178	1
40	2293	1
41	2411	1
42	2532	1
43	2656	1
44	2783	1
45	2913	1
46	3046	1
47	3182	1
48	3321	1
49	3463	1
50	3608	1
51	3756	1
52	3907	1
53	4061	1
54	4218	1
55	4378	1
56	4541	1
57	4707	1
58	4876	1
done	5000	1
0	11	12
1	18	12
2	30	12
3	69	12
4	218	12
5	1061	12
done	5000	12
0	12	19
1	23	17
2	31	17
3	45	17
4	73	17
5	138	17
6	293	17
7	765	17
8	2776	17
done	5000	17
0	12	13
1	19	13
2	31	13
3	63	13
4	145	13
5	378	13
6	1175	13
7	4486	13
done	5001	13
0	11	11
1	20	9
2	28	9
3	43	9
4	72	9
5	135	9
6	292	9
7	765	9
8	2776	9
done	5000	9
0	12	13
1	19	13
2	31	13
3	64	13
4	147	13
5	380	13
6	1180	13
7	4459	13
done	5000	13
0	4	5
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	11	12
1	18	12
2	30	12
3	69	12
4	218	12
5	1061	12
done	5000	12
0	11	19
1	20	19
2	36	19
3	80	19
4	210	19
5	636	19
6	2375	19
done	5000	19
0	13	13
1	22	11
2	34	11
3	66	11
4	147	11
5	380	11
6	1189	11
7	4477	11
done	5000	11
0	10	11
1	17	11
2	29	11
3	62	11
4	147	11
5	382	11
6	1188	11
7	4475	11
done	5000	11
0	13	13
1	22	11
2	34	11
3	67	11
4	149	11
5	382	11
6	1184	11
7	4444	11
done	5000	11
0	5	5
1	11	3
2	20	3
3	46	3
4	120	3
5	349	3
6	1274	3
done	5000	3
0	12	12
1	21	10
2	33	10
3	72	10
4	220	10
5	1060	10
done	5001	10
0	15	29
1	28	29
2	47	29
3	79	29
4	140	29
5	302	29
6	802	29
7	2621	29
done	5000	29
0	13	14
1	20	14
2	30	14
3	56	14
4	117	14
5	272	14
6	770	14
7	2591	14
done	5000	14
0	14	21
1	23	21
2	35	21
3	63	21
4	125	21
5	287	21
6	783	21
7	2612	21
done	5001	21
0	13	14
1	20	14
2	30	14
3	57	14
4	119	14
5	274	14
6	778	14
7	2603	14
done	5001	14
0	9	15
1	17	13
2	28	13
3	51	13
4	90	13
5	192	13
6	557	13
7	1968	13
done	5001	13
0	12	13
1	19	13
2	29	13
3	57	13
4	124	13
5	301	13
6	849	13
7	2804	13
done	5000	13
0	14	22
1	23	22
2	34	22
3	60	22
4	121	22
5	281	22
6	782	22
7	2600	22
done	5000	22
0	13	14
1	20	14
2	31	14
3	57	14
4	118	14
5	277	14
6	781	14
7	2609	14
done	5001	14
0	13	14
1	20	14
2	31	14
3	58	14
4	120	14
5	280	14
6	779	14
7	2585	14
done	5001	14
0	13	14
1	20	14
2	31	14
3	58	14
4	120	14
5	280	14
6	779	14
7	2585	14
done	5001	14
0	8	8
1	14	6
2	22	6
3	40	6
4	79	6
5	179	6
6	545	6
7	1946	6
done	5000	6
0	12	13
1	19	13
2	30	13
3	58	13
4	125	13
5	300	13
6	853	13
7	2813	13
done	5000	13
0	10	17
1	17	17
2	23	17
3	31	17
4	54	17
5	111	17
6	253	17
7	711	17
8	2726	17
done	5001	17
0	12	13
1	19	13
2	31	13
3	63	13
4	145	13
5	378	13
6	1175	13
7	4486	13
done	5001	13
0	9	9
1	14	9
2	20	9
3	29	9
4	53	9
5	108	9
6	252	9
7	713	9
8	2721	9
done	5000	9
0	12	13
1	19	13
2	31	13
3	64	13
4	147	13
5	380	13
6	1180	13
7	4459	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	11	12
1	18	12
2	30	12
3	69	12
4	218	12
5	1061	12
done	5000	12
0	15	23
1	23	23
2	42	23
3	89	23
4	225	23
5	673	23
6	2529	23
done	5000	23
0	14	15
1	20	15
2	35	15
3	70	15
4	160	15
5	421	15
6	1353	15
done	5000	15
0	14	15
1	20	15
2	35	15
3	71	15
4	162	15
5	419	15
6	1348	15
done	5001	15
0	14	15
1	20	15
2	35	15
3	71	15
4	162	15
5	419	15
6	1348	15
done	5001	15
0	9	9
1	14	7
2	26	7
3	55	7
4	135	7
5	374	7
6	1453	7
done	5000	7
0	13	14
1	19	14
2	34	14
3	76	14
4	233	14
5	1101	14
done	5001	14
0	8	8
1	15	7
2	27	7
3	43	7
4	84	7
5	176	7
6	418	7
7	1150	7
8	4431	7
done	5000	7
0	11	12
1	18	12
2	30	12
3	68	12
4	210	12
5	1010	12
done	5000	12
0	13	21
1	22	21
2	38	21
3	82	21
4	210	21
5	638	21
6	2387	21
done	5000	21
0	12	13
1	19	13
2	31	13
3	64	13
4	147	13
5	380	13
6	1180	13
7	4459	13
done	5000	13
0	7	7
1	13	5
2	22	5
3	48	5
4	120	5
5	342	5
6	1267	5
done	5000	5
0	12	13
1	19	13
2	31	13
3	69	13
4	211	13
5	1002	13
done	5001	13
0	12	13
1	19	13
2	31	13
3	69	13
4	211	13
5	1002	13
done	5001	13
0	13	14
1	20	14
2	32	14
3	70	14
4	212	14
5	1003	14
done	5000	14
0	13	14
1	20	14
2	32	14
3	70	14
4	212	14
5	1003	14
done	5000	14
0	12	13
1	19	13
2	31	13
3	69	13
4	211	13
5	1002	13
done	5001	13
0	13	14
1	20	14
2	32	14
3	70	14
4	212	14
5	1003	14
done	5000	14
0	13	14
1	20	14
2	32	14
3	70	14
4	212	14
5	1003	14
done	5000	14
0	12	13
1	19	13
2	31	13
3	69	13
4	211	13
5	1002	13
done	5001	13
0	12	13
1	19	13
2	31	13
3	69	13
4	211	13
5	1002	13
done	5001	13
0	12	13
1	19	13
2	31	13
3	69	13
4	211	13
5	1002	13
done	5001	13
0	11	12
1	18	12
2	30	12
3	68	12
4	210	12
5	1010	12
done	5000	12
0	11	12
1	18	12
2	30	12
3	68	12
4	210	12
5	1010	12
done	5000	12
0	12	12
1	21	10
2	33	10
3	71	10
4	212	10
5	1001	10
done	5001	10
0	12	13
1	19	13
2	29	13
3	57	13
4	128	13
5	315	13
6	898	13
7	3100	13
done	5000	13
0	12	13
1	19	13
2	30	13
3	58	13
4	129	13
5	316	13
6	914	13
7	3107	13
done	5000	13
0	11	12
1	18	12
2	30	12
3	68	12
4	210	12
5	1010	12
done	5000	12
0	13	14
1	19	14
2	34	14
3	75	14
4	225	14
5	1043	14
done	5000	14
0	2	2
done	2	2
0	7	7
1	10	5
2	18	5
3	31	5
4	64	5
5	160	5
6	483	5
7	1808	5
done	5001	5
0	7	7
1	10	7
2	16	7
3	26	7
4	56	7
5	132	7
6	349	7
7	1111	7
8	4780	7
done	5000	7
0	8	15
1	11	15
2	17	15
3	25	15
4	48	15
5	104	15
6	248	15
7	706	15
8	2706	15
done	5001	15
0	7	7
1	10	7
2	16	7
3	24	7
4	47	7
5	105	7
6	245	7
7	710	7
8	2716	7
done	5000	7
0	8	20
1	14	19
2	33	8
3	81	8
4	198	8
5	668	8
6	3544	8
done	5000	8
0	7	7
1	10	7
2	16	7
3	25	7
4	49	7
5	105	7
6	246	7
7	704	7
8	2719	7
done	5000	7
0	7	7
1	10	7
2	16	7
3	25	7
4	49	7
5	105	7
6	246	7
7	704	7
8	2719	7
done	5000	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	28	6
done	28	6
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	28	6
done	28	6
0	3	3
1	6	1
done	6	1
0	7	9
1	11	9
2	18	9
3	42	9
4	99	9
5	263	9
6	895	9
7	3356	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	2195	6
done	5000	6
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	7	11
1	11	11
2	16	11
3	34	11
4	74	11
5	181	11
6	552	11
7	1968	11
done	5000	11
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	9	13
1	19	13
2	33	13
3	57	13
4	99	13
5	206	13
6	581	13
7	1999	13
done	5000	13
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	8	10
1	14	10
2	21	10
3	40	10
4	80	10
5	186	10
6	560	10
7	1979	10
done	5001	10
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	9
1	15	7
2	26	7
3	49	7
4	88	7
5	192	7
6	563	7
7	1956	7
done	5000	7
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	8	10
1	14	10
2	19	10
3	37	10
4	77	10
5	182	10
6	564	10
7	1969	10
done	5000	10
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	6	6
1	12	4
2	19	4
3	37	4
4	76	4
5	182	4
6	557	4
7	1966	4
done	5000	4
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	7	9
1	15	9
2	20	9
3	38	9
4	77	9
5	177	9
6	555	9
7	1977	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	12	6
2	17	6
3	35	6
4	74	6
5	180	6
6	564	6
7	1967	6
done	5001	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	5	5
1	11	3
2	16	3
3	34	3
4	73	3
5	176	3
6	552	3
7	1966	3
done	5000	3
0	6	6
1	12	6
2	23	6
3	48	6
4	133	6
5	421	6
6	1610	6
done	5001	6
0	6	6
1	10	6
2	17	6
3	40	6
4	95	6
5	263	6
6	884	6
7	3731	6
done	5000	6
0	7	13
1	11	13
2	16	13
3	34	13
4	74	13
5	183	13
6	561	13
7	1977	13
done	5000	13
0	6	6
1	10	6
2	15	6
3	33	6
4	73	6
5	179	6
6	562	6
7	1956	6
done	5001	6
0	7	17
1	14	13
2	35	7
3	88	7
4	241	7
5	800	7
6	3662	7
done	5000	7
0	6	6
1	10	6
2	16	6
3	34	6
4	74	6
5	183	6
6	559	6
7	1979	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	34	6
4	74	6
5	183	6
6	559	6
7	1979	6
done	5000	6
0	7	7
1	10	7
2	18	7
3	39	7
4	87	7
5	215	7
6	717	7
7	2546	7
done	5001	7
0	7	7
1	10	7
2	18	7
3	39	7
4	87	7
5	215	7
6	717	7
7	2546	7
done	5001	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	15	18
1	29	17
2	59	15
3	100	15
4	124	15
5	163	15
6	264	15
7	402	15
8	534	15
9	605	15
10	707	15
11	718	15
done	718	15
0	16	17
1	32	15
2	55	14
3	120	14
4	296	12
5	961	11
done	5000	11
0	16	17
1	31	15
2	55	14
3	129	14
4	349	14
5	1263	12
done	5000	12
0	14	19
1	32	19
2	89	19
3	254	17
4	864	17
5	3242	17
done	5001	17
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5001	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5001	6
0	24	46
1	64	43
2	221	40
3	799	37
4	2604	31
done	5000	31
0	10	10
1	21	9
2	37	8
3	75	8
4	148	5
5	312	4
6	705	4
7	2192	4
done	5000	4
0	10	10
1	20	9
2	37	8
3	87	8
4	202	7
5	456	5
6	942	4
7	2143	4
done	5000	4

prune315.0ms

Filtered

124 candidates to 154 candidates (-24.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	152	2	154
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	153	10	163

Merged error: 3.9b

Counts

163 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (/ x.re -1) y.re)
0.0b	(exp (- (log (pow (/ x.re -1) y.re)) (* y.im (atan2 x.im x.re))))
2.1b	(* y.im (atan2 x.im x.re))
2.2b	(log (pow (/ x.re -1) y.re))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

39×	`unpow-prod-down`
34×	`log-prod`
33×	`add-sqr-sqrt`
31×	`add-cube-cbrt` `*-un-lft-identity`
27×	`times-frac`
19×	`exp-sum`
17×	`associate--l+`
13×	`add-exp-log`
7×	`pow1`
6×	`add-cbrt-cube` `add-log-exp`
4×	`rem-log-exp` `pow-exp`
3×	`pow-unpow` `exp-prod` `associate-r` `associate-l` `div-inv` `sqr-pow`
2×	`pow-to-exp` `div-exp` `rem-exp-log`
1×	`sub-neg` `pow-pow` `exp-diff` `diff-log` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 107

Calls

4 calls:

5.0ms	(pow (/ x.re -1) y.re)
10.0ms	(exp (- (log (pow (/ x.re -1) y.re)) (* y.im (atan2 x.im x.re))))
4.0ms	(* y.im (atan2 x.im x.re))
5.0ms	(log (pow (/ x.re -1) y.re))

series70.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(pow (/ x.re -1) y.re)
36.0ms	(exp (- (log (pow (/ x.re -1) y.re)) (* y.im (atan2 x.im x.re))))
5.0ms	(* y.im (atan2 x.im x.re))
16.0ms	(log (pow (/ x.re -1) y.re))

simplify12.1min

Counts

119 → 119

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	8	12
1	14	12
2	24	12
3	52	9
4	132	9
5	382	9
6	1318	9
done	5000	9
0	7	7
1	13	7
2	21	7
3	44	7
4	110	7
5	310	7
6	1095	7
done	5000	7
0	7	7
1	13	7
2	21	7
3	44	7
4	110	7
5	310	7
6	1095	7
done	5000	7
0	7	7
1	13	7
2	21	7
3	44	7
4	110	7
5	310	7
6	1095	7
done	5000	7
0	10	14
1	22	14
2	50	14
3	100	10
4	280	10
5	910	10
6	3969	10
done	5001	10
0	8	8
1	14	8
2	25	8
3	50	8
4	135	8
5	420	8
6	1615	8
done	5000	8
0	9	11
1	17	11
2	33	11
3	65	11
4	190	11
5	621	11
6	2610	11
done	5001	11
0	8	8
1	14	8
2	25	8
3	50	8
4	135	8
5	420	8
6	1615	8
done	5000	8
0	8	10
1	18	8
2	38	8
3	83	7
4	219	7
5	592	7
6	1787	7
done	5000	7
0	7	7
1	13	7
2	24	7
3	49	7
4	136	7
5	423	7
6	1610	7
done	5000	7
0	9	11
1	17	11
2	31	11
3	60	11
4	169	11
5	562	11
6	2323	11
done	5000	11
0	8	8
1	14	8
2	25	8
3	50	8
4	135	8
5	420	8
6	1615	8
done	5000	8
0	8	8
1	14	8
2	25	8
3	50	8
4	135	8
5	420	8
6	1615	8
done	5000	8
0	8	8
1	14	8
2	25	8
3	50	8
4	135	8
5	420	8
6	1615	8
done	5000	8
0	7	7
1	15	5
2	27	5
3	54	5
4	137	5
5	411	5
6	1254	5
done	5000	5
0	7	7
1	13	7
2	24	7
3	49	7
4	136	7
5	423	7
6	1610	7
done	5000	7
0	8	10
1	18	10
2	33	9
3	65	9
4	176	8
5	589	7
6	2099	7
done	5000	7
0	7	7
1	13	7
2	24	7
3	49	7
4	136	7
5	423	7
6	1610	7
done	5000	7
0	7	7
1	15	7
2	27	6
3	55	6
4	143	6
5	459	6
6	1530	6
done	5000	6
0	7	7
1	13	7
2	24	7
3	49	7
4	136	7
5	423	7
6	1610	7
done	5000	7
0	5	6
1	13	3
2	20	1
3	29	1
4	39	1
5	52	1
6	66	1
7	82	1
8	101	1
9	123	1
10	148	1
11	176	1
12	207	1
13	241	1
14	278	1
15	318	1
16	361	1
17	407	1
18	456	1
19	508	1
20	563	1
21	621	1
22	682	1
23	746	1
24	813	1
25	883	1
26	956	1
27	1032	1
28	1111	1
29	1193	1
30	1278	1
31	1366	1
32	1457	1
33	1551	1
34	1648	1
35	1748	1
36	1851	1
37	1957	1
38	2066	1
39	2178	1
40	2293	1
41	2411	1
42	2532	1
43	2656	1
44	2783	1
45	2913	1
46	3046	1
47	3182	1
48	3321	1
49	3463	1
50	3608	1
51	3756	1
52	3907	1
53	4061	1
54	4218	1
55	4378	1
56	4541	1
57	4707	1
58	4876	1
done	5000	1
0	6	6
1	12	6
2	23	6
3	48	6
4	133	6
5	421	6
6	1610	6
done	5001	6
0	4	4
1	11	1
2	14	1
3	20	1
4	27	1
5	37	1
6	50	1
7	66	1
8	85	1
9	107	1
10	132	1
11	160	1
12	191	1
13	225	1
14	262	1
15	302	1
16	345	1
17	391	1
18	440	1
19	492	1
20	547	1
21	605	1
22	666	1
23	730	1
24	797	1
25	867	1
26	940	1
27	1016	1
28	1095	1
29	1177	1
30	1262	1
31	1350	1
32	1441	1
33	1535	1
34	1632	1
35	1732	1
36	1835	1
37	1941	1
38	2050	1
39	2162	1
40	2277	1
41	2395	1
42	2516	1
43	2640	1
44	2767	1
45	2897	1
46	3030	1
47	3166	1
48	3305	1
49	3447	1
50	3592	1
51	3740	1
52	3891	1
53	4045	1
54	4202	1
55	4362	1
56	4525	1
57	4691	1
58	4860	1
done	5000	1
0	6	6
1	12	6
2	23	6
3	48	6
4	133	6
5	421	6
6	1610	6
done	5001	6
0	4	4
1	10	4
2	18	4
3	41	4
4	109	4
5	313	4
6	1095	4
7	4992	4
done	5000	4
0	6	6
1	14	4
2	22	4
3	45	4
4	110	4
5	309	4
6	1091	4
done	5000	4
0	8	14
1	14	14
2	20	9
3	39	9
4	79	9
5	184	9
6	561	9
7	1961	9
done	5000	9
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	183	7
6	561	7
7	1977	7
done	5000	7
0	7	7
1	11	7
2	17	7
3	35	7
4	75	7
5	185	7
6	569	7
7	1989	7
done	5000	7
0	7	7
1	11	7
2	17	7
3	35	7
4	75	7
5	185	7
6	569	7
7	1989	7
done	5000	7
0	2	2
1	4	1
done	4	1
0	6	6
1	12	6
2	23	6
3	48	6
4	133	6
5	421	6
6	1610	6
done	5001	6
0	8	8
1	13	8
2	29	8
3	60	8
4	164	8
5	526	8
6	2014	8
done	5000	8
0	8	8
1	13	8
2	29	8
3	60	8
4	164	8
5	526	8
6	2014	8
done	5000	8
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	7	7
1	13	7
2	27	7
3	53	7
4	143	7
5	445	7
6	1716	7
done	5000	7
0	7	7
1	13	5
2	26	5
3	60	5
4	171	5
5	548	5
6	2155	4
done	5000	4
0	8	15
1	14	15
2	25	15
3	50	15
4	135	15
5	419	15
6	1602	15
done	5000	15
0	7	7
1	13	7
2	24	7
3	49	7
4	136	7
5	419	7
6	1603	7
done	5000	7
0	8	20
1	15	20
2	39	8
3	111	8
4	411	8
5	2642	8
done	5001	8
0	7	7
1	13	7
2	24	7
3	49	7
4	136	7
5	419	7
6	1603	7
done	5000	7
0	7	7
1	13	7
2	24	7
3	49	7
4	136	7
5	419	7
6	1603	7
done	5000	7
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5001	6
0	9	17
1	16	17
2	41	9
3	78	9
4	138	7
5	268	7
6	671	7
7	2479	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2713	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	14	28
1	25	28
2	46	28
3	82	28
4	194	28
5	577	28
6	2182	28
done	5000	28
0	13	14
1	22	14
2	40	14
3	71	14
4	167	14
5	514	14
6	2012	14
done	5000	14
0	2	2
1	5	1
done	5	1
0	7	7
1	13	5
2	26	5
3	60	5
4	171	5
5	548	5
6	2155	4
done	5000	4
0	7	7
1	15	7
2	26	7
3	42	7
4	71	7
5	149	7
6	340	7
7	846	7
8	2656	7
done	5000	7
0	9	13
1	15	11
2	27	11
3	64	10
4	171	10
5	515	8
6	1828	8
done	5000	8
0	13	14
1	25	14
2	48	13
3	105	13
4	302	13
5	1363	13
done	5000	13
0	8	8
1	14	6
2	24	6
3	56	6
4	140	6
5	414	6
6	1494	6
done	5001	6
0	13	14
1	25	14
2	48	13
3	105	13
4	302	13
5	1363	13
done	5000	13
0	11	15
1	23	13
2	53	13
3	112	11
4	347	11
5	1161	9
done	5000	9
0	14	15
1	26	15
2	52	14
3	111	14
4	337	14
5	1518	14
done	5000	14
0	10	12
1	18	10
2	36	10
3	77	10
4	240	10
5	788	10
6	3392	9
done	5000	9
0	14	15
1	26	15
2	52	14
3	111	14
4	337	14
5	1518	14
done	5000	14
0	9	11
1	19	7
2	41	7
3	95	7
4	266	7
5	761	6
6	2466	6
done	5001	6
0	13	14
1	25	14
2	51	13
3	110	13
4	334	13
5	1517	13
done	5001	13
0	10	12
1	18	10
2	34	10
3	72	10
4	215	10
5	726	10
6	3087	9
done	5000	9
0	14	15
1	26	15
2	52	14
3	111	14
4	337	14
5	1518	14
done	5000	14
0	9	9
1	15	7
2	28	7
3	62	7
4	173	7
5	550	7
6	2164	7
done	5001	7
0	14	15
1	26	15
2	52	14
3	111	14
4	337	14
5	1518	14
done	5000	14
0	8	8
1	16	4
2	30	4
3	66	4
4	168	4
5	532	4
6	1747	4
done	5001	4
0	13	14
1	25	14
2	51	13
3	110	13
4	334	13
5	1517	13
done	5001	13
0	9	11
1	19	9
2	36	9
3	77	9
4	224	9
5	766	8
6	2795	7
done	5000	7
0	13	14
1	25	14
2	51	13
3	110	13
4	334	13
5	1517	13
done	5000	13
0	8	8
1	16	6
2	30	6
3	67	6
4	184	6
5	605	5
6	2095	5
done	5001	5
0	13	14
1	25	14
2	51	13
3	110	13
4	334	13
5	1517	13
done	5000	13
0	6	7
1	14	3
2	23	1
3	32	1
4	42	1
5	55	1
6	69	1
7	85	1
8	104	1
9	126	1
10	151	1
11	179	1
12	210	1
13	244	1
14	281	1
15	321	1
16	364	1
17	410	1
18	459	1
19	511	1
20	566	1
21	624	1
22	685	1
23	749	1
24	816	1
25	886	1
26	959	1
27	1035	1
28	1114	1
29	1196	1
30	1281	1
31	1369	1
32	1460	1
33	1554	1
34	1651	1
35	1751	1
36	1854	1
37	1960	1
38	2069	1
39	2181	1
40	2296	1
41	2414	1
42	2535	1
43	2659	1
44	2786	1
45	2916	1
46	3049	1
47	3185	1
48	3324	1
49	3466	1
50	3611	1
51	3759	1
52	3910	1
53	4064	1
54	4221	1
55	4381	1
56	4544	1
57	4710	1
58	4879	1
done	5000	1
0	12	13
1	24	13
2	50	12
3	109	12
4	333	12
5	1516	12
done	5001	12
0	5	5
1	12	1
2	15	1
3	21	1
4	28	1
5	38	1
6	51	1
7	67	1
8	86	1
9	108	1
10	133	1
11	161	1
12	192	1
13	226	1
14	263	1
15	303	1
16	346	1
17	392	1
18	441	1
19	493	1
20	548	1
21	606	1
22	667	1
23	731	1
24	798	1
25	868	1
26	941	1
27	1017	1
28	1096	1
29	1178	1
30	1263	1
31	1351	1
32	1442	1
33	1536	1
34	1633	1
35	1733	1
36	1836	1
37	1942	1
38	2051	1
39	2163	1
40	2278	1
41	2396	1
42	2517	1
43	2641	1
44	2768	1
45	2898	1
46	3031	1
47	3167	1
48	3306	1
49	3448	1
50	3593	1
51	3741	1
52	3892	1
53	4046	1
54	4203	1
55	4363	1
56	4526	1
57	4692	1
58	4861	1
done	5001	1
0	12	13
1	24	13
2	50	12
3	109	12
4	333	12
5	1516	12
done	5001	12
0	5	5
1	11	3
2	21	3
3	53	3
4	139	3
5	414	3
6	1490	3
done	5000	3
0	13	13
1	27	11
2	50	10
3	106	10
4	301	10
5	1361	10
done	5000	10
0	9	15
1	15	13
2	23	10
3	44	10
4	90	8
5	202	8
6	598	8
7	2090	8
done	5000	8
0	13	14
1	23	14
2	41	13
3	74	13
4	149	13
5	360	13
6	1108	13
7	4047	13
done	5001	13
0	8	8
1	12	6
2	18	6
3	36	6
4	76	6
5	186	6
6	569	6
7	1967	6
done	5000	6
0	13	14
1	23	14
2	42	13
3	75	13
4	150	13
5	357	13
6	1103	13
7	4022	13
done	5000	13
0	3	3
1	5	1
done	5	1
0	12	13
1	24	13
2	50	12
3	109	12
4	333	12
5	1516	12
done	5001	12
0	9	9
1	14	7
2	32	7
3	76	7
4	208	6
5	664	6
6	2698	5
done	5000	5
0	14	15
1	25	15
2	56	14
3	125	14
4	370	13
5	1632	13
done	5001	13
0	7	7
1	13	5
2	26	5
3	60	5
4	171	5
5	548	5
6	2155	4
done	5000	4
0	7	7
1	15	7
2	26	7
3	42	7
4	71	7
5	149	7
6	340	7
7	846	7
8	2656	7
done	5000	7
0	7	7
1	13	5
2	26	5
3	60	5
4	171	5
5	548	5
6	2155	4
done	5000	4
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5001	6
0	13	14
1	25	12
2	53	12
3	122	12
4	371	12
5	1674	12
done	5000	12
0	13	14
1	25	14
2	51	13
3	112	13
4	350	13
5	1621	13
done	5001	13
0	14	29
1	26	29
2	52	27
3	111	27
4	335	27
5	1517	27
done	5000	27
0	13	14
1	25	14
2	51	13
3	110	13
4	334	13
5	1517	13
done	5001	13
0	14	41
1	29	40
2	77	14
3	248	14
4	1338	14
done	5000	14
0	13	14
1	25	14
2	51	13
3	110	13
4	334	13
5	1521	13
done	5001	13
0	13	14
1	25	14
2	51	13
3	110	13
4	334	13
5	1521	13
done	5001	13
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	28	6
done	28	6
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	28	6
done	28	6
0	3	3
1	6	1
done	6	1
0	7	9
1	11	9
2	18	9
3	42	9
4	99	9
5	263	9
6	895	9
7	3356	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	2195	6
done	5000	6
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	7	11
1	11	11
2	16	11
3	34	11
4	74	11
5	181	11
6	552	11
7	1968	11
done	5000	11
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	9	13
1	19	13
2	33	13
3	57	13
4	99	13
5	206	13
6	581	13
7	1999	13
done	5000	13
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	8	10
1	14	10
2	21	10
3	40	10
4	80	10
5	186	10
6	560	10
7	1979	10
done	5001	10
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	9
1	15	7
2	26	7
3	49	7
4	88	7
5	192	7
6	563	7
7	1956	7
done	5000	7
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	8	10
1	14	10
2	19	10
3	37	10
4	77	10
5	182	10
6	564	10
7	1969	10
done	5000	10
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	74	7
5	181	7
6	552	7
7	1968	7
done	5000	7
0	6	6
1	12	4
2	19	4
3	37	4
4	76	4
5	182	4
6	557	4
7	1966	4
done	5000	4
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	7	9
1	15	9
2	20	9
3	38	9
4	77	9
5	177	9
6	555	9
7	1977	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	6	6
1	12	6
2	17	6
3	35	6
4	74	6
5	180	6
6	564	6
7	1967	6
done	5001	6
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	5	5
1	11	3
2	16	3
3	34	3
4	73	3
5	176	3
6	552	3
7	1966	3
done	5000	3
0	6	6
1	12	6
2	23	6
3	48	6
4	133	6
5	421	6
6	1610	6
done	5001	6
0	6	6
1	10	6
2	17	6
3	40	6
4	95	6
5	263	6
6	884	6
7	3731	6
done	5000	6
0	7	13
1	11	13
2	16	13
3	34	13
4	74	13
5	183	13
6	561	13
7	1977	13
done	5000	13
0	6	6
1	10	6
2	15	6
3	33	6
4	73	6
5	179	6
6	562	6
7	1956	6
done	5001	6
0	7	17
1	14	13
2	35	7
3	88	7
4	241	7
5	800	7
6	3662	7
done	5000	7
0	6	6
1	10	6
2	16	6
3	34	6
4	74	6
5	183	6
6	559	6
7	1979	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	34	6
4	74	6
5	183	6
6	559	6
7	1979	6
done	5000	6
0	7	7
1	10	7
2	18	7
3	39	7
4	87	7
5	215	7
6	717	7
7	2546	7
done	5001	7
0	7	7
1	10	7
2	18	7
3	39	7
4	87	7
5	215	7
6	717	7
7	2546	7
done	5001	7
0	8	8
1	19	7
2	20	7
done	20	7
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	15	18
1	29	17
2	59	15
3	100	15
4	124	15
5	163	15
6	264	15
7	402	15
8	534	15
9	605	15
10	707	15
11	718	15
done	718	15
0	16	18
1	33	17
2	62	15
3	133	15
4	306	14
5	973	12
done	5000	12
0	16	18
1	32	17
2	56	15
3	109	13
4	242	13
5	629	12
6	2071	12
done	5000	12
0	24	46
1	64	43
2	221	40
3	799	37
4	2604	31
done	5000	31
0	10	10
1	21	9
2	37	8
3	75	8
4	148	5
5	312	4
6	705	4
7	2192	4
done	5000	4
0	10	10
1	20	9
2	37	8
3	87	8
4	202	7
5	456	5
6	942	4
7	2143	4
done	5000	4

prune229.0ms

Filtered

94 candidates to 119 candidates (-26.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	119	10	129

Merged error: 3.9b

Counts

129 → 10

regimes498.0ms

Accuracy

83% (2.9b remaining)

Error of 6.4b against oracle of 3.5b and baseline of 20.7b

bsearch300.0ms

Steps

Iters	Range		Point
11	5.683905542378083e+74	1.595279664378151e+98	4.157662868789188e+80
8	-1994846.076561198	-1588.2412550094143	-1608.9440882450247

simplify7.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	42	65
1	54	58
2	60	58
done	60	58

end0.0ms

sample4.3s

Algorithm

intervals

Results

1.5s	2022×	body	1280	valid
982.0ms	7973×	body	80	valid
742.0ms	1404×	body	640	valid
247.0ms	647×	body	320	valid
81.0ms	308×	body	160	valid

Details

sample174.0ms

simplify1.6s

prune17.0ms

localize25.0ms

rewrite26.0ms

series101.0ms

simplify43.2s

prune147.0ms

localize16.0ms

rewrite22.0ms

series88.0ms

simplify1.2min

prune161.0ms

localize12.0ms

rewrite32.0ms

series58.0ms

simplify13.4min

prune315.0ms

localize14.0ms

rewrite29.0ms

series70.0ms

simplify12.1min

prune229.0ms

regimes498.0ms

bsearch300.0ms

simplify7.0ms

end0.0ms

sample4.3s

Profiling