atanh Add Pow x0 x0 Pow acot Pow sin x3 cot Mul -2 acoth x0 -4 
Mul Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow acot Pow sin x3 cot Mul -2 acoth x0 5 Mul -4 Mul -1 Mul Mul Pow sin x3 Add cot Mul -2 acoth x0 -1 Mul Mul sin x3 log sin x3 Mul Mul -1 Pow csc Mul -2 acoth x0 2 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow sin x3 cot Mul -2 acoth x0 Pow sin x3 cot Mul -2 acoth x0 -1 Pow Add 1 Mul -1 Mul Add Pow x0 x0 Pow acot Pow sin x3 cot Mul -2 acoth x0 -4 Add Pow x0 x0 Pow acot Pow sin x3 cot Mul -2 acoth x0 -4 -1 