acos cosh Mul Add asinh x0 3 Pow x6 Mul x0 cosh x0 
Mul -1 Mul Mul sinh Mul Add asinh x0 3 Pow x6 Mul x0 cosh x0 Add Mul Pow x6 Mul x0 cosh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Add asinh x0 3 Mul Pow x6 Add Mul x0 cosh x0 -1 Mul Mul x6 log x6 Add cosh x0 Mul x0 sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh Mul Add asinh x0 3 Pow x6 Mul x0 cosh x0 cosh Mul Add asinh x0 3 Pow x6 Mul x0 cosh x0 -1 