Mul Pow x0 Mul -3 Pow x0 2 Pow x0 cot x1 
Add Mul Pow x0 cot x1 Mul Pow x0 Add Mul -3 Pow x0 2 -1 Add Mul -3 Pow x0 2 Mul Mul x0 log x0 Mul -3 Mul x0 2 Mul Pow x0 Mul -3 Pow x0 2 Mul Pow x0 Add cot x1 -1 cot x1 