Pow Add x3 cot sec Pow acoth x0 -2 -3 
Mul Pow Add x3 cot sec Pow acoth x0 -2 4 Mul -3 Mul Mul -1 Pow csc sec Pow acoth x0 -2 2 Mul Mul tan Pow acoth x0 -2 sec Pow acoth x0 -2 Mul Pow acoth x0 3 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 