How do you evaluate tan(arctan25)?