verify that 2/1+cos theta - tan squared (theta/2) = 1