Add Pow coth Add 4 acosh Mul x0 x0 Add Pow Mul 5 Add x0 -4 5 Mul Pow Pow x5 4 x2 Mul x0 x0 Add x0 3 
Add Mul Pow coth Add 4 acosh Mul x0 x0 Add Add Pow Mul 5 Add x0 -4 5 Mul Pow Pow x5 4 x2 Mul x0 x0 -1 Add Mul Add Pow Mul 5 Add x0 -4 5 Mul Pow Pow x5 4 x2 Mul x0 x0 Mul Mul -1 Pow csch Add 4 acosh Mul x0 x0 2 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul Mul coth Add 4 acosh Mul x0 x0 log coth Add 4 acosh Mul x0 x0 Add Mul Pow Mul 5 Add x0 -4 4 10 Mul Pow Pow x5 4 x2 Add x0 x0 1 