Add Pow Pow Pow x1 acos asin Add -1 x0 log sqrt Mul Add exp acoth x1 sin x0 2 -3 x0 
Add Mul Pow Pow Pow x1 acos asin Add -1 x0 log sqrt Mul Add exp acoth x1 sin x0 2 4 Mul -3 Mul Pow Pow x1 acos asin Add -1 x0 Add log sqrt Mul Add exp acoth x1 sin x0 2 -1 Add Mul log sqrt Mul Add exp acoth x1 sin x0 2 Mul Pow x1 Add acos asin Add -1 x0 -1 Mul Mul x1 log x1 Mul -1 Mul Pow sqrt Add 1 Mul -1 Mul Add -1 x0 Add -1 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin Add -1 x0 asin Add -1 x0 -1 Mul Mul Pow x1 acos asin Add -1 x0 log Pow x1 acos asin Add -1 x0 Mul Mul Pow Mul 2 sqrt Mul Add exp acoth x1 sin x0 2 -1 Mul 2 cos x0 Pow sqrt Mul Add exp acoth x1 sin x0 2 -1 1 