Exercise algebra.manipulation.polynomial.factor

Description
factorize the expression

Strategy

<label name="findfactors">
  <let>
    <decl var="4">
      <orelse>
        <sequence>
          <label name="findfactorstep">
            <let>
              <decl var="2">
                <choice>
                  <rule name="algebra.equations.quadratic.nice-factors"/>
                  <rule name="algebra.equations.quadratic.common-factor"/>
                  <rule name="algebra.equations.polynomial.factor-varpower"/>
                  <rule name="algebra.equations.polynomial.simpler-linfactor"/>
                  <sequence>
                    <rule name="navigator.down"/>
                    <let>
                      <decl var="0">
                        <orelse>
                          <rule name="check"/>
                          <sequence>
                            <rule name="navigator.right"/>
                            <var var="0"/>
                          </sequence>
                        </orelse>
                      </decl>
                      <var var="0"/>
                    </let>
                    <let>
                      <decl var="3">
                        <choice>
                          <var var="2"/>
                          <sequence>
                            <rule name="navigator.right"/>
                            <let>
                              <decl var="0">
                                <orelse>
                                  <rule name="check"/>
                                  <sequence>
                                    <rule name="navigator.right"/>
                                    <var var="0"/>
                                  </sequence>
                                </orelse>
                              </decl>
                              <var var="0"/>
                            </let>
                            <var var="3"/>
                          </sequence>
                        </choice>
                      </decl>
                      <var var="3"/>
                    </let>
                    <orelse>
                      <rule name="navigator.up"/>
                      <succeed/>
                    </orelse>
                  </sequence>
                </choice>
              </decl>
              <var var="2"/>
            </let>
          </label>
          <var var="4"/>
        </sequence>
        <succeed/>
      </orelse>
    </decl>
    <var var="4"/>
  </let>
</label>

Locations