acosh Mul x3 sqrt Mul x0 Mul x0 Mul Add x6 x0 cosh x0 
Mul Mul x3 Mul Pow Mul 2 sqrt Mul x0 Mul x0 Mul Add x6 x0 cosh x0 -1 Add Mul x0 Mul Add x6 x0 cosh x0 Mul x0 Add Mul Add x6 x0 cosh x0 Mul x0 Add cosh x0 Mul Add x6 x0 sinh x0 Pow Mul sqrt Add Mul x3 sqrt Mul x0 Mul x0 Mul Add x6 x0 cosh x0 -1 sqrt Add 1 Mul x3 sqrt Mul x0 Mul x0 Mul Add x6 x0 cosh x0 -1 