sqrt(2)-1+1/4