Pow x0 Mul asinh Pow x0 pi acsch E 
Mul Pow x0 Add Mul asinh Pow x0 pi acsch E -1 Add Mul asinh Pow x0 pi acsch E Mul Mul x0 log x0 Mul acsch E Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul Pow x0 pi Pow x0 pi -1 