acot atan Pow Pow atan asin x0 x0 Add x7 x0 
Mul -1 Mul Mul Mul Pow Pow atan asin x0 x0 Add Add x7 x0 -1 Add Mul Add x7 x0 Mul Pow atan asin x0 Add x0 -1 Add Mul x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul asin x0 asin x0 -1 Mul atan asin x0 log atan asin x0 Mul Pow atan asin x0 x0 log Pow atan asin x0 x0 Pow Add 1 Mul Pow Pow atan asin x0 x0 Add x7 x0 Pow Pow atan asin x0 x0 Add x7 x0 -1 Pow Add 1 Mul atan Pow Pow atan asin x0 x0 Add x7 x0 atan Pow Pow atan asin x0 x0 Add x7 x0 -1 