Mul acosh Add Add sech Pow x7 log E Pow Add x0 -2 x0 x0 sin x1 
Mul sin x1 Mul Add Mul Pow Add x0 -2 Add x0 -1 Add x0 Mul Add x0 -2 log Add x0 -2 1 Pow Mul sqrt Add Add Add sech Pow x7 log E Pow Add x0 -2 x0 x0 -1 sqrt Add 1 Add Add sech Pow x7 log E Pow Add x0 -2 x0 x0 -1 