While trying to narrow down a bug, I saw that SQLReduce could do a little better.
Original SQLReduce output (sample provided):
SELECT WHERE Fn1 @@ Fn2(Fn3,Fn4)
This could be shortened to:
SELECT WHERE Fn2(Fn3,Fn4)::TEXT::BOOLEAN;
Although not possible in all cases, it could be further shortened to: