Pow sin cos Pow x0 cot atanh x0 2 
Mul sin cos Pow x0 cot atanh x0 Mul 2 Mul cos cos Pow x0 cot atanh x0 Mul Mul -1 sin Pow x0 cot atanh x0 Mul Pow x0 Add cot atanh x0 -1 Add cot atanh x0 Mul Mul x0 log x0 Mul Mul -1 Pow csc atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 