Add Pow x3 sec Pow x0 pi Add x0 Mul Pow x0 x3 tanh x0 
Add Mul Pow x3 Add sec Pow x0 pi -1 Mul Mul x3 log x3 Mul Mul tan Pow x0 pi sec Pow x0 pi Mul Pow x0 Add pi -1 pi Add 1 Add Mul tanh x0 Mul Pow x0 Add x3 -1 x3 Mul Pow x0 x3 Pow sech x0 2 