Pow Add Add x0 x0 Add atan Mul x0 Mul -4 x0 5 Add Pow x0 acoth x7 x0 
Mul Pow Add Add x0 x0 Add atan Mul x0 Mul -4 x0 5 Add Add Pow x0 acoth x7 x0 -1 Add Mul Add Pow x0 acoth x7 x0 Add 2 Mul Add Mul -4 x0 Mul x0 -4 Pow Add 1 Mul Mul x0 Mul -4 x0 Mul x0 Mul -4 x0 -1 Mul Mul Add Add x0 x0 Add atan Mul x0 Mul -4 x0 5 log Add Add x0 x0 Add atan Mul x0 Mul -4 x0 5 Add Mul Pow x0 Add acoth x7 -1 acoth x7 1 