fold: sqrt(x * x * y) -> fabs(x) * sqrt(y)