Add x0 tan Pow Mul sinh x0 Mul asech Add acosh x0 x0 x0 x4 
Add 1 Mul Pow sec Pow Mul sinh x0 Mul asech Add acosh x0 x0 x0 x4 2 Mul Pow Mul sinh x0 Mul asech Add acosh x0 x0 x0 Add x4 -1 Mul x4 Add Mul Mul asech Add acosh x0 x0 x0 cosh x0 Mul sinh x0 Add Mul x0 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Mul Mul Add acosh x0 x0 Add acosh x0 x0 sqrt Add 1 Mul -1 Pow Mul Add acosh x0 x0 Add acosh x0 x0 -1 -1 asech Add acosh x0 x0 