Add x7 Mul tanh x0 sqrt exp Add Add x0 x0 Pow Mul x3 Mul Mul coth acosh x0 Add x0 x0 x0 -4 
Add Mul sqrt exp Add Add x0 x0 Pow Mul x3 Mul Mul coth acosh x0 Add x0 x0 x0 -4 Pow sech x0 2 Mul tanh x0 Mul Pow Mul 2 sqrt exp Add Add x0 x0 Pow Mul x3 Mul Mul coth acosh x0 Add x0 x0 x0 -4 -1 Mul exp Add Add x0 x0 Pow Mul x3 Mul Mul coth acosh x0 Add x0 x0 x0 -4 Add 2 Mul Pow Mul x3 Mul Mul coth acosh x0 Add x0 x0 x0 5 Mul -4 Mul x3 Add Mul x0 Add Mul Add x0 x0 Mul Mul -1 Pow csch acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul coth acosh x0 2 Mul coth acosh x0 Add x0 x0 