ExpandのポリシーとしてAbs[a + I b]^2を展開したりは
しないのかな。
TargetFunctionsを適当に変えてやるとイケる。