複雑な形の式の因数分解をしています。置き換えを使って解いています。