Add Mul sqrt sec Mul Pow cosh x4 x3 x0 x0 x1 
Add Mul x0 Mul Pow Mul 2 sqrt sec Mul Pow cosh x4 x3 x0 -1 Mul Mul tan Mul Pow cosh x4 x3 x0 sec Mul Pow cosh x4 x3 x0 Pow cosh x4 x3 sqrt sec Mul Pow cosh x4 x3 x0 