Mul Pow Add 4 x2 Pow acoth x2 Pow x0 Add 3 x0 x2 
Mul x2 Mul Pow Add 4 x2 Add Pow acoth x2 Pow x0 Add 3 x0 -1 Mul Mul Add 4 x2 log Add 4 x2 Mul Pow acoth x2 Add Pow x0 Add 3 x0 -1 Mul Mul acoth x2 log acoth x2 Mul Pow x0 Add Add 3 x0 -1 Add Add 3 x0 Mul x0 log x0 