Add Mul x0 Mul Pow Add x0 acosh x0 Mul cosh asinh x0 x1 x0 Add csch x7 E 
Add Mul Pow Add x0 acosh x0 Mul cosh asinh x0 x1 x0 Mul x0 Add Mul x0 Mul Pow Add x0 acosh x0 Add Mul cosh asinh x0 x1 -1 Add Mul Mul cosh asinh x0 x1 Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add x0 acosh x0 log Add x0 acosh x0 Mul x1 Mul sinh asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add x0 acosh x0 Mul cosh asinh x0 x1 