Mul Mul x7 x0 acoth Add cosh Add 1 x0 Add Mul E x0 x0 
Add Mul acoth Add cosh Add 1 x0 Add Mul E x0 x0 x7 Mul Mul x7 x0 Mul Add sinh Add 1 x0 Add E 1 Pow Add 1 Mul -1 Mul Add cosh Add 1 x0 Add Mul E x0 x0 Add cosh Add 1 x0 Add Mul E x0 x0 -1 