Pow Mul x0 x7 acot Add E Add x0 x0 
Mul Pow Mul x0 x7 Add acot Add E Add x0 x0 -1 Add Mul acot Add E Add x0 x0 x7 Mul Mul Mul x0 x7 log Mul x0 x7 Mul -1 Mul 2 Pow Add 1 Mul Add E Add x0 x0 Add E Add x0 x0 -1 