Right, that's why you need further assumptions on x in order for that simplification to hold.
It's not a simplification, it's wrong. Sqrt(square(x)) equals abs(x).
alt Hacker News
It's not a simplification, it's wrong. Sqrt(square(x)) equals abs(x).