>>789
３行目 √(2)e^x(√(2)(-sin((x-pi/4)+3pi/4)))
でも 2e^xcosx はあってる。