How do you evaluate sin[2cos1(35)]?