asinh Pow asec Mul x0 acoth x4 pi 
Mul Mul Pow asec Mul x0 acoth x4 Add pi -1 Mul pi Mul acoth x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 acoth x4 Mul x0 acoth x4 -1 Mul x0 acoth x4 Mul x0 acoth x4 -1 Pow sqrt Add 1 Mul Pow asec Mul x0 acoth x4 pi Pow asec Mul x0 acoth x4 pi -1 