Mul cosh x5 Pow Add 5 x0 Pow x0 sqrt Pow Add x0 2 2 
Mul cosh x5 Mul Pow Add 5 x0 Add Pow x0 sqrt Pow Add x0 2 2 -1 Add Pow x0 sqrt Pow Add x0 2 2 Mul Mul Add 5 x0 log Add 5 x0 Mul Pow x0 Add sqrt Pow Add x0 2 2 -1 Add sqrt Pow Add x0 2 2 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Pow Add x0 2 2 -1 Mul Add x0 2 2 