Mul x0 Mul x0 Pow x0 asinh acot asinh Mul x7 Pow x0 cosh x0 
Add Mul x0 Pow x0 asinh acot asinh Mul x7 Pow x0 cosh x0 Mul x0 Add Pow x0 asinh acot asinh Mul x7 Pow x0 cosh x0 Mul x0 Mul Pow x0 Add asinh acot asinh Mul x7 Pow x0 cosh x0 -1 Add asinh acot asinh Mul x7 Pow x0 cosh x0 Mul Mul x0 log x0 Mul Mul -1 Mul Mul Mul x7 Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Pow sqrt Add 1 Mul Mul x7 Pow x0 cosh x0 Mul x7 Pow x0 cosh x0 -1 Pow Add 1 Mul asinh Mul x7 Pow x0 cosh x0 asinh Mul x7 Pow x0 cosh x0 -1 Pow sqrt Add 1 Mul acot asinh Mul x7 Pow x0 cosh x0 acot asinh Mul x7 Pow x0 cosh x0 -1 