Mul Pow x0 atan Add Mul x6 atan x0 6 acot x6 
Mul acot x6 Mul Pow x0 Add atan Add Mul x6 atan x0 6 -1 Add atan Add Mul x6 atan x0 6 Mul Mul x0 log x0 Mul Mul x6 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Mul x6 atan x0 6 Add Mul x6 atan x0 6 -1 