Add atanh Pow Add atan acoth Mul x0 x7 x3 x0 3121 
Mul Mul Pow Add atan acoth Mul x0 x7 x3 Add x0 -1 Add Mul x0 Mul Mul x7 Pow Add 1 Mul -1 Mul Mul x0 x7 Mul x0 x7 -1 Pow Add 1 Mul acoth Mul x0 x7 acoth Mul x0 x7 -1 Mul Add atan acoth Mul x0 x7 x3 log Add atan acoth Mul x0 x7 x3 Pow Add 1 Mul -1 Mul Pow Add atan acoth Mul x0 x7 x3 x0 Pow Add atan acoth Mul x0 x7 x3 x0 -1 