Mul Mul x0 Pow E Add acot csch Pow x0 4 Add x0 5 acos x3 
Mul acos x3 Add Pow E Add acot csch Pow x0 4 Add x0 5 Mul x0 Mul Pow E Add Add acot csch Pow x0 4 Add x0 5 -1 Mul Mul E log E Add Mul -1 Mul Mul Mul Mul -1 coth Pow x0 4 csch Pow x0 4 Mul Pow x0 3 4 Pow Add 1 Mul csch Pow x0 4 csch Pow x0 4 -1 1 