Решение 

maximize(`+`(`*`(20, `*`(tan(x))), `-`(`*`(20, `*`(x))), `*`(5, `*`(Pi)), `-`(5)), x = `+`(`-`(`*`(`/`(1, 4), `*`(Pi)))) .. `+`(`*`(`/`(1, 4), `*`(Pi)))) 

15 (49.2.1)