atan Pow acot Pow Mul pi -2 x0 Add Pow x2 Pow pi x5 pi 
Mul Mul Pow acot Pow Mul pi -2 x0 Add Add Pow x2 Pow pi x5 pi -1 Mul Add Pow x2 Pow pi x5 pi Mul -1 Mul Mul Pow Mul pi -2 Add x0 -1 Mul Mul pi -2 log Mul pi -2 Pow Add 1 Mul Pow Mul pi -2 x0 Pow Mul pi -2 x0 -1 Pow Add 1 Mul Pow acot Pow Mul pi -2 x0 Add Pow x2 Pow pi x5 pi Pow acot Pow Mul pi -2 x0 Add Pow x2 Pow pi x5 pi -1 