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