How do you evaluate #tan(arctan25)#?