Mul x0 asech Add acosh x0 4 
Add asech Add acosh x0 4 Mul x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Add acosh x0 4 Add acosh x0 4 sqrt Add 1 Mul -1 Pow Mul Add acosh x0 4 Add acosh x0 4 -1 -1 