Mul exp x0 Pow Mul cos x0 E acosh Add x0 x3 
Add Mul Pow Mul cos x0 E acosh Add x0 x3 exp x0 Mul exp x0 Mul Pow Mul cos x0 E Add acosh Add x0 x3 -1 Add Mul acosh Add x0 x3 Mul E Mul -1 sin x0 Mul Mul Mul cos x0 E log Mul cos x0 E Pow Mul sqrt Add Add x0 x3 -1 sqrt Add 1 Add x0 x3 -1 