Mul Pow Pow acosh pi asech x0 Add Mul x0 2 Pow x0 pi Add Mul x7 E x0 
Add Mul Add Mul x7 E x0 Mul Pow Pow acosh pi asech x0 Add Add Mul x0 2 Pow x0 pi -1 Add Mul Add Mul x0 2 Pow x0 pi Mul Pow acosh pi Add asech x0 -1 Mul Mul acosh pi log acosh pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Pow acosh pi asech x0 log Pow acosh pi asech x0 Add 2 Mul Pow x0 Add pi -1 pi Pow Pow acosh pi asech x0 Add Mul x0 2 Pow x0 pi 