Mul Add x2 Mul x0 5 Add x2 Mul acosh E Pow asech x1 Pow Add Add E x0 2 sech x0 
Add Mul Add x2 Mul acosh E Pow asech x1 Pow Add Add E x0 2 sech x0 5 Mul Add x2 Mul x0 5 Mul acosh E Mul Pow asech x1 Add Pow Add Add E x0 2 sech x0 -1 Mul Mul asech x1 log asech x1 Mul Pow Add Add E x0 2 Add sech x0 -1 Add sech x0 Mul Mul Add Add E x0 2 log Add Add E x0 2 Mul tanh x0 Mul -1 sech x0 