Mul x0 acoth Mul x6 Pow pi acosh Mul Add -2 atan x0 Pow x0 -1.00494524631327 
Add acoth Mul x6 Pow pi acosh Mul Add -2 atan x0 Pow x0 -1.00494524631327 Mul x0 Mul Mul x6 Mul Pow pi Add acosh Mul Add -2 atan x0 Pow x0 -1.00494524631327 -1 Mul Mul pi log pi Mul Add Mul Pow x0 -1.00494524631327 Pow Add 1 Mul x0 x0 -1 Mul Add -2 atan x0 Mul Pow x0 -2.00494524631327 -1.00494524631327 Pow Mul sqrt Add Mul Add -2 atan x0 Pow x0 -1.00494524631327 -1 sqrt Add 1 Mul Add -2 atan x0 Pow x0 -1.00494524631327 -1 Pow Add 1 Mul -1 Mul Mul x6 Pow pi acosh Mul Add -2 atan x0 Pow x0 -1.00494524631327 Mul x6 Pow pi acosh Mul Add -2 atan x0 Pow x0 -1.00494524631327 -1 