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