Pow exp Mul Mul Add Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 x0 x4 x0 x0 sech x0 Add 4 x0 
Mul Pow exp Mul Mul Add Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 x0 x4 x0 x0 sech x0 Add Add 4 x0 -1 Add Mul Add 4 x0 Mul exp Mul Mul Add Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 x0 x4 x0 x0 sech x0 Add Mul sech x0 Add Mul x0 Add Mul x4 Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 Add x0 -1 Add Mul x0 Mul Pow exp x0 Add Pow Mul cosh Mul x0 x0 x6 2 -1 Add Mul Pow Mul cosh Mul x0 x0 x6 2 exp x0 Mul Mul exp x0 log exp x0 Mul Mul cosh Mul x0 x0 x6 Mul 2 Mul x6 Mul sinh Mul x0 x0 Add x0 x0 Mul Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 log Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 1 Add Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 x0 x4 x0 Mul Mul Add Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 x0 x4 x0 x0 Mul tanh x0 Mul -1 sech x0 Mul exp Mul Mul Add Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 x0 x4 x0 x0 sech x0 log exp Mul Mul Add Mul Pow Pow exp x0 Pow Mul cosh Mul x0 x0 x6 2 x0 x4 x0 x0 sech x0 