expr = sign(x) * (sin(1 - 1 / cos(x)) + Abs(x) - 6)