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