Mul x0 Add Pow Add Pow Add x0 csch E x5 x0 cot Mul E x0 x0 
Add Add Pow Add Pow Add x0 csch E x5 x0 cot Mul E x0 x0 Mul x0 Add Mul Pow Add Pow Add x0 csch E x5 x0 Add cot Mul E x0 -1 Add Mul cot Mul E x0 Add Mul Pow Add x0 csch E Add x5 -1 x5 1 Mul Mul Add Pow Add x0 csch E x5 x0 log Add Pow Add x0 csch E x5 x0 Mul Mul -1 Pow csc Mul E x0 2 E 1 