Mul Mul Pow x2 x0 Mul Mul Mul acot x0 5 x0 pi 3 
Mul 3 Add Mul Mul Mul Mul acot x0 5 x0 pi Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x2 x0 Mul pi Add Mul x0 Mul 5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 5 