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