Pow sec Add Add Mul E x0 cosh x4 x0 x0 
Mul Pow sec Add Add Mul E x0 cosh x4 x0 Add x0 -1 Add Mul x0 Mul Mul tan Add Add Mul E x0 cosh x4 x0 sec Add Add Mul E x0 cosh x4 x0 Add E 1 Mul sec Add Add Mul E x0 cosh x4 x0 log sec Add Add Mul E x0 cosh x4 x0 