Mul Mul cosh x0 sinh Mul asec asinh x0 x0 x7 
Mul x7 Add Mul sinh Mul asec asinh x0 x0 sinh x0 Mul cosh x0 Mul cosh Mul asec asinh x0 x0 Add Mul x0 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asinh x0 asinh x0 -1 asinh x0 asinh x0 -1 asec asinh x0 