texmath: simplify formula
texmath: simplify formula

drewwells/homebrew,yumitsu/homebrew,elyscape/homebrew,dalanmiller/homebrew,kenips/homebrew,ralic/homebrew,hanxue/homebrew,BrewTestBot/homebrew,mkrapp/homebrew,scorphus/homebrew,frodeaa/homebrew,theeternalsw0rd/homebrew,teslamint/homebrew,thinker0/homebrew,gnubila-france/linuxbrew,Chilledheart/homebrew,influxdata/homebrew,OJFord/homebrew,arnested/homebrew,reelsense/homebrew,hakamadare/homebrew,kodabb/homebrew,theeternalsw0rd/homebrew,LinusU/homebrew,dgageot/homebrew,dongcarl/homebrew,teslamint/homebrew,apjanke/homebrew,pcottle/homebrew,3van/homebrew,iandennismiller/homebrew,treyharris/homebrew,saketkc/linuxbrew,eighthave/homebrew,hanxue/homebrew,gnubila-france/linuxbrew,dutchcoders/homebrew,youtux/homebrew,zchee/homebrew,davydden/linuxbrew,dplarson/homebrew,vigo/homebrew,lrascao/homebrew,ablyler/homebrew,tschoonj/homebrew,benjaminfrank/homebrew,bukzor/linuxbrew,slyphon/homebrew,blogabe/homebrew,zhipeng-jia/homebrew,slyphon/homebrew,retrography/homebrew,dunn/homebrew,drewwells/homebrew,BrewTestBot/homebrew,hanxue/homebrew,iostat/homebrew2,eighthave/homebrew,nandub/homebrew,ebouaziz/linuxbrew,Asuranceturix/homebrew,elyscape/homebrew,hakamadare/homebrew,bigbes/homebrew,yumitsu/homebrew,afh/homebrew,jamer/homebrew,totalvoidness/homebrew,sometimesfood/homebrew,joshfriend/homebrew,DoomHammer/linuxbrew,tschoonj/homebrew,alebcay/homebrew,OJFord/homebrew,brunchboy/homebrew,bigbes/homebrew,galaxy001/homebrew,apjanke/homebrew,filcab/homebrew,jarrettmeyer/homebrew,knpwrs/homebrew,skatsuta/homebrew,TaylorMonacelli/homebrew,TaylorMonacelli/homebrew,recruit-tech/homebrew,nandub/homebrew,davydden/linuxbrew,Red54/homebrew,jab/homebrew,frodeaa/homebrew,jconley/homebrew,ebouaziz/linuxbrew,polishgeeks/homebrew,eighthave/homebrew,MoSal/homebrew,mobileoverlord/homebrew-1,danieroux/homebrew,osimola/homebrew,iandennismiller/homebrew,retrography/homebrew,optikfluffel/homebrew,davydden/linuxbrew,slyphon/homebrew,elgertam/homebrew,zchee/homebrew,hyuni/homebrew,dgageot/homebrew,princeofdarkness76/homebrew,keith/homebrew,hongkongkiwi/homebrew,MartinDelille/homebrew,ilovezfs/homebrew,danieroux/homebrew,cosmo0920/homebrew,royhodgman/homebrew,deorth/homebrew,sferik/homebrew,dutchcoders/homebrew,MartinDelille/homebrew,reelsense/homebrew,princeofdarkness76/homebrew,dplarson/homebrew,redpen-cc/homebrew,cscetbon/homebrew,jarrettmeyer/homebrew,treyharris/homebrew,blogabe/homebrew,georgschoelly/homebrew,dericed/homebrew,josa42/homebrew,mmizutani/homebrew,deorth/homebrew,influxdb/homebrew,ryanfb/homebrew,LinusU/homebrew,AlexejK/homebrew,pdxdan/homebrew,ExtremeMan/homebrew,AlexejK/homebrew,saketkc/linuxbrew,TaylorMonacelli/homebrew,ilovezfs/homebrew,jiashuw/homebrew,retrography/homebrew,cprecioso/homebrew,kenips/homebrew,sjackman/linuxbrew,ExtremeMan/homebrew,liamstask/homebrew,Chilledheart/homebrew,DoomHammer/linuxbrew,davydden/linuxbrew,SteveClement/homebrew,dickeyxxx/homebrew,gnubila-france/linuxbrew,esamson/homebrew,dutchcoders/homebrew,elgertam/homebrew,ybott/homebrew,ento/homebrew,yazuuchi/homebrew,josa42/homebrew,feelpp/homebrew,zhipeng-jia/homebrew,skinny-framework/homebrew,gawbul/homebrew,lrascao/homebrew,optikfluffel/homebrew,muellermartin/homebrew,georgschoelly/homebrew,mactkg/homebrew,SteveClement/homebrew,zchee/homebrew,hakamadare/homebrew,menivaitsi/homebrew,benjaminfrank/homebrew,thinker0/homebrew,mkrapp/homebrew,josa42/homebrew,totalvoidness/homebrew,influxdata/homebrew,Homebrew/homebrew,menivaitsi/homebrew,haihappen/homebrew,jsjohnst/homebrew,polishgeeks/homebrew,jsjohnst/homebrew,iostat/homebrew2,georgschoelly/homebrew,Homebrew/homebrew,haihappen/homebrew,3van/homebrew,MoSal/homebrew,kenips/homebrew,dericed/homebrew,chadcatlett/homebrew,drbenmorgan/linuxbrew,brunchboy/homebrew,vigo/homebrew,arnested/homebrew,teslamint/homebrew,bukzor/linuxbrew,iostat/homebrew2,skatsuta/homebrew,saketkc/linuxbrew,vigo/homebrew,pdxdan/homebrew,optikfluffel/homebrew,feelpp/homebrew,slyphon/homebrew,reelsense/linuxbrew,adamliter/homebrew,sferik/homebrew,ear/homebrew,yazuuchi/homebrew,alebcay/homebrew,quantumsteve/homebrew,elgertam/homebrew,zhipeng-jia/homebrew,joshfriend/homebrew,ybott/homebrew,jamer/homebrew,ryanfb/homebrew,princeofdarkness76/homebrew,decors/homebrew,dongcarl/homebrew,afh/homebrew,ear/homebrew,elyscape/homebrew,tschoonj/homebrew,knpwrs/homebrew,miketheman/homebrew,michaKFromParis/homebrew-sparks,treyharris/homebrew,jab/homebrew,MoSal/homebrew,galaxy001/homebrew,3van/homebrew,LinusU/homebrew,gnubila-france/linuxbrew,Homebrew/linuxbrew,ento/homebrew,kodabb/homebrew,gicmo/homebrew,LinusU/homebrew,emcrisostomo/homebrew,skinny-framework/homebrew,youtux/homebrew,MartinDelille/homebrew,hanxue/homebrew,jsjohnst/homebrew,gicmo/homebrew,princeofdarkness76/homebrew,deorth/homebrew,emcrisostomo/homebrew,iandennismiller/homebrew,thinker0/homebrew,redpen-cc/homebrew,emcrisostomo/homebrew,haihappen/homebrew,youtux/homebrew,SuperNEMO-DBD/cadfaelbrew,reelsense/homebrew,hyuni/homebrew,quantumsteve/homebrew,Angeldude/linuxbrew,totalvoidness/homebrew,SuperNEMO-DBD/cadfaelbrew,menivaitsi/homebrew,filcab/homebrew,knpwrs/homebrew,gicmo/homebrew,OJFord/homebrew,3van/homebrew,dalanmiller/homebrew,SteveClement/homebrew,getgauge/homebrew,MoSal/homebrew,sometimesfood/homebrew,ralic/homebrew,hongkongkiwi/homebrew,apjanke/homebrew,marcwebbie/homebrew,drbenmorgan/linuxbrew,ear/homebrew,nandub/homebrew,brunchboy/homebrew,TaylorMonacelli/homebrew,mobileoverlord/homebrew-1,apjanke/homebrew,frodeaa/homebrew,jiashuw/homebrew,bukzor/linuxbrew,johanhammar/homebrew,kevinastone/homebrew,ablyler/homebrew,ebouaziz/linuxbrew,nelstrom/homebrew,ralic/homebrew,nelstrom/homebrew,skinny-framework/homebrew,sferik/homebrew,sakra/homebrew,galaxy001/homebrew,michaKFromParis/homebrew-sparks,base10/homebrew,drbenmorgan/linuxbrew,nandub/homebrew,gawbul/homebrew,yumitsu/homebrew,jab/homebrew,marcwebbie/homebrew,keith/homebrew,mobileoverlord/homebrew-1,kodabb/homebrew,alebcay/homebrew,ExtremeMan/homebrew,osimola/homebrew,scpeters/homebrew,skatsuta/homebrew,Asuranceturix/homebrew,johanhammar/homebrew,sakra/homebrew,base10/homebrew,jiashuw/homebrew,bigbes/homebrew,booi/homebrew,skinny-framework/homebrew,kevinastone/homebrew,afh/homebrew,utzig/homebrew,hyuni/homebrew,thinker0/homebrew,blogabe/homebrew,kevinastone/homebrew,Homebrew/homebrew,cprecioso/homebrew,dericed/homebrew,dickeyxxx/homebrew,mactkg/homebrew,bukzor/linuxbrew,cosmo0920/homebrew,Homebrew/linuxbrew,decors/homebrew,Asuranceturix/homebrew,AlexejK/homebrew,ybott/homebrew,sjackman/linuxbrew,Linuxbrew/linuxbrew,influxdata/homebrew,booi/homebrew,DoomHammer/linuxbrew,Chilledheart/homebrew,utzig/homebrew,scorphus/homebrew,skatsuta/homebrew,drbenmorgan/linuxbrew,decors/homebrew,mactkg/homebrew,osimola/homebrew,miketheman/homebrew,benjaminfrank/homebrew,retrography/homebrew,elyscape/homebrew,jarrettmeyer/homebrew,ear/homebrew,nelstrom/homebrew,scpeters/homebrew,jsjohnst/homebrew,esamson/homebrew,filcab/homebrew,dplarson/homebrew,dgageot/homebrew,teslamint/homebrew,BrewTestBot/homebrew,dericed/homebrew,kevinastone/homebrew,sferik/homebrew,lrascao/homebrew,reelsense/linuxbrew,royhodgman/homebrew,danieroux/homebrew,adamliter/homebrew,Homebrew/linuxbrew,gicmo/homebrew,liamstask/homebrew,quantumsteve/homebrew,influxdb/homebrew,arnested/homebrew,DoomHammer/linuxbrew,jamer/homebrew,liamstask/homebrew,joshfriend/homebrew,influxdb/homebrew,tschoonj/homebrew,vigo/homebrew,BrewTestBot/homebrew,Linuxbrew/linuxbrew,tutumcloud/homebrew,sjackman/linuxbrew,blogabe/homebrew,zchee/homebrew,yazuuchi/homebrew,ryanfb/homebrew,muellermartin/homebrew,dunn/homebrew,iostat/homebrew2,scorphus/homebrew,tutumcloud/homebrew,saketkc/linuxbrew,dongcarl/homebrew,royhodgman/homebrew,totalvoidness/homebrew,chadcatlett/homebrew,recruit-tech/homebrew,scpeters/homebrew,esamson/homebrew,eighthave/homebrew,getgauge/homebrew,ento/homebrew,optikfluffel/homebrew,dutchcoders/homebrew,mobileoverlord/homebrew-1,ybott/homebrew,sakra/homebrew,afh/homebrew,haihappen/homebrew,drewwells/homebrew,cprecioso/homebrew,zhipeng-jia/homebrew,ralic/homebrew,booi/homebrew,feelpp/homebrew,mkrapp/homebrew,ExtremeMan/homebrew,filcab/homebrew,pdxdan/homebrew,SuperNEMO-DBD/cadfaelbrew,bigbes/homebrew,dalanmiller/homebrew,miketheman/homebrew,pcottle/homebrew,Red54/homebrew,dplarson/homebrew,utzig/homebrew,benjaminfrank/homebrew,muellermartin/homebrew,manphiz/homebrew,muellermartin/homebrew,manphiz/homebrew,keith/homebrew,royhodgman/homebrew,cosmo0920/homebrew,ryanfb/homebrew,galaxy001/homebrew,georgschoelly/homebrew,manphiz/homebrew,tutumcloud/homebrew,mmizutani/homebrew,base10/homebrew,getgauge/homebrew,dickeyxxx/homebrew,tutumcloud/homebrew,knpwrs/homebrew,hyuni/homebrew,pdxdan/homebrew,sometimesfood/homebrew,recruit-tech/homebrew,scpeters/homebrew,ablyler/homebrew,ilovezfs/homebrew,johanhammar/homebrew,influxdb/homebrew,gawbul/homebrew,SteveClement/homebrew,quantumsteve/homebrew,ilovezfs/homebrew,adamliter/homebrew,influxdata/homebrew,hongkongkiwi/homebrew,hongkongkiwi/homebrew,mactkg/homebrew,keith/homebrew,manphiz/homebrew,redpen-cc/homebrew,cprecioso/homebrew,Asuranceturix/homebrew,AlexejK/homebrew,pcottle/homebrew,nelstrom/homebrew,Chilledheart/homebrew,jconley/homebrew,sometimesfood/homebrew,kenips/homebrew,scorphus/homebrew,Asuranceturix/homebrew,mmizutani/homebrew,dalanmiller/homebrew,menivaitsi/homebrew,cosmo0920/homebrew,sakra/homebrew,jiashuw/homebrew,ebouaziz/linuxbrew,redpen-cc/homebrew,pcottle/homebrew,yazuuchi/homebrew,reelsense/homebrew,adamliter/homebrew,jconley/homebrew,chadcatlett/homebrew,cscetbon/homebrew,brunchboy/homebrew,Red54/homebrew,dunn/homebrew,Linuxbrew/linuxbrew,Angeldude/linuxbrew,marcwebbie/homebrew,theeternalsw0rd/homebrew,pcottle/homebrew,theeternalsw0rd/homebrew,michaKFromParis/homebrew-sparks,arnested/homebrew,Angeldude/linuxbrew,utzig/homebrew,kodabb/homebrew,Homebrew/homebrew,mmizutani/homebrew,liamstask/homebrew,SteveClement/homebrew,elgertam/homebrew,polishgeeks/homebrew,dgageot/homebrew,youtux/homebrew,drewwells/homebrew,getgauge/homebrew,feelpp/homebrew,SuperNEMO-DBD/cadfaelbrew,cscetbon/homebrew,Red54/homebrew,polishgeeks/homebrew,danieroux/homebrew,reelsense/linuxbrew,jarrettmeyer/homebrew,jab/homebrew,jamer/homebrew,Homebrew/linuxbrew,alebcay/homebrew,treyharris/homebrew,decors/homebrew,ento/homebrew,Linuxbrew/linuxbrew,dickeyxxx/homebrew,Angeldude/linuxbrew,marcwebbie/homebrew,hakamadare/homebrew,ablyler/homebrew,esamson/homebrew,iandennismiller/homebrew,jconley/homebrew,sjackman/linuxbrew,MartinDelille/homebrew,OJFord/homebrew,osimola/homebrew,frodeaa/homebrew,johanhammar/homebrew,dunn/homebrew,recruit-tech/homebrew,dongcarl/homebrew,reelsense/linuxbrew,miketheman/homebrew,emcrisostomo/homebrew,base10/homebrew