cot Add Mul x0 x3 Mul Pow 2 E Add Mul Add x0 Pow Mul x4 2 4 Mul x2 x0 Add x0 x0 
Mul Mul -1 Pow csc Add Mul x0 x3 Mul Pow 2 E Add Mul Add x0 Pow Mul x4 2 4 Mul x2 x0 Add x0 x0 2 Add x3 Mul Pow 2 E Add Add Mul x2 x0 Mul Add x0 Pow Mul x4 2 4 x2 2 