Решение 

minimize(`+`(4, `*`(`+`(`*`(4, `*`(sqrt(3), `*`(Pi)))), `/`(1, 3)), `-`(`*`(4, `*`(sqrt(3), `*`(x)))), `-`(`*`(8, `*`(cos(x))))), x = 0 .. `+`(`*`(`/`(1, 2), `*`(Pi)))) 

0 (48.2.1)