Tangent Sum/Difference Derivation