Mul coth csch acos Mul x0 pi x0 
Add Mul x0 Mul Mul -1 Pow csch csch acos Mul x0 pi 2 Mul Mul Mul -1 coth acos Mul x0 pi csch acos Mul x0 pi Mul -1 Mul pi Pow sqrt Add 1 Mul -1 Mul Mul x0 pi Mul x0 pi -1 coth csch acos Mul x0 pi 