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