How do you evaluate cos^-1[tan(pi/3)]cos1[tan(π3)]?