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