Mul Pow Pow Mul x0 -4 -2 Pow acot Add x0 Add -5 x1 acot x0 sqrt x0 
Add Mul sqrt x0 Mul Pow Pow Mul x0 -4 -2 Add Pow acot Add x0 Add -5 x1 acot x0 -1 Add Mul Pow acot Add x0 Add -5 x1 acot x0 Mul Pow Mul x0 -4 3 6 Mul Mul Pow Mul x0 -4 -2 log Pow Mul x0 -4 -2 Mul Pow acot Add x0 Add -5 x1 Add acot x0 -1 Add Mul acot x0 Mul -1 Pow Add 1 Mul Add x0 Add -5 x1 Add x0 Add -5 x1 -1 Mul Mul acot Add x0 Add -5 x1 log acot Add x0 Add -5 x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Pow Mul x0 -4 -2 Pow acot Add x0 Add -5 x1 acot x0 Pow Mul 2 sqrt x0 -1 