How do you find the exact value of #tan(tan^-1 25)#?