factoriser 12xy - 9xz + 3xt