Mul Mul Add -3 x0 Pow Mul Pow Add Mul Add x0 x7 x0 pi x0 x2 x0 Add Mul x0 acot x7 acoth log x6 
Add Mul Add Mul x0 acot x7 acoth log x6 Add Pow Mul Pow Add Mul Add x0 x7 x0 pi x0 x2 x0 Mul Add -3 x0 Mul Pow Mul Pow Add Mul Add x0 x7 x0 pi x0 x2 Add x0 -1 Add Mul x0 Mul x2 Mul Pow Add Mul Add x0 x7 x0 pi Add x0 -1 Add Mul x0 Add x0 Add x0 x7 Mul Add Mul Add x0 x7 x0 pi log Add Mul Add x0 x7 x0 pi Mul Mul Pow Add Mul Add x0 x7 x0 pi x0 x2 log Mul Pow Add Mul Add x0 x7 x0 pi x0 x2 Mul Mul Add -3 x0 Pow Mul Pow Add Mul Add x0 x7 x0 pi x0 x2 x0 acot x7 