Mul -4 Pow x1 acos Add x0 Mul -1 Pow cot Add 4 x0 x7 
Mul -4 Mul Pow x1 Add acos Add x0 Mul -1 Pow cot Add 4 x0 x7 -1 Mul Mul x1 log x1 Mul -1 Mul Add 1 Mul -1 Mul Pow cot Add 4 x0 Add x7 -1 Mul x7 Mul -1 Pow csc Add 4 x0 2 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul -1 Pow cot Add 4 x0 x7 Add x0 Mul -1 Pow cot Add 4 x0 x7 -1 