Pow Mul x4 x0 acot Add Add -1 x0 x0 
Mul Pow Mul x4 x0 Add acot Add Add -1 x0 x0 -1 Add Mul acot Add Add -1 x0 x0 x4 Mul Mul Mul x4 x0 log Mul x4 x0 Mul -1 Mul 2 Pow Add 1 Mul Add Add -1 x0 x0 Add Add -1 x0 x0 -1 