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