Pow cosh asech Add Add Add x0 x0 2 acot E exp Add 5 x0 
Mul Pow cosh asech Add Add Add x0 x0 2 acot E Add exp Add 5 x0 -1 Add Mul exp Add 5 x0 Mul sinh asech Add Add Add x0 x0 2 acot E Mul 2 Pow Mul Mul Add Add Add x0 x0 2 acot E Add Add Add x0 x0 2 acot E sqrt Add 1 Mul -1 Pow Mul Add Add Add x0 x0 2 acot E Add Add Add x0 x0 2 acot E -1 -1 Mul Mul cosh asech Add Add Add x0 x0 2 acot E log cosh asech Add Add Add x0 x0 2 acot E exp Add 5 x0 