Mul x0 Add Pow Mul acoth E Pow x4 Add -2 Pow Mul x2 x0 2 2 x0 
Add Add Pow Mul acoth E Pow x4 Add -2 Pow Mul x2 x0 2 2 x0 Mul x0 Add Mul Mul acoth E Pow x4 Add -2 Pow Mul x2 x0 2 Mul 2 Mul acoth E Mul Pow x4 Add Add -2 Pow Mul x2 x0 2 -1 Mul Mul x4 log x4 Mul Mul x2 x0 Mul 2 x2 1 