Sustituimos .
Luego se aplica una cadena de reglas. Multiplicamos por :
Según el principio, aplicamos: tenemos
Como resultado de la secuencia de reglas:
Respuesta:
/ 3\ \x / / 3 \ 3*x*a *\2 + 3*x *log(a)/*log(a)
/ 3\ \x / / 6 2 3 \ 3*a *\2 + 9*x *log (a) + 18*x *log(a)/*log(a)