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