Pow x7 Add Pow Mul x3 x0 atan Add x7 Add Pow x0 Mul x7 x0 x0 1 
Mul Pow x7 Add Add Pow Mul x3 x0 atan Add x7 Add Pow x0 Mul x7 x0 x0 1 -1 Mul Mul x7 log x7 Mul Pow Mul x3 x0 Add atan Add x7 Add Pow x0 Mul x7 x0 x0 -1 Add Mul atan Add x7 Add Pow x0 Mul x7 x0 x0 x3 Mul Mul Mul x3 x0 log Mul x3 x0 Mul Add Mul Pow x0 Add Mul x7 x0 -1 Add Mul x7 x0 Mul Mul x0 log x0 x7 1 Pow Add 1 Mul Add x7 Add Pow x0 Mul x7 x0 x0 Add x7 Add Pow x0 Mul x7 x0 x0 -1 