Add x1 cosh Add x0 Pow Mul Pow x0 -5 Mul x0 acos Pow x0 x2 asech x3 
Mul sinh Add x0 Pow Mul Pow x0 -5 Mul x0 acos Pow x0 x2 asech x3 Add 1 Mul Pow Mul Pow x0 -5 Mul x0 acos Pow x0 x2 Add asech x3 -1 Mul asech x3 Add Mul Mul x0 acos Pow x0 x2 Mul Pow x0 6 -5 Mul Pow x0 -5 Add acos Pow x0 x2 Mul x0 Mul -1 Mul Mul Pow x0 Add x2 -1 x2 Pow sqrt Add 1 Mul -1 Mul Pow x0 x2 Pow x0 x2 -1 