Pow Add cosh x0 Add sech Add x1 -4 x0 Mul sqrt x0 x0 
Mul Pow Add cosh x0 Add sech Add x1 -4 x0 Add Mul sqrt x0 x0 -1 Add Mul Mul sqrt x0 x0 Add sinh x0 1 Mul Mul Add cosh x0 Add sech Add x1 -4 x0 log Add cosh x0 Add sech Add x1 -4 x0 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 