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