Pow cosh x1 Pow sech Add x5 Add Pow 3 Pow sqrt x2 tan cosh exp x0 x0 x0 
Mul Pow cosh x1 Add Pow sech Add x5 Add Pow 3 Pow sqrt x2 tan cosh exp x0 x0 x0 -1 Mul Mul cosh x1 log cosh x1 Mul Pow sech Add x5 Add Pow 3 Pow sqrt x2 tan cosh exp x0 x0 Add x0 -1 Add Mul x0 Mul Mul tanh Add x5 Add Pow 3 Pow sqrt x2 tan cosh exp x0 x0 Mul -1 sech Add x5 Add Pow 3 Pow sqrt x2 tan cosh exp x0 x0 Add Mul Pow 3 Add Pow sqrt x2 tan cosh exp x0 -1 Mul 4.09861228866811 Mul Pow sqrt x2 Add tan cosh exp x0 -1 Mul Mul sqrt x2 log sqrt x2 Mul Pow sec cosh exp x0 2 Mul sinh exp x0 exp x0 1 Mul sech Add x5 Add Pow 3 Pow sqrt x2 tan cosh exp x0 x0 log sech Add x5 Add Pow 3 Pow sqrt x2 tan cosh exp x0 x0 