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