Pow asinh acoth x0 acoth Pow x0 acsc pi 
Mul Pow asinh acoth x0 Add acoth Pow x0 acsc pi -1 Add Mul acoth Pow x0 acsc pi Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul acoth x0 acoth x0 -1 Mul Mul asinh acoth x0 log asinh acoth x0 Mul Mul Pow x0 Add acsc pi -1 acsc pi Pow Add 1 Mul -1 Mul Pow x0 acsc pi Pow x0 acsc pi -1 