Mul acos Pow Pow Pow x4 Mul x2 cosh Pow x4 asec x0 2 x4 x0 
Add Mul x0 Mul -1 Mul Mul Pow Pow Pow x4 Mul x2 cosh Pow x4 asec x0 2 Add x4 -1 Mul x4 Mul Pow x4 Mul x2 cosh Pow x4 asec x0 Mul 2 Mul Pow x4 Add Mul x2 cosh Pow x4 asec x0 -1 Mul Mul x4 log x4 Mul x2 Mul sinh Pow x4 asec x0 Mul Pow x4 Add asec x0 -1 Mul Mul x4 log x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Pow Pow x4 Mul x2 cosh Pow x4 asec x0 2 x4 Pow Pow Pow x4 Mul x2 cosh Pow x4 asec x0 2 x4 -1 acos Pow Pow Pow x4 Mul x2 cosh Pow x4 asec x0 2 x4 