Pow Pow Add x4 Mul acot pi Mul x6 Mul x0 atan x2 Add acos pi acoth x0 x2 
Mul Pow Pow Add x4 Mul acot pi Mul x6 Mul x0 atan x2 Add acos pi acoth x0 Add x2 -1 Mul x2 Mul Pow Add x4 Mul acot pi Mul x6 Mul x0 atan x2 Add Add acos pi acoth x0 -1 Add Mul Add acos pi acoth x0 Mul acot pi Mul x6 atan x2 Mul Mul Add x4 Mul acot pi Mul x6 Mul x0 atan x2 log Add x4 Mul acot pi Mul x6 Mul x0 atan x2 Pow Add 1 Mul -1 Mul x0 x0 -1 