Mul x0 Mul log Pow asech Mul acot cosh x0 x0 Add x5 E -1.23305411292411 
Add Mul log Pow asech Mul acot cosh x0 x0 Add x5 E -1.23305411292411 Mul x0 Mul -1.23305411292411 Mul Mul Pow asech Mul acot cosh x0 x0 Add Add x5 E -1 Mul Add x5 E Mul Add Mul x0 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 acot cosh x0 Pow Mul Mul Mul acot cosh x0 x0 Mul acot cosh x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul acot cosh x0 x0 Mul acot cosh x0 x0 -1 -1 Pow Pow asech Mul acot cosh x0 x0 Add x5 E -1 