csc Pow cot log Mul x0 Pow Mul x0 E x0 E 
Mul Mul Mul -1 cot Pow cot log Mul x0 Pow Mul x0 E x0 E csc Pow cot log Mul x0 Pow Mul x0 E x0 E Mul Pow cot log Mul x0 Pow Mul x0 E x0 Add E -1 Mul E Mul Mul -1 Pow csc log Mul x0 Pow Mul x0 E x0 2 Mul Add Pow Mul x0 E x0 Mul x0 Mul Pow Mul x0 E Add x0 -1 Add Mul x0 E Mul Mul x0 E log Mul x0 E Pow Mul x0 Pow Mul x0 E x0 -1 