Julia で微分

うう〜ん。これって，Python の sympy 使ってるだけだよな〜〜〜

θによる媒介変数表示

x = sin θ
y = -log tan(θ/2) - cos θ　　　（0 < θ < π/2）

θ=π/3 における d²y / dx² の値を求めよ。log は自然対数関数。

using SymPy

@syms a t u x y z
x = sin(t)
y = -log(tan(t/2)) - cos(t)
z = diff(diff(y)/diff(x))/diff(x)
u = simplify(z)
a = subs(u, t, pi/3)
round(Int, N(10a - a)) // 9

答え 8//3