cosh Mul acot Mul Add -2 E sqrt x0 sech Add sech pi Add x2 x2 
Mul sinh Mul acot Mul Add -2 E sqrt x0 sech Add sech pi Add x2 x2 Mul sech Add sech pi Add x2 x2 Mul -1 Mul Mul Add -2 E Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Mul Add -2 E sqrt x0 Mul Add -2 E sqrt x0 -1 