Verify each identity sec 2 xcot 2 x 1 cot 2x

Last updated: 7/4/2023

Verify each identity sec 2 xcot 2 x 1 cot 2x