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