sech sech Mul x0 Mul acoth sinh x0 x1 
Mul Mul tanh sech Mul x0 Mul acoth sinh x0 x1 Mul -1 sech sech Mul x0 Mul acoth sinh x0 x1 Mul Mul tanh Mul x0 Mul acoth sinh x0 x1 Mul -1 sech Mul x0 Mul acoth sinh x0 x1 Add Mul acoth sinh x0 x1 Mul x0 Mul x1 Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 