Mul Pow Mul Add x0 x0 csch acot E x0 x0 
Add Mul x0 Mul Pow Mul Add x0 x0 csch acot E Add x0 -1 Add Mul x0 Mul csch acot E 2 Mul Mul Add x0 x0 csch acot E log Mul Add x0 x0 csch acot E Pow Mul Add x0 x0 csch acot E x0 