coth asech Mul x1 Add x0 Pow Add Pow cosh x5 exp x0 x0 x3 
Mul Mul -1 Pow csch asech Mul x1 Add x0 Pow Add Pow cosh x5 exp x0 x0 x3 2 Mul Mul x1 Add 1 Mul Pow Add Pow cosh x5 exp x0 x0 Add x3 -1 Mul x3 Add Mul Pow cosh x5 Add exp x0 -1 Mul Mul cosh x5 log cosh x5 exp x0 1 Pow Mul Mul Mul x1 Add x0 Pow Add Pow cosh x5 exp x0 x0 x3 Mul x1 Add x0 Pow Add Pow cosh x5 exp x0 x0 x3 sqrt Add 1 Mul -1 Pow Mul Mul x1 Add x0 Pow Add Pow cosh x5 exp x0 x0 x3 Mul x1 Add x0 Pow Add Pow cosh x5 exp x0 x0 x3 -1 -1 