Mul acoth x1 Mul Pow x0 -2 acos Mul x0 Mul Mul sqrt acoth sin x0 Pow x0 x7 asec asin x0 
Mul acoth x1 Add Mul acos Mul x0 Mul Mul sqrt acoth sin x0 Pow x0 x7 asec asin x0 Mul Pow x0 3 -2 Mul Pow x0 -2 Mul -1 Mul Add Mul Mul sqrt acoth sin x0 Pow x0 x7 asec asin x0 Mul x0 Add Mul asec asin x0 Add Mul Pow x0 x7 Mul Pow Mul 2 sqrt acoth sin x0 -1 Mul cos x0 Pow Add 1 Mul -1 Mul sin x0 sin x0 -1 Mul sqrt acoth sin x0 Mul Pow x0 Add x7 -1 x7 Mul Mul sqrt acoth sin x0 Pow x0 x7 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asin x0 asin x0 -1 asin x0 asin x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul Mul sqrt acoth sin x0 Pow x0 x7 asec asin x0 Mul x0 Mul Mul sqrt acoth sin x0 Pow x0 x7 asec asin x0 -1 