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