Add acosh Add exp x0 Add x0 Add cos x3 x3 Add Pow x0 x1 x0 
Add Mul Add exp x0 1 Pow Mul sqrt Add Add exp x0 Add x0 Add cos x3 x3 -1 sqrt Add 1 Add exp x0 Add x0 Add cos x3 x3 -1 Add Mul Pow x0 Add x1 -1 x1 1 