Add Add Pow acosh coth x0 -2 Pow Mul x0 Add x0 asech acot x3 atanh Pow x0 x0 -4 
Add Mul Pow acosh coth x0 3 Mul -2 Mul Mul -1 Pow csch x0 2 Pow Mul sqrt Add coth x0 -1 sqrt Add 1 coth x0 -1 Mul Pow Mul x0 Add x0 asech acot x3 Add atanh Pow x0 x0 -1 Add Mul atanh Pow x0 x0 Add Add x0 asech acot x3 x0 Mul Mul Mul x0 Add x0 asech acot x3 log Mul x0 Add x0 asech acot x3 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 