Pow x0 Pow atan x0 Pow Mul x6 acosh Pow x4 sqrt x0 pi 
Mul Pow x0 Add Pow atan x0 Pow Mul x6 acosh Pow x4 sqrt x0 pi -1 Add Pow atan x0 Pow Mul x6 acosh Pow x4 sqrt x0 pi Mul Mul x0 log x0 Mul Pow atan x0 Add Pow Mul x6 acosh Pow x4 sqrt x0 pi -1 Add Mul Pow Mul x6 acosh Pow x4 sqrt x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow Mul x6 acosh Pow x4 sqrt x0 Add pi -1 Mul pi Mul x6 Mul Mul Pow x4 Add sqrt x0 -1 Mul Mul x4 log x4 Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add Pow x4 sqrt x0 -1 sqrt Add 1 Pow x4 sqrt x0 -1 