Mul Add x0 log coth Add -4 Pow atan Mul acoth acosh E x0 4 x0 
Add Mul x0 Add 1 Mul Mul Mul -1 Pow csch Add -4 Pow atan Mul acoth acosh E x0 4 2 Mul Pow atan Mul acoth acosh E x0 3 Mul 4 Mul acoth acosh E Pow Add 1 Mul Mul acoth acosh E x0 Mul acoth acosh E x0 -1 Pow coth Add -4 Pow atan Mul acoth acosh E x0 4 -1 Add x0 log coth Add -4 Pow atan Mul acoth acosh E x0 4 