add Mul.is_nonzero handling
add Pow._eval_is_complex routine