Add acot Mul atan x0 Pow Mul Pow x0 -3 5 Mul x0 Mul Pow Add x6 -1 Add x0 x0 Mul pi x6 x0 
Add Mul -1 Mul Add Mul Pow Mul Pow x0 -3 5 Mul x0 Mul Pow Add x6 -1 Add x0 x0 Mul pi x6 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow Mul Pow x0 -3 5 Add Mul x0 Mul Pow Add x6 -1 Add x0 x0 Mul pi x6 -1 Add Mul Mul x0 Mul Pow Add x6 -1 Add x0 x0 Mul pi x6 Mul 5 Mul Pow x0 4 -3 Mul Mul Mul Pow x0 -3 5 log Mul Pow x0 -3 5 Add Mul Pow Add x6 -1 Add x0 x0 Mul pi x6 Mul x0 Mul Mul pi x6 Mul Pow Add x6 -1 Add Add x0 x0 -1 Mul Mul Add x6 -1 log Add x6 -1 2 Pow Add 1 Mul Mul atan x0 Pow Mul Pow x0 -3 5 Mul x0 Mul Pow Add x6 -1 Add x0 x0 Mul pi x6 Mul atan x0 Pow Mul Pow x0 -3 5 Mul x0 Mul Pow Add x6 -1 Add x0 x0 Mul pi x6 -1 1 