move Integral.is_zero to _eval_is_zero
make log._eval_is_zero more naive: no simplification