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