Решение 

maximize(`+`(`*`(4, `*`(cot(x))), `*`(4, `*`(x)), 3, `-`(`*`(2, `*`(Pi)))), x = `+`(`*`(`/`(1, 2), `*`(Pi))) .. `+`(`*`(`/`(3, 4), `*`(Pi)))) 

3 (51.2.1)