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