Algebra and Analysis

Algebra and Analysis

d

dx

x

x

1

2

2

=

+

×

¶

¶

(EquationEqual

(AlgExprTotDeriv (Application (AlgFunction ‘f’)

(AlgVariable ‘x’)

(Exponentiate (AlgVariable ‘x’) [2]))

(AlgVariable ‘x’))

(Plus (Application (AlgFunDeriv (AlgFunction ‘f’) 1)

(AlgVariable ‘x’)

(Exponentiate (AlgVariable ‘x’) [2]))

(Times [2] (AlgVariable ‘x’)

(Application (AlgFunDeriv (AlgFunction ‘f’) 2)

(AlgVariable ‘x’)

(Exponentiate (AlgVariable ‘x’) [2])))))