Mul x0 Add Pow acsch Add x3 x1 Pow x7 x0 cosh x0 
Add Add Pow acsch Add x3 x1 Pow x7 x0 cosh x0 Mul x0 Add Mul Pow acsch Add x3 x1 Add Pow x7 x0 -1 Mul Mul acsch Add x3 x1 log acsch Add x3 x1 Mul Pow x7 Add x0 -1 Mul x7 log x7 sinh x0 