Add -5 Pow acoth atanh Add x0 7.38905609893065 tanh x0 
Mul Pow acoth atanh Add x0 7.38905609893065 Add tanh x0 -1 Add Mul tanh x0 Mul Pow Add 1 Mul -1 Mul Add x0 7.38905609893065 Add x0 7.38905609893065 -1 Pow Add 1 Mul -1 Mul atanh Add x0 7.38905609893065 atanh Add x0 7.38905609893065 -1 Mul Mul acoth atanh Add x0 7.38905609893065 log acoth atanh Add x0 7.38905609893065 Pow sech x0 2 