atan Pow Pow log x0 sec exp log x3 2 
Mul Mul Pow log x0 sec exp log x3 Mul 2 Mul Pow log x0 Add sec exp log x3 -1 Mul sec exp log x3 Pow x0 -1 Pow Add 1 Mul Pow Pow log x0 sec exp log x3 2 Pow Pow log x0 sec exp log x3 2 -1 