Add tanh Add Pow sech Mul Mul x0 -1 Add x0 x6 csch Mul Mul acosh csch x0 Add x5 x0 4 x0 -3 
Mul Pow sech Add Pow sech Mul Mul x0 -1 Add x0 x6 csch Mul Mul acosh csch x0 Add x5 x0 4 x0 2 Add Mul Pow sech Mul Mul x0 -1 Add x0 x6 Add csch Mul Mul acosh csch x0 Add x5 x0 4 -1 Add Mul csch Mul Mul acosh csch x0 Add x5 x0 4 Mul Mul tanh Mul Mul x0 -1 Add x0 x6 Mul -1 sech Mul Mul x0 -1 Add x0 x6 Add Mul Add x0 x6 -1 Mul x0 -1 Mul Mul sech Mul Mul x0 -1 Add x0 x6 log sech Mul Mul x0 -1 Add x0 x6 Mul Mul Mul -1 coth Mul Mul acosh csch x0 Add x5 x0 4 csch Mul Mul acosh csch x0 Add x5 x0 4 Mul 4 Add Mul Add x5 x0 Mul Mul Mul -1 coth x0 csch x0 Pow Mul sqrt Add csch x0 -1 sqrt Add 1 csch x0 -1 acosh csch x0 1 