Mul Pow Add Add 3 E Mul Add x0 x5 Pow csch x3 -1 5 acoth x0 
Add Mul acoth x0 Mul Pow Add Add 3 E Mul Add x0 x5 Pow csch x3 -1 4 Mul 5 Pow csch x3 -1 Mul Pow Add Add 3 E Mul Add x0 x5 Pow csch x3 -1 5 Pow Add 1 Mul -1 Mul x0 x0 -1 