Mul x0 Mul Mul Mul Mul acos x0 sec acsch Pow acsch Mul 5 Add cosh E 2 3 sqrt x0 asec x1 x0 
Add Mul Mul Mul Mul acos x0 sec acsch Pow acsch Mul 5 Add cosh E 2 3 sqrt x0 asec x1 x0 Mul x0 Add Mul x0 Mul asec x1 Add Mul sqrt x0 Mul sec acsch Pow acsch Mul 5 Add cosh E 2 3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 sec acsch Pow acsch Mul 5 Add cosh E 2 3 Pow Mul 2 sqrt x0 -1 Mul Mul Mul acos x0 sec acsch Pow acsch Mul 5 Add cosh E 2 3 sqrt x0 asec x1 