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