deriv((x-sin(x)cos(x))/2, x)