atan Add Pow atan x0 Pow Pow 3 pi x0 Add x0 exp x0 
Mul Add Mul Pow atan x0 Add Pow Pow 3 pi x0 -1 Add Mul Pow Pow 3 pi x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow Pow 3 pi Add x0 -1 Mul Pow 3 pi log Pow 3 pi Add 1 exp x0 Pow Add 1 Mul Add Pow atan x0 Pow Pow 3 pi x0 Add x0 exp x0 Add Pow atan x0 Pow Pow 3 pi x0 Add x0 exp x0 -1 