Add acot Add Add acoth sqrt Add sqrt csc x0 Pow x7 Add pi x0 x0 Add x0 x1 Pow x0 x7 
Add Mul -1 Mul Add Add Mul Mul Pow Mul 2 sqrt Add sqrt csc x0 Pow x7 Add pi x0 -1 Add Mul Pow Mul 2 sqrt csc x0 -1 Mul Mul -1 cot x0 csc x0 Mul Pow x7 Add Add pi x0 -1 Mul x7 log x7 Pow Add 1 Mul -1 Mul sqrt Add sqrt csc x0 Pow x7 Add pi x0 sqrt Add sqrt csc x0 Pow x7 Add pi x0 -1 1 1 Pow Add 1 Mul Add Add acoth sqrt Add sqrt csc x0 Pow x7 Add pi x0 x0 Add x0 x1 Add Add acoth sqrt Add sqrt csc x0 Pow x7 Add pi x0 x0 Add x0 x1 -1 Mul Pow x0 Add x7 -1 x7 