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