derivative of -1/2*(arcsin((2/x-1)/sqrt(2))