Mul x0 asec Mul Add log x0 4 acoth exp pi 
Add asec Mul Add log x0 4 acoth exp pi Mul x0 Mul Mul acoth exp pi Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add log x0 4 acoth exp pi Mul Add log x0 4 acoth exp pi -1 Mul Add log x0 4 acoth exp pi Mul Add log x0 4 acoth exp pi -1 