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