How do you calculate #arcsin(sqrt(2) / 2)#?