Mul Pow x0 acosh Add -1 pi Pow atan x1 Pow Pow x0 x0 -4 
Add Mul Pow atan x1 Pow Pow x0 x0 -4 Mul Pow x0 Add acosh Add -1 pi -1 acosh Add -1 pi Mul Pow x0 acosh Add -1 pi Mul Pow atan x1 Add Pow Pow x0 x0 -4 -1 Mul Mul atan x1 log atan x1 Mul Pow Pow x0 x0 5 Mul -4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 