Mul Pow x0 Mul x0 acot Mul -2 x0 Add 1 x5 
Mul Add 1 x5 Mul Pow x0 Add Mul x0 acot Mul -2 x0 -1 Add Mul x0 acot Mul -2 x0 Mul Mul x0 log x0 Add acot Mul -2 x0 Mul x0 Mul -1 Mul -2 Pow Add 1 Mul Mul -2 x0 Mul -2 x0 -1 