Add exp acos Add x0 acot x1 Mul Mul Pow sqrt x0 4 -2 x7 
Add Mul exp acos Add x0 acot x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 acot x1 Add x0 acot x1 -1 Mul x7 Mul -2 Mul Pow sqrt x0 3 Mul 4 Pow Mul 2 sqrt x0 -1 