exp Pow E acot exp log Pow x0 Add 4 Mul x0 x0 
Mul exp Pow E acot exp log Pow x0 Add 4 Mul x0 x0 Mul Pow E Add acot exp log Pow x0 Add 4 Mul x0 x0 -1 Mul Mul E log E Mul -1 Mul Mul exp log Pow x0 Add 4 Mul x0 x0 Mul Mul Pow x0 Add Add 4 Mul x0 x0 -1 Add Add 4 Mul x0 x0 Mul Mul x0 log x0 Add x0 x0 Pow Pow x0 Add 4 Mul x0 x0 -1 Pow Add 1 Mul exp log Pow x0 Add 4 Mul x0 x0 exp log Pow x0 Add 4 Mul x0 x0 -1 