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