式変形
やった挙句に
元の式