acot Add Pow Mul Add x0 x5 csch sinh x0 3 csch Pow Pow x7 x6 x7 
Mul -1 Mul Mul Pow Mul Add x0 x5 csch sinh x0 2 Mul 3 Add csch sinh x0 Mul Add x0 x5 Mul Mul Mul -1 coth sinh x0 csch sinh x0 cosh x0 Pow Add 1 Mul Add Pow Mul Add x0 x5 csch sinh x0 3 csch Pow Pow x7 x6 x7 Add Pow Mul Add x0 x5 csch sinh x0 3 csch Pow Pow x7 x6 x7 -1 