Add x0 tan Mul Add Pow x0 x0 pi log Pow x0 x0 
Add 1 Mul Pow sec Mul Add Pow x0 x0 pi log Pow x0 x0 2 Add Mul log Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add Pow x0 x0 pi Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Pow x0 x0 -1 