Mul x0 acot Add Mul Add acoth sqrt x1 5 Add x0 3 Mul csch Pow E x0 tanh x4 
Add acot Add Mul Add acoth sqrt x1 5 Add x0 3 Mul csch Pow E x0 tanh x4 Mul x0 Mul -1 Mul Add Add acoth sqrt x1 5 Mul tanh x4 Mul Mul Mul -1 coth Pow E x0 csch Pow E x0 Mul Pow E Add x0 -1 Mul E log E Pow Add 1 Mul Add Mul Add acoth sqrt x1 5 Add x0 3 Mul csch Pow E x0 tanh x4 Add Mul Add acoth sqrt x1 5 Add x0 3 Mul csch Pow E x0 tanh x4 -1 