Mul Pow x0 x2 cos Mul Pow Mul Mul -1 pi 3 Add atanh acot pi x0 2 
Add Mul cos Mul Pow Mul Mul -1 pi 3 Add atanh acot pi x0 2 Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Mul Mul -1 sin Mul Pow Mul Mul -1 pi 3 Add atanh acot pi x0 2 Mul 2 Mul Pow Mul Mul -1 pi 3 Add Add atanh acot pi x0 -1 Mul Mul Mul -1 pi 3 log Mul Mul -1 pi 3 