How do you calculate #tan(arccos(5/13))#?