Add Pow x0 x5 cos acosh Mul Add x0 x0 exp asin acoth E 
Add Mul Pow x0 Add x5 -1 x5 Mul Mul -1 sin acosh Mul Add x0 x0 exp asin acoth E Mul Mul exp asin acoth E 2 Pow Mul sqrt Add Mul Add x0 x0 exp asin acoth E -1 sqrt Add 1 Mul Add x0 x0 exp asin acoth E -1 