Add Pow x0 x3 Mul Mul pi x0 Add x0 Mul Add Pow log x7 cot Add x7 Mul x2 x2 x0 atan x0 
Add Mul Pow x0 Add x3 -1 x3 Add Mul Add x0 Mul Add Pow log x7 cot Add x7 Mul x2 x2 x0 atan x0 pi Mul Mul pi x0 Add 1 Add atan x0 Mul Add Pow log x7 cot Add x7 Mul x2 x2 x0 Pow Add 1 Mul x0 x0 -1 