Mul x7 Add Add x0 sinh asinh Mul x6 0.841470984807897 Mul Pow acosh Add x0 Mul x0 Add atan x2 x7 x0 coth x0 
Mul x7 Add 1 Add Mul coth x0 Mul Pow acosh Add x0 Mul x0 Add atan x2 x7 Add x0 -1 Add Mul x0 Mul Add 1 Add atan x2 x7 Pow Mul sqrt Add Add x0 Mul x0 Add atan x2 x7 -1 sqrt Add 1 Add x0 Mul x0 Add atan x2 x7 -1 Mul acosh Add x0 Mul x0 Add atan x2 x7 log acosh Add x0 Mul x0 Add atan x2 x7 Mul Pow acosh Add x0 Mul x0 Add atan x2 x7 x0 Mul -1 Pow csch x0 2 