coeffs:=
[ -8192, 49152, 2, -4, -77824, -872, 39936, 32768, -18848, -65536, 45248, 88, 
5072 ]
;
