sin Mul sec Mul Mul -2 cot x0 x0 acos Pow E atanh x2 
Mul cos Mul sec Mul Mul -2 cot x0 x0 acos Pow E atanh x2 Mul acos Pow E atanh x2 Mul Mul tan Mul Mul -2 cot x0 x0 sec Mul Mul -2 cot x0 x0 Add Mul x0 Mul -2 Mul -1 Pow csc x0 2 Mul -2 cot x0 