Pow x4 Mul Mul Mul x6 acot acos acoth pi -1 Add Pow x0 x1 4 
Mul Pow x4 Add Mul Mul Mul x6 acot acos acoth pi -1 Add Pow x0 x1 4 -1 Mul Mul x4 log x4 Mul Mul Mul x6 acot acos acoth pi -1 Mul Pow x0 Add x1 -1 x1 