Pow x0 Add Add -2 cot x3 atan Pow Pow x0 x4 2 
Mul Pow x0 Add Add Add -2 cot x3 atan Pow Pow x0 x4 2 -1 Add Add Add -2 cot x3 atan Pow Pow x0 x4 2 Mul Mul x0 log x0 Mul Mul Pow x0 x4 Mul 2 Mul Pow x0 Add x4 -1 x4 Pow Add 1 Mul Pow Pow x0 x4 2 Pow Pow x0 x4 2 -1 