Express sin(x-(3pi)/4) as a function of sinx?