Pow Mul cosh pi E log asech Mul Add E Add x0 Mul Add x0 7.38905609893065 4 x1 
Mul Pow Mul cosh pi E Add log asech Mul Add E Add x0 Mul Add x0 7.38905609893065 4 x1 -1 Mul Mul Mul cosh pi E log Mul cosh pi E Mul Mul Mul x1 5 Pow Mul Mul Mul Add E Add x0 Mul Add x0 7.38905609893065 4 x1 Mul Add E Add x0 Mul Add x0 7.38905609893065 4 x1 sqrt Add 1 Mul -1 Pow Mul Mul Add E Add x0 Mul Add x0 7.38905609893065 4 x1 Mul Add E Add x0 Mul Add x0 7.38905609893065 4 x1 -1 -1 Pow asech Mul Add E Add x0 Mul Add x0 7.38905609893065 4 x1 -1 