Mul Pow Pow Mul sqrt Mul x0 acoth atanh x0 sin Pow 3 x2 sin Pow x0 acos x5 2 x0 
Add Mul x0 Mul Pow Mul sqrt Mul x0 acoth atanh x0 sin Pow 3 x2 sin Pow x0 acos x5 Mul 2 Mul Pow Mul sqrt Mul x0 acoth atanh x0 sin Pow 3 x2 Add sin Pow x0 acos x5 -1 Add Mul sin Pow x0 acos x5 Mul sin Pow 3 x2 Mul Pow Mul 2 sqrt Mul x0 acoth atanh x0 -1 Add acoth atanh x0 Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Mul Mul Mul sqrt Mul x0 acoth atanh x0 sin Pow 3 x2 log Mul sqrt Mul x0 acoth atanh x0 sin Pow 3 x2 Mul cos Pow x0 acos x5 Mul Pow x0 Add acos x5 -1 acos x5 Pow Pow Mul sqrt Mul x0 acoth atanh x0 sin Pow 3 x2 sin Pow x0 acos x5 2 