Mul x5 Add x2 Mul Pow Add Pow x5 x0 Pow Add Mul x3 Mul Mul x0 acot x0 x4 Add x0 sqrt x2 2 x2 x5 
Mul x5 Mul x5 Mul Pow Add Pow x5 x0 Pow Add Mul x3 Mul Mul x0 acot x0 x4 Add x0 sqrt x2 2 Add x2 -1 Mul x2 Add Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Add Mul x3 Mul Mul x0 acot x0 x4 Add x0 sqrt x2 Mul 2 Add Mul x3 Mul x4 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 