Mul Mul asech Mul 3 x0 pi Mul x0 csc Mul x0 x6 
Add Mul Mul x0 csc Mul x0 x6 Mul pi Mul 3 Pow Mul Mul Mul 3 x0 Mul 3 x0 sqrt Add 1 Mul -1 Pow Mul Mul 3 x0 Mul 3 x0 -1 -1 Mul Mul asech Mul 3 x0 pi Add csc Mul x0 x6 Mul x0 Mul Mul Mul -1 cot Mul x0 x6 csc Mul x0 x6 x6 