Add x0 Add Add -4 atan x0 Mul Add Add Add x0 Mul acos sin Add x0 x0 x0 pi x7 Mul acot x1 x0 
Add 1 Add Pow Add 1 Mul x0 x0 -1 Add Mul Mul acot x1 x0 Add 1 Add Mul x0 Mul -1 Mul Mul cos Add x0 x0 2 Pow sqrt Add 1 Mul -1 Mul sin Add x0 x0 sin Add x0 x0 -1 acos sin Add x0 x0 Mul Add Add Add x0 Mul acos sin Add x0 x0 x0 pi x7 acot x1 