Pow Pow Add 1 x0 acot atan x0 x5 
Mul Pow Pow Add 1 x0 acot atan x0 Add x5 -1 Mul x5 Mul Pow Add 1 x0 Add acot atan x0 -1 Add acot atan x0 Mul Mul Add 1 x0 log Add 1 x0 Mul -1 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul atan x0 atan x0 -1 