atan Pow x7 Add Pow acot Pow x5 x0 pi x0 
Mul Mul Pow x7 Add Add Pow acot Pow x5 x0 pi x0 -1 Mul Mul x7 log x7 Add Mul Pow acot Pow x5 x0 Add pi -1 Mul pi Mul -1 Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul Pow x5 x0 Pow x5 x0 -1 1 Pow Add 1 Mul Pow x7 Add Pow acot Pow x5 x0 pi x0 Pow x7 Add Pow acot Pow x5 x0 pi x0 -1 