Input
y = abs(x)
Alternate form assuming x and y are positive
x = y
Alternate form assuming x and y are real
y = sqrt(x^2)
Root
x = 0
Derivative
(d)/(dx)(abs(x)) = x/(abs(x))
Global minimum
min{abs(x)} = 0 at x = 0