Mul x0 Add x0 Add x0 Add Add x0 Add Pow Mul -3 x0 coth exp x0 1 x5 
Add Add x0 Add x0 Add Add x0 Add Pow Mul -3 x0 coth exp x0 1 x5 Mul x0 Add 1 Add 1 Add 1 Mul Pow Mul -3 x0 Add coth exp x0 -1 Add Mul coth exp x0 -3 Mul Mul Mul -3 x0 log Mul -3 x0 Mul Mul -1 Pow csch exp x0 2 exp x0 