Pow Add csc x0 Add Pow x0 atanh Mul 2 x0 x0 Mul -3 acoth Add 1 x3 
Mul Pow Add csc x0 Add Pow x0 atanh Mul 2 x0 x0 Add Mul -3 acoth Add 1 x3 -1 Mul Mul -3 acoth Add 1 x3 Add Mul Mul -1 cot x0 csc x0 Add Mul Pow x0 Add atanh Mul 2 x0 -1 Add atanh Mul 2 x0 Mul Mul x0 log x0 Mul 2 Pow Add 1 Mul -1 Mul Mul 2 x0 Mul 2 x0 -1 1 