Mul 1.15913523654937 sinh Add Pow x0 asech Add exp x6 Mul x0 coth acos log x7 Mul x0 -3 
Mul 1.15913523654937 Mul cosh Add Pow x0 asech Add exp x6 Mul x0 coth acos log x7 Mul x0 -3 Add Mul Pow x0 Add asech Add exp x6 Mul x0 coth acos log x7 -1 Add asech Add exp x6 Mul x0 coth acos log x7 Mul Mul x0 log x0 Mul coth acos log x7 Pow Mul Mul Add exp x6 Mul x0 coth acos log x7 Add exp x6 Mul x0 coth acos log x7 sqrt Add 1 Mul -1 Pow Mul Add exp x6 Mul x0 coth acos log x7 Add exp x6 Mul x0 coth acos log x7 -1 -1 -3 