How do you verify sect+csct1+tan2t=sintcost+cos2tsint?