Mul Pow sqrt x0 Add sech cos x0 x0 acosh x2 
Mul acosh x2 Mul Pow sqrt x0 Add Add sech cos x0 x0 -1 Add Mul Add sech cos x0 x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Add Mul Mul tanh cos x0 Mul -1 sech cos x0 Mul -1 sin x0 1 