Open in CoCalc with one click!
simplify(sqrt(2))
sqrt(2)