Mul Pow x0 sinh Pow Pow Add x3 Add x2 acosh x0 acot x0 csch x0 x1 
Mul x1 Mul Pow x0 Add sinh Pow Pow Add x3 Add x2 acosh x0 acot x0 csch x0 -1 Add sinh Pow Pow Add x3 Add x2 acosh x0 acot x0 csch x0 Mul Mul x0 log x0 Mul cosh Pow Pow Add x3 Add x2 acosh x0 acot x0 csch x0 Mul Pow Pow Add x3 Add x2 acosh x0 acot x0 Add csch x0 -1 Add Mul csch x0 Mul Pow Add x3 Add x2 acosh x0 Add acot x0 -1 Add Mul acot x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add x3 Add x2 acosh x0 log Add x3 Add x2 acosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow Add x3 Add x2 acosh x0 acot x0 log Pow Add x3 Add x2 acosh x0 acot x0 Mul Mul -1 coth x0 csch x0 