Add Pow Mul x0 Mul acot x0 Add atanh x6 Pow x0 atanh acoth tanh x7 x0 3 
Mul Pow Mul x0 Mul acot x0 Add atanh x6 Pow x0 atanh acoth tanh x7 Add x0 -1 Add Mul x0 Add Mul acot x0 Add atanh x6 Pow x0 atanh acoth tanh x7 Mul x0 Add Mul Add atanh x6 Pow x0 atanh acoth tanh x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow x0 Add atanh acoth tanh x7 -1 atanh acoth tanh x7 Mul Mul x0 Mul acot x0 Add atanh x6 Pow x0 atanh acoth tanh x7 log Mul x0 Mul acot x0 Add atanh x6 Pow x0 atanh acoth tanh x7 