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