Add Add Mul x0 Pow x3 sqrt acot Add x5 2 x0 Pow Add cosh Add acot x3 2 x6 coth Add E x0 
Add Add Pow x3 sqrt acot Add x5 2 1 Mul Pow Add cosh Add acot x3 2 x6 Add coth Add E x0 -1 Mul Mul Add cosh Add acot x3 2 x6 log Add cosh Add acot x3 2 x6 Mul -1 Pow csch Add E x0 2 