>>622
もしかして、cos2xってcos(2x)でないのか?