atan cot Mul x0 Mul log x0 tanh Mul x5 x0 
Mul Mul Mul -1 Pow csc Mul x0 Mul log x0 tanh Mul x5 x0 2 Add Mul log x0 tanh Mul x5 x0 Mul x0 Add Mul tanh Mul x5 x0 Pow x0 -1 Mul log x0 Mul Pow sech Mul x5 x0 2 x5 Pow Add 1 Mul cot Mul x0 Mul log x0 tanh Mul x5 x0 cot Mul x0 Mul log x0 tanh Mul x5 x0 -1 