asinh Mul Pow -5 x3 Pow acos x0 asech pi 
Mul Mul Pow -5 x3 Mul Pow acos x0 Add asech pi -1 Mul asech pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Mul Pow -5 x3 Pow acos x0 asech pi Mul Pow -5 x3 Pow acos x0 asech pi -1 