derivative of (x+1/2) - (arctan(tan(pi(x+1/2))))/pi