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