Pow x0 acsch Add acos x0 csch Mul x4 pi 
Mul Pow x0 Add acsch Add acos x0 csch Mul x4 pi -1 Add acsch Add acos x0 csch Mul x4 pi Mul Mul x0 log x0 Mul Mul -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Add acos x0 csch Mul x4 pi Add acos x0 csch Mul x4 pi sqrt Add 1 Mul -1 Pow Mul Add acos x0 csch Mul x4 pi Add acos x0 csch Mul x4 pi -1 -1 