acot csc sinh Pow Add x1 sqrt x0 Pow x0 Add acosh x5 x0 
Mul -1 Mul Mul Mul Mul -1 cot sinh Pow Add x1 sqrt x0 Pow x0 Add acosh x5 x0 csc sinh Pow Add x1 sqrt x0 Pow x0 Add acosh x5 x0 Mul cosh Pow Add x1 sqrt x0 Pow x0 Add acosh x5 x0 Mul Pow Add x1 sqrt x0 Add Pow x0 Add acosh x5 x0 -1 Add Mul Pow x0 Add acosh x5 x0 Pow Mul 2 sqrt x0 -1 Mul Mul Add x1 sqrt x0 log Add x1 sqrt x0 Mul Pow x0 Add Add acosh x5 x0 -1 Add Add acosh x5 x0 Mul x0 log x0 Pow Add 1 Mul csc sinh Pow Add x1 sqrt x0 Pow x0 Add acosh x5 x0 csc sinh Pow Add x1 sqrt x0 Pow x0 Add acosh x5 x0 -1 