Mul Pow Mul Add Pow x7 x0 x0 Pow log x0 acoth Add 2 Add -3 x2 x4 x0 
Add Mul x0 Mul Pow Mul Add Pow x7 x0 x0 Pow log x0 acoth Add 2 Add -3 x2 Add x4 -1 Mul x4 Add Mul Pow log x0 acoth Add 2 Add -3 x2 Add Mul Pow x7 Add x0 -1 Mul x7 log x7 1 Mul Add Pow x7 x0 x0 Mul Pow log x0 Add acoth Add 2 Add -3 x2 -1 Mul acoth Add 2 Add -3 x2 Pow x0 -1 Pow Mul Add Pow x7 x0 x0 Pow log x0 acoth Add 2 Add -3 x2 x4 