log Mul Pow 2 acosh asec asech Mul x0 pi x2 
Mul Mul x2 Mul Pow 2 Add acosh asec asech Mul x0 pi -1 Mul 2.69314718055995 Mul Mul Mul pi Pow Mul Mul Mul x0 pi Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Mul x0 pi Mul x0 pi -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asech Mul x0 pi asech Mul x0 pi -1 asech Mul x0 pi asech Mul x0 pi -1 Pow Mul sqrt Add asec asech Mul x0 pi -1 sqrt Add 1 asec asech Mul x0 pi -1 Pow Mul Pow 2 acosh asec asech Mul x0 pi x2 -1 