Add Add coth x0 Mul acos pi Add x0 x0 Pow asech Add acot x0 Mul E 5 x4 
Add Add Mul -1 Pow csch x0 2 Mul acos pi 2 Mul Pow asech Add acot x0 Mul E 5 Add x4 -1 Mul x4 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add acot x0 Mul E 5 Add acot x0 Mul E 5 sqrt Add 1 Mul -1 Pow Mul Add acot x0 Mul E 5 Add acot x0 Mul E 5 -1 -1 