\mbox{cn}\ u = \sqrt{\frac{\mbox{cn}\ 2u + \mbox{dn}\ 2u}{1+\mbox{dn}\ 2u}}, \quad