Mul Pow x0 Mul x3 Add x0 Add 1 Add x5 -2 csch x0 
Add Mul csch x0 Mul Pow x0 Add Mul x3 Add x0 Add 1 Add x5 -2 -1 Add Mul x3 Add x0 Add 1 Add x5 -2 Mul Mul x0 log x0 x3 Mul Pow x0 Mul x3 Add x0 Add 1 Add x5 -2 Mul Mul -1 coth x0 csch x0 