Πεψενθε 

 

`and`(y[=081] = y(0), y(0) = 8) 

maximize(`+`(`*`(7, `*`(x)), `-`(`*`(6, `*`(sin(x)))), 8), x = `+`(`-`(`*`(`/`(1, 2), `*`(Pi)))) .. 0) 

8 (43.3.1.2.1)