Add Pow acot acoth Pow 2 E E Pow x0 Mul Mul x6 Add Add Mul x1 x1 x0 x4 Pow pi Add x0 x0 
Mul Pow x0 Add Mul Mul x6 Add Add Mul x1 x1 x0 x4 Pow pi Add x0 x0 -1 Add Mul Mul x6 Add Add Mul x1 x1 x0 x4 Pow pi Add x0 x0 Mul Mul x0 log x0 Add Mul Pow pi Add x0 x0 x6 Mul Mul x6 Add Add Mul x1 x1 x0 x4 Mul Pow pi Add Add x0 x0 -1 Mul Mul pi log pi 2 