Pow atanh Mul 3 x0 Pow sec Pow E -3 acsch x0 
Mul Pow atanh Mul 3 x0 Add Pow sec Pow E -3 acsch x0 -1 Add Mul Pow sec Pow E -3 acsch x0 Mul 3 Pow Add 1 Mul -1 Mul Mul 3 x0 Mul 3 x0 -1 Mul Mul atanh Mul 3 x0 log atanh Mul 3 x0 Mul Pow sec Pow E -3 Add acsch x0 -1 Mul Mul sec Pow E -3 log sec Pow E -3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 