d/dx (arctan(x)-arctan(x/sqrt(2))/sqrt(2))