>>72
x=(e^(θ)-e^(-θ))/2 とおく.