coth Mul asech cos x0 Add x7 csch x0 
Mul Mul -1 Pow csch Mul asech cos x0 Add x7 csch x0 2 Add Mul Add x7 csch x0 Mul Mul -1 sin x0 Pow Mul Mul cos x0 cos x0 sqrt Add 1 Mul -1 Pow Mul cos x0 cos x0 -1 -1 Mul asech cos x0 Mul Mul -1 coth x0 csch x0 