How do you find the value for sin1(35)?