atan Pow sqrt asech pi asin sinh x0 
Mul Mul Pow sqrt asech pi Add asin sinh x0 -1 Mul Mul sqrt asech pi log sqrt asech pi Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Pow Add 1 Mul Pow sqrt asech pi asin sinh x0 Pow sqrt asech pi asin sinh x0 -1 