csch Pow x0 acosh Mul x0 pi 
Mul Mul Mul -1 coth Pow x0 acosh Mul x0 pi csch Pow x0 acosh Mul x0 pi Mul Pow x0 Add acosh Mul x0 pi -1 Add acosh Mul x0 pi Mul Mul x0 log x0 Mul pi Pow Mul sqrt Add Mul x0 pi -1 sqrt Add 1 Mul x0 pi -1 