Pow log E Add acot Mul tan cosh Add x0 x0 x0 5 
Mul Pow log E Add Add acot Mul tan cosh Add x0 x0 x0 5 -1 Mul Mul log E log log E Mul -1 Mul Add Mul x0 Mul Pow sec cosh Add x0 x0 2 Mul sinh Add x0 x0 2 tan cosh Add x0 x0 Pow Add 1 Mul Mul tan cosh Add x0 x0 x0 Mul tan cosh Add x0 x0 x0 -1 