acot Pow Add x3 x0 Pow cosh x0 x5 
Mul -1 Mul Mul Pow Add x3 x0 Add Pow cosh x0 x5 -1 Add Pow cosh x0 x5 Mul Mul Add x3 x0 log Add x3 x0 Mul Pow cosh x0 Add x5 -1 Mul x5 sinh x0 Pow Add 1 Mul Pow Add x3 x0 Pow cosh x0 x5 Pow Add x3 x0 Pow cosh x0 x5 -1 