atan Mul x0 Add Add x0 Add Add Mul Pow Mul x3 x7 -4 x0 x0 acoth Mul x4 x7 -4 
Mul Add Add Add x0 Add Add Mul Pow Mul x3 x7 -4 x0 x0 acoth Mul x4 x7 -4 Mul x0 Add 1 Add Pow Mul x3 x7 -4 1 Pow Add 1 Mul Mul x0 Add Add x0 Add Add Mul Pow Mul x3 x7 -4 x0 x0 acoth Mul x4 x7 -4 Mul x0 Add Add x0 Add Add Mul Pow Mul x3 x7 -4 x0 x0 acoth Mul x4 x7 -4 -1 