atan Pow log Pow Add Pow pi 3 sqrt x0 x5 Pow x0 2 
Mul Mul Pow log Pow Add Pow pi 3 sqrt x0 x5 Add Pow x0 2 -1 Add Mul Pow x0 2 Mul Mul Pow Add Pow pi 3 sqrt x0 Add x5 -1 Mul x5 Pow Mul 2 sqrt x0 -1 Pow Pow Add Pow pi 3 sqrt x0 x5 -1 Mul Mul log Pow Add Pow pi 3 sqrt x0 x5 log log Pow Add Pow pi 3 sqrt x0 x5 Mul x0 2 Pow Add 1 Mul Pow log Pow Add Pow pi 3 sqrt x0 x5 Pow x0 2 Pow log Pow Add Pow pi 3 sqrt x0 x5 Pow x0 2 -1 