headConsxxsxfactorConsRParxsxsfactorConsDivxsxsfactorConsMulxsxsfactorConsPlusxsxsfactorConsMinusxsxsfactorConsValintxsxsfactorConsLParxsfactor[Ite][True][Let]ConsLParxsexprConsLParxsmemberx'Consxxsmember[Ite][True][Ite]eqAlphxx'x'ConsxxsmemberxNilFalseatomConsxxsxsatomNilNileqAlphRParRParTrueeqAlphRParLParFalseeqAlphRParDivFalseeqAlphRParMulFalseeqAlphRParPlusFalseeqAlphRParMinusFalseeqAlphRParValint2FalseeqAlphLParRParFalseeqAlphLParLParTrueeqAlphLParDivFalseeqAlphLParMulFalseeqAlphLParPlusFalseeqAlphLParMinusFalseeqAlphLParValint2FalseeqAlphDivRParFalseeqAlphDivLParFalseeqAlphDivDivTrueeqAlphDivMulFalseeqAlphDivPlusFalseeqAlphDivMinusFalseeqAlphDivValint2FalseeqAlphMulRParFalseeqAlphMulLParFalseeqAlphMulDivFalseeqAlphMulMulTrueeqAlphMulPlusFalseeqAlphMulMinusFalseeqAlphMulValint2FalseeqAlphPlusRParFalseeqAlphPlusLParFalseeqAlphPlusDivFalseeqAlphPlusMulFalseeqAlphPlusPlusTrueeqAlphPlusMinusFalseeqAlphPlusValint2FalseeqAlphMinusRParFalseeqAlphMinusLParFalseeqAlphMinusDivFalseeqAlphMinusMulFalseeqAlphMinusPlusFalseeqAlphMinusMinusTrueeqAlphMinusValint2FalseeqAlphValintRParFalseeqAlphValintLParFalseeqAlphValintDivFalseeqAlphValintMulFalseeqAlphValintPlusFalseeqAlphValintMinusFalseeqAlphValintValint2!EQint2intnotEmptyConsxxsTruenotEmptyNilFalsetermxsterm[Let]xsfactorxsparsexpxsexprxsexprxsexpr[Let]xstermxsandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrue!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00Truefactor[Ite][True][Let]xs'ConsRParxsfactor[Ite][True][Let][Ite]Truexs'ConsRParxsfactor[Ite][True][Let]xs'ConsLParxsfactor[Ite][True][Let][Ite]Falsexs'ConsLParxsfactor[Ite][True][Let]xs'ConsDivxsfactor[Ite][True][Let][Ite]Falsexs'ConsDivxsfactor[Ite][True][Let]xs'ConsMulxsfactor[Ite][True][Let][Ite]Falsexs'ConsMulxsfactor[Ite][True][Let]xs'ConsPlusxsfactor[Ite][True][Let][Ite]Falsexs'ConsPlusxsfactor[Ite][True][Let]xs'ConsMinusxsfactor[Ite][True][Let][Ite]Falsexs'ConsMinusxsfactor[Ite][True][Let]xs'ConsValintxsfactor[Ite][True][Let][Ite]Falsexs'ConsValintxsterm[Let]xs'Consxxsterm[Let][Ite][False][Ite]memberxConsMulConsDivNilxs'Consxxsexpr[Let]xs'Consxxsexpr[Let][Ite][False][Ite]memberxConsPlusConsMinusNilxs'Consxxsterm[Let]xsNilNilmember[Ite][True][Ite]Falsex'Consxxsmemberx'xsfactor[Ite][True][Let]xsNilfactor[Ite][True][Let][Ite]andFalseeqAlphheadNilRParxsNilexpr[Let]xsNilNilmember[Ite][True][Ite]TruexxsTruePlus0LPar0True0head1factor1Minus0atom1expr1expr[Let]2Div0Mul0member2!EQ2Cons2term[Let][Ite][False][Ite]3Val1False0term1factor[Ite][True][Let]2member[Ite][True][Ite]3Nil0and2factor[Ite][True][Let][Ite]3RPar0S1term[Let]2expr[Let][Ite][False][Ite]300eqAlph2notEmpty1parsexp1INNERMOST