cosh Pow Mul x0 Mul sinh tan csc x0 cosh x0 x1 
Mul sinh Pow Mul x0 Mul sinh tan csc x0 cosh x0 x1 Mul Pow Mul x0 Mul sinh tan csc x0 cosh x0 Add x1 -1 Mul x1 Add Mul sinh tan csc x0 cosh x0 Mul x0 Add Mul cosh x0 Mul cosh tan csc x0 Mul Pow sec csc x0 2 Mul Mul -1 cot x0 csc x0 Mul sinh tan csc x0 sinh x0 