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*2 *\2 + 3*x *log(2)/*log(2)
/ 3\ \x / / 6 2 3 \ 3*2 *\2 + 9*x *log (2) + 18*x *log(2)/*log(2)