2nd derivative -2/pi * atan (pi/2 * x)