arccotx+acrtanx