csc Mul Mul x0 Add 3 x1 Mul Mul x0 pi x0 
Mul Mul Mul -1 cot Mul Mul x0 Add 3 x1 Mul Mul x0 pi x0 csc Mul Mul x0 Add 3 x1 Mul Mul x0 pi x0 Add Mul Mul Mul x0 pi x0 Add 3 x1 Mul Mul x0 Add 3 x1 Add Mul x0 pi Mul x0 pi 