L'espressione assume i valori durante la fase di backtraking ed in particolare assume i valori
nell'ordine, cubo(3):
- 0+quad(0)+quad(0)+quad(0)+0+0+0-2 (ritorno da cubo(1))
- (0+quad(0)+quad(0)+quad(0)+0+0+0-2) + quad(1)+quad(1)+quad(1)+1+1+1-2 (ritorno da cubo(2))
- ((0+quad(0)+quad(0)+quad(0)+0+0+0-2) + quad(1)+quad(1)+quad(1)+1+1+1-2)+quad(2)+quad(2)+quad(2)+2+2+2-2 (ritorno da cubo(3)

Almeno spero