Mul x0 acoth Add x0 Pow log Mul Mul cos x0 x7 sin x0 x1 
Add acoth Add x0 Pow log Mul Mul cos x0 x7 sin x0 x1 Mul x0 Mul Add 1 Mul Pow log Mul Mul cos x0 x7 sin x0 Add x1 -1 Mul x1 Mul Add Mul sin x0 Mul x7 Mul -1 sin x0 Mul Mul cos x0 x7 cos x0 Pow Mul Mul cos x0 x7 sin x0 -1 Pow Add 1 Mul -1 Mul Add x0 Pow log Mul Mul cos x0 x7 sin x0 x1 Add x0 Pow log Mul Mul cos x0 x7 sin x0 x1 -1 