Addition formula for Jacobi elliptic function sn