Mul acos sinh x0 Add Pow x0 x1 Add 3 sech x0 
Add Mul Add Pow x0 x1 Add 3 sech x0 Mul -1 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Mul acos sinh x0 Add Mul Pow x0 Add x1 -1 x1 Mul tanh x0 Mul -1 sech x0 