∫e^((3/2)*x))*cos((√3/2)*x)dx
答えはわかるんですが、この計算はどのようにやるんでしょうか?公式でもあるんでしょうか?