Mul log x0 Add Pow Pow sec cosh x0 x0 Mul Mul 2 x1 x0 3 
Add Mul Add Pow Pow sec cosh x0 x0 Mul Mul 2 x1 x0 3 Pow x0 -1 Mul log x0 Mul Pow Pow sec cosh x0 x0 Add Mul Mul 2 x1 x0 -1 Add Mul Mul Mul 2 x1 x0 Mul Pow sec cosh x0 Add x0 -1 Add Mul x0 Mul Mul tan cosh x0 sec cosh x0 sinh x0 Mul sec cosh x0 log sec cosh x0 Mul Mul Pow sec cosh x0 x0 log Pow sec cosh x0 x0 Mul 2 x1 