Add Mul Pow csc x0 Add x1 -1 acsch Add x0 Pow x1 cosh x0 x4 
Add Mul acsch Add x0 Pow x1 cosh x0 Mul Pow csc x0 Add Add x1 -1 -1 Mul Add x1 -1 Mul Mul -1 cot x0 csc x0 Mul Pow csc x0 Add x1 -1 Mul Mul -1 Add 1 Mul Pow x1 Add cosh x0 -1 Mul Mul x1 log x1 sinh x0 Pow Mul Mul Add x0 Pow x1 cosh x0 Add x0 Pow x1 cosh x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Pow x1 cosh x0 Add x0 Pow x1 cosh x0 -1 -1 