weil sin(2x) =sin(x+x) =sinx cosx+cosx sinx =2sinx cosx