Mul Mul Add Add x0 1 x0 Mul Pow 2 x0 Mul acot sinh x0 x0 x0 
Add Mul x0 Add Mul Mul Pow 2 x0 Mul acot sinh x0 x0 2 Mul Add Add x0 1 x0 Add Mul Mul acot sinh x0 x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 Add Mul x0 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 acot sinh x0 Mul Add Add x0 1 x0 Mul Pow 2 x0 Mul acot sinh x0 x0 