Mul x0 csc exp sinh Add atan x1 Add coth x0 Mul x0 x7 
Add csc exp sinh Add atan x1 Add coth x0 Mul x0 x7 Mul x0 Mul Mul Mul -1 cot exp sinh Add atan x1 Add coth x0 Mul x0 x7 csc exp sinh Add atan x1 Add coth x0 Mul x0 x7 Mul exp sinh Add atan x1 Add coth x0 Mul x0 x7 Mul cosh Add atan x1 Add coth x0 Mul x0 x7 Add Mul -1 Pow csch x0 2 x7 