Add -5 sinh Add Mul x0 Mul Add Pow x0 asech asinh x7 Add Add 1 Mul 2 x2 x0 sqrt x0 atanh Pow x0 x0 
Mul cosh Add Mul x0 Mul Add Pow x0 asech asinh x7 Add Add 1 Mul 2 x2 x0 sqrt x0 atanh Pow x0 x0 Add Add Mul Add Pow x0 asech asinh x7 Add Add 1 Mul 2 x2 x0 sqrt x0 Mul x0 Add Mul sqrt x0 Add Mul Pow x0 Add asech asinh x7 -1 asech asinh x7 1 Mul Add Pow x0 asech asinh x7 Add Add 1 Mul 2 x2 x0 Pow Mul 2 sqrt x0 -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 