Mul acosh acot Pow x0 2 Pow csch x0 x2 
Add Mul Pow csch x0 x2 Mul Mul -1 Mul Mul x0 2 Pow Add 1 Mul Pow x0 2 Pow x0 2 -1 Pow Mul sqrt Add acot Pow x0 2 -1 sqrt Add 1 acot Pow x0 2 -1 Mul acosh acot Pow x0 2 Mul Pow csch x0 Add x2 -1 Mul x2 Mul Mul -1 coth x0 csch x0 