Pow x6 Mul -4 Pow x0 Add Pow sqrt x2 x0 cot x4 
Mul Pow x6 Add Mul -4 Pow x0 Add Pow sqrt x2 x0 cot x4 -1 Mul Mul x6 log x6 Mul -4 Mul Pow x0 Add Add Pow sqrt x2 x0 cot x4 -1 Add Add Pow sqrt x2 x0 cot x4 Mul Mul x0 log x0 Mul Pow sqrt x2 Add x0 -1 Mul sqrt x2 log sqrt x2 