Mul asinh Pow Add x5 Add 2 Mul Pow acosh x4 cosh Pow Add x0 1 x0 sqrt x0 Add x0 x7 x0 
Add Mul x0 Mul Mul Pow Add x5 Add 2 Mul Pow acosh x4 cosh Pow Add x0 1 x0 sqrt x0 Add Add x0 x7 -1 Add Mul Add x0 x7 Add Mul sqrt x0 Mul Pow acosh x4 Add cosh Pow Add x0 1 x0 -1 Mul Mul acosh x4 log acosh x4 Mul sinh Pow Add x0 1 x0 Mul Pow Add x0 1 Add x0 -1 Add x0 Mul Add x0 1 log Add x0 1 Mul Pow acosh x4 cosh Pow Add x0 1 x0 Pow Mul 2 sqrt x0 -1 Mul Add x5 Add 2 Mul Pow acosh x4 cosh Pow Add x0 1 x0 sqrt x0 log Add x5 Add 2 Mul Pow acosh x4 cosh Pow Add x0 1 x0 sqrt x0 Pow sqrt Add 1 Mul Pow Add x5 Add 2 Mul Pow acosh x4 cosh Pow Add x0 1 x0 sqrt x0 Add x0 x7 Pow Add x5 Add 2 Mul Pow acosh x4 cosh Pow Add x0 1 x0 sqrt x0 Add x0 x7 -1 asinh Pow Add x5 Add 2 Mul Pow acosh x4 cosh Pow Add x0 1 x0 sqrt x0 Add x0 x7 