coth Add 2 Mul Mul -5 acsch Mul Add x1 -4 x2 Add atan x0 sec x1 
Mul Mul -1 Pow csch Add 2 Mul Mul -5 acsch Mul Add x1 -4 x2 Add atan x0 sec x1 2 Mul Mul -5 acsch Mul Add x1 -4 x2 Pow Add 1 Mul x0 x0 -1 