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