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