Mul x0 Mul Add Mul Mul x0 -3 Add 4 Add Add Mul x0 Pow x1 acoth x0 1 x0 log x4 x0 
Add Mul Add Mul Mul x0 -3 Add 4 Add Add Mul x0 Pow x1 acoth x0 1 x0 log x4 x0 Mul x0 Add Mul x0 Add Mul Add 4 Add Add Mul x0 Pow x1 acoth x0 1 x0 -3 Mul Mul x0 -3 Add Add Pow x1 acoth x0 Mul x0 Mul Pow x1 Add acoth x0 -1 Mul Mul x1 log x1 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Add Mul Mul x0 -3 Add 4 Add Add Mul x0 Pow x1 acoth x0 1 x0 log x4 