Mul Add x0 Pow x7 atan Add -2 acot Mul E sinh x0 Add atanh x6 1 
Mul Add atanh x6 1 Add 1 Mul Pow x7 Add atan Add -2 acot Mul E sinh x0 -1 Mul Mul x7 log x7 Mul Mul -1 Mul Mul E cosh x0 Pow Add 1 Mul Mul E sinh x0 Mul E sinh x0 -1 Pow Add 1 Mul Add -2 acot Mul E sinh x0 Add -2 acot Mul E sinh x0 -1 