Tagged: addition theorem of trigonometric functions