exp Pow x7 Add sinh Add coth Mul x0 sqrt x2 x0 x0 
Mul exp Pow x7 Add sinh Add coth Mul x0 sqrt x2 x0 x0 Mul Pow x7 Add Add sinh Add coth Mul x0 sqrt x2 x0 x0 -1 Mul Mul x7 log x7 Add Mul cosh Add coth Mul x0 sqrt x2 x0 Add Mul Mul -1 Pow csch Mul x0 sqrt x2 2 sqrt x2 1 1 