tan(8*atan(x))