How do you prove arccos(x2)+arctan(x)=π2?