Mul atan Mul cos log x6 Add acoth Add x0 Add x0 -4 1 x0 
Add Mul x0 Mul Mul cos log x6 Mul 2 Pow Add 1 Mul -1 Mul Add x0 Add x0 -4 Add x0 Add x0 -4 -1 Pow Add 1 Mul Mul cos log x6 Add acoth Add x0 Add x0 -4 1 Mul cos log x6 Add acoth Add x0 Add x0 -4 1 -1 atan Mul cos log x6 Add acoth Add x0 Add x0 -4 1 