Mul Mul x0 acoth Add -1 asin x7 Pow E Add asin x0 x0 
Add Mul Pow E Add asin x0 x0 acoth Add -1 asin x7 Mul Mul x0 acoth Add -1 asin x7 Mul Pow E Add Add asin x0 x0 -1 Mul Mul E log E Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 