How do you simplify sin1(x)+cos1(x)=π2?