Mul x3 Pow Mul Add x7 x0 cosh Mul x5 Mul x1 Add acosh x0 x0 x0 
Mul x3 Mul Pow Mul Add x7 x0 cosh Mul x5 Mul x1 Add acosh x0 x0 Add x0 -1 Add Mul x0 Add cosh Mul x5 Mul x1 Add acosh x0 x0 Mul Add x7 x0 Mul sinh Mul x5 Mul x1 Add acosh x0 x0 Mul x5 Mul x1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Mul Add x7 x0 cosh Mul x5 Mul x1 Add acosh x0 x0 log Mul Add x7 x0 cosh Mul x5 Mul x1 Add acosh x0 x0 