\arccos(x)+\arccos(y)\in[0,\pi]