Add Mul Pow Mul x0 x0 pi Add Pow acot x0 cos Mul x0 x0 x0 x7 
Add Mul Add Pow acot x0 cos Mul x0 x0 x0 Mul Pow Mul x0 x0 Add pi -1 Mul pi Add x0 x0 Mul Pow Mul x0 x0 pi Add Mul Pow acot x0 Add cos Mul x0 x0 -1 Add Mul cos Mul x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Mul -1 sin Mul x0 x0 Add x0 x0 1 