71 y = `+`(`*`(`^`(x, 3)), `*`(12, `*`(`^`(x, 2))), 13). 

 

 

 

-8