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