Exercise algebra.manipulation.exponents.equation

Description
solve power equation algebraically with x > 0

Strategy

<label name="powerequationwithapproximation">
  <label name="powerequation">
    <sequence>
      <rule name=""/>
      <let>
        <decl var="1">
          <orelse>
            <sequence>
              <let>
                <decl var="0">
                  <orelse>
                    <sequence>
                      <choice>
                        <rule name="algebra.equations.coverup.plus"/>
                        <rule name="algebra.equations.coverup.minus-left"/>
                        <rule name="algebra.equations.coverup.minus-right"/>
                        <rule name="algebra.equations.coverup.negate"/>
                        <rule name="algebra.equations.coverup.times"/>
                        <rule name="algebra.equations.coverup.numerator"/>
                        <rule name="algebra.equations.coverup.denominator"/>
                        <rule name="algebra.equations.coverup.sqrt"/>
                        <fail/>
                      </choice>
                      <var var="0"/>
                    </sequence>
                    <succeed/>
                  </orelse>
                </decl>
                <var var="0"/>
              </let>
              <choice>
                <sequence>
                  <rule name="algebra.manipulation.exponents.equation.greatest-power"/>
                  <rule name="algebra.manipulation.exponents.equation.common-power"/>
                </sequence>
                <succeed/>
              </choice>
              <rule name="algebra.manipulation.exponents.equation.nth-root"/>
              <label name="useapprox">
                <orelse>
                  <rule name="algebra.manipulation.exponents.equation.approx-power"/>
                  <succeed/>
                </orelse>
              </label>
              <var var="1"/>
            </sequence>
            <succeed/>
          </orelse>
        </decl>
        <var var="1"/>
      </let>
    </sequence>
  </label>
</label>

Locations