Решение 

S = `*`(`+`(3, -1), `*`(`+`(6, -3))) 

S = 6 (6.2.1)