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