Mul Pow Mul x0 x0 Mul acot Mul x6 3 5 Mul -3 Add coth Add x0 Add atanh x5 x0 x0 
Add Mul Mul -3 Add coth Add x0 Add atanh x5 x0 x0 Mul Pow Mul x0 x0 Add Mul acot Mul x6 3 5 -1 Mul Mul acot Mul x6 3 5 Add x0 x0 Mul Pow Mul x0 x0 Mul acot Mul x6 3 5 Mul -3 Add Mul Mul -1 Pow csch Add x0 Add atanh x5 x0 2 2 1 