Mul x0 csch Add x0 Pow Mul x0 Pow x7 x2 tan Add asech E x0 
Add csch Add x0 Pow Mul x0 Pow x7 x2 tan Add asech E x0 Mul x0 Mul Mul Mul -1 coth Add x0 Pow Mul x0 Pow x7 x2 tan Add asech E x0 csch Add x0 Pow Mul x0 Pow x7 x2 tan Add asech E x0 Add 1 Mul Pow Mul x0 Pow x7 x2 Add tan Add asech E x0 -1 Add Mul tan Add asech E x0 Pow x7 x2 Mul Mul Mul x0 Pow x7 x2 log Mul x0 Pow x7 x2 Pow sec Add asech E x0 2 