coth Mul Add 2 x0 Mul x0 log Mul -3 sqrt acot sqrt cosh x5 
Mul Mul -1 Pow csch Mul Add 2 x0 Mul x0 log Mul -3 sqrt acot sqrt cosh x5 2 Add Mul x0 log Mul -3 sqrt acot sqrt cosh x5 Mul Add 2 x0 log Mul -3 sqrt acot sqrt cosh x5 