Pow acsch csch acsc x0 Mul sinh x0 sqrt Pow atan x0 2 
Mul Pow acsch csch acsc x0 Add Mul sinh x0 sqrt Pow atan x0 2 -1 Add Mul Mul sinh x0 sqrt Pow atan x0 2 Mul Mul -1 Mul Mul Mul -1 coth acsc x0 csch acsc x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul csch acsc x0 csch acsc x0 sqrt Add 1 Mul -1 Pow Mul csch acsc x0 csch acsc x0 -1 -1 Mul Mul acsch csch acsc x0 log acsch csch acsc x0 Add Mul sqrt Pow atan x0 2 cosh x0 Mul sinh x0 Mul Pow Mul 2 sqrt Pow atan x0 2 -1 Mul atan x0 Mul 2 Pow Add 1 Mul x0 x0 -1 