Mul Add Mul x0 Pow x7 Mul Pow Pow x7 pi x0 x7 acot Add x0 x0 x5 
Mul x5 Add Add Pow x7 Mul Pow Pow x7 pi x0 x7 Mul x0 Mul Pow x7 Add Mul Pow Pow x7 pi x0 x7 -1 Mul Mul x7 log x7 Mul x7 Mul Pow Pow x7 pi Add x0 -1 Mul Pow x7 pi log Pow x7 pi Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 