Pow Add Mul -1 x0 x0 acot Add Add Add x0 -4 Add x0 x6 log Add Pow Mul x0 log x6 x1 1 
Mul Pow Add Mul -1 x0 x0 Add acot Add Add Add x0 -4 Add x0 x6 log Add Pow Mul x0 log x6 x1 1 -1 Mul Mul Add Mul -1 x0 x0 log Add Mul -1 x0 x0 Mul -1 Mul Add 2 Mul Mul Pow Mul x0 log x6 Add x1 -1 Mul x1 log x6 Pow Add Pow Mul x0 log x6 x1 1 -1 Pow Add 1 Mul Add Add Add x0 -4 Add x0 x6 log Add Pow Mul x0 log x6 x1 1 Add Add Add x0 -4 Add x0 x6 log Add Pow Mul x0 log x6 x1 1 -1 