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