acot Pow x3 Pow x5 Add -2 Add x0 x1 
Mul -1 Mul Mul Pow x3 Add Pow x5 Add -2 Add x0 x1 -1 Mul Mul x3 log x3 Mul Pow x5 Add Add -2 Add x0 x1 -1 Mul x5 log x5 Pow Add 1 Mul Pow x3 Pow x5 Add -2 Add x0 x1 Pow x3 Pow x5 Add -2 Add x0 x1 -1 