Talk:E^ix = cos x + i sin x