cos(tan^-1(x))