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