Решение 

maximize(`+`(`*`(12, `*`(tan(x))), `*`(12, `*`(x)), `-`(`*`(3, `*`(Pi))), 6), x = `+`(`*`(`/`(1, 4), `*`(Pi))) .. `+`(`*`(`/`(1, 4), `*`(Pi)))) 

18 (49.3.1.2.1)