三角関数の微分

一番やりたかったのはこれだが、、

import sympy

x = sympy.Symbol('x')
y = sympy.Symbol('y')

print(sympy.diff(sympy.sin(x)))
print(sympy.diff(sympy.cos(x)))
print(sympy.diff(sympy.tan(x)))

print(sympy.diff(sympy.exp(x)))
print(sympy.diff(sympy.log(x)))

[vagrant@localhost python]$ python app.py
cos(x)
-sin(x)
tan(x)**2 + 1
exp(x)
1/x

あれ、tan(x)の微分は 1/cos^2(x)じゃなかったっけ。。同じって事かな。