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