Add Mul Pow x7 -3 Mul x0 x0 sec cot Mul x0 Add -5 acoth x0 
Add Mul Pow x7 -3 Add x0 x0 Mul Mul tan cot Mul x0 Add -5 acoth x0 sec cot Mul x0 Add -5 acoth x0 Mul Mul -1 Pow csc Mul x0 Add -5 acoth x0 2 Add Add -5 acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 