Mul Mul -4 log x6 Mul x0 Add Add Pow Mul Add x1 Add Pow atan log x0 acot x0 Mul x0 x3 x0 x0 x0 x0 
Mul Mul -4 log x6 Add Add Add Pow Mul Add x1 Add Pow atan log x0 acot x0 Mul x0 x3 x0 x0 x0 x0 Mul x0 Add Add Mul Pow Mul Add x1 Add Pow atan log x0 acot x0 Mul x0 x3 x0 Add x0 -1 Add Mul x0 Add Mul x0 Add Mul Pow atan log x0 Add acot x0 -1 Add Mul acot x0 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 Mul Mul atan log x0 log atan log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 x3 Add x1 Add Pow atan log x0 acot x0 Mul x0 x3 Mul Mul Add x1 Add Pow atan log x0 acot x0 Mul x0 x3 x0 log Mul Add x1 Add Pow atan log x0 acot x0 Mul x0 x3 x0 1 1 