Haha, yeah. That one's pretty cool too. There are a couple of slightly more easier-to-see ways, but they still involve seemingly arbitrary multiplications of cosine, etc (or product-to-sum rules). Man... integrals. Love/hate relationship.