Mul acot x0 cbrt Mul Pow x0 pi x6 
Add Mul cbrt Mul Pow x0 pi x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Mul Mul 3 cbrt Mul Pow x0 pi x6 cbrt Mul Pow x0 pi x6 -1 Mul x6 Mul Pow x0 Add pi -1 pi 