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