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