Mul sqrt csch x7 Add Pow sqrt tan Mul sinh x0 asin x0 x0 x0 
Mul sqrt csch x7 Add Mul Pow sqrt tan Mul sinh x0 asin x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt tan Mul sinh x0 asin x0 -1 Mul Pow sec Mul sinh x0 asin x0 2 Add Mul asin x0 cosh x0 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul sqrt tan Mul sinh x0 asin x0 log sqrt tan Mul sinh x0 asin x0 1 