Mul x2 sqrt Mul Add Mul x0 Mul Add x1 x0 Mul acoth Mul E csch asinh x6 x0 x2 x7 
Mul x2 Mul Pow Mul 2 sqrt Mul Add Mul x0 Mul Add x1 x0 Mul acoth Mul E csch asinh x6 x0 x2 x7 -1 Mul x7 Add Mul Add x1 x0 Mul acoth Mul E csch asinh x6 x0 Mul x0 Add Mul acoth Mul E csch asinh x6 x0 Mul Add x1 x0 acoth Mul E csch asinh x6 