Mul 5 sinh Pow x2 acosh Mul x0 Add exp Add x0 x0 Add x2 x0 
Mul 5 Mul cosh Pow x2 acosh Mul x0 Add exp Add x0 x0 Add x2 x0 Mul Pow x2 Add acosh Mul x0 Add exp Add x0 x0 Add x2 x0 -1 Mul Mul x2 log x2 Mul Add Add exp Add x0 x0 Add x2 x0 Mul x0 Add Mul exp Add x0 x0 2 1 Pow Mul sqrt Add Mul x0 Add exp Add x0 x0 Add x2 x0 -1 sqrt Add 1 Mul x0 Add exp Add x0 x0 Add x2 x0 -1 