csc atan Mul Pow sech Mul E Pow Add -1 x1 sec Add x4 32 Add x5 x0 6 
Mul Mul Mul -1 cot atan Mul Pow sech Mul E Pow Add -1 x1 sec Add x4 32 Add x5 x0 6 csc atan Mul Pow sech Mul E Pow Add -1 x1 sec Add x4 32 Add x5 x0 6 Mul Mul 6 Mul Pow sech Mul E Pow Add -1 x1 sec Add x4 32 Add Add x5 x0 -1 Mul sech Mul E Pow Add -1 x1 sec Add x4 32 log sech Mul E Pow Add -1 x1 sec Add x4 32 Pow Add 1 Mul Mul Pow sech Mul E Pow Add -1 x1 sec Add x4 32 Add x5 x0 6 Mul Pow sech Mul E Pow Add -1 x1 sec Add x4 32 Add x5 x0 6 -1 