Add Mul Pow x5 Add Pow cot Mul x6 x1 x0 2 x0 x0 
Add Add Mul x0 Mul Pow x5 Add Add Pow cot Mul x6 x1 x0 2 -1 Mul Mul x5 log x5 Mul Pow cot Mul x6 x1 Add x0 -1 Mul cot Mul x6 x1 log cot Mul x6 x1 Pow x5 Add Pow cot Mul x6 x1 x0 2 1 