Pow x4 Pow asec x7 Mul x1 coth asin atan x0 
Mul Pow x4 Add Pow asec x7 Mul x1 coth asin atan x0 -1 Mul Mul x4 log x4 Mul Pow asec x7 Add Mul x1 coth asin atan x0 -1 Mul Mul asec x7 log asec x7 Mul x1 Mul Mul -1 Pow csch asin atan x0 2 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atan x0 atan x0 -1 