Решение 

maximize(`+`(`*`(20, `*`(cos(x))), `*`(10, `*`(sqrt(3), `*`(x))), `-`(`*`(`+`(`*`(10, `*`(sqrt(3), `*`(Pi)))), `/`(1, 3))), 7), x = 0 .. `+`(`*`(`/`(1, 2), `*`(Pi)))) 

17 (47.2.1)