Mul cot x0 atanh Mul Pow Mul E Add x7 1 x0 4 
Add Mul atanh Mul Pow Mul E Add x7 1 x0 4 Mul -1 Pow csc x0 2 Mul cot x0 Mul Mul 4 Mul Pow Mul E Add x7 1 Add x0 -1 Mul Mul E Add x7 1 log Mul E Add x7 1 Pow Add 1 Mul -1 Mul Mul Pow Mul E Add x7 1 x0 4 Mul Pow Mul E Add x7 1 x0 4 -1 