Mul Mul Pow Pow Mul Pow x0 x4 x0 pi Mul acot x0 asech x0 x0 Mul x2 acos Mul 3 x0 
Add Mul Mul x2 acos Mul 3 x0 Add Mul x0 Mul Pow Pow Mul Pow x0 x4 x0 pi Add Mul acot x0 asech x0 -1 Add Mul Mul acot x0 asech x0 Mul Pow Mul Pow x0 x4 x0 Add pi -1 Mul pi Add Mul x0 Mul Pow x0 Add x4 -1 x4 Pow x0 x4 Mul Mul Pow Mul Pow x0 x4 x0 pi log Pow Mul Pow x0 x4 x0 pi Add Mul asech x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Pow Mul Pow x0 x4 x0 pi Mul acot x0 asech x0 Mul Mul Pow Pow Mul Pow x0 x4 x0 pi Mul acot x0 asech x0 x0 Mul x2 Mul -1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Mul 3 x0 Mul 3 x0 -1 