Add x0 Pow x7 Pow acot Mul pi -0.785398163397448 x0 
Add 1 Mul Pow x7 Add Pow acot Mul pi -0.785398163397448 x0 -1 Mul Mul x7 log x7 Mul Pow acot Mul pi -0.785398163397448 Add x0 -1 Mul acot Mul pi -0.785398163397448 log acot Mul pi -0.785398163397448 