Mul x0 Pow x0 Add Mul tan coth Add x0 Pow Add x7 -3 E x0 1024 
Add Pow x0 Add Mul tan coth Add x0 Pow Add x7 -3 E x0 1024 Mul x0 Mul Pow x0 Add Add Mul tan coth Add x0 Pow Add x7 -3 E x0 1024 -1 Add Add Mul tan coth Add x0 Pow Add x7 -3 E x0 1024 Mul Mul x0 log x0 Add Mul x0 Mul Pow sec coth Add x0 Pow Add x7 -3 E 2 Mul -1 Pow csch Add x0 Pow Add x7 -3 E 2 tan coth Add x0 Pow Add x7 -3 E 