sec Pow Pow sinh x0 x0 Mul E Add pi x1 
Mul Mul tan Pow Pow sinh x0 x0 Mul E Add pi x1 sec Pow Pow sinh x0 x0 Mul E Add pi x1 Mul Pow Pow sinh x0 x0 Add Mul E Add pi x1 -1 Mul Mul E Add pi x1 Mul Pow sinh x0 Add x0 -1 Add Mul x0 cosh x0 Mul sinh x0 log sinh x0 