Mul cos Mul Add x7 acosh x0 -2 acosh x0 
Add Mul acosh x0 Mul Mul -1 sin Mul Add x7 acosh x0 -2 Mul -2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul cos Mul Add x7 acosh x0 -2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 