acot Pow Pow atan x0 Add Add 1 x0 3 x3 
Mul -1 Mul Mul Pow Pow atan x0 Add Add 1 x0 3 Add x3 -1 Mul x3 Mul Pow atan x0 Add Add Add 1 x0 3 -1 Add Mul Add Add 1 x0 3 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Pow Add 1 Mul Pow Pow atan x0 Add Add 1 x0 3 x3 Pow Pow atan x0 Add Add 1 x0 3 x3 -1 