Mul acot Pow x0 x0 Add sec x5 Pow pi Pow Mul x0 -2 Mul Add Mul x4 x0 -5 4 
Add Mul Add sec x5 Pow pi Pow Mul x0 -2 Mul Add Mul x4 x0 -5 4 Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 x0 Pow x0 x0 -1 Mul acot Pow x0 x0 Mul Pow pi Add Pow Mul x0 -2 Mul Add Mul x4 x0 -5 4 -1 Mul Mul pi log pi Mul Pow Mul x0 -2 Add Mul Add Mul x4 x0 -5 4 -1 Add Mul Mul Add Mul x4 x0 -5 4 -2 Mul Mul Mul x0 -2 log Mul x0 -2 Mul 4 x4 