tan(1/2)[sin(2x/(1+x²)) + cos((1-y²)/(1+y²))] = tan(1/2)[2tan⁻¹x + 1/2cos(2tan⁻¹y)] = tan(tan⁻¹x + tan⁻¹y) = (x+y)/(1-xy)