Add acsch Add x3 Pow Pow cosh x0 3 Mul x0 Pow cosh x7 5 x0 
Add Mul Mul -1 Mul Pow Pow cosh x0 3 Add Mul x0 Pow cosh x7 5 -1 Add Mul Mul x0 Pow cosh x7 5 Mul Pow cosh x0 2 Mul 3 sinh x0 Mul Mul Pow cosh x0 3 log Pow cosh x0 3 Pow cosh x7 5 Pow Mul Mul Add x3 Pow Pow cosh x0 3 Mul x0 Pow cosh x7 5 Add x3 Pow Pow cosh x0 3 Mul x0 Pow cosh x7 5 sqrt Add 1 Mul -1 Pow Mul Add x3 Pow Pow cosh x0 3 Mul x0 Pow cosh x7 5 Add x3 Pow Pow cosh x0 3 Mul x0 Pow cosh x7 5 -1 -1 1 