sqrt(1+sqrt(1-y'^2)) = y(x)