Source TeX:

x=\arcsin\left(\frac{\sqrt{2}}{2}\right)