How do you evaluate tan(cos1(23)) without a calculator?