Add acot x4 Pow x0 Pow cot Add x3 Pow x7 x4 Pow x3 Add x0 pi 
Mul Pow x0 Add Pow cot Add x3 Pow x7 x4 Pow x3 Add x0 pi -1 Add Pow cot Add x3 Pow x7 x4 Pow x3 Add x0 pi Mul Mul x0 log x0 Mul Pow cot Add x3 Pow x7 x4 Add Pow x3 Add x0 pi -1 Mul Mul cot Add x3 Pow x7 x4 log cot Add x3 Pow x7 x4 Mul Pow x3 Add Add x0 pi -1 Mul x3 log x3 