gistfile1.txt

$ ./magict
Fixed-point function test: trigonometry
       0 -> (3fffffff,        0) ->     ffff <        0
 1000000 -> (3ffb10c4,  1921561) ->    10009 <   ffdf94
 2000000 -> (3fec43c6,  323ecc0) ->    10002 <  1ffc4b0
 3000000 -> (3fd39b5d,  4b54828) ->    10001 <  30029c2
 4000000 -> (3fb11b49,  645e9b5) ->    1000a <  3ff8b23
 5000000 -> (3f84c8e3,  7d59395) ->    1000a <  50013df
 6000000 -> (3f4eaafe,  9640835) ->    10001 <  5ffd025
 7000000 -> (3f0ec9f5,  af10a23) ->    1000a <  6ffb554
 8000000 -> (3ec52fa0,  c7c5c20) ->    10002 <  7ffc8e8
 9000000 -> (3e71e75b,  e05c134) ->    10002 <  8ffd7c1
 a000000 -> (3e14fdf9,  f8cfcbd) ->    10000 <  a0037bc
 b000000 -> (3dae81d0, 1111d261) ->    10001 <  affcb6b
 c000000 -> (3d3e82b4, 12940631) ->    10009 <  c003087
 d000000 -> (3cc511da, 14135c98) ->    10000 <  d001582
 e000000 -> (3c424209, 158f9a75) ->    10001 <  dffc553
 f000000 -> (3bb6276e, 1708852f) ->     ffff <  f0024ac
