derivative -0.5arctan(cos(2x))