Simplify code in eliminate_assume()
Simplify code in eliminate_assume()

yukoba/sympy,Shaswat27/sympy,souravsingh/sympy,AunShiLord/sympy,Shaswat27/sympy,jamesblunt/sympy,abhiii5459/sympy,grevutiu-gabriel/sympy,toolforger/sympy,kaushik94/sympy,kumarkrishna/sympy,cswiercz/sympy,garvitr/sympy,ChristinaZografou/sympy,atsao72/sympy,farhaanbukhsh/sympy,maniteja123/sympy,oliverlee/sympy,skirpichev/omg,moble/sympy,Davidjohnwilson/sympy,MridulS/sympy,maniteja123/sympy,debugger22/sympy,jaimahajan1997/sympy,vipulroxx/sympy,MridulS/sympy,minrk/sympy,mcdaniel67/sympy,bukzor/sympy,madan96/sympy,minrk/sympy,Sumith1896/sympy,abhiii5459/sympy,Titan-C/sympy,wyom/sympy,Designist/sympy,Sumith1896/sympy,wanglongqi/sympy,pbrady/sympy,sahmed95/sympy,jaimahajan1997/sympy,lidavidm/sympy,kaichogami/sympy,flacjacket/sympy,VaibhavAgarwalVA/sympy,mafiya69/sympy,wyom/sympy,Davidjohnwilson/sympy,mcdaniel67/sympy,Titan-C/sympy,yashsharan/sympy,Davidjohnwilson/sympy,grevutiu-gabriel/sympy,dqnykamp/sympy,liangjiaxing/sympy,Arafatk/sympy,atsao72/sympy,AunShiLord/sympy,abloomston/sympy,AunShiLord/sympy,aktech/sympy,mafiya69/sympy,asm666/sympy,diofant/diofant,beni55/sympy,shikil/sympy,pandeyadarsh/sympy,yukoba/sympy,toolforger/sympy,debugger22/sympy,ga7g08/sympy,pbrady/sympy,vipulroxx/sympy,atreyv/sympy,AkademieOlympia/sympy,drufat/sympy,sahilshekhawat/sympy,kevalds51/sympy,emon10005/sympy,shikil/sympy,kmacinnis/sympy,kumarkrishna/sympy,farhaanbukhsh/sympy,Arafatk/sympy,saurabhjn76/sympy,wanglongqi/sympy,toolforger/sympy,meghana1995/sympy,VaibhavAgarwalVA/sympy,moble/sympy,Vishluck/sympy,souravsingh/sympy,shipci/sympy,kaushik94/sympy,kumarkrishna/sympy,vipulroxx/sympy,Mitchkoens/sympy,jamesblunt/sympy,jamesblunt/sympy,grevutiu-gabriel/sympy,yukoba/sympy,atreyv/sympy,postvakje/sympy,cswiercz/sympy,drufat/sympy,Vishluck/sympy,yashsharan/sympy,atsao72/sympy,Designist/sympy,aktech/sympy,sahilshekhawat/sympy,sahmed95/sympy,pandeyadarsh/sympy,rahuldan/sympy,jerli/sympy,wanglongqi/sympy,oliverlee/sympy,kaichogami/sympy,pbrady/sympy,postvakje/sympy,madan96/sympy,jerli/sympy,aktech/sympy,AkademieOlympia/sympy,beni55/sympy,sampadsaha5/sympy,kaichogami/sympy,abhiii5459/sympy,pandeyadarsh/sympy,lidavidm/sympy,lindsayad/sympy,ahhda/sympy,hargup/sympy,chaffra/sympy,shipci/sympy,jbbskinny/sympy,kmacinnis/sympy,AkademieOlympia/sympy,mafiya69/sympy,Gadal/sympy,emon10005/sympy,skidzo/sympy,sampadsaha5/sympy,jbbskinny/sympy,lidavidm/sympy,cccfran/sympy,bukzor/sympy,Mitchkoens/sympy,skidzo/sympy,jbbskinny/sympy,hrashk/sympy,Curious72/sympy,skidzo/sympy,moble/sympy,madan96/sympy,amitjamadagni/sympy,jaimahajan1997/sympy,MechCoder/sympy,iamutkarshtiwari/sympy,MridulS/sympy,amitjamadagni/sympy,ahhda/sympy,drufat/sympy,chaffra/sympy,liangjiaxing/sympy,ga7g08/sympy,mcdaniel67/sympy,rahuldan/sympy,srjoglekar246/sympy,ChristinaZografou/sympy,MechCoder/sympy,garvitr/sympy,Curious72/sympy,hrashk/sympy,emon10005/sympy,cswiercz/sympy,shipci/sympy,iamutkarshtiwari/sympy,abloomston/sympy,kmacinnis/sympy,hrashk/sympy,kevalds51/sympy,Titan-C/sympy,Gadal/sympy,Mitchkoens/sympy,saurabhjn76/sympy,rahuldan/sympy,meghana1995/sympy,kaushik94/sympy,yashsharan/sympy,cccfran/sympy,postvakje/sympy,Arafatk/sympy,souravsingh/sympy,liangjiaxing/sympy,Shaswat27/sympy,shikil/sympy,iamutkarshtiwari/sympy,oliverlee/sympy,farhaanbukhsh/sympy,asm666/sympy,saurabhjn76/sympy,sahilshekhawat/sympy,hargup/sympy,VaibhavAgarwalVA/sympy,sunny94/temp,sunny94/temp,MechCoder/sympy,Vishluck/sympy,ahhda/sympy,bukzor/sympy,Designist/sympy,sahmed95/sympy,chaffra/sympy,kevalds51/sympy,sunny94/temp,garvitr/sympy,dqnykamp/sympy,jerli/sympy,debugger22/sympy,atreyv/sympy,maniteja123/sympy,ga7g08/sympy,lindsayad/sympy,wyom/sympy,sampadsaha5/sympy,Curious72/sympy,hargup/sympy,lindsayad/sympy,abloomston/sympy,Sumith1896/sympy,asm666/sympy,dqnykamp/sympy,cccfran/sympy,beni55/sympy,Gadal/sympy,meghana1995/sympy,ChristinaZografou/sympy