Решение 

`+`(`*`(40000, `*`(`*`(40, `/`(1, 100)), `*`(`*`(80, `/`(1, 100)))))) 

12800 (9.2.1)