atan Mul x0 acot Mul Mul pi Pow x0 Mul x4 -3 x7 
Mul Add acot Mul Mul pi Pow x0 Mul x4 -3 x7 Mul x0 Mul -1 Mul Mul x7 Mul pi Mul Pow x0 Add Mul x4 -3 -1 Mul x4 -3 Pow Add 1 Mul Mul Mul pi Pow x0 Mul x4 -3 x7 Mul Mul pi Pow x0 Mul x4 -3 x7 -1 Pow Add 1 Mul Mul x0 acot Mul Mul pi Pow x0 Mul x4 -3 x7 Mul x0 acot Mul Mul pi Pow x0 Mul x4 -3 x7 -1 