cos(arcsinx)=√1-x^2像这样的公式还有什么?