Pow acot Mul 3 Mul x0 Pow Pow x0 2 acos log pi -4 
Mul Pow acot Mul 3 Mul x0 Pow Pow x0 2 acos log pi 5 Mul -4 Mul -1 Mul Mul 3 Add Pow Pow x0 2 acos log pi Mul x0 Mul Pow Pow x0 2 Add acos log pi -1 Mul acos log pi Mul x0 2 Pow Add 1 Mul Mul 3 Mul x0 Pow Pow x0 2 acos log pi Mul 3 Mul x0 Pow Pow x0 2 acos log pi -1 