Mul Pow Pow x4 x0 Mul Pow acot x4 Add Mul x0 2 log x0 x0 x0 
Add Mul x0 Mul Pow Pow x4 x0 Add Mul Pow acot x4 Add Mul x0 2 log x0 x0 -1 Add Mul Mul Pow acot x4 Add Mul x0 2 log x0 x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow x4 x0 log Pow x4 x0 Add Mul x0 Mul Pow acot x4 Add Add Mul x0 2 log x0 -1 Mul Mul acot x4 log acot x4 Add 2 Pow x0 -1 Pow acot x4 Add Mul x0 2 log x0 Pow Pow x4 x0 Mul Pow acot x4 Add Mul x0 2 log x0 x0 