Good day. I need to simplify large expression in finite field (F2, i.e. boolean algebra) I have a question. How can I get this result in Maxima? for example: (%i1) rat (3*(y+z)^2) (%o1) z+y