tan sec sinh Mul Add sec x0 x0 Pow x2 x0 
Mul Pow sec sec sinh Mul Add sec x0 x0 Pow x2 x0 2 Mul Mul tan sinh Mul Add sec x0 x0 Pow x2 x0 sec sinh Mul Add sec x0 x0 Pow x2 x0 Mul cosh Mul Add sec x0 x0 Pow x2 x0 Add Mul Pow x2 x0 Add Mul tan x0 sec x0 1 Mul Add sec x0 x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 