Mul acosh x0 Mul x2 Add Add x0 x5 Add log cosh x0 x0 
Add Mul Mul x2 Add Add x0 x5 Add log cosh x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul x2 Add 1 Add Mul sinh x0 Pow cosh x0 -1 1 