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