sec Pow cosh x0 Pow Pow asec Add x0 4 x0 x1 
Mul Mul tan Pow cosh x0 Pow Pow asec Add x0 4 x0 x1 sec Pow cosh x0 Pow Pow asec Add x0 4 x0 x1 Mul Pow cosh x0 Add Pow Pow asec Add x0 4 x0 x1 -1 Add Mul Pow Pow asec Add x0 4 x0 x1 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow Pow asec Add x0 4 x0 Add x1 -1 Mul x1 Mul Pow asec Add x0 4 Add x0 -1 Add Mul x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 4 Add x0 4 -1 Add x0 4 Add x0 4 -1 Mul asec Add x0 4 log asec Add x0 4 