Pow cosh x4 Pow acosh Add x3 x0 x3 
Mul Pow cosh x4 Add Pow acosh Add x3 x0 x3 -1 Mul Mul cosh x4 log cosh x4 Mul Pow acosh Add x3 x0 Add x3 -1 Mul x3 Pow Mul sqrt Add Add x3 x0 -1 sqrt Add 1 Add x3 x0 -1 