derivative sqrt(2)