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