cot Add Add Pow Pow x0 x0 Mul csc x0 8 Pow x0 Pow 13 asin log x1 2 
Mul Mul -1 Pow csc Add Add Pow Pow x0 x0 Mul csc x0 8 Pow x0 Pow 13 asin log x1 2 2 Add Mul Pow Pow x0 x0 Add Mul csc x0 8 -1 Add Mul Mul csc x0 8 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Mul 8 Mul Mul -1 cot x0 csc x0 Mul Pow x0 Add Pow 13 asin log x1 -1 Pow 13 asin log x1 