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