How do you evaluate sin(sin1(35))?