Pow Mul Mul Mul x0 Add x0 log x0 x0 x0 acot Pow log x7 Mul x2 16 
Mul Pow Mul Mul Mul x0 Add x0 log x0 x0 x0 Add acot Pow log x7 Mul x2 16 -1 Mul acot Pow log x7 Mul x2 16 Add Mul x0 Add Mul x0 Add Add x0 log x0 Mul x0 Add 1 Pow x0 -1 Mul x0 Add x0 log x0 Mul Mul x0 Add x0 log x0 x0 