atan Add Pow atanh x2 x0 acoth cos Mul x6 Add x7 -4 
Mul Mul Pow atanh x2 Add x0 -1 Mul atanh x2 log atanh x2 Pow Add 1 Mul Add Pow atanh x2 x0 acoth cos Mul x6 Add x7 -4 Add Pow atanh x2 x0 acoth cos Mul x6 Add x7 -4 -1 