Add Mul E coth sqrt Pow Add x0 x7 sinh Add exp E x0 Add E x0 
Add Mul E Mul Mul -1 Pow csch sqrt Pow Add x0 x7 sinh Add exp E x0 2 Mul Pow Mul 2 sqrt Pow Add x0 x7 sinh Add exp E x0 -1 Mul Pow Add x0 x7 Add sinh Add exp E x0 -1 Add sinh Add exp E x0 Mul Mul Add x0 x7 log Add x0 x7 cosh Add exp E x0 1 