Mul Pow x0 Add Mul -1 Pow x0 cot x3 x2 x0 
Add Mul x0 Mul Pow x0 Add Add Mul -1 Pow x0 cot x3 x2 -1 Add Add Mul -1 Pow x0 cot x3 x2 Mul Mul x0 log x0 Mul -1 Mul Pow x0 Add cot x3 -1 cot x3 Pow x0 Add Mul -1 Pow x0 cot x3 x2 