derivate of (1/pi)*arcsin(x/2)