cosh Pow Pow sech x1 exp x0 x0 
Mul sinh Pow Pow sech x1 exp x0 x0 Mul Pow Pow sech x1 exp x0 Add x0 -1 Add Mul x0 Mul Pow sech x1 Add exp x0 -1 Mul Mul sech x1 log sech x1 exp x0 Mul Pow sech x1 exp x0 log Pow sech x1 exp x0 