Mul Pow Mul x0 4 Pow Add x0 x0 E acot cosh x0 
Add Mul acot cosh x0 Mul Pow Mul x0 4 Add Pow Add x0 x0 E -1 Add Mul Pow Add x0 x0 E 4 Mul Mul Mul x0 4 log Mul x0 4 Mul Pow Add x0 x0 Add E -1 Mul E 2 Mul Pow Mul x0 4 Pow Add x0 x0 E Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 