try minpoly when in equals testing

 these are expressions that equals couldn't decide on
 what can be done to recognize these as non-zero (as appropriate)

p*log(p)**3 + 2*p*log(p)**2*log(-p + exp(p)) + p*log(p)*log(-p + exp(p))**2
log(p)**2 + 2*log(p)*log(-p + exp(p)) + log(-p + exp(p))**2)
p**2 + 2*p*log(p) + log(p)**2
-(exp(8*log(p)*log(log(p)))*exp(-2*log(p**4 + 1)*log(log(p))) - 1)
-(exp(8*log(p)*log(log(p)))*exp(-2*log(p**4 + 1)*log(log(p))) - 1)
-p*log(p) + p*log(p + log(p))
log(p) + log(log(p))
exp(log(log(p))/log(p))