sech cbrt Pow cosh sqrt x3 Mul 4 Mul x7 x0 
Mul Mul tanh cbrt Pow cosh sqrt x3 Mul 4 Mul x7 x0 Mul -1 sech cbrt Pow cosh sqrt x3 Mul 4 Mul x7 x0 Mul Pow Mul Mul 3 cbrt Pow cosh sqrt x3 Mul 4 Mul x7 x0 cbrt Pow cosh sqrt x3 Mul 4 Mul x7 x0 -1 Mul Pow cosh sqrt x3 Add Mul 4 Mul x7 x0 -1 Mul Mul cosh sqrt x3 log cosh sqrt x3 Mul 4 x7 