acosh Mul x0 asech Add Mul x5 Add x0 E Add x4 x0 
Mul Add asech Add Mul x5 Add x0 E Add x4 x0 Mul x0 Mul Add x5 1 Pow Mul Mul Add Mul x5 Add x0 E Add x4 x0 Add Mul x5 Add x0 E Add x4 x0 sqrt Add 1 Mul -1 Pow Mul Add Mul x5 Add x0 E Add x4 x0 Add Mul x5 Add x0 E Add x4 x0 -1 -1 Pow Mul sqrt Add Mul x0 asech Add Mul x5 Add x0 E Add x4 x0 -1 sqrt Add 1 Mul x0 asech Add Mul x5 Add x0 E Add x4 x0 -1 