How do you find the value of tan(tan^-1 (1/2))tan(tan1(12))?