acosh Pow Pow x0 asec pi x0 
Mul Mul Pow Pow x0 asec pi Add x0 -1 Add Mul x0 Mul Pow x0 Add asec pi -1 asec pi Mul Pow x0 asec pi log Pow x0 asec pi Pow Mul sqrt Add Pow Pow x0 asec pi x0 -1 sqrt Add 1 Pow Pow x0 asec pi x0 -1 