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