Add Pow coth Mul asec x6 Add x0 Pow x0 asin tan exp x1 x0 x3 
Mul Pow coth Mul asec x6 Add x0 Pow x0 asin tan exp x1 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Mul asec x6 Add x0 Pow x0 asin tan exp x1 2 Mul asec x6 Add 1 Mul Pow x0 Add asin tan exp x1 -1 asin tan exp x1 Mul coth Mul asec x6 Add x0 Pow x0 asin tan exp x1 log coth Mul asec x6 Add x0 Pow x0 asin tan exp x1 