Mul atanh Add acoth Add x5 x7 x0 log Mul Mul x0 -2 cot atanh x3 
Add Mul log Mul Mul x0 -2 cot atanh x3 Pow Add 1 Mul -1 Mul Add acoth Add x5 x7 x0 Add acoth Add x5 x7 x0 -1 Mul atanh Add acoth Add x5 x7 x0 Mul Mul cot atanh x3 -2 Pow Mul Mul x0 -2 cot atanh x3 -1 