acosh Pow Add Add asec x0 exp Add Mul x7 x0 exp pi x0 pi 
Mul Mul Pow Add Add asec x0 exp Add Mul x7 x0 exp pi x0 Add pi -1 Mul pi Add Add Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul exp Add Mul x7 x0 exp pi x7 1 Pow Mul sqrt Add Pow Add Add asec x0 exp Add Mul x7 x0 exp pi x0 pi -1 sqrt Add 1 Pow Add Add asec x0 exp Add Mul x7 x0 exp pi x0 pi -1 