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