log Mul x0 acot Mul Mul x7 x0 acoth x3 
Mul Add acot Mul Mul x7 x0 acoth x3 Mul x0 Mul -1 Mul Mul acoth x3 x7 Pow Add 1 Mul Mul Mul x7 x0 acoth x3 Mul Mul x7 x0 acoth x3 -1 Pow Mul x0 acot Mul Mul x7 x0 acoth x3 -1 