atan acot Add Pow x0 Mul Add -4 x6 pi x6 
Mul Mul -1 Mul Mul Pow x0 Add Mul Add -4 x6 pi -1 Mul Add -4 x6 pi Pow Add 1 Mul Add Pow x0 Mul Add -4 x6 pi x6 Add Pow x0 Mul Add -4 x6 pi x6 -1 Pow Add 1 Mul acot Add Pow x0 Mul Add -4 x6 pi x6 acot Add Pow x0 Mul Add -4 x6 pi x6 -1 