acot Add x0 Pow Mul Add x0 Pow cosh x0 -4 Mul cos atanh x3 2 Mul 2 x0 
Mul -1 Mul Add 1 Mul Pow Mul Add x0 Pow cosh x0 -4 Mul cos atanh x3 2 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul Mul cos atanh x3 2 Add 1 Mul Pow cosh x0 5 Mul -4 sinh x0 Mul Mul Mul Add x0 Pow cosh x0 -4 Mul cos atanh x3 2 log Mul Add x0 Pow cosh x0 -4 Mul cos atanh x3 2 2 Pow Add 1 Mul Add x0 Pow Mul Add x0 Pow cosh x0 -4 Mul cos atanh x3 2 Mul 2 x0 Add x0 Pow Mul Add x0 Pow cosh x0 -4 Mul cos atanh x3 2 Mul 2 x0 -1 