What is the derivative of #pi/4#?