Simplify[Sqrt[x^2], x > 0]

[fja-pedraza]

This expression should give x as a result, and gives Sqrt[x ^ 2]

[mmatera]

This is true. The support for simplification rules is far from being complete right now.