It's not a simplification, it's wrong. Sqrt(square(x)) equals abs(x).
It also equals x with appropriate assumptions (x > 0).
alt Hacker News
It also equals x with appropriate assumptions (x > 0).