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