Pow x5 Mul Mul Add x0 E Mul Mul acoth Pow x7 -4 x0 2 Add x0 4 
Mul Pow x5 Add Mul Mul Add x0 E Mul Mul acoth Pow x7 -4 x0 2 Add x0 4 -1 Mul Mul x5 log x5 Add Mul Add x0 4 Add Mul Mul acoth Pow x7 -4 x0 2 Mul Add x0 E Mul 2 acoth Pow x7 -4 Mul Add x0 E Mul Mul acoth Pow x7 -4 x0 2 