acot Pow Mul Pow x2 x0 log x0 -4 
Mul -1 Mul Mul Pow Mul Pow x2 x0 log x0 5 Mul -4 Add Mul log x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x2 x0 Pow x0 -1 Pow Add 1 Mul Pow Mul Pow x2 x0 log x0 -4 Pow Mul Pow x2 x0 log x0 -4 -1 