Pow Pow x0 x0 Pow acot x5 acos log Pow cot Mul x3 x5 x0 
Mul Pow Pow x0 x0 Add Pow acot x5 acos log Pow cot Mul x3 x5 x0 -1 Add Mul Pow acot x5 acos log Pow cot Mul x3 x5 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Mul Pow acot x5 Add acos log Pow cot Mul x3 x5 x0 -1 Mul Mul acot x5 log acot x5 Mul -1 Mul Mul Mul Pow cot Mul x3 x5 Add x0 -1 Mul cot Mul x3 x5 log cot Mul x3 x5 Pow Pow cot Mul x3 x5 x0 -1 Pow sqrt Add 1 Mul -1 Mul log Pow cot Mul x3 x5 x0 log Pow cot Mul x3 x5 x0 -1 