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