Mul x0 Pow x3 Mul tanh asec cosh x0 Add 5 Pow x0 -1 
Add Pow x3 Mul tanh asec cosh x0 Add 5 Pow x0 -1 Mul x0 Mul Pow x3 Add Mul tanh asec cosh x0 Add 5 Pow x0 -1 -1 Mul Mul x3 log x3 Add Mul Add 5 Pow x0 -1 Mul Pow sech asec cosh x0 2 Mul sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 cosh x0 cosh x0 -1 Mul tanh asec cosh x0 Mul Pow x0 2 -1 