@smichr How can I temporarily make sympy to assume that x is nonnegative ?