fun readReal () = valOf (TextIO.scanStream Real.scan TextIO.stdIn) val () = let val r = readReal () val d = readReal () val ans = Math.sqrt (d * d - r * r) in print (Real.fmt (StringCvt.FIX NONE) ans ^ "\n") end