Mul x0 atan Mul Add tanh x5 x6 acoth Mul x1 Add x0 4 
Add atan Mul Add tanh x5 x6 acoth Mul x1 Add x0 4 Mul x0 Mul Mul Add tanh x5 x6 Mul x1 Pow Add 1 Mul -1 Mul Mul x1 Add x0 4 Mul x1 Add x0 4 -1 Pow Add 1 Mul Mul Add tanh x5 x6 acoth Mul x1 Add x0 4 Mul Add tanh x5 x6 acoth Mul x1 Add x0 4 -1 