Add log Pow Mul x0 atanh acot x0 sin x1 -1 
Mul Mul Pow Mul x0 atanh acot x0 Add sin x1 -1 Mul sin x1 Add atanh acot x0 Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 Pow Pow Mul x0 atanh acot x0 sin x1 -1 