How do you verify 1 + tanxtan2x = sec2x?