Mul asinh Add 4 acosh Mul cosh x0 x5 Add x0 x3 
Add Mul Add x0 x3 Mul Mul Mul x5 sinh x0 Pow Mul sqrt Add Mul cosh x0 x5 -1 sqrt Add 1 Mul cosh x0 x5 -1 Pow sqrt Add 1 Mul Add 4 acosh Mul cosh x0 x5 Add 4 acosh Mul cosh x0 x5 -1 asinh Add 4 acosh Mul cosh x0 x5 