cot cot Mul Add x7 Pow acoth x0 -5 x5 
Mul Mul -1 Pow csc cot Mul Add x7 Pow acoth x0 -5 x5 2 Mul Mul -1 Pow csc Mul Add x7 Pow acoth x0 -5 x5 2 Mul x5 Mul Pow acoth x0 6 Mul -5 Pow Add 1 Mul -1 Mul x0 x0 -1 