Pow Mul cosh Add acot Mul E x0 x0 x0 Mul E x0 
Mul Pow Mul cosh Add acot Mul E x0 x0 x0 Add Mul E x0 -1 Add Mul Mul E x0 Add Mul x0 Mul sinh Add acot Mul E x0 x0 Add Mul -1 Mul E Pow Add 1 Mul Mul E x0 Mul E x0 -1 1 cosh Add acot Mul E x0 x0 Mul Mul Mul cosh Add acot Mul E x0 x0 x0 log Mul cosh Add acot Mul E x0 x0 x0 E 