acot sqrt Pow x7 Pow Pow csc x6 2 x0 
Mul -1 Mul Mul Pow Mul 2 sqrt Pow x7 Pow Pow csc x6 2 x0 -1 Mul Pow x7 Add Pow Pow csc x6 2 x0 -1 Mul Mul x7 log x7 Mul Pow Pow csc x6 2 Add x0 -1 Mul Pow csc x6 2 log Pow csc x6 2 Pow Add 1 Mul sqrt Pow x7 Pow Pow csc x6 2 x0 sqrt Pow x7 Pow Pow csc x6 2 x0 -1 