Pow Add -2 Pow sqrt cot x6 x0 Add x7 Mul -3 Pow x7 E 
Mul Pow Add -2 Pow sqrt cot x6 x0 Add Add x7 Mul -3 Pow x7 E -1 Mul Add x7 Mul -3 Pow x7 E Mul Pow sqrt cot x6 Add x0 -1 Mul sqrt cot x6 log sqrt cot x6 