Pow sqrt Mul cos x4 x0 Add x0 acosh x5 
Mul Pow sqrt Mul cos x4 x0 Add Add x0 acosh x5 -1 Add Mul Add x0 acosh x5 Mul Pow Mul 2 sqrt Mul cos x4 x0 -1 cos x4 Mul sqrt Mul cos x4 x0 log sqrt Mul cos x4 x0 