How do you evaluate arcsin(sqrt2/2) without a calculator?