Mul x0 Add Pow sinh x0 x0 sech Add Mul Pow sqrt x4 x0 sech x4 x3 
Add Add Pow sinh x0 x0 sech Add Mul Pow sqrt x4 x0 sech x4 x3 Mul x0 Add Mul Pow sinh x0 Add x0 -1 Add Mul x0 cosh x0 Mul sinh x0 log sinh x0 Mul Mul tanh Add Mul Pow sqrt x4 x0 sech x4 x3 Mul -1 sech Add Mul Pow sqrt x4 x0 sech x4 x3 Mul sech x4 Mul Pow sqrt x4 Add x0 -1 Mul sqrt x4 log sqrt x4 