Mul x0 Mul cosh asinh x0 asec Pow cosh x0 Mul x0 x5 
Add Mul cosh asinh x0 asec Pow cosh x0 Mul x0 x5 Mul x0 Add Mul asec Pow cosh x0 Mul x0 x5 Mul sinh asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul cosh asinh x0 Mul Mul Pow cosh x0 Add Mul x0 x5 -1 Add Mul Mul x0 x5 sinh x0 Mul Mul cosh x0 log cosh x0 x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow cosh x0 Mul x0 x5 Pow cosh x0 Mul x0 x5 -1 Pow cosh x0 Mul x0 x5 Pow cosh x0 Mul x0 x5 -1 