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