Pow E acsch Mul x0 atan exp pi 
Mul Pow E Add acsch Mul x0 atan exp pi -1 Mul Mul E log E Mul Mul -1 atan exp pi Pow Mul Mul Mul x0 atan exp pi Mul x0 atan exp pi sqrt Add 1 Mul -1 Pow Mul Mul x0 atan exp pi Mul x0 atan exp pi -1 -1 