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