6.04 Trigonometric identities and formula mid-module check