Add Pow acoth Add asec sinh x7 x7 Add -4 Add Add atan x5 Mul 4 csch x0 Mul x0 -5 atanh Add E x0 
Add Mul Pow acoth Add asec sinh x7 x7 Add Add -4 Add Add atan x5 Mul 4 csch x0 Mul x0 -5 -1 Mul Mul acoth Add asec sinh x7 x7 log acoth Add asec sinh x7 x7 Add Mul 4 Mul Mul -1 coth x0 csch x0 -5 Pow Add 1 Mul -1 Mul Add E x0 Add E x0 -1 