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