How do you verify tan(A2)=cscAcotA?