How to derive sin 2x?