Add acos Add Pow atan x7 x0 Pow cot x2 sqrt x4 E 
Mul -1 Mul Mul Pow atan x7 Add x0 -1 Mul atan x7 log atan x7 Pow sqrt Add 1 Mul -1 Mul Add Pow atan x7 x0 Pow cot x2 sqrt x4 Add Pow atan x7 x0 Pow cot x2 sqrt x4 -1 