acos Mul Mul sech Mul -1 Mul x5 Add asec x1 acosh x7 pi x0 
Mul -1 Mul Mul sech Mul -1 Mul x5 Add asec x1 acosh x7 pi Pow sqrt Add 1 Mul -1 Mul Mul Mul sech Mul -1 Mul x5 Add asec x1 acosh x7 pi x0 Mul Mul sech Mul -1 Mul x5 Add asec x1 acosh x7 pi x0 -1 