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