Pow x7 Pow Pow asin x0 acoth x6 -1 
Mul Pow x7 Add Pow Pow asin x0 acoth x6 -1 -1 Mul Mul x7 log x7 Mul Pow Pow asin x0 acoth x6 2 Mul -1 Mul Pow asin x0 Add acoth x6 -1 Mul acoth x6 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 