sinh Pow Add x0 acoth sqrt Add x0 x7 pi 
Mul cosh Pow Add x0 acoth sqrt Add x0 x7 pi Mul Pow Add x0 acoth sqrt Add x0 x7 Add pi -1 Mul pi Add 1 Mul Pow Mul 2 sqrt Add x0 x7 -1 Pow Add 1 Mul -1 Mul sqrt Add x0 x7 sqrt Add x0 x7 -1 