cot log Add Mul -3 Mul Add x0 Add 1 x2 sqrt coth x5 2 
Mul Mul -1 Pow csc log Add Mul -3 Mul Add x0 Add 1 x2 sqrt coth x5 2 2 Mul Mul -3 sqrt coth x5 Pow Add Mul -3 Mul Add x0 Add 1 x2 sqrt coth x5 2 -1 