How do you verify csc42csc2x+1=cot4x?