Add Add 4 Pow Mul x5 csch Add x0 Pow acosh x0 acos Add acot E pi x1 x0 
Add Mul Pow Mul x5 csch Add x0 Pow acosh x0 acos Add acot E pi Add x1 -1 Mul x1 Mul x5 Mul Mul Mul -1 coth Add x0 Pow acosh x0 acos Add acot E pi csch Add x0 Pow acosh x0 acos Add acot E pi Add 1 Mul Pow acosh x0 Add acos Add acot E pi -1 Mul acos Add acot E pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 