Sin[3x]+Sin[x+(π/2)]
↓
2Sin[2x+(π/4)]Cos[x-(π/4)]

となっているのですが・・・