Add Pow x1 Mul x0 -1 Add x1 Add csc x0 Add -2 Pow x1 atanh x0 
Add Mul Pow x1 Add Mul x0 -1 -1 Mul Mul x1 log x1 -1 Add Mul Mul -1 cot x0 csc x0 Mul Pow x1 Add atanh x0 -1 Mul Mul x1 log x1 Pow Add 1 Mul -1 Mul x0 x0 -1 