Pow x0 Add 256 acoth Mul Mul x3 x0 log x5 
Mul Pow x0 Add Add 256 acoth Mul Mul x3 x0 log x5 -1 Add Add 256 acoth Mul Mul x3 x0 log x5 Mul Mul x0 log x0 Mul Mul log x5 x3 Pow Add 1 Mul -1 Mul Mul Mul x3 x0 log x5 Mul Mul x3 x0 log x5 -1 