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