d/dx cot x, x = pi/4