Mul Pow Add -1 x0 x0 Add Mul asech x7 x6 Add Mul cot x0 x0 x0 
Add Mul Add Mul asech x7 x6 Add Mul cot x0 x0 x0 Mul Pow Add -1 x0 Add x0 -1 Add x0 Mul Add -1 x0 log Add -1 x0 Mul Pow Add -1 x0 x0 Add Add Mul x0 Mul -1 Pow csc x0 2 cot x0 1 