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*10 *\1 + 2*x *log(10)/*log(10)
/ 2\ \x / 2 / 2 \ 4*x*10 *log (10)*\3 + 2*x *log(10)/