Mul Pow x7 -5 atan Mul -1.52988565646640 Pow cot x1 x0 
Mul Pow x7 -5 Mul Mul -1.52988565646640 Mul Pow cot x1 Add x0 -1 Mul cot x1 log cot x1 Pow Add 1 Mul Mul -1.52988565646640 Pow cot x1 x0 Mul -1.52988565646640 Pow cot x1 x0 -1 