Pow x3 atan Add Pow Add pi x7 Mul -2 Mul Pow E x0 log Add x6 x0 1 
Mul Pow x3 Add atan Add Pow Add pi x7 Mul -2 Mul Pow E x0 log Add x6 x0 1 -1 Mul Mul x3 log x3 Mul Mul Pow Add pi x7 Add Mul -2 Mul Pow E x0 log Add x6 x0 -1 Mul Mul Add pi x7 log Add pi x7 Mul -2 Add Mul log Add x6 x0 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 Pow Add x6 x0 -1 Pow Add 1 Mul Add Pow Add pi x7 Mul -2 Mul Pow E x0 log Add x6 x0 1 Add Pow Add pi x7 Mul -2 Mul Pow E x0 log Add x6 x0 1 -1 