10000000 -> (3b20d7a1, 187de2a6) ->    10002 <  fffe1bb
11000000 -> (3a8269a2, 19ef7944) ->    10001 < 10ffef99
12000000 -> (39daf5ee, 1b5d1009) ->     ffff < 120054ad
13000000 -> (392a9643, 1cc66e97) ->    10002 < 12ff97bd
14000000 -> (387165dd, 1e2b5d3c) ->    10000 < 14001fcd
15000000 -> (37af8156, 1f8ba4e0) ->     ffff < 14ffdce2
16000000 -> (36e5068b, 20e70f2e) ->    1000c < 15ffc20c
17000000 -> (361214b0, 223d66a7) ->    10000 < 17004fce
18000000 -> (3536cc53, 238e7673) ->    10001 < 180002aa
19000000 -> (34534f41, 24da0a99) ->    10003 < 18ff963c
1a000000 -> (3367c091, 261feffa) ->    10001 < 19fff63f
1b000000 -> (32744492, 275ff456) ->    10001 < 1affdb60
1c000000 -> (317900d7, 2899e64c) ->     fffe < 1c00406b
1d000000 -> (30761c16, 29cd9577) ->    10000 < 1cfffdd3
1e000000 -> (2f6bbe48, 2afad266) ->     ffff < 1e005dd0
1f000000 -> (2e5a106e, 2c216eac) ->    10000 < 1f001a3c
20000000 -> (2d413ccc, 2d413ccc) ->     fffe < 1fffffff
21000000 -> (2c216eac, 2e5a106e) ->    10001 < 20ffe5c3
22000000 -> (2afad266, 2f6bbe48) ->    10002 < 21ffa22e
23000000 -> (29cd9577, 30761c16) ->    10001 < 2300022b
24000000 -> (2899e64c, 317900d7) ->    1000d < 23ffbf94
25000000 -> (275ff456, 32744492) ->    10001 < 25004d56
26000000 -> (261feffa, 3367c091) ->    10001 < 260009c0
27000000 -> (24da0a99, 34534f41) ->     ffff < 27004105
28000000 -> (238e7673, 3536cc53) ->    10002 < 27fffd54
29000000 -> (223d66a7, 361214b0) ->    1000a < 28ffb030
2a000000 -> (20e70f2e, 36e5068b) ->     ffff < 2a003df2
2b000000 -> (1f8ba4e0, 37af8156) ->    10001 < 2b00231c
2c000000 -> (1e2b5d3c, 387165dd) ->    1000a < 2bffe031
2d000000 -> (1cc66e97, 392a9643) ->     ffff < 2d006841
2e000000 -> (1b5d1009, 39daf5ee) ->    1000a < 2dff829a
2f000000 -> (19ef7944, 3a8269a2) ->    10001 < 2f00105e
30000000 -> (187de2a6, 3b20d7a1) ->    10001 < 30001e43
31000000 -> (1708852f, 3bb6276e) ->    10001 < 30ffdb52
32000000 -> (158f9a75, 3c424209) ->    1000a < 32003ab4
33000000 -> (14135c98, 3cc511da) ->    1000b < 32ffea7c
34000000 -> (12940631, 3d3e82b4) ->    10003 < 33ffcf77
35000000 -> (1111d261, 3dae81d0) ->    10000 < 35000bd5
36000000 -> ( f8cfcbd, 3e14fdf9) ->    10002 < 35ffc842
37000000 -> ( e05c134, 3e71e75b) ->    10000 < 3700283d
38000000 -> ( c7c5c20, 3ec52fa0) ->    10001 < 38000e58
39000000 -> ( af10a23, 3f0ec9f5) ->    10001 < 39004aab
3a000000 -> ( 9640835, 3f4eaafe) ->    10009 < 3a002fda
3b000000 -> ( 7d59395, 3f84c8e3) ->    1000a < 3affec2e
3c000000 -> ( 645e9b5, 3fb11b49) ->    10001 < 3c0074dc
3d000000 -> ( 4b54828, 3fd39b5d) ->    10002 < 3cfffefa
3e000000 -> ( 323ecc0, 3fec43c6) ->    10001 < 3e003b4e
3f000000 -> ( 1921561, 3ffb10c4) ->    10001 < 3f00206b
40000000 -> (fffffffe, 40000005) ->    10002 < 3ffff9c5
41000000 -> (fe6dea9c, 3ffb10c4) ->    10001 < 4100084d
42000000 -> (fcdc1342, 3fec43c6) ->    1000c < 41ffc4b9
43000000 -> (fb4ab7d3, 3fd39b5d) ->    10001 < 4300527b
44000000 -> (f9ba164b, 3fb11b4a) ->    10001 < 43ffdc9a
45000000 -> (f82a6c6b, 3f84c8e3) ->    10001 < 45003c98
46000000 -> (f69bf7d2, 3f4eaafe) ->    1000b < 45ffd037
47000000 -> (f50ef5db, 3f0ec9f5) ->    10002 < 470006cb
48000000 -> (f383a3e4, 3ec52fa0) ->    10001 < 4800431d
49000000 -> (f1fa3ec8, 3e71e75b) ->    10002 < 4900007a
4a000000 -> (f0730341, 3e14fdf9) ->    10000 < 4a00607c
4b000000 -> (eeee2da3, 3dae81d0) ->    10001 < 4b001ce9
4c000000 -> (ed6bf9c4, 3d3e82b4) ->    10000 < 4c005940
4d000000 -> (ebeca362, 3cc511da) ->    10009 < 4d001593
4e000000 -> (ea706590, 3c42420a) ->    1000c < 4dffc55d
4f000000 -> (e8f77ad2, 3bb62770) ->    10000 < 4f004d6c
50000000 -> (e7821d58, 3b20d7a1) ->    10003 < 50000a74
51000000 -> (e61086c0, 3a8269a2) ->    1000b < 50ffefa2
52000000 -> (e4a2efec, 39daf5ee) ->     fffe < 52007d6d
53000000 -> (e339916b, 392a9643) ->    10003 < 52ffc07d
54000000 -> (e1d4a2c4, 387165e1) ->    10000 < 54001fd7
55000000 -> (e0745b20, 37af8157) ->    1000a < 54ffdceb
56000000 -> (df18f0d8, 36e5068c) ->    1000c < 55ffc20e
57000000 -> (ddc2995d, 361214b0) ->    10009 < 57004fde
58000000 -> (dc718987, 3536cc54) ->    10002 < 580002ac
59000000 -> (db25f56d, 34534f43) ->    10002 < 58ffe7b9
5a000000 -> (d9e01004, 3367c090) ->    10001 < 5a001efe
5b000000 -> (d8a00baa, 32744492) ->    10001 < 5b00041f
5c000000 -> (d76619ac, 317900d7) ->     fffe < 5c004076
5d000000 -> (d6326a8f, 30761c17) ->    10001 < 5cfffdd5
5e000000 -> (d5052d97, 2f6bbe48) ->     ffff < 5e008690
5f000000 -> (d3de9153, 2e5a106e) ->    10000 < 5f0042fc
60000000 -> (d2bec33b, 2d413cd1) ->    10001 < 60002978
61000000 -> (d1a5ef95, 2c216eac) ->    10001 < 61000e82
62000000 -> (d09441bc, 2afad269) ->    10002 < 61ffcaee
63000000 -> (cf89e3e6, 29cd9577) ->    1000b < 63000235
64000000 -> (ce86ff33, 2899e64d) ->    1000e < 63ffbf95
65000000 -> (cd8bbb70, 275ff456) ->    1000a < 65004d65
66000000 -> (cc983f73, 261feffb) ->    10002 < 66003279
67000000 -> (cbacb0bb, 24da0a9a) ->    10001 < 67004107
68000000 -> (cac933b5, 238e7674) ->    10002 < 68004ed1
69000000 -> (c9edeb4f, 223d66a6) ->    10003 < 68ffd8e9
6a000000 -> (c91af96f, 20e70f31) ->    10000 < 6a003df4
6b000000 -> (c8507eac, 1f8ba4e0) ->    1000c < 6b002326
6c000000 -> (c78e9a20, 1e2b5d3d) ->    1000a < 6bffe033
6d000000 -> (c6d569bc, 1cc66e99) ->    10001 < 6d006843
6e000000 -> (c6250a1f, 1b5d1008) ->    10003 < 6dffd411
6f000000 -> (c57d965b, 19ef7945) ->    1000a < 6f00106e
70000000 -> (c4df2862, 187de2a9) ->    10001 < 70004703
71000000 -> (c449d892, 17088532) ->    10002 < 70ffdb54
72000000 -> (c3bdbdf3, 158f9a77) ->    1000b < 72003ab6
73000000 -> (c33aee2e, 14135c98) ->    1000c < 72ffea7e
74000000 -> (c2c17d59, 12940631) ->    10004 < 73ffcf79
75000000 -> (c2517e2d, 1111d262) ->    10001 < 75000bd7
76000000 -> (c1eb0209,  f8cfcc0) ->    10002 < 75fff101
77000000 -> (c18e18aa,  e05c135) ->    10000 < 770050fc
78000000 -> (c13ad05e,  c7c5c20) ->    10002 < 78000e5a
79000000 -> (c0f1360d,  af10a25) ->    10002 < 790021f5
7a000000 -> (c0b154fd,  9640835) ->    1000a < 7a002fdb
7b000000 -> (c07b371e,  7d59396) ->    10003 < 7affc369
7c000000 -> (c04ee4ba,  645e9b5) ->    10002 < 7c004c26
7d000000 -> (c02c64aa,  4b54828) ->    10004 < 7cffd63e
7e000000 -> (c013bc39,  323ecc1) ->    1000a < 7e003b57
7f000000 -> (c004ef41,  1921561) ->    10002 < 7f002073
80000000 -> (c0000001,        0) ->    10000 < 80000000
81000000 -> (c004ef3c, fe6dea9f) ->    10001 < 81003109
82000000 -> (c013bc3a, fcdc1340) ->    1000d < 81ffc4b7
83000000 -> (c02c64a3, fb4ab7d8) ->    10002 < 8300527a
84000000 -> (c04ee4b7, f9ba164b) ->    10002 < 84000556
85000000 -> (c07b371d, f82a6c6b) ->    10001 < 85006554
86000000 -> (c0b15502, f69bf7cb) ->    1000c < 85ffd035
87000000 -> (c0f1360b, f50ef5dd) ->    10003 < 870006c9
88000000 -> (c13ad060, f383a3e0) ->    10002 < 88001a64
89000000 -> (c18e18a5, f1fa3ecc) ->    10003 < 89000079
8a000000 -> (c1eb0207, f0730343) ->    10001 < 8a00607a
8b000000 -> (c2517e30, eeee2d9f) ->    10002 < 8b001ce7
8c000000 -> (c2c17d4c, ed6bf9cf) ->    10001 < 8c00593e
8d000000 -> (c33aee26, ebeca368) ->    10001 < 8d001582
8e000000 -> (c3bdbdf7, ea70658b) ->    1000d < 8dffc55b
8f000000 -> (c449d892, e8f77ad1) ->    10001 < 8f004d6b
90000000 -> (c4df285f, e7821d5a) ->    10004 < 90000a72
91000000 -> (c57d965e, e61086bc) ->    10002 < 90ffef99
92000000 -> (c6250a12, e4a2eff7) ->    10000 < 920054ad
93000000 -> (c6d569bd, e3399169) ->    10004 < 92ffc07c
94000000 -> (c78e9a23, e1d4a2c4) ->    10001 < 94001fd5
95000000 -> (c8507eaa, e0745b20) ->    1000a < 94ffdcea
96000000 -> (c91af975, df18f0d2) ->    1000d < 95ffc20c
97000000 -> (c9edeb50, ddc29959) ->    10002 < 97004fce
98000000 -> (cac933ad, dc71898d) ->    10002 < 980002aa
99000000 -> (cbacb0bf, db25f567) ->    10004 < 98ffe7b7
9a000000 -> (cc983f6f, d9e01006) ->    10002 < 99fff63f
9b000000 -> (cd8bbb6e, d8a00baa) ->    1000b < 9affb2a9
9c000000 -> (ce86ff29, d76619b4) ->     ffff < 9c00406b
9d000000 -> (cf89e3ea, d6326a89) ->    10001 < 9cfffdd3
9e000000 -> (d09441b8, d5052d9a) ->    10001 < 9e005dd0
9f000000 -> (d1a5ef92, d3de9154) ->    10002 < 9f001a3c
a0000000 -> (d2bec334, d2bec334) ->    10000 < 9fffffff
a1000000 -> (d3de9154, d1a5ef92) ->    10002 < a0ffe5c3
a2000000 -> (d5052d9a, d09441b8) ->    10003 < a1ffa22e
a3000000 -> (d6326a89, cf89e3ea) ->    10002 < a300022b
a4000000 -> (d76619b4, ce86ff29) ->    1000e < a3ffbf94
a5000000 -> (d8a00baa, cd8bbb6e) ->    10003 < a500249e
a6000000 -> (d9e01006, cc983f6f) ->    10002 < a60009c0
a7000000 -> (db25f567, cbacb0bf) ->    10001 < a7001847
a8000000 -> (dc71898d, cac933ad) ->    10004 < a7fffd54
a9000000 -> (ddc29959, c9edeb50) ->    1000c < a8ffb030
aa000000 -> (df18f0d2, c91af975) ->    10001 < aa003df2
ab000000 -> (e0745b20, c8507eaa) ->    10002 < aafffa5d
ac000000 -> (e1d4a2c4, c78e9a23) ->    10001 < abffe029
ad000000 -> (e3399169, c6d569bd) ->    10002 < ad00683a
ae000000 -> (e4a2eff7, c6250a12) ->    10004 < adffab52
af000000 -> (e61086bc, c57d965e) ->    10002 < af00105e
b0000000 -> (e7821d5a, c4df285f) ->    1000a < affff58c
b1000000 -> (e8f77ad1, c449d892) ->    10002 < b0ffb294
b2000000 -> (ea70658b, c3bdbdf7) ->    10002 < b2003aa3
b3000000 -> (ebeca368, c33aee26) ->    10002 < b2ffea75
b4000000 -> (ed6bf9cf, c2c17d4c) ->    10004 < b3ffa6c0
b5000000 -> (eeee2d9f, c2517e30) ->    10002 < b4ffe317
b6000000 -> (f0730343, c1eb0207) ->    10005 < b5ff9f84
b7000000 -> (f1fa3ecc, c18e18a5) ->    1000a < b6ffff86
b8000000 -> (f383a3e0, c13ad060) ->    10003 < b7ffe59a
b9000000 -> (f50ef5dd, c0f1360b) ->    10002 < b8fff935
ba000000 -> (f69bf7cb, c0b15502) ->    10001 < ba002fc9
bb000000 -> (f82a6c6b, c07b371d) ->    10002 < baffc368
bc000000 -> (f9ba164b, c04ee4b7) ->    10001 < bc002366
bd000000 -> (fb4ab7d8, c02c64a3) ->    1000c < bcffad85
be000000 -> (fcdc1340, c013bc3a) ->    10002 < be003b47
bf000000 -> (fe6dea9f, c004ef3c) ->    10002 < beffcef6
c0000000 -> (fffffffb, bffffffc) ->    10001 < c000063b
c1000000 -> ( 1921564, c004ef3c) ->    1000a < c0ffdf95
c2000000 -> ( 323ecbe, c013bc3a) ->    10004 < c1ffc4ab
c3000000 -> ( 4b5482d, c02c64a3) ->    10001 < c30029c4
c4000000 -> ( 645e9b5, c04ee4b6) ->    10002 < c3ffb3dc
c5000000 -> ( 7d59395, c07b371d) ->    10002 < c5003c98
c6000000 -> ( 964082e, c0b15502) ->    10002 < c5ffd026
c7000000 -> ( af10a25, c0f1360b) ->    10002 < c6ffde0d
c8000000 -> ( c7c5c1c, c13ad060) ->    10002 < c7fff1a8
c9000000 -> ( e05c138, c18e18a5) ->    10003 < c8ffaf05
ca000000 -> ( f8cfcbf, c1eb0207) ->    1000a < c9ffe649
cb000000 -> (1111d25d, c2517e30) ->    10001 < cafff42b
cc000000 -> (1294063c, c2c17d4c) ->    1000a < cc003089
cd000000 -> (14135c9e, c33aee26) ->    10001 < cd001584
ce000000 -> (158f9a70, c3bdbdf6) ->    10002 < cdffc554
cf000000 -> (1708852e, c449d890) ->    10001 < cf0024ae
d0000000 -> (187de2a8, c4df285f) ->    10004 < cfffb8ff
d1000000 -> (19ef7940, c57d965e) ->    10002 < d0ffef94
d2000000 -> (1b5d1014, c6250a12) ->     ffff < d2002bf0
d3000000 -> (1cc66e95, c6d569bd) ->    10003 < d2ff97bf
d4000000 -> (1e2b5d3c, c78e9a1f) ->    10001 < d4001fcf
d5000000 -> (1f8ba4e0, c8507ea9) ->    10001 < d4ffdcdc
d6000000 -> (20e70f28, c91af974) ->    1000c < d5ffc20e
d7000000 -> (223d66a3, c9edeb50) ->    10000 < d7002719
d8000000 -> (238e7679, cac933ac) ->    10002 < d7ffb131
d9000000 -> (24da0a93, cbacb0bd) ->    10003 < d8ffbefb
da000000 -> (261feffc, cc983f70) ->    10001 < d9ffcd82
db000000 -> (275ff456, cd8bbb6e) ->    10002 < daffb29c
dc000000 -> (2899e654, ce86ff29) ->     ffff < dc00406c
dd000000 -> (29cd9571, cf89e3e9) ->    10002 < dcfffdcd
de000000 -> (2afad269, d09441b8) ->    10000 < de003514
df000000 -> (2c216ead, d1a5ef92) ->    10000 < defff180
e0000000 -> (2d413cc5, d2bec32f) ->    10001 < dfffd68a
e1000000 -> (2e5a106b, d3de9154) ->    10002 < e0ffbd06
e2000000 -> (2f6bbe44, d5052d97) ->    10002 < e1ff7972
e3000000 -> (30761c1a, d6326a89) ->    10001 < e3000224
e4000000 -> (317900cd, d76619b3) ->    10001 < e3ffbf8c
e5000000 -> (32744490, d8a00baa) ->    10002 < e50024a0
e6000000 -> (3367c08d, d9e01005) ->    10001 < e5ffe104
e7000000 -> (34534f45, db25f566) ->    10009 < e6ffef91
e8000000 -> (3536cc4b, dc71898c) ->    10002 < e7fffd56
e9000000 -> (361214b1, ddc2995a) ->    10004 < e8ffb024
ea000000 -> (36e50691, df18f0cf) ->    10000 < ea003df4
eb000000 -> (37af8154, e0745b20) ->    10001 < eb002316
ec000000 -> (387165e0, e1d4a2c3) ->    10000 < ebffe02b
ed000000 -> (392a9644, e3399167) ->    10001 < ed003f84
ee000000 -> (39daf5e1, e4a2eff8) ->    10002 < edff8294
ef000000 -> (3a8269a5, e61086bb) ->    10001 < eeffe7a8
f0000000 -> (3b20d79e, e7821d57) ->    10009 < effff58e
f1000000 -> (3bb6276e, e8f77ace) ->    1000a < f0ffb29c
f2000000 -> (3c42420d, ea706589) ->    10001 < f2003aa5
f3000000 -> (3cc511d2, ebeca368) ->    10002 < f2ffea6f
f4000000 -> (3d3e82a7, ed6bf9cf) ->    10003 < f3ffcf79
f5000000 -> (3dae81d3, eeee2d9e) ->    1000a < f4ffba62
f6000000 -> (3e14fdf7, f0730340) ->    10003 < f5ff9f86
f7000000 -> (3e71e756, f1fa3ecb) ->    10009 < f6ffff87
f8000000 -> (3ec52fa2, f383a3e0) ->    1000a < f7ffbce5
f9000000 -> (3f0ec9f3, f50ef5db) ->    10001 < f8fff937
fa000000 -> (3f4eab03, f69bf7cb) ->     ffff < fa002fd3
fb000000 -> (3f84c8e2, f82a6c6a) ->    10001 < faffc369
fc000000 -> (3fb11b46, f9ba164b) ->    10001 < fc002368
fd000000 -> (3fd39b56, fb4ab7d8) ->    1000b < fcffad86
fe000000 -> (3fec43c7, fcdc133f) ->    10001 < fe003b49
ff000000 -> (3ffb10bf, fe6dea9f) ->    10001 < fefff7b5