Does Mathematica know about identity involving ArcSin(Cos(x))?
95108
Alternative form of ArcSin[Sin[x]]
22948
Is this binomial coefficient identity known?
143949
How to get nth derivative of $\arcsin x$
63679
Picture/intuitive proof of $\cos(3 \theta) = 4 \cos^3(\theta)-3\cos(\theta)$?
138575
Proof that $\cos^2(x)\cosh^2(y) + \sin^2(x)\sinh^2(y) = -1 + \sin^2(x) - \sinh^2(y)$
118992
How to prove the identity $3\sin^4x-2\sin^6x=1-3\cos^4x+2\cos^6x$?
111102
Prove the Trigonometric Identity: $\frac{\sin x}{1-\cos x} = \frac{1+\cos x}{\sin x}$
31379
Relationship between $\tanh x$ and $\arctan x$
19216
Proving that $\arctan(x)+\arctan(1/x)=\pm \pi/2$, could this line of reasoning possibly be correct?
107067
Finding the argument of $z=1-\cos(2\theta)-i\sin(2\theta)$
151502
Finding the inverse of the arc length function
82586
Why is cos -x equal to cos x?
1859
Proving $\arctan(\sqrt{x^2+1}-x)=\frac{\pi}{4}-\frac{1}{2}\arctan(x)$
33791
Is it generally true that $\arcsin \theta + \arccos \theta = \frac{\pi}{2}$?
87934
Deducing $\sin x + \cos x \ge 1$ from $(\sin x + \cos x)^2 = 1 + 2 \sin x \cos x$
139022
Solve For X inside arc-cos function (with division)
6465
How to prove periodicity of $\sin(x)$ or $\cos(x)$ starting from the Taylor series expansion?