simplify (sin(x)-cos(x))/2