Mul Mul Pow sqrt exp cosh x0 x0 atanh Add x0 x0 tanh x0 
Add Mul tanh x0 Add Mul atanh Add x0 x0 Mul Pow sqrt exp cosh x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt exp cosh x0 -1 Mul exp cosh x0 sinh x0 Mul sqrt exp cosh x0 log sqrt exp cosh x0 Mul Pow sqrt exp cosh x0 x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul Pow sqrt exp cosh x0 x0 atanh Add x0 x0 Pow sech x0 2 