simplify cos(2*arctan(x))