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