Add Pow x0 x7 Mul cos Add x0 Mul Add -3 Add x0 Add atanh x1 x3 x0 log acot E 
Add Mul Pow x0 Add x7 -1 x7 Mul log acot E Mul Mul -1 sin Add x0 Mul Add -3 Add x0 Add atanh x1 x3 x0 Add 1 Add x0 Add -3 Add x0 Add atanh x1 x3 