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