atanh cosh Add x3 Pow Add atanh x7 Pow x0 E x0 
Mul Mul sinh Add x3 Pow Add atanh x7 Pow x0 E x0 Mul Pow Add atanh x7 Pow x0 E Add x0 -1 Add Mul x0 Mul Pow x0 Add E -1 E Mul Add atanh x7 Pow x0 E log Add atanh x7 Pow x0 E Pow Add 1 Mul -1 Mul cosh Add x3 Pow Add atanh x7 Pow x0 E x0 cosh Add x3 Pow Add atanh x7 Pow x0 E x0 -1 