Pow Add log Pow log acsch x0 x0 x2 acos asech Pow x0 sqrt pi 
Mul Pow Add log Pow log acsch x0 x0 x2 Add acos asech Pow x0 sqrt pi -1 Add Mul acos asech Pow x0 sqrt pi Mul Mul Pow log acsch x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow acsch x0 -1 Mul log acsch x0 log log acsch x0 Pow Pow log acsch x0 x0 -1 Mul Mul Add log Pow log acsch x0 x0 x2 log Add log Pow log acsch x0 x0 x2 Mul -1 Mul Mul Mul Pow x0 Add sqrt pi -1 sqrt pi Pow Mul Mul Pow x0 sqrt pi Pow x0 sqrt pi sqrt Add 1 Mul -1 Pow Mul Pow x0 sqrt pi Pow x0 sqrt pi -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Pow x0 sqrt pi asech Pow x0 sqrt pi -1 