Pow cot x1 acosh Pow x1 csch x0 
Mul Pow cot x1 Add acosh Pow x1 csch x0 -1 Mul Mul cot x1 log cot x1 Mul Mul Pow x1 Add csch x0 -1 Mul Mul x1 log x1 Mul Mul -1 coth x0 csch x0 Pow Mul sqrt Add Pow x1 csch x0 -1 sqrt Add 1 Pow x1 csch x0 -1 