sech Mul Mul acot Pow 2 x0 x4 acsch x1 
Mul Mul tanh Mul Mul acot Pow 2 x0 x4 acsch x1 Mul -1 sech Mul Mul acot Pow 2 x0 x4 acsch x1 Mul acsch x1 Mul x4 Mul -1 Mul Mul Pow 2 Add x0 -1 2.69314718055995 Pow Add 1 Mul Pow 2 x0 Pow 2 x0 -1 