CIAO, Fai una domanda su regola del prodotto ddx ((23x)(x2+5x1))