Mul x4 cosh Mul Pow Add x1 x1 Mul atanh x7 Mul x0 Mul sech x0 2 -3 
Mul x4 Mul sinh Mul Pow Add x1 x1 Mul atanh x7 Mul x0 Mul sech x0 2 -3 Mul -3 Mul Pow Add x1 x1 Add Mul atanh x7 Mul x0 Mul sech x0 2 -1 Mul Mul Add x1 x1 log Add x1 x1 Mul atanh x7 Add Mul sech x0 2 Mul x0 Mul 2 Mul tanh x0 Mul -1 sech x0 