How do you find the value of tan(tan1(12))?