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