[Haskell-cafe] transformation of point-free expressions

G'day ye all, is there an *elegant* way to transform ( (.) (flip (.) (flip ($)))) . flip (.) . flip (.) to the more compact form flip (.) . flip ? And more general, is there an algorithm to simplify such expressions (other than take a piece of paper, apply it to the appropriate number of arguments and see what you get)? Thanks in advance, Daniel