Pow Pow sec Add x1 cosh x3 x0 x0 
Mul Pow Pow sec Add x1 cosh x3 x0 Add x0 -1 Add Mul x0 Mul Pow sec Add x1 cosh x3 Add x0 -1 Mul sec Add x1 cosh x3 log sec Add x1 cosh x3 Mul Pow sec Add x1 cosh x3 x0 log Pow sec Add x1 cosh x3 x0